Kahel torusel võib olla sama lokaalne geomeetria ja ikkagi erinev kuju

Kuju, mida mõõtmised ei suuda üheselt määrata

Kujutage ette, et mõõdate pinda nii, et teil ei lubata sellelt väljapoole astuda. Te saate mõõta vahemaid mööda pinda: kui kaugel on üks punkt teisest, kui liikuda ainult pinnal. See on pinna meetrika. Lisame nüüd ühe mõõtmise väljastpoolt: igas punktis paneme kirja pinna keskmise paindumise ehk keskmise kõveruse.

See tundub olevat väga palju infot. Paljude pindade puhul piisabki sellest. Kui teate sisemisi vahemaid ja keskmise kõveruse funktsiooni, võiks eeldada, et kuju kolmemõõtmelises ruumis on üheselt määratud.

Alexander Bobenko, Tim Hoffmann ja Andrew Sageman-Furnas on nüüd konstrueerinud kompaktsed pinnad, mis seda ootust rikuvad. Nende artiklis on kaks torust — sõõrikukujulist pinda, ehkki mitte tavalised ümmargused sõõrikud —, mis on isomeetrilised ja mille vastavates punktides on sama keskmine kõverus, kuid mis ei ole kongruentsed. Üht ei saa teiseks muuta pööramise, nihutamise ega peegeldamisega. Need on ruumis tõepoolest erinevad immersioonid.

Valdkonna keeles on need kompaktsed Bonnet’ paarid. Artikli järgi on tegemist esimeste selliste näidetega.

Mis probleem siin on

Klassikaline pinnateooria eristab kahte tüüpi infot.

Meetrika kirjeldab mööda pinda mõõdetavaid vahemaid. Lame paberileht, mis keeratakse silindriks, säilitab oma sisemise meetrika: lehel kõndiv väike sipelgas ei märkaks ainult vahemaid mõõtes, et leht on rulli keeratud. Täielik teine fundamentaalvorm ütleb palju rohkem selle kohta, kuidas pind ruumis paindub. Klassikaline Bonnet’ teoreem ütleb, et kui meetrika ja täielik paindeinfo rahuldavad sobivaid kooskõlatingimusi, on immersioon määratud kuni jäiga liikumiseni.

1867. aastal esitas Pierre Ossian Bonnet aga teravama küsimuse. Mis juhtub, kui paindeinfot vähendada? Kuna meetrika määrab Gaussi kõveruse juba sisemiselt, siis kas pinda võiks iseloomustada meetrika ja keskmise kõveruse funktsiooni abil?

Üldjuhul on vastus jah. Just sõna „üldjuhul“ on siin oluline. Geomeetrias on sageli erandjuhte: erilisi pindu, mille puhul tavapärane ühesuse väide ei kehti. Lahtiseks jäi küsimus, kas leidub kompaktseid siledaid näiteid, mille meetrika ja keskmine kõverus langevad kokku, kuid pinnad ise ei ole ruumis samad.

See on globaalne Bonnet’ probleem. Uus artikkel vastab sellele toruste abil.

Mida autorid konstrueerisid

Autorid konstrueerivad ruumis R3 paari siledaid toruseid, mida seob keskmist kõverust säilitav isomeetria. See tähendab, et vastavates punktides on samad sisemised vahemaad ja sama keskmise kõveruse väärtus, kuid pinnad ei ole kongruentsed.

Konstruktsioon ei anna lihtsalt üht arvulist kurioosumit. Torused on reaalselt analüütilised — sama korrapärased nagu astmeridadega kirjeldatav geomeetria, mitte robustselt kokku lapitud objektid — ning autorid tõestavad, et üldjuhul ei seo nende näiteid ükski ümbritseva ruumi isomeetria. Samuti märgivad nad, et konstruktsioon annab loendamatult palju selliseid paare, sest selles sisaldub funktsionaalne parameeter.

Meetod ise on tehniline. See kasutab seost Bonnet’ paaride ja isotermiliste pindade vahel — viimased on pinnad, millel on erilised kõverusjoonte koordinaadid. Näited saadakse, alustades isotermilistest torustest, mille üks kõverusjoonte perekond on tasandiline, ning rakendades konstruktsiooni, mis tekitab Bonnet’ paari. Autorite sõnul kasvas lähenemine välja arvutuseksperimentidest toruse 5 × 7 nelinurkjaotusega; diskreetne diferentsiaalgeomeetria oli teejuhiks sileda tulemuse juurde.

Visuaalset tulemust on lihtsam mõista kui tõestust. Artiklis kujutatud kahel torusel on sama geomeetriline info, kuid nähtavalt erinev globaalne paigutus: autorite joonisel 1 asuvad vastavad suured „mullid“ ühel torusel üksteisele lähemal kui teisel. See nähtav erinevus ei ole joonistustrikk. Teoreem ütleb, et pinnad ei ole ruumis sama kujuga, ehkki valitud lokaalsed andmed langevad kokku.

Miks see ei ole vastuolu

Tulemus ei ütle, et geomeetria oleks suvaline või et mõõtmised oleksid kasutud.

See ütleb, et üks kindel vähendatud andmestik — meetrika pluss keskmine kõverus — ei ole alati piisav kompaktse pinna üheseks tuvastamiseks. Klassikaline täielik ühesusteoreem kasutab rikkamat paindeinfot. Keskmine kõverus on vaid kahe peamise kõveruse keskmine. See ütleb, kui palju pind ühes punktis keskmiselt paindub, kuid ei säilita kogu suunaspetsiifilist paindeinfot.

Just see erinevus ongi asja tuum. Kaks pinda võivad vastavates punktides kokku langeda nii mööda pinda mõõdetavate vahemaade kui ka keskmise painde poolest, kuid erineda selles, kuidas paindumine ruumis jaotub.

Artikkel ei väida ka, et selline mitmetähenduslikkus oleks tüüpiline. Sissejuhatus on selles suhtes ettevaatlik: üldjuhul määravad meetrika ja keskmine kõverus pinna ära. Bonnet’ paarid on erandid. Nende väärtus seisneb just selles, et nad näitavad erandi olemasolu kompaktses, siledas ja analüütilises olukorras, kus küsimus oli seni lahendamata.

Millised vanad küsimused see lahendab

Esimene lahendatud küsimus on globaalne Bonnet’ probleem: kas kolmemõõtmelises Eukleidilises ruumis leidub kaks mittekongruentset kompaktset siledat immersiooni, mida seob isomeetria ja mille vastavates punktides on sama keskmine kõverus? Autorite vastus on jah.

Teine on Cohn-Vosseni-Bergeri probleem: kas Eukleidilises kolmeruumis leidub kaks isomeetrilist kompaktset analüütilist pinda, mida ei seo ükski ümbritseva ruumi isomeetria? Ka siin on vastus jah, kasutades sama konstruktsiooniga saadud analüütilisi toruseid.

Analüütilisus on oluline. Varasemad kompaktsete pindade mitteühesuse näited võisid tugineda väiksemale regulaarsusele või lokaalsetele muudatustele. Need torused ei ole lihtsalt sile objekt, millel on ühes laigus kühm teise vastu vahetatud. Artikkel rõhutab, et vastavad naabrused ei ole mitte kusagil lokaalselt kongruentsed: erinevus läbib kogu konstruktsiooni ega ole peidetud mõnda parandatud õmblusse.

Miks see oluline on

See on puhas matemaatika, kuid intuitsioon on laiem. Ühes mõttes võib kuju kohta olla infot isegi ülearu, kuid teises mõttes ei pruugi see ometi objekti üheselt määrata. Oluline ei ole ainult andmete hulk, vaid see, kas andmed sisaldavad õiget tüüpi infot.

Meetrika pluss keskmine kõverus tundub tugeva kirjeldusena, sest see ühendab sisemised vahemaad välise paindemõõduga. Kompaktne Bonnet’ paar näitab lünka: keskmine paindumine ei ole kogu paindumine. Lokaalne kokkulangevus ei taga alati globaalset ühesust. Ka analüütiline regulaarsus ei ole maagiline ühesuse garantii.

See on kasulik õppetund ka väljaspool konkreetset teoreemi. Geomeetria pöördülesannetes küsitakse sageli, kas mingi mõõtmiste kogum määrab objekti, mis need mõõtmised tekitas. See artikkel annab ühele klassikalisele pinnaprobleemile terava uue vastuse: mitte alati, isegi siis, kui objekt on kompaktne, sile ja analüütiline.

Lühidalt

Bobenko, Hoffmann ja Sageman-Furnas konstrueerivad esimesed kompaktsed Bonnet’ paarid: kaks mittekongruentset siledat torust ruumis R3, mida seob isomeetria ja mille vastavates punktides on sama keskmine kõverus. Nende näited on reaalselt analüütilised ja üldjuhul ei seo neid ükski ümbritseva ruumi isomeetria, lahendades nii globaalse Bonnet’ probleemi kui ka artiklis sõnastatud Cohn-Vosseni-Bergeri analüütilise ühesuse küsimuse. Tulemus ei lükka ümber klassikalist pinnateooriat; see näitab, et vähendatud andmestik — meetrika pluss keskmine kõverus — ei ole alati piisav kompaktse pinna üheseks määramiseks.

Ilma liialdusteta

Mida artikkel näitab: Kompaktsed siledad Bonnet’ paarid on olemas. Täpsemalt konstrueerivad autorid ruumis R3 torused, millel on vastavates punktides sama meetrika ja sama keskmise kõveruse funktsioon, kuid mis ei ole kongruentsed.

Mis on usutav, kuid mitte põhipunkt: Et arvutuslik ja diskreetgeomeetriline uurimine võib aidata leida teed keeruliste siledate konstruktsioonideni. Artikli järgi oli see lähenemine oluline, kuid tulemus põhineb tõestusel, mitte arvulisel pildil.

Mida see ei näita: Et kõik või enamik pindu oleksid mitmetähenduslikud. Üldine ühesuse väide jääb taustal kehtima. Need on erandlikud, kuid otsustavad vastunäited.

Peamised piirangud tavalugejale: Tõestus on väga tehniline ja kuulub diferentsiaalgeomeetria valdkonda: isotermilised pinnad, Bonnet’ paaride klassifikatsioonid, periooditingimused ja analüütiline konstruktsioon. Teoreemi tähendusest saab aru ka seda masinavärki läbimata.

Kui kindel võib tavalugeja olla? Kõrge kindlus teoreemi sõnastuse suhtes, sest tegemist on eelretsenseeritud matemaatilise tulemusega. Ettevaatus on siin tõlgenduslik, mitte tõenduslik: lugege seda kui „need vähendatud geomeetrilised andmed ei määra alati kuju“, mitte kui „geomeetria ei suuda kujusid tuvastada“.