Diviem toriem var būt viena un tā pati lokālā ģeometrija, bet atšķirīga forma

Forma, kuru nevar viennozīmīgi atpazīt

Iedomājieties, ka jums jāizmēra virsma, nedrīkstot atkāpties no tās. Jūs varat mērīt attālumus pa pašu virsmu — cik tālu viens punkts atrodas no cita, pārvietojoties tikai pa virsmu. Tā ir virsmas metrika. Tagad pievienojiet vēl vienu mērījumu no ārpuses: katrā punktā nosakiet virsmas vidējo liekumu jeb vidējo izliekumu.

Šķiet, ka informācijas ir ļoti daudz. Daudzām virsmām ar to arī pietiek. Ja zināmi iekšējie attālumi un vidējā izliekuma funkcija, varētu gaidīt, ka virsmas forma trīsdimensiju telpā ir noteikta viennozīmīgi.

Alexander Bobenko, Tim Hoffmann un Andrew Sageman-Furnas tagad ir uzbūvējuši kompaktas virsmas, kas šo gaidu apgāž. Viņu darbā ir divi tori — virtuļa formas virsmas, lai gan ne parasti apaļi virtuļi —, kas ir izometriski un atbilstošajos punktos tiem ir vienāds vidējais izliekums, taču tie nav kongruenti. Vienu nevar iegūt no otra ar pagriešanu, pārbīdi vai atspoguļošanu. Tās ir patiesi atšķirīgas iegremdētas virsmas telpā.

Šīs jomas valodā tie ir kompakti Bonē pāri. Rakstā tie nosaukti par pirmajiem šāda veida piemēriem.

Kāda ir problēma

Klasiskā virsmu teorija nošķir divu veidu informāciju.

Metrika nosaka attālumus, ko mēra pa virsmu. Ja plakanu loksni sarullē cilindrā, tās iekšējā metrika nemainās: maza skudra, kas staigā pa loksni, tikai ar attālumu mērīšanu nepamanītu, ka tā sarullēta. Pilnā otrā fundamentālā forma daudz vairāk pasaka par to, kā virsma liecas telpā. Klasiskā Bonē teorēma saka: ja dota metrika un pilnie liekuma dati, kas apmierina vajadzīgos saderības vienādojumus, iegremdējums ir noteikts līdz stingrai kustībai.

Taču 1867. gadā Pierre Ossian Bonnet uzdeva asāku jautājumu. Kas notiek, ja liekuma informāciju samazina? Tā kā metrika jau pati nosaka Gausa izliekumu, vai virsmu var raksturot ar metriku un vidējā izliekuma funkciju?

Vispārīgā gadījumā atbilde ir jā. Šis vārds ir svarīgs. Ģeometrijā mēdz būt izņēmuma gadījumi — īpašas virsmas, kur parastais viennozīmības apgalvojums nedarbojas. Atklāts palika jautājums, vai pastāv kompaktas gludas virsmas, kurām metrika un vidējais izliekums sakrīt, bet pašas virsmas telpā nav vienādas.

Tā ir globālā Bonē problēma. Jaunais darbs uz to atbild ar toriem.

Ko autori uzbūvēja

Autori konstruē gludu toru pāri $\mathrm{R}^3$, ko saista izometrija, kas saglabā vidējo izliekumu. Tas nozīmē, ka atbilstošajos punktos ir vienādi iekšējie attālumi un vienāda vidējā izliekuma vērtība, tomēr abas virsmas nav kongruentas.

Konstrukcija nav tikai viens skaitlisks kuriozs. Tori ir reāli analītiski — tik regulāri, cik virsmas, ko lokāli apraksta pakāpju rindas, nevis rupji salāpīti objekti —, un autori pierāda, ka vispārīgā gadījumā viņu piemērus nesaista neviena apkārtējās telpas izometrija. Viņi arī norāda, ka konstrukcija dod nesaskaitāmi daudz šādu pāru, jo tajā ir funkcionāls parametrs.

Metode ir tehniska. Tā izmanto saikni starp Bonē pāriem un izotermiskām virsmām — virsmu klasi ar īpašām liekuma līniju koordinātēm. Piemēri sākas ar izotermiskiem toriem, kuriem viena liekuma līniju saime ir plakana, un tad tiek lietota konstrukcija, kas rada Bonē pāri. Autori raksta, ka pieeja izauga no skaitliskiem eksperimentiem ar tora 5 × 7 četrstūru sadalījumu, izmantojot diskrēto diferenciālģeometriju kā ceļvedi uz gludo rezultātu.

Attēlu saprast ir vieglāk nekā pierādījumu. Abiem rakstā redzamajiem toriem sakrīt izvēlētie ģeometriskie dati, bet to globālais novietojums acīmredzami atšķiras: autoru 1. attēlā atbilstošie lielie “pūšļi” uz viena tora atrodas tuvāk cits citam nekā uz otra. Tā nav zīmējuma ilūzija. Teorēma saka, ka telpā tās patiešām nav viena un tā pati forma, lai gan izvēlētie lokālie dati sakrīt.

Kāpēc tā nav pretruna

Rezultāts nesaka, ka ģeometrija ir patvaļīga vai ka mērījumi ir bezjēdzīgi.

Tas saka, ka konkrēts reducēts datu komplekts — metrika plus vidējais izliekums — ne vienmēr ir pietiekams, lai kompaktu virsmu identificētu viennozīmīgi. Klasiskajā pilnās viennozīmības teorēmā izmanto bagātīgāku informāciju par liekumu. Vidējais izliekums ir tikai abu galveno izliekumu vidējā vērtība. Tas pasaka, cik stipri virsma vidēji liecas punktā, bet nesaglabā visu informāciju par liekumu dažādos virzienos.

Tieši šī atšķirība ir rezultāta būtība. Divām virsmām var sakrist attālumi pa virsmu un vidējais liekums katrā atbilstošajā punktā, tomēr atšķirties veids, kā šis liekums izkārtots telpā.

Darbs arī nesaka, ka šāda nenoteiktība ir tipiska. Ievadā autori ir piesardzīgi: vispārīgā gadījumā metrika kopā ar vidējo izliekumu virsmu nosaka. Bonē pāri ir izņēmumi. To nozīme ir tieši tajā, ka izņēmums pastāv kompaktā, gludā un analītiskā gadījumā, kur šis jautājums ilgi bija neatrisināts.

Kādus senus jautājumus tas atrisina

Pirmais ir globālā Bonē problēma: vai trīsdimensiju Eiklīda telpā pastāv divi nekongruenti kompakti gludi iegremdējumi, kurus saista izometrija un kuriem atbilstošajos punktos ir vienāds vidējais izliekums? Autori atbild — jā.

Otrais ir Cohn–Vossen–Berger jautājums: vai Eiklīda trīsdimensiju telpā pastāv divas izometriskas kompaktas analītiskas virsmas, kuras nesaista apkārtējās telpas izometrija? Arī šeit, izmantojot tās pašas konstrukcijas analītiskos torus, atbilde ir jā.

Analītiskums ir būtisks. Agrāki kompaktu virsmu neviennozīmības piemēri varēja balstīties uz zemāku regularitāti vai lokāliem pārveidojumiem. Šie tori nav vienkārši gluds objekts, kam vienā vietā pārstādīts “paugurs”. Autori uzsver, ka atbilstošas apkārtnes nevienā vietā nav lokāli kongruentas: atšķirība caurvij konstrukciju, nevis slēpjas vienā salaiduma vietā.

Kāpēc tas ir svarīgi

Tā ir tīrā matemātika, taču intuīcija ir plaša. Vienā nozīmē formu var šķistami raksturot ar pārmērīgi daudz datu, bet citā — joprojām nevar viennozīmīgi identificēt. Svarīgi nav tikai tas, cik daudz datu ir, bet vai tajos ir pareizā veida informācija.

Metrika plus vidējais izliekums šķiet spēcīga kombinācija, jo savieno iekšējos attālumus ar ārēju liekuma mērījumu. Kompaktais Bonē pāris parāda plaisu: vidējais liekums nav viss liekums. Lokāla sakritība ne vienmēr nozīmē globālu identitāti. Analītiska regularitāte nav maģiska viennozīmības garantija.

Šī ir noderīga mācība arī ārpus konkrētās teorēmas. Ģeometrijas inversajās problēmās bieži jautā, vai mērījumu kopums nosaka objektu, kas tos radījis. Šis darbs dod asu jaunu atbildi vienai klasiskai virsmu problēmai: ne vienmēr — pat tad, ja objekts ir kompakts, gluds un analītisks.

Īss kopsavilkums

Bobenko, Hoffmann un Sageman-Furnas konstruē pirmos kompaktos Bonē pārus: divus nekongruentus gludus torus $\mathrm{R}^3$, kurus saista izometrija un kuriem atbilstošajos punktos ir viena un tā pati vidējā izliekuma funkcija. Viņu piemēri ir reāli analītiski un vispārīgā gadījumā nav saistīti ar nevienu apkārtējās telpas izometriju, tādējādi atrisinot gan globālo Bonē problēmu, gan Cohn–Vossen–Berger analītiskās viennozīmības jautājumu tā formulējumā rakstā. Rezultāts neapgāž klasisko virsmu teoriju; tas parāda, ka reducētie dati — metrika plus vidējais izliekums — ne vienmēr ļauj viennozīmīgi identificēt kompaktu virsmu.

Bez pārspīlējumiem

Ko darbs parāda: Kompakti gludi Bonē pāri pastāv. Konkrēti, autori skaidri konstruē torus $\mathrm{R}^3$ ar vienādu metriku un vidējā izliekuma funkciju atbilstošajos punktos, taču tie nav kongruenti.

Kas ir ticams, bet nav galvenais rezultāts: Skaitliskā un diskrētās ģeometrijas izpēte var palīdzēt atrast sarežģītas gludas konstrukcijas. Autori norāda, ka šis ceļš bija svarīgs, taču rezultāts balstās pierādījumā, nevis skaitliskajā attēlā.

Ko tas neparāda: Ka visas vai lielākā daļa virsmu ir neviennozīmīgas. Vispārīgā viennozīmība joprojām ir fona rezultāts. Šie ir izņēmuma, bet izšķiroši pretpiemēri.

Galvenie ierobežojumi vispārīgam lasītājam: Pierādījums ir ļoti tehnisks un dzīvo diferenciālģeometrijā: izotermiskas virsmas, Bonē pāru klasifikācija, periodu nosacījumi un analītiska konstrukcija. Teorēmas nozīmi var saprast, neizsekojot visai tehnikai.

Cik lielai pārliecībai vajadzētu būt parastam lasītājam? Augstai par teorēmas formulējumu kā recenzētu matemātikas rezultātu. Piesardzība vajadzīga interpretācijā, nevis pierādījumu kvalitātē: secinājums ir “šis reducētais ģeometrisko datu komplekts ne vienmēr nosaka formu”, nevis “ģeometrija nespēj noteikt formas”.