Tori méjì lè ní geometry local kan náà, síbẹ̀ wọ́n lè jẹ́ àwọn apẹrẹ tó yàtọ̀

Apẹrẹ tí kò fẹ́ jẹ́ kí a dá a mọ̀ nípasẹ̀ àwọn ìwọ̀n wọ̀nyí

Foju inú wo pé o fẹ́ wọn ojú-ilẹ̀ kan láì jẹ́ kí o jáde kúrò lórí rẹ̀. O lè wọn àwọn ìjìnnà lórí ojú-ilẹ̀ náà: bí ojú kan ṣe jìnnà sí omiì tí o bá ń rìn lórí ojú-ilẹ̀ funra rẹ̀. Èyí ni metric ojú-ilẹ̀ náà. Ní báyìí, fi ìwọ̀n míì kún un láti “ìta”: ní gbogbo ojú, ṣe àkọsílẹ̀ ìgòkè-gòkè apapọ̀ ojú-ilẹ̀ náà, ìyẹn mean curvature rẹ̀.

Ó dà bí ẹni pé ìsọfúnni púpọ̀ ni. Fún ọ̀pọ̀ ojú-ilẹ̀, ó tó. Tí o bá mọ àwọn ìjìnnà inú ojú-ilẹ̀ àti iṣẹ́ mean curvature rẹ̀, o lè retí pé apẹrẹ rẹ̀ nínú àyè oníwọ̀n mẹ́ta yóò dájú.

Alexander Bobenko, Tim Hoffmann àti Andrew Sageman-Furnas ti kọ́ àwọn ojú-ilẹ̀ compact tí ó tako ìrètí yẹn. Nínú ìwé ìwádìí wọn, wọ́n fi tori méjì hàn — ojú-ilẹ̀ bí donut, bó tilẹ̀ jẹ́ pé kì í ṣe donut yíká lasan — tí wọ́n jẹ́ isometric tí wọ́n sì ní mean curvature kan náà ní àwọn ojú tó bá ara wọn mu, ṣùgbọ́n tí wọn kò congruent. O kò lè yí ọkan ká, gbe e lọ tàbí fi àwòrán dígí rẹ̀ ṣe e kí ó di ekeji. Wọ́n jẹ́ immersion méjì tó yàtọ̀ gidi nínú àyè.

Ní èdè ẹ̀ka yìí, wọ́n jẹ́ compact Bonnet pairs. ìwé ìwádìí náà sọ pé wọ́n ni àpẹẹrẹ àkọ́kọ́ irú bẹ́ẹ̀.

Kí ni ìṣòro náà?

Ìmọ̀ ojú-ilẹ̀ classical máa ń yà ìsọfúnni sí oríṣi méjì.

Metric ń sọ fún wa àwọn ìjìnnà tí a wọn lórí ojú-ilẹ̀. A lè yí bébà pẹlẹbẹ kan di cylinder láì yí metric inú rẹ̀ padà: kokoro kékeré kan tó ń rìn lórí bébà náà kò ní mọ̀ pé a ti yí i ká bí ó bá ń wọn ìjìnnà nìkan. Full second fundamental form ń sọ ohun púpọ̀ sí i nípa bí ojú-ilẹ̀ ṣe ń tẹ̀ nínú àyè. Bonnet theorem classical sọ pé, tí a bá ní metric àti gbogbo ìsọfúnni tẹ̀-bí-tẹ̀ tó sì tẹ̀lé àwọn equation ìbámu tó yẹ, immersion náà dájú títí dé rigid motion.

Ṣùgbọ́n ní 1867, Pierre Ossian Bonnet béèrè ìbéèrè tó muna sí i. Kí ló ṣẹlẹ̀ tí a bá dín ìsọfúnni tẹ̀-bí-tẹ̀ kù? Níwọ̀n bí metric ti ń pinnu Gaussian curvature láti inú ojú-ilẹ̀ fúnra rẹ̀, ṣé a lè dá ojú-ilẹ̀ kan mọ̀ pẹ̀lú metric àti iṣẹ́ mean curvature nìkan?

Ní gbogbogbòò, ìdáhùn ni bẹ́ẹ̀ ni. Ọ̀rọ̀ “ní gbogbogbòò” ṣe pàtàkì. Geometry máa ń ní àwọn ọ̀ràn àrà: àwọn ojú-ilẹ̀ pàtàkì tí ìlànà uniqueness tó wọ́pọ̀ kò ṣiṣẹ́. Ìbéèrè tí ó ṣi sílẹ̀ ni bóyá àpẹẹrẹ compact, smooth lè wà níbi tí metric àti mean curvature fi bá ara wọn mu ṣùgbọ́n tí àwọn ojú-ilẹ̀ náà kò jẹ́ ohun kan náà nínú àyè.

Èyí ni Global Bonnet ìṣòro. ìwé ìwádìí tuntun yìí dá a lóhùn pẹ̀lú tori.

Ohun tí àwọn olùkọ̀wé kọ́

Àwọn olùkọ̀wé kọ́ tọkọtaya tori smooth kan nínú R3 tí isometry tó ń pa mean curvature mọ́ so pọ̀. Ìtumọ̀ rẹ̀ ni pé àwọn ojú tó bá ara wọn mu ní àwọn ìjìnnà inú ojú-ilẹ̀ kan náà àti iye mean curvature kan náà, ṣùgbọ́n àwọn ojú-ilẹ̀ méjèèjì kò congruent.

Kíkọ́ náà ju àṣírí numerical kan lọ. Tori náà jẹ́ gidi analytic — ó ní ìtẹ́lọ́run bí geometry power series, kì í ṣe nkan tí a fọ́ pọ̀ mọ́ra láti àwọn àpá rough — àwọn olùkọ̀wé sì fi proof hàn pé ní gbogbogbòò àwọn àpẹẹrẹ wọn kò ní ambient isometry kankan tí ó so wọn pọ̀. Wọ́n tún sọ pé construction náà fúnni ní uncountably many pairs, nítorí pé ó ní functional parameter.

Ọ̀nà proof jẹ́ technical. Ó lo ìbáṣepọ̀ láàárín Bonnet pairs àti isothermic ojú, ẹ̀ka ojú-ilẹ̀ kan tí ó ní curvature-line coordinates pàtàkì. Àwọn àpẹẹrẹ náà bẹ̀rẹ̀ láti isothermic tori tí ìdílé kan ti curvature lines rẹ̀ wà lórí plane, lẹ́yìn náà wọ́n lo construction kan tó ń dá Bonnet pair sílẹ̀. Àwọn olùkọ̀wé sọ pé ọ̀nà náà dagba láti computational ìdánwò pẹ̀lú 5x7 quad decomposition ti torus, níbi tí discrete differential geometry ti ṣiṣẹ́ gẹ́gẹ́ bí ìtọ́sọ́nà sí abajade smooth.

Abajade tí a lè rí rọrùn láti lóye ju proof lọ. Tori méjì tó wà nínú ìwé ìwádìí ní ìsọfúnni geometric tó bá ara rẹ̀ mu ṣùgbọ́n ìtòlẹ́sẹẹsẹ àgbáyé wọn yàtọ̀ ní kedere: nínú Figure 1 àwọn olùkọ̀wé, àwọn “bubbles” ńlá tó bá ara wọn mu sún mọ́ra ju lórí torus kan lọ. Ìyàtọ̀ yìí kì í ṣe ẹ̀tan àwòrán. Theorem náà sọ pé ojú-ilẹ̀ méjèèjì kò jẹ́ apẹrẹ kan náà nínú àyè, bó tilẹ̀ jẹ́ pé àwọn dátà agbègbè tí a yan bá ara wọn mu.

Kí nìdí tí èyí kì í ṣe contradiction?

Abajade náà kò sọ pé geometry jẹ́ aláìlànà, tàbí pé ìwọ̀n kò wúlò.

Ó sọ pé dátà set kan tí a dín kù — metric pẹ̀lú mean curvature — kò tó ní gbogbo igba láti dá compact ojú kan mọ̀ ní ọ̀nà tó yàtọ̀ sí gbogbo omiì. Classical uniqueness theorem tó pé lo ìsọfúnni tẹ̀-bí-tẹ̀ tó pọ̀ sí i. Mean curvature jẹ́ apapọ̀ principal curvatures méjì nìkan. Ó sọ iye tí ojú-ilẹ̀ ń tẹ̀ ní apapọ̀ ní ojú kan, ṣùgbọ́n kò pa gbogbo ìsọfúnni nípa itọ́sọ́nà tí tẹ̀-bí-tẹ̀ ń gba mọ́.

Ìyàtọ̀ yẹn ni kókó gbogbo. Ojú-ilẹ̀ méjì lè bá ara wọn mu lórí àwọn ìjìnnà inú ojú-ilẹ̀ àti lórí tẹ̀-bí-tẹ̀ apapọ̀ ní gbogbo ojú tó bá ara wọn mu, ṣùgbọ́n wọ́n lè yàtọ̀ ní bí tẹ̀-bí-tẹ̀ náà ṣe ṣètò nínú àyè.

ìwé ìwádìí náà kò tún sọ pé ambiguity yìí wọ́pọ̀. Introduction rẹ̀ ṣọ́ra: ní gbogbogbòò, metric pẹ̀lú mean curvature máa ń pinnu ojú-ilẹ̀. Bonnet pairs jẹ́ exceptional. Ìtóye wọn gan-an ni pé wọ́n fi hàn pé exception náà wà nínú compact, smooth, analytic setting tí a kò tíì yanju rí.

Àwọn ìbéèrè àtijọ́ tí ó parí

Ìbéèrè àkọ́kọ́ ni Global Bonnet ìṣòro: ṣé compact smooth immersions méjì lè wà nínú three-dimensional Euclidean space, tí wọ́n kò congruent, ṣùgbọ́n tí isometry kan so wọn pọ̀ tí wọ́n sì ní mean curvature kan náà ní àwọn ojú tó bá ara wọn mu? Àwọn olùkọ̀wé dáhùn pé bẹ́ẹ̀ ni.

Èkejì ni Cohn-Vossen-Berger ìṣòro: ṣé compact analytic ojú méjì tó isometric lè wà nínú Euclidean three-space tí ambient isometry kankan kò so pọ̀? Lẹ́ẹ̀kan sí i, ìdáhùn ni bẹ́ẹ̀ ni, pẹ̀lú analytic tori tí construction kan náà fúnni.

Apá analytic ṣe pàtàkì. Àwọn àpẹẹrẹ non-uniqueness àtijọ́ fún compact ojú lè gbára lé regularity tó kéré tàbí agbègbè alterations. Tori wọ̀nyí kì í ṣe smooth object kan tí a kan rọ́pò bump ní patch kan. ìwé ìwádìí náà tẹnumọ́ pé corresponding neighbourhoods kò congruent locally ní ibikíbi: ìyàtọ̀ náà tàn káàkiri construction náà, kò fara pamọ́ sí seam ìtúnṣe kan.

Kí nìdí tí ó fi ṣe pàtàkì?

Pure mathematics ni èyí, ṣùgbọ́n intuition rẹ̀ gbòòrò. Apẹrẹ kan lè dà bí ẹni pé dátà rẹ̀ pọ̀ ju tó, síbẹ̀ a kò tíì ní dátà tó tọ́ láti dá a mọ̀. Ohun tó ṣe pàtàkì kì í ṣe iye dátà tí o ní, bí kò ṣe bóyá dátà náà ní irú ìsọfúnni tó yẹ.

Metric pẹ̀lú mean curvature dà bí dátà tó lágbára nítorí pé ó darapọ̀ àwọn ìjìnnà inú ojú-ilẹ̀ mọ́ ìwọ̀n tẹ̀-bí-tẹ̀ láti ita. Compact Bonnet pair fi àlàfo náà hàn: tẹ̀-bí-tẹ̀ apapọ̀ kì í ṣe gbogbo tẹ̀-bí-tẹ̀. Ìbámu agbègbè kò túmọ̀ sí ìdánimọ̀ global ní gbogbo igba. Analytic regularity kì í ṣe idan tí yóò fi uniqueness dájú.

Ẹ̀kọ́ yìí tún wúlò ju theorem yìí lọ. Nínú geometry, inverse ìṣòro sábà máa ń béèrè bóyá ẹgbẹ́ kan ti measurements lè pinnu ohun tó dá wọn sílẹ̀. ìwé ìwádìí yìí fúnni ní ìdáhùn tuntun tó muna fún classical ojú ìṣòro kan: kì í ṣe ní gbogbo igba, paápàá tí ohun náà bá compact, smooth, tí ó sì analytic.

Àkótán kedere

Bobenko, Hoffmann àti Sageman-Furnas kọ́ compact Bonnet pairs àkọ́kọ́: tori smooth méjì nínú R3 tí kò congruent, tí isometry kan so pọ̀, tí wọ́n sì ní metric kan náà àti mean curvature function kan náà ní àwọn ojú tó bá ara wọn mu. Àwọn àpẹẹrẹ wọn jẹ́ gidi analytic, àti ní gbogbogbòò ambient isometry kankan kò so wọn pọ̀; èyí yanju Global Bonnet ìṣòro àti Cohn-Vossen-Berger analytic uniqueness ìbéèrè bí ìwé ìwádìí ṣe sọ. Abajade náà kò dojú classical ojú àbá-ẹ̀kọ́ dé; ó kan fi hàn pé dátà tí a dín kù sí metric pẹ̀lú mean curvature kò tó ní gbogbo igba láti dá compact ojú kan mọ̀ uniquely.

Àyẹ̀wò láìsí àṣejù

Ohun tí ìwé ìwádìí fi hàn: Compact smooth Bonnet pairs wà. Ní pàtó, àwọn olùkọ̀wé kọ́ tori nínú R3 tí wọ́n ní metric àti mean-curvature function kan náà ní àwọn ojú tó bá ara wọn mu, ṣùgbọ́n tí wọn kò congruent.

Ohun tó ṣeé ṣe ṣùgbọ́n tí kì í ṣe kókó: Computational àti discrete-geometric exploration lè tọ́ àwọn smooth constructions tó nira sóna. ìwé ìwádìí sọ pé ọ̀nà yìí ṣe pàtàkì, ṣùgbọ́n proof ni abajade gbára lé, kì í ṣe numerical picture.

Ohun tí kò fi hàn: Pé gbogbo tàbí ọ̀pọ̀ jù lọ àwọn ojú ní ambiguity. Generic uniqueness statement ṣì jẹ́ apá abẹ́lẹ̀. Àwọn yìí jẹ́ exceptional ṣùgbọ́n decisive counterexamples.

Àwọn ààlà pàtàkì fún olùkà gbogboogbo: Proof náà technical gan-an, ó sì wà nínú differential geometry: isothermic ojú, Bonnet-pair classifications, period conditions àti analytic construction. Olùkà lè lóye ìtumọ̀ theorem láì tẹ̀lé gbogbo machinery náà.

Ìgbẹ́kẹ̀lé wo ni olùkà gbogboogbo yẹ kí ó ní? Gíga fún theorem statement gẹ́gẹ́ bí peer-reviewed mathematical èsì. Ìṣọ́ra tó yẹ jẹ́ lórí interpretation, kì í ṣe ẹ̀rí: ka a bí “dátà geometric tí a dín kù yìí kò pinnu apẹrẹ ní gbogbo igba,” kì í ṣe “geometry kò lè dá apẹrẹ mọ̀.”