Twee tori kan dieselfde lokale meetkunde deel en steeds verskillende vorms wees

Die vorm wat weier om geïdentifiseer te word

Stel jou voor jy meet 'n oppervlak op sonder om daarbuite te mag tree. Jy kan afstande langs die oppervlak meet: hoe ver een punt van 'n ander af is as jy op die oppervlak self reis. Dit is die oppervlak se metriek. Voeg nou nog een meting van buite by: teken by elke punt die gemiddelde buiging van die oppervlak aan, sy gemiddelde kromming.

Dit klink na baie inligting. Vir baie oppervlakke is dit genoeg. As jy die intrinsieke afstande en die gemiddelde-krommingsfunksie ken, sou jy verwag dat die vorm in die driedimensionele ruimte vasgepen is.

Alexander Bobenko, Tim Hoffmann en Andrew Sageman-Furnas het nou kompakte oppervlakke gekonstrueer wat daardie verwagting fnuik. Hul artikel gee twee tori - donutvormige oppervlakke, hoewel nie gewone ronde donuts nie - wat isometries is en by ooreenstemmende punte dieselfde gemiddelde kromming het, maar nie kongruent is nie. Jy kan nie die een deur rotasie, translasie of refleksie in die ander omskep nie. Hulle is werklik verskillende immersies in die ruimte.

In die taal van die vakgebied is hulle kompakte Bonnet-pare. Die artikel noem hulle die eerste sulke voorbeelde.

Wat die probleem is

Klassieke oppervlakteorie skei twee soorte inligting.

Die metriek vertel jou die afstande wat op die oppervlak gemeet word. 'n Plat vel wat tot 'n silinder gerol word, behou dieselfde intrinsieke metriek: 'n klein mier wat op die vel loop, sou die oprol nie opmerk deur net afstande te meet nie. Die volledige tweede fundamentaalvorm vertel baie meer oor hoe die oppervlak in die ruimte buig. Die klassieke stelling van Bonnet sê dat die immersie tot op 'n starre beweging na bepaal is wanneer die metriek en die volledige buigingsdata aan die regte versoenbaarheidsvergelykings voldoen.

Maar in 1867 het Pierre Ossian Bonnet 'n skerper vraag gevra. Wat as die buigingsdata verminder word? Aangesien die metriek reeds die Gaussiese kromming intrinsiek bepaal, kan 'n oppervlak dan gekarakteriseer word deur die metriek plus die gemiddelde-krommingsfunksie?

Generies is die antwoord ja. Daardie woord is belangrik. Meetkunde het dikwels uitsonderlike gevalle: spesiale oppervlakke waar die gewone eenduidigheidsuitspraak faal. Die oop vraag was of daar kompakte gladde voorbeelde bestaan waarin die metriek en gemiddelde kromming ooreenstem, maar die oppervlakke in die ruimte nie dieselfde is nie.

Dit is die Globale Bonnet-probleem. Die nuwe artikel beantwoord dit met tori.

Wat die outeurs gebou het

Die outeurs konstrueer 'n paar gladde tori in R3 wat verbind word deur 'n isometrie wat die gemiddelde kromming behou. Dit beteken dat ooreenstemmende punte dieselfde intrinsieke afstande rondom hulle en dieselfde gemiddelde-krommingswaarde het, maar dat die twee oppervlakke nie kongruent is nie.

Die konstruksie lewer meer as 'n enkele numeriese kuriositeit. Die tori is reëel-analities - so regulier soos magsreeksmeetkunde, nie rowwe aanmekaargelapte objekte nie - en die outeurs bewys dat hul voorbeelde generies deur geen isometrie van die omringende ruimte verbind word nie. Hulle verklaar ook dat hul konstruksie onaftelbaar baie sulke pare oplewer, omdat dit 'n funksionele parameter bevat.

Die roete is tegnies. Dit gebruik die verband tussen Bonnet-pare en isotermiese oppervlakke, 'n klas oppervlakke met spesiale krommingslyn-koördinate. Die voorbeelde ontstaan deur van isotermiese tori met een familie van vlak krommingslyne te begin en 'n konstruksie toe te pas wat die Bonnet-paar voortbring. Die outeurs sê die benadering het gegroei uit rekenaarmatige eksperimente met 'n 5x7-quad-dekomposisie van 'n torus, met diskrete differensiaalmeetkunde as gids na die gladde resultaat.

Die visuele resultaat is makliker om te begryp as die bewys. Die twee tori in die artikel het ooreenstemmende meetkundige data, maar sigbaar verskillende globale plasing: in die outeurs se Figuur 1 sit ooreenstemmende groot “borrels” nader aan mekaar op die een torus as op die ander. Daardie sigbare verskil is nie 'n tekentruuk nie. Die stelling sê die oppervlakke is nie dieselfde vorm in die ruimte nie, al stem die geselekteerde lokale data ooreen.

Waarom dit nie 'n teenstrydigheid is nie

Die resultaat sê nie dat meetkunde arbitrêr is, of dat metings nutteloos is nie.

Dit sê dat 'n bepaalde verminderde datastel - metriek plus gemiddelde kromming - nie altyd genoeg is om 'n kompakte oppervlak eenduidig te identifiseer nie. Die volledige klassieke eenduidigheidstelling gebruik ryker buigingsinligting. Gemiddelde kromming is net 'n gemiddelde van die twee hoofkrommings. Dit vertel jou hoeveel die oppervlak by 'n punt gemiddeld buig, maar dit bewaar nie alle rigtingsafhanklike buigingsinligting nie.

Daardie onderskeid is die hele punt. Twee oppervlakke kan ooreenstem oor afstande langs die oppervlak en oor gemiddelde buiging by elke ooreenstemmende punt, terwyl hulle verskil in die manier waarop daardie buiging in die ruimte gerangskik is.

Die artikel sê ook nie dat hierdie dubbelsinnigheid tipies is nie. Die inleiding is versigtig: generies bepaal metriek plus gemiddelde kromming 'n oppervlak. Bonnet-pare is uitsonderlik. Hul waarde is juis dat hulle wys dat die uitsondering bestaan in die kompakte, gladde, analitiese konteks waar dit onopgelos gebly het.

Watter ou vrae dit afsluit

Die eerste afgeslote vraag is die Globale Bonnet-probleem: bestaan daar twee nie-kongruente kompakte gladde immersies in die driedimensionele Euklidiese ruimte wat verbind word deur 'n isometrie met dieselfde gemiddelde kromming by ooreenstemmende punte? Die outeurs antwoord ja.

Die tweede is die Cohn-Vossen-Berger-probleem: bestaan daar twee isometriese kompakte analitiese oppervlakke in die Euklidiese driedimensionele ruimte wat nie deur 'n isometrie van die omringende ruimte verbind word nie? Weereens is die antwoord ja, met die analitiese tori wat deur dieselfde konstruksie verkry word.

Die analitiese deel is belangrik. Vroeëre nie-eenduidigheidsvoorbeelde vir kompakte oppervlakke kon staatmaak op laer regulariteit of lokale wysigings. Hierdie tori is nie bloot 'n gladde objek met 'n bult wat in een stuk omgeruil is nie. Die artikel beklemtoon dat die ooreenstemmende omgewings nêrens lokaal kongruent is nie: die verskil is deur die hele konstruksie versprei, nie in 'n herstelnaat weggesteek nie.

Waarom dit saak maak

Dit is suiwer wiskunde, maar die intuïsie is breed. 'n Vorm kan in een opsig oorbepaald wees en in 'n ander steeds ondergeïdentifiseer. Wat tel, is nie hoeveel data jy het nie, maar of die data die regte soort inligting bevat.

Metriek plus gemiddelde kromming voel sterk omdat dit interne afstande met 'n ekstrinsieke buigingsmaat kombineer. Die kompakte Bonnet-paar wys die gaping: gemiddelde buiging is nie volledige buiging nie. Lokale ooreenstemming is nie altyd globale identifikasie nie. Analitiese regulariteit is nie 'n magiese eenduidigheidswaarborg nie.

Dit is 'n nuttige les wat verder strek as hierdie stelling. In meetkunde vra inverse probleme dikwels of 'n stel metings die objek bepaal wat dit voortgebring het. Hierdie artikel gee 'n skerp nuwe antwoord op een klassieke oppervlakprobleem: nie altyd nie, selfs wanneer die objek kompak, glad en analities is.

Skoon opsomming

Bobenko, Hoffmann en Sageman-Furnas konstrueer die eerste kompakte Bonnet-pare: twee nie-kongruente gladde tori in R3 wat deur 'n isometrie verbind word en by ooreenstemmende punte dieselfde gemiddelde kromming het. Hul voorbeelde is reëel-analities en generies nie deur enige isometrie van die omringende ruimte verbind nie, wat sowel die Globale Bonnet-probleem as die analitiese eenduidigheidsvraag van Cohn-Vossen-Berger, soos in die artikel gestel, oplos. Die resultaat werp nie die klassieke oppervlakteorie omver nie; dit wys dat die verminderde data van metriek plus gemiddelde kromming nie altyd genoeg is om 'n kompakte oppervlak eenduidig te identifiseer nie.