Du torai gali turėti tą pačią vietinę geometriją ir vis tiek būti skirtingų formų

Forma, kurios nepavyksta vienareikšmiškai atpažinti

Įsivaizduokite, kad matuojate paviršių negalėdami nuo jo nulipti. Galite matuoti atstumus pačiu paviršiumi: kiek kelio reikia nueiti nuo vieno taško iki kito, jei judate tik juo. Tai yra paviršiaus metrika. Dabar pridėkime dar vieną matavimą iš išorės: kiekviename taške užrašykime vidutinį paviršiaus linkimą — jo vidutinį kreivumą.

Atrodo, kad tai labai daug informacijos. Daugeliui paviršių jos iš tiesų pakanka. Žinodami vidinius atstumus ir vidutinio kreivumo funkciją galėtume tikėtis, kad forma trimatėje erdvėje bus nustatyta vienareikšmiškai.

Alexander Bobenko, Tim Hoffmann ir Andrew Sageman-Furnas dabar sukonstravo kompaktiškus paviršius, kurie šį lūkestį paneigia. Jų darbe pateikiami du torai — spurgos pavidalo paviršiai, nors visai ne paprastos apvalios „spurgos“ — kurie yra izometriniai ir atitinkamuose taškuose turi tokį pat vidutinį kreivumą, tačiau nėra kongruentūs. Vieno negalima pasukti, perstumti ar atspindėti taip, kad jis sutaptų su kitu. Tai iš tiesų dvi skirtingos to paties vidinio paviršiaus realizacijos erdvėje.

Šios srities kalba tai yra kompaktiška Bonnet pora. Straipsnio autoriai ją vadina pirmuoju tokiu pavyzdžiu.

Kokia problema sprendžiama

Klasikinė paviršių teorija skiria dviejų rūšių informaciją.

Metrika nusako atstumus, matuojamus pačiu paviršiumi. Plokščią lapą susukus į cilindrą jo vidinė metrika nepasikeičia: mažytė skruzdėlė, vaikštanti lapu, vien iš atstumų matavimų nepastebėtų, kad lapas susuktas. Visa antroji fundamentinė forma pasako gerokai daugiau apie tai, kaip paviršius linksta erdvėje. Klasikinė Bonnet teorema teigia, kad žinant metriką ir visą linkimo informaciją, jei ji tenkina reikiamas suderinamumo lygtis, paviršiaus realizacija nustatoma iki standžiojo judesio.

Tačiau 1867 m. Pierre Ossian Bonnet uždavė griežtesnį klausimą. O jeigu linkimo duomenų turime mažiau? Kadangi metrika jau savaime nustato Gauso kreivumą, ar paviršių galima apibūdinti vien metrika ir vidutinio kreivumo funkcija?

Bendruoju atveju atsakymas yra „taip“. Žodis „bendruoju“ čia labai svarbus. Geometrijoje dažnai pasitaiko išskirtinių atvejų — specialių paviršių, kuriems įprastas vienaties teiginys nebegalioja. Atviras klausimas buvo toks: ar egzistuoja kompaktiški glotnūs pavyzdžiai, kurių metrika ir vidutinis kreivumas sutampa, bet patys paviršiai erdvėje yra skirtingi?

Tai vadinamasis globalusis Bonnet uždavinys. Naujasis darbas atsako į jį torais.

Ką autoriai sukonstravo

Autoriai sukonstravo porą glotnių torų erdvėje R3, susietų izometrija, išsaugančia vidutinį kreivumą. Kitaip tariant, atitinkamuose taškuose sutampa ir vidiniai atstumai jų aplinkoje, ir vidutinio kreivumo reikšmė, tačiau patys paviršiai nėra kongruentūs.

Konstrukcija nėra vien pavienis skaitinis kuriozas. Torai yra realiai analitiniai — jų reguliarumas toks, kokio tikimasi iš laipsninių eilučių geometrijos, o ne iš grubiai sulipdytų lopų — ir autoriai įrodo, kad bendruoju atveju jų pavyzdžių nesieja jokia visos aplinkinės erdvės izometrija. Jie taip pat teigia, kad konstrukcija duoda nesuskaičiuojamai daug tokių porų, nes joje yra funkcinis parametras.

Kelias iki rezultato techniškas. Jis remiasi ryšiu tarp Bonnet porų ir izoterminių paviršių — paviršių klasės, turinčios specialias kreivumo linijų koordinates. Pavyzdžiai gaunami pradedant nuo izoterminių torų, kurių viena kreivumo linijų šeima yra plokščia, ir pritaikant konstrukciją, sukuriančią Bonnet porą. Autoriai rašo, kad metodas išaugo iš skaitinių eksperimentų su 5×7 keturkampių toro skaidymu: diskretinė diferencialinė geometrija padėjo rasti kelią į glotnų rezultatą.

Vizualų rezultatą suprasti lengviau nei įrodymą. Straipsnyje pavaizduoti du torai turi sutampančius pasirinktus geometrinius duomenis, tačiau jų globalus išsidėstymas akivaizdžiai skiriasi: autorių 1 paveiksle atitinkamos didelės „pūslės“ viename tore yra arčiau viena kitos nei kitame. Tai nėra piešinio triukas. Teorema sako, kad erdvėje tai skirtingos formos, nors nurodyti vietiniai duomenys sutampa.

Kodėl tai nėra prieštaravimas

Rezultatas nesako, kad geometrija yra savavališka ar kad matavimai nenaudingi.

Jis sako, kad vienas konkretus sumažintas duomenų rinkinys — metrika ir vidutinis kreivumas — ne visada pakankamas kompaktiškam paviršiui vienareikšmiškai atpažinti. Klasikinėje vienaties teoremoje naudojama turtingesnė linkimo informacija. Vidutinis kreivumas yra tik dviejų pagrindinių kreivumų vidurkis. Jis pasako, kiek vidutiniškai paviršius linksta taške, bet neišsaugo visos informacijos apie linkimą skirtingomis kryptimis.

Būtent šis skirtumas ir yra rezultato esmė. Du paviršiai gali sutapti pagal atstumus pačiu paviršiumi ir pagal vidutinį linkimą kiekviename atitinkamame taške, tačiau skirtis tuo, kaip tas linkimas išsidėsto erdvėje.

Straipsnis taip pat neteigia, kad toks dviprasmiškumas yra įprastas. Įvade autoriai atsargiai pabrėžia: bendruoju atveju metrika kartu su vidutiniu kreivumu paviršių nustato. Bonnet poros yra išimtys. Jų reikšmė būtent ta, kad jos parodo: išimtis egzistuoja kompaktiškų, glotnių ir analitinių paviršių klasėje, kurioje klausimas iki šiol buvo neišspręstas.

Kokius senus klausimus tai uždaro

Pirmasis uždaromas klausimas yra globalusis Bonnet uždavinys: ar trimatėje euklidinėje erdvėje egzistuoja dvi nekongruenčios kompaktiškos glotnios paviršiaus realizacijos, susietos izometrija ir turinčios tokį pat vidutinį kreivumą atitinkamuose taškuose? Autoriai atsako „taip“.

Antrasis — Cohn-Vossen-Berger uždavinys: ar euklidinėje trimatėje erdvėje egzistuoja du izometriniai kompaktiški analitiniai paviršiai, kurių nesieja visos aplinkinės erdvės izometrija? Ir čia atsakymas yra „taip“, panaudojant ta pačia konstrukcija gautus analitinius torus.

Analitiškumas čia svarbus. Ankstesni kompaktiškų paviršių nevienaties pavyzdžiai galėjo remtis mažesniu reguliarumu arba lokaliais pakeitimais. Šie torai nėra tiesiog glotnūs objektai, kuriuose viename lopelyje pakeistas iškilimas. Straipsnyje pabrėžiama, kad atitinkamos aplinkos niekur nėra lokaliai kongruenčios: skirtumas išsklaidytas per visą konstrukciją, o ne paslėptas siūlėje.

Kodėl tai svarbu

Tai grynoji matematika, tačiau intuicija pritaikoma plačiai. Objektą galima laikyti „per daug aprašytu“ vienu požiūriu ir vis tiek nepakankamai identifikuotu kitu. Svarbu ne vien duomenų kiekis, o tai, ar juose yra tinkamos rūšies informacija.

Metrika kartu su vidutiniu kreivumu atrodo labai stiprus aprašas, nes sujungia vidinius atstumus ir išorinį linkimo matą. Kompaktiška Bonnet pora parodo spragą: vidutinis linkimas nėra visas linkimas. Vietinis sutapimas ne visada reiškia globalų tapatumą. Ir analitinis reguliarumas savaime negarantuoja vienaties.

Tai naudinga pamoka ir už šios teoremos ribų. Geometrijos atvirkštiniuose uždaviniuose dažnai klausiama, ar tam tikri matavimai vienareikšmiškai nustato objektą, kuris juos sukūrė. Šis darbas pateikia aiškų naują atsakymą vienam klasikiniam paviršių uždaviniui: ne visada, net kai objektas kompaktiškas, glotnus ir analitinis.

Trumpa santrauka

Bobenko, Hoffmann ir Sageman-Furnas sukonstravo pirmąsias kompaktiškas Bonnet poras: du nekongruenčius glotnius torus R3 erdvėje, susietus izometrija ir atitinkamuose taškuose turinčius tokį pat vidutinį kreivumą. Jų pavyzdžiai yra realiai analitiniai ir bendruoju atveju nesusiję jokia aplinkinės erdvės izometrija, todėl, kaip teigiama straipsnyje, išsprendžiamas ir globalusis Bonnet uždavinys, ir Cohn-Vossen-Berger analitinės vienaties klausimas. Rezultatas nepaneigia klasikinės paviršių teorijos; jis parodo, kad sumažintas duomenų rinkinys — metrika ir vidutinis kreivumas — ne visada pakankamas kompaktiškam paviršiui vienareikšmiškai atpažinti.

Be pagražinimų

Ką straipsnis parodo: egzistuoja kompaktiškos glotnios Bonnet poros. Tiksliau, autoriai aiškiai sukonstruoja R3 torus, kurių metrika ir vidutinio kreivumo funkcija atitinkamuose taškuose sutampa, tačiau patys torai nėra kongruentūs.

Kas tikėtina, bet nėra pagrindinis rezultatas: skaitiniai ir diskretinės geometrijos eksperimentai gali padėti rasti kelią į sudėtingas glotniąsias konstrukcijas. Straipsnyje sakoma, kad šis kelias buvo svarbus, tačiau rezultatas remiasi įrodymu, o ne skaitiniu paveikslu.

Ko straipsnis neparodo: kad visi ar dauguma paviršių yra dviprasmiški. Bendroji vienaties nuostata lieka fone galioti. Tai išskirtiniai, tačiau lemiami kontrpavyzdžiai.

Pagrindinis sunkumas bendram skaitytojui: įrodymas labai techniškas ir priklauso diferencialinei geometrijai — izoterminiams paviršiams, Bonnet porų klasifikacijai, periodiškumo sąlygoms ir analitinei konstrukcijai. Teoremos prasmę galima suprasti nesekant visos matematinės technikos.

Kiek pasitikėjimo turėtų turėti bendras skaitytojas? Daug dėl pačios teoremos formuluotės, nes tai recenzuotas matematikos rezultatas. Atsargumas reikalingas ne dėl įrodymų, o dėl interpretacijos: skaitykite jį kaip „šio sumažinto geometrinių duomenų rinkinio ne visada pakanka formai nustatyti“, o ne kaip „geometrija negali atpažinti formų“.