To toruser kan ha den samme lokale geometrien og likevel ha forskjellig form

Formen som nekter å la seg identifisere

Tenk deg at du måler en flate uten å få lov til å gå utenfor den. Du kan måle avstander langs den: hvor langt det er fra ett punkt til et annet når du beveger deg på selve flaten. Det er flatens metrikk. Legg så til én måling utenfra: registrer i hvert punkt flatens gjennomsnittlige bøyning, dens middelkrumning.

Det høres ut som mye informasjon. For mange flater er det nok. Hvis du kjenner de intrinsiske avstandene og middelkrumningsfunksjonen, er det nærliggende å tro at formen i det tredimensjonale rommet er entydig bestemt.

Alexander Bobenko, Tim Hoffmann og Andrew Sageman-Furnas har nå konstruert kompakte flater som bryter med denne forventningen. Artikkelen deres beskriver to toruser – smultringformede flater, men ikke vanlige runde smultringer – som er isometriske og har samme middelkrumning i samsvarende punkter, men som ikke er kongruente. Du kan ikke rotere, translatere eller speile den ene slik at den faller sammen med den andre. De er genuint forskjellige immersjoner i rommet.

På fagspråket er de kompakte Bonnet-par. Artikkelen omtaler dem som de første eksemplene av dette slaget.

Hva problemet går ut på

Klassisk flateteori skiller mellom to typer informasjon.

Metrikken angir avstander målt på flaten. Et flatt ark som rulles til en sylinder, beholder den samme intrinsiske metrikken: En liten maur som går på arket, ville ikke oppdage at det var rullet sammen, bare ved å måle avstander. Den fullstendige andre fundamentalformen forteller mye mer om hvordan flaten bøyer seg i rommet. Det klassiske Bonnet-teoremet sier at når metrikken og de fullstendige bøyningsdataene oppfyller de rette kompatibilitetsligningene, er immersjonen bestemt opp til en stiv bevegelse.

Men i 1867 stilte Pierre Ossian Bonnet et skarpere spørsmål. Hva om bøyningsdataene reduseres? Siden metrikken allerede bestemmer Gauss-krumningen intrinsisk, kan en flate karakteriseres av metrikken sammen med middelkrumningsfunksjonen?

Generisk er svaret ja. Det ordet er viktig. I geometrien finnes det ofte unntakstilfeller: spesielle flater der det vanlige entydighetsresultatet ikke gjelder. Det åpne spørsmålet var om det fantes kompakte, glatte eksempler der metrikken og middelkrumningen er de samme, men flatene ikke har samme form i rommet.

Dette er det globale Bonnet-problemet. Den nye artikkelen besvarer spørsmålet med toruser.

Hva forfatterne konstruerte

Forfatterne konstruerer et par glatte toruser i R3 som er knyttet sammen av en isometri som bevarer middelkrumningen. Det betyr at de intrinsiske avstandsforholdene er de samme omkring samsvarende punkter, og at middelkrumningen har samme verdi der, men at de to flatene ikke er kongruente.

Konstruksjonen gjør mer enn å frembringe en enkelt numerisk kuriositet. Torusene er reellanalytiske – de har den regulariteten som kjennetegner potensrekker og er ikke grovt sammenføyde objekter – og forfatterne beviser at eksemplene deres generisk ikke kan overføres til hverandre ved noen isometri av det omgivende rommet. De fastslår også at konstruksjonen gir overtellbart mange slike par, fordi den inneholder en funksjonell parameter.

Veien dit er teknisk. Den bruker forbindelsen mellom Bonnet-par og isotermiske flater, en klasse flater med spesielle koordinater langs krumningslinjene. Eksemplene fremkommer ved å ta utgangspunkt i isotermiske toruser der én familie av krumningslinjer er plane, og anvende en konstruksjon som gir Bonnet-paret. Forfatterne forteller at fremgangsmåten vokste frem gjennom beregningseksperimenter med en 5x7-inndeling av en torus i firkanter, der diskret differensialgeometri viste vei mot det glatte resultatet.

Det visuelle resultatet er lettere å forstå enn beviset. De to torusene i artikkelen har samsvarende geometriske data, men en synlig forskjellig global plassering: I forfatternes figur 1 ligger samsvarende store «bobler» nærmere hverandre på den ene torusen enn på den andre. Den synlige forskjellen skyldes ikke måten figuren er tegnet på. Teoremet sier at flatene ikke har samme form i rommet, selv om de utvalgte lokale dataene er like.

Hvorfor dette ikke er en selvmotsigelse

Resultatet sier ikke at geometrien er vilkårlig, eller at målinger er unyttige.

Det sier at et bestemt redusert datasett – metrikk pluss middelkrumning – ikke alltid er nok til å identifisere en kompakt flate entydig. Det fullstendige klassiske entydighetsteoremet bruker rikere informasjon om bøyningen. Middelkrumning er bare et gjennomsnitt av de to hovedkrumningene. Den forteller hvor mye flaten i gjennomsnitt bøyer seg i et punkt, men bevarer ikke all informasjon om bøyningen i ulike retninger.

Denne forskjellen er selve poenget. To flater kan ha de samme avstandene langs flaten og den samme gjennomsnittlige bøyningen i hvert par av samsvarende punkter, samtidig som bøyningen er ordnet ulikt i rommet.

Artikkelen sier heller ikke at denne tvetydigheten er typisk. Innledningen er tydelig: Generisk bestemmer metrikk pluss middelkrumning en flate. Bonnet-par er unntak. Verdien deres ligger nettopp i at de viser at unntaket finnes i den kompakte, glatte og analytiske sammenhengen der spørsmålet hadde forblitt uløst.

Hvilke gamle spørsmål resultatet løser

Det første spørsmålet som blir løst, er det globale Bonnet-problemet: Finnes det to ikke-kongruente kompakte, glatte immersjoner i det tredimensjonale euklidske rommet som er knyttet sammen av en isometri og har samme middelkrumning i samsvarende punkter? Forfatternes svar er ja.

Det andre er Cohn-Vossen–Berger-problemet: Finnes det to isometriske kompakte analytiske flater i det tredimensjonale euklidske rommet som ikke kan overføres til hverandre ved en isometri av det omgivende rommet? Også her er svaret ja, ved hjelp av de analytiske torusene som fremkommer gjennom den samme konstruksjonen.

Den analytiske delen er viktig. Tidligere eksempler på manglende entydighet for kompakte flater kunne bygge på lavere regularitet eller lokale endringer. Disse torusene er ikke bare et glatt objekt der en utbuling i ett område er byttet ut. Artikkelen understreker at samsvarende nabolag ikke er lokalt kongruente noe sted: Forskjellen er spredt gjennom hele konstruksjonen, ikke skjult i en skjøt etter en reparasjon.

Hvorfor det har betydning

Dette er ren matematikk, men intuisjonen har bred gyldighet. En form kan være overbestemt i én forstand og likevel utilstrekkelig identifisert i en annen. Det avgjørende er ikke hvor mye data du har, men om dataene inneholder den rette typen informasjon.

Metrikk pluss middelkrumning virker sterkt fordi det kombinerer indre avstander med et mål på ytre bøyning. Det kompakte Bonnet-paret viser hva som mangler: Gjennomsnittlig bøyning er ikke fullstendig bøyningsinformasjon. Lokalt samsvar gir ikke alltid global identifikasjon. Analytisk regularitet er ingen magisk garanti for entydighet.

Det er en nyttig lærdom også utenfor dette teoremet. I geometrien handler inverse problemer ofte om hvorvidt et sett med målinger bestemmer objektet som frembrakte dem. Denne artikkelen gir et presist nytt svar på ett klassisk flateproblem: ikke alltid, selv når objektet er kompakt, glatt og analytisk.

Kort oppsummert

Bobenko, Hoffmann og Sageman-Furnas konstruerer de første kompakte Bonnet-parene: to ikke-kongruente glatte toruser i R3 som er knyttet sammen av en isometri og har samme middelkrumning i samsvarende punkter. Eksemplene deres er reellanalytiske og kan generisk ikke overføres til hverandre ved noen isometri av det omgivende rommet, og dermed løser de både det globale Bonnet-problemet og Cohn-Vossen–Berger-spørsmålet om analytisk entydighet, slik det er formulert i artikkelen. Resultatet rokker ikke ved klassisk flateteori; det viser at de reduserte dataene metrikk pluss middelkrumning ikke alltid er nok til å identifisere en kompakt flate entydig.

Nøktern kontroll

Hva artikkelen viser: Det finnes kompakte, glatte Bonnet-par. Mer konkret konstruerer forfatterne eksplisitt toruser i R3 med samme metrikk og middelkrumningsfunksjon i samsvarende punkter, men som ikke er kongruente.

Hva som er sannsynlig, men ikke hovedpoenget: At beregningsbasert og diskret-geometrisk utforskning kan lede frem mot vanskelige glatte konstruksjoner. Artikkelen sier at denne veien var viktig, men resultatet hviler på beviset, ikke på det numeriske bildet.

Hva den ikke viser: At alle eller de fleste flater er tvetydige. Det generiske entydighetsresultatet gjelder fortsatt som en del av bakgrunnen. Dette er uvanlige, men avgjørende, moteksempler.

De viktigste begrensningene for en allmenn leser: Beviset er svært teknisk og hører hjemme i differensialgeometrien: isotermiske flater, klassifisering av Bonnet-par, periodebetingelser og analytisk konstruksjon. En leser kan forstå betydningen av teoremet uten å følge maskineriet.

Hvor stor tillit bør en allmenn leser ha? Stor tillit til teoremets formulering som et fagfellevurdert matematisk resultat. Det rette forbeholdet gjelder tolkningen, ikke dokumentasjonen: Les det som «disse reduserte geometriske dataene bestemmer ikke alltid formen», ikke som «geometrien kan ikke identifisere former».