Kompakt vagy nem kompakt? Ez itt a kérdés
Nem hagyható figyelmen kívül, hogy a matematikusok az elmúlt 150 évben fáradhatatlanul vadászták azokra a kivételekre, amikor a helyi adatok (mint például a görbület vagy a felületen mért távolság) több, teljesen eltérő felületet is leírhatnak. Ennek egyik legismertebb formulája Pierre Ossian Bonnet nyomán született 1867-ben: minden egyes pontra nézve, ha ismerjük a felület metrikáját (azaz a pontok közötti távolságokat) és az átlagos görbületét (úgynevezett középgörbületét), akkor általában egyetlen felületet tudunk egyértelműen rekonstruálni. Ugyanakkor, kivételes esetekben mégis akadnak felületek, amelyek eltérő alakúak, mégis azonosak a helyi jellemzőikben.
Korábban ezeket a kivételeket csak olyan helyeken sikerült fellelni, ahol a felület „végtelen”: például egy sík vagy egy cső, amely valamilyen irányban örökké nyúlhat, vagy olyan darabokban, ahol a szélekről le lehet „pottyanni.” Kompakt, zárt felületek (mint egy gömb vagy egy tórusz/fánk) esetén azonban mindig úgy tűnt, hogy a Bonnet-féle szabály működik – legalábbis eddig.
A matematikusok ráharapnak a digitális fánkra
Alexander Bobenko két évtizedet töltött „matematikai fánkok” tanulmányozásával. Eleinte ő is azt hitte, hogy kizárt találni kompakt Bonnet-párokat – vagyis olyan, jól zárt felületpárokat, amelyeknél a helyi adatok nem döntik el egyértelműen az alakjukat. Közben áttért a diszkrét (nem folyamatos, hanem „pixelesített”) felületek vizsgálatára: ekkor a felületet véges számú pont és vonal határozza meg, akárcsak egy számítógépes modellezésben.
Sok matematikus dolgozott ezen a területen, hiszen ezeknek a modelleknek rengeteg gyakorlati hasznuk is van – például a számítástechnikában, anyagtudományban, vagy éppen a textilmérnököknél, akik hálók szerkezetét vizsgálják. Bobenko, Tim Hoffmann, majd Andrew Sageman-Furnas fejlesztették tovább a diszkrét felületek elméletét, és közösen kidolgoztak egy módszert, amellyel elviekben diszkrét Bonnet-párokat is lehetett keresni.
Sageman-Furnas különösen érdeklődött az ilyen kivételek után. Felmerült benne, hogy ha a számítógép végigpróbál különféle kombinációkat, talán sikerül rábukkanni kompakt, „pixeles” Bonnet-párokra is. Ez akár a folyamatos eset megfejtését is közelebb hozhatja.
Megszületik a „rinocérosz”
2018 tavaszán Sageman-Furnas nekilátott a kutatásnak: egy számítógép segítségével keresett egy olyan különleges tóruszt (vagyis „fánkot”), amelyre igazak voltak a Bonnet-párhoz szükséges feltételek. Hónapok múltán rábukkant egy nagyon szövevényes alakra, amely inkább hasonlított egy origami rinocéroszra, mint fánkra. Esetünkben ez azt jelenti, hogy a legfontosabb görbületi és metrikai adatok alapján teljesen szabályos, kompakt felületnek tűnt, ráadásul a számítógépes átalakítások után is tóruszszerű maradt.
Ugyanakkor a diszkrét modellek számításai gyakran tartalmaznak kerekítési hibákat is. Többszöri ellenőrzés után végül a matematikusok meggyőzték magukat arról, hogy a rinocérosz valóban létezhet – sőt, talán a folyamatos (azaz valódi, matematikailag sima) felületek között is kell lennie megfelelő „másodpéldánynak.”
A kulcs: különös görbék zárt pályán
Az áttörést az jelentette, amikor a kutatók észrevették, hogy a rinocérosz felületén meghatározott görbületi vonalak mindig síkban vagy gömbfelületen visszazáródnak önmagukba. Ez annyira ritka, hogy nem lehet véletlen. Felidézték: Jean Gaston Darboux már több mint száz éve leírta azokat a matematikai képleteket, amelyek ilyen zárt vonalakat generálhatnak – csakhogy ezek a képletek általában nem adnak kompakt felületet.
Végül a kutatók némi kézi számolással és számítógépes trükkökkel megtalálták, hogyan kell módosítani az eljárást, hogy valóban „bezáródjanak” a görbék, és kompakt felületet alkossanak. Létrejött tehát a folyamatos „rinocérosz”, amelyből már elő lehetett állítani valódi Bonnet-párokat is: két olyan tóruszt, amelyeknek minden helyi jellemzője megegyezik, globálisan mégis egészen mások.
Két fánk, egy rejtély
Nem hagyható figyelmen kívül, hogy a két előállított tórusz egymás tükörképe, vagyis mintha csak egy fánkot néznénk egyszer jobbról, máskor balról. Sőt, sikerült egy olyan változatot is készíteniük, ahol a Bonnet-pár tagjai nem egymás tükörképei, hanem két különösen csavarodott felület, amelyek valójában áthaladnak önmagukon.
A felfedezés meglepte a szakmát: még olyan „jóindulatú” és jól ismert felületek, mint a tórusz, is lehet, hogy nem írhatók le egyértelműen a helyi mérési adatokból. Esetünkben ez azt jelenti, hogy a matematikai intuíció (miszerint minden helyi információ alapján egy adott felület csak egyféle lehet) ezúttal csődöt mondott.
Jelentősége, hogy a „pixeles” (diszkrét) matematika nem csupán a folyamatos világ halvány másolata, hanem önálló, gazdag világa is van, amely új összefüggéseket hozhat napvilágra. A felfedezés után már csak az a kérdés, léteznek-e olyan Bonnet-tóruszok is, amelyek nem metszik önmagukat – az újabb kaland tehát már elkezdődött.
