Երկու տոր կարող են նույն տեղային երկրաչափությունն ունենալ, բայց տարբեր ձևեր լինել

Այն ձևը, որը հրաժարվում է միարժեք ճանաչվել

Պատկերացրեք, որ պետք է չափեք մակերևույթը՝ առանց դրա վրայից դուրս գալու։ Կարող եք չափել մակերևույթով անցնող հեռավորությունները՝ որքան պետք է ճանապարհ անցնել մի կետից մյուսը հենց մակերևույթի վրա։ Սա մակերևույթի մետրիկան է։ Այժմ ավելացնենք մեկ արտաքին չափում. յուրաքանչյուր կետում գրանցենք մակերևույթի միջին կորությունը՝ միջին կորությունը։

Թվում է, թե սա շատ տեղեկություն է։ Շատ մակերևույթների համար այն իսկապես բավական է։ Եթե գիտեք ներքին հեռավորությունները և միջին կորության ֆունկցիան, բնական է սպասել, որ եռաչափ տարածության մեջ ձևն արդեն միարժեք որոշված կլինի։

Alexander Bobenko-ն, Tim Hoffmann-ը և Andrew Sageman-Furnas-ը կառուցել են կոմպակտ մակերևույթներ, որոնք խախտում են այդ սպասումը։ Նրանց աշխատանքում կան երկու տորեր՝ բլիթանման մակերևույթներ, թեև ոչ սովորական կլոր բլիթներ, որոնք իզոմետրիկ են և համապատասխան կետերում ունեն նույն միջին կորությունը, բայց կոնգրուենտ չեն։ Մեկը հնարավոր չէ պտտել, տեղափոխել կամ հայելային արտացոլել այնպես, որ ստացվի մյուսը։ Դրանք իսկապես տարբեր ներդրումներ են տարածության մեջ։

Ոլորտի լեզվով դրանք կոմպակտ Bonnet զույգեր են։ Հոդվածը դրանք ներկայացնում է որպես առաջին նման օրինակները։

Ո՞րն է խնդիրը

Դասական մակերևույթների տեսությունը տարբերում է երկու տեսակի տեղեկություն։

Մետրիկան պատմում է մակերևույթի վրա չափված հեռավորությունների մասին։ Հարթ թուղթը գլանաձև փաթաթելիս իր ներքին մետրիկան չի փոխվում. թղթի վրայով քայլող փոքր մրջյունը միայն հեռավորություններ չափելով չէր իմանա, որ թուղթը փաթաթվել է։ Իսկ ամբողջական երկրորդ հիմնարար ձևը շատ ավելի մանրամասն տեղեկություն է տալիս այն մասին, թե մակերևույթը ինչպես է ծռվում տարածության մեջ։ Դասական Bonnet theorem-ը ասում է, որ եթե մետրիկան և ամբողջական ծռման տվյալները բավարարում են համապատասխան համատեղելիության հավասարումներին, ապա ներդրումը որոշվում է մինչև կոշտ շարժում։

Բայց 1867 թվականին Pierre Ossian Bonnet-ը ավելի սուր հարց տվեց։ Իսկ եթե ծռման տվյալները նվազեցնենք՞։ Քանի որ մետրիկան արդեն ներքինորեն որոշում է Գաուսի կորությունը, արդյոք մակերևույթը կարելի՞ է բնութագրել միայն մետրիկայով և միջին կորության ֆունկցիայով։

Ընդհանուր դեպքում պատասխանը այո է։ «Ընդհանուր» բառը կարևոր է։ Երկրաչափության մեջ հաճախ լինում են բացառիկ դեպքեր՝ հատուկ մակերևույթներ, որոնց համար սովորական միարժեքության պնդումը ձախողվում է։ Բաց հարցն այն էր, արդյոք գոյություն ունեն կոմպակտ հարթ օրինակներ, որոնց դեպքում մետրիկան և միջին կորությունը համընկնում են, բայց մակերևույթները տարածության մեջ նույնը չեն։

Սա Global Bonnet խնդիր-ն է։ Նոր աշխատանքը դրան պատասխանում է տորերով։

Ինչ կառուցեցին հեղինակները

Հեղինակները կառուցում են ℝ³-ում երկու հարթ տոր, որոնք կապված են միջին կորությունը պահպանող իզոմետրիայով։ Սա նշանակում է, որ համապատասխան կետերի շուրջ ներքին հեռավորությունները և միջին կորության արժեքները նույնն են, բայց մակերևույթները կոնգրուենտ չեն։

Կառուցումը մեկ թվային հետաքրքրություն չէ։ Տորերը իրականանալիտիկ են՝ այնքան կանոնավոր, որքան վիճակագրական հզորություն-series երկրաչափությունը, ոչ թե կոպիտ, հատվածներով կցված օբյեկտներ։ Հեղինակները նաև ապացուցում են, որ ընդհանուր դեպքում իրենց օրինակները կապված չեն որևէ ambient isometry-ով։ Նրանք նշում են, որ կառուցումը տալիս է անհաշվելի շատ նման զույգեր, որովհետև պարունակում է ֆունկցիոնալ պարամետր։

Ճանապարհը տեխնիկական է։ Այն օգտագործում է Bonnet զույգերի և իզոթերմիկ մակերևույթների կապը՝ հատուկ curvature-գիծ կոորդինատներ ունեցող մակերևույթների դասը։ Օրինակները ստացվում են մեկ ընտանիքի հարթ curvature գիծեր ունեցող իզոթերմիկ տորերից և մի կառուցումից, որն այդ տվյալներից արտադրում է Bonnet զույգը։ Հեղինակները նշում են, որ գաղափարը զարգացել է տորի 5×7 քառանկյունային decomposition-ի վրա հաշվարկային փորձերից՝ discrete differential geometry-ն օգտագործելով որպես ուղեցույց դեպի հարթ արդյունքը։

Տեսողական արդյունքը հասկանալն ավելի հեշտ է, քան ապացույցը։ Հոդվածում ներկայացված երկու տորերը ունեն համընկնող երկրաչափական տվյալներ, բայց ակնհայտորեն տարբեր գլոբալ դասավորություն։ Հեղինակների նկար 1-ում համապատասխան մեծ «փուչիկները» մեկ տորի վրա իրար ավելի մոտ են, քան մյուսի վրա։ Սա նկարելու հնարք չէ։ Թեորեմն ասում է, որ մակերևույթները տարածության մեջ նույն ձևը չեն, նույնիսկ եթե ընտրված տեղային տվյալները համընկնում են։

Ինչու սա հակասություն չէ

Արդյունքը չի ասում, թե երկրաչափությունն arbitrary է կամ չափումները անօգուտ են։

Այն ասում է, որ տվյալների որոշակի նվազեցված հավաքածու՝ մետրիկա + միջին կորություն, միշտ չէ, որ բավական է կոմպակտ մակերևույթը միարժեք ճանաչելու համար։ Դասական ամբողջական միարժեքության թեորեմն օգտագործում է ավելի հարուստ ծռման տվյալներ։ Միջին կորությունը երկու գլխավոր կորությունների միայն միջինն է։ Այն ասում է, թե տվյալ կետում մակերևույթը միջինում որքան է ծռվում, բայց չի պահպանում ուղղությունից կախված ամբողջ տեղեկատվությունը։

Սա հենց տարբերության էությունն է։ Երկու մակերևույթ կարող են համաձայն լինել մակերևույթի վրայի հեռավորությունների և յուրաքանչյուր համապատասխան կետում միջին ծռման հարցում, բայց տարբեր լինել այն բանում, թե այդ ծռումը ինչպես է կազմակերպված տարածության մեջ։

Հոդվածը նաև չի ասում, որ այս ambiguity-ն սովորական է։ Ներածությունը զգույշ է. ընդհանուր դեպքում մետրիկան և միջին կորությունը մակերևույթը որոշում են։ Bonnet զույգերը բացառություններ են։ Նրանց կարևորությունն այն է, որ ցույց են տալիս՝ այդ բացառությունը գոյություն ունի հենց կոմպակտ, հարթ և անալիտիկ միջավայրում, որտեղ հարցը երկար ժամանակ բաց էր։

Ո՞ր հին հարցերն է այն փակում

Առաջինը Global Bonnet խնդիրն է. գոյություն ունե՞ն արդյոք եռաչափ էվկլիդյան տարածությունում երկու ոչ կոնգրուենտ կոմպակտ հարթ ներդրումներ, որոնք կապված են իզոմետրիայով և համապատասխան կետերում ունեն նույն միջին կորությունը։ Հեղինակների պատասխանը այո է։

Երկրորդը Cohn–Vossen–Berger խնդիրն է. գոյություն ունե՞ն արդյոք էվկլիդյան եռաչափ տարածությունում երկու իզոմետրիկ կոմպակտ անալիտիկ մակերևույթներ, որոնք կապված չեն ambient isometry-ով։ Նույն կառուցման իրականանալիտիկ տորերը կրկին տալիս են դրական պատասխան։

Անալիտիկությունը կարևոր է։ Նախկին non-uniqueness օրինակները կոմպակտ մակերևույթների համար կարող էին ապավինել ավելի ցածր կանոնավորության կամ տեղային փոփոխությունների։ Այս տորերը պարզապես հարթ օբյեկտներ չեն, որոնց մի հատվածում «ուռուցիկություն» է փոխարինվել։ Հոդվածը շեշտում է, որ համապատասխան neighbourhood-ները ոչ մի տեղ տեղայնորեն կոնգրուենտ չեն։ Տարբերությունը տարածված է ամբողջ կառուցման մեջ, ոչ թե թաքնված մի «կարի» մոտ։

Ինչու է սա կարևոր

Սա մաքուր մաթեմատիկա է, բայց ինտուիցիան լայն է։ Ձևը մի իմաստով կարող է չափազանց շատ տվյալներով նկարագրված թվալ, բայց մյուս իմաստով դեռ ամբողջովին նույնականացված չլինել։ Կարևոր չէ միայն տվյալների քանակը. կարևոր է՝ արդյոք տվյալները կրում են ճիշտ տեսակի տեղեկություն։

Մետրիկա + միջին կորություն զույգը ուժեղ է թվում, որովհետև միավորում է ներքին հեռավորություններն ու արտաքին ծռման չափումը։ Կոմպակտ Bonnet զույգը ցույց է տալիս բացը. միջին ծռումը ամբողջ ծռումը չէ։ Տեղային համընկնումը միշտ չէ, որ նշանակում է գլոբալ նույնականացում։ Անալիտիկ կանոնավորությունն էլ ինքնին միարժեքության կախարդական երաշխիք չէ։

Սա օգտակար դաս է նաև այս կոնկրետ թեորեմից դուրս։ Երկրաչափության inverse խնդիրները հաճախ հարցնում են՝ չափումների տվյալ հավաքածուն արդյոք միարժե՞ք որոշում է այն օբյեկտը, որն այդ չափումները ստեղծել է։ Այս աշխատանքը դասական մակերևութային խնդրի համար տալիս է սուր նոր պատասխան. ոչ միշտ, նույնիսկ եթե օբյեկտը կոմպակտ, հարթ և անալիտիկ է։

Կարճ ամփոփում

Bobenko-ն, Hoffmann-ը և Sageman-Furnas-ը կառուցում են առաջին կոմպակտ Bonnet զույգերը՝ ℝ³-ում երկու ոչ կոնգրուենտ հարթ տոր, որոնք կապված են իզոմետրիայով և համապատասխան կետերում ունեն նույն միջին կորությունը։ Օրինակները իրականանալիտիկ են և ընդհանուր դեպքում կապված չեն որևէ ambient isometry-ով։ Հոդվածի ձևակերպմամբ սա լուծում է ինչպես Global Bonnet խնդիրը, այնպես էլ Cohn–Vossen–Berger-ի անալիտիկ միարժեքության հարցը։ Արդյունքը չի շրջում դասական մակերևույթների տեսությունը. այն ցույց է տալիս, որ մետրիկա + միջին կորություն նվազեցված տվյալները միշտ չէ, որ բավական են կոմպակտ մակերևույթը միարժեք որոշելու համար։

Առանց չափազանցության

Ինչ է ցույց տալիս հոդվածը. Կոմպակտ հարթ Bonnet զույգեր գոյություն ունեն։ Ավելի կոնկրետ՝ հեղինակները ℝ³-ում բացահայտ կառուցում են տորեր, որոնք համապատասխան կետերում ունեն նույն մետրիկան և նույն միջին կորության ֆունկցիան, բայց կոնգրուենտ չեն։

Ինչն է հավանական, բայց հիմնական կետը չէ. Հաշվարկային և discrete-geometric ուսումնասիրությունը կարող է օգնել գտնել բարդ հարթ կառուցումներ։ Հոդվածը նշում է, որ այս ուղին կարևոր է եղել, բայց արդյունքը հիմնված է ապացույցի վրա, ոչ թվային պատկերների։

Ինչ չի ցույց տալիս. Ոչ բոլոր, ոչ էլ մակերևույթների մեծ մասը ambiguous են։ Ընդհանուր միարժեքության պնդումը մնում է տեսության մաս։ Սրանք բացառիկ, բայց վճռորոշ counterexample-ներ են։

Գլխավոր սահմանափակումը ընդհանուր ընթերցողի համար. Ապացույցը շատ տեխնիկական է և պատկանում է դիֆերենցիալ երկրաչափությանը՝ իզոթերմիկ մակերևույթներ, Bonnet զույգերի դասակարգումներ, period պայմաններ և անալիտիկ կառուցումներ։ Թեորեմի իմաստը կարելի է հասկանալ առանց այդ ամբողջ տեխնիկային հետևելու։

Որքա՞ն վստահ պետք է լինի ընդհանուր ընթերցողը. Թեորեմի ձևակերպման նկատմամբ՝ բարձր, քանի որ սա գրախոսված մաթեմատիկական արդյունք է։ Զգուշությունը պետք է վերաբերի մեկնաբանությանը, ոչ ապացույցին. ճիշտ ընթերցումն է՝ «այս նվազեցված երկրաչափական տվյալները միշտ չէ, որ որոշում են ձևը», ոչ թե «երկրաչափությունն ի վիճակի չէ ճանաչել ձևերը»։