İki tor eyni lokal həndəsəni bölüşüb yenə də fərqli formalar ola bilər

Özünü tanıtmaqdan imtina edən forma

Təsəvvür edin ki, bir səthin kənarına çıxmağa icazəniz olmadan onu ölçürsünüz. Səth boyunca məsafələri ölçə bilərsiniz: səthin öz üzərində hərəkət etsəniz, bir nöqtədən digərinə nə qədər yol var. Bu, səthin metrikasıdır. İndi kənardan bir ölçü də əlavə edin: hər nöqtədə səthin orta əyilməsini, yəni orta əyriliyini qeydə alın.

Bu, çoxlu məlumat kimi səslənir. Bir çox səth üçün həqiqətən kifayətdir. Daxili məsafələri və orta əyrilik funksiyasını bilsəniz, üçölçülü fəzada formanın müəyyənləşəcəyini gözləyə bilərsiniz.

Alexander Bobenko, Tim Hoffmann və Andrew Sageman-Furnas indi bu gözləntini pozan kompakt səthlər qurublar. Onların məqaləsində iki tor — adi dairəvi ponçik olmasa da ponçikşəkilli səth — verilir; bunlar izometrikdir və uyğun nöqtələrdə eyni orta əyriliyə malikdir, amma konqruent deyil. Birini fırladaraq, sürüşdürərək və ya əks etdirərək digərinə çevirmək mümkün deyil. Onlar fəzada həqiqətən fərqli immersiyalardır.

Sahənin dilində bunlar kompakt Bonnet cütləridir. Məqalə onları bu növün ilk nümunələri adlandırır.

Problem nədən ibarətdir

Klassik səth nəzəriyyəsi iki növ məlumatı ayırır.

Metrika səth üzərində ölçülən məsafələri bildirir. Silindrə bükülmüş düz vərəq eyni daxili metrikanı saxlayır: vərəqin üzərində gəzən kiçik qarışqa təkcə məsafələri ölçməklə bükülməni hiss etməzdi. Tam ikinci fundamental forma isə səthin fəzada necə əyilməsi barədə daha çox məlumat verir. Klassik Bonnet teoremi deyir ki, metrika və tam əyilmə məlumatları düzgün uyğunluq tənliklərini ödəyirsə, immersiya sərt hərəkətə qədər müəyyən olunur.

Amma 1867-ci ildə Pierre Ossian Bonnet daha kəskin sual verdi. Əyilmə məlumatını azaltsaq nə baş verər? Metrika Qauss əyriliyini artıq daxildən müəyyən etdiyinə görə, səthi metrika ilə orta əyrilik funksiyasının birlikdə verilməsi xarakterizə edə bilərmi?

Ümumi halda cavab bəlidir. Burada “ümumi halda” sözü vacibdir. Həndəsədə tez-tez istisna hallar olur: adi unikallıq iddiasının işləmədiyi xüsusi səthlər. Açıq qalan sual bu idi: metrika və orta əyrilik üst-üstə düşsə də, fəzada eyni olmayan kompakt hamar nümunələr varmı?

Bu, Qlobal Bonnet Problemidir. Yeni məqalə buna torlarla “bəli” cavabı verir.

Müəlliflər nə qurdular

Müəlliflər R3-də orta əyriliyi qoruyan izometriya ilə əlaqəli hamar tor cütü qururlar. Bu o deməkdir ki, uyğun nöqtələrin ətrafında daxili məsafələr eynidir və orta əyrilik qiyməti də eynidir, amma iki səth konqruent deyil.

Konstruksiya təkcə bir ədədi qəribəlik vermir. Torlar real-analitikdir — kobud şəkildə yamaqlanmış obyektlər yox, qüvvət sıraları həndəsəsi qədər nizamlıdır — və müəlliflər göstərirlər ki, ümumi halda onların nümunələri heç bir ətraf-fəza izometriyası ilə əlaqəli deyil. Onlar həm də konstruksiyada funksional parametr olduğuna görə belə cütlərin sayının sayılmayan qədər çox olduğunu bildirirlər.

Yol texnikidir. Burada Bonnet cütləri ilə izotermik səthlər — xüsusi əyrilik-xətti koordinatlarına malik səthlər sinfi — arasındakı əlaqədən istifadə olunur. Nümunələr planar əyrilik xətlərinin bir ailəsinə malik izotermik torlardan başlayıb Bonnet cütünü yaradan konstruksiyanın tətbiqindən əldə edilir. Müəlliflər deyirlər ki, yanaşma torun 5x7 dördbucaqlı parçalanması ilə hesablama eksperimentlərindən doğub; diskret diferensial həndəsə hamar nəticəyə yol göstərib.

Vizual nəticəni anlamaq sübutdan asandır. Məqalədəki iki torun həndəsi məlumatları üst-üstə düşür, amma qlobal yerləşmələri gözlə görünən şəkildə fərqlidir: müəlliflərin Şəkil 1-ində uyğun böyük “qabarcıqlar” bir torda digərindən daha yaxın yerləşir. Bu görünən fərq rəsmin hiyləsi deyil. Teorem deyir ki, seçilmiş lokal məlumatlar üst-üstə düşsə də, səthlər fəzada eyni forma deyil.

Niyə bu ziddiyyət deyil

Nəticə həndəsənin ixtiyari olduğunu və ya ölçmələrin faydasız olduğunu demir.

O deyir ki, konkret azaldılmış məlumat dəsti — metrika üstəgəl orta əyrilik — kompakt səthi həmişə unikal müəyyən etmək üçün kifayət etmir. Tam klassik unikallıq teoremi daha zəngin əyilmə məlumatından istifadə edir. Orta əyrilik iki əsas əyriliyin yalnız ortasıdır. O, səthin bir nöqtədə orta hesabla nə qədər əyildiyini deyir, amma istiqamətdən asılı bütün əyilmə məlumatını saxlamır.

Məsələnin bütün mahiyyəti bu fərqdir. İki səth səth boyunca məsafələrdə və hər uyğun nöqtədə orta əyilmədə eyni ola, amma həmin əyilmənin fəzada necə təşkil olunmasına görə fərqlənə bilər.

Məqalə bu qeyri-müəyyənliyin tipik olduğunu da demir. Giriş bunu diqqətlə qeyd edir: ümumi halda metrika üstəgəl orta əyrilik səthi müəyyən edir. Bonnet cütləri istisnadır. Onların dəyəri məhz ondadır ki, uzun müddət həll olunmamış kompakt, hamar və analitik şəraitdə istisnanın həqiqətən mövcud olduğunu göstərirlər.

Hansı köhnə sualları bağlayır

Bağlanan ilk sual Qlobal Bonnet Problemidir: üçölçülü Evklid fəzasında uyğun nöqtələrdə eyni orta əyriliyə malik izometriya ilə əlaqəli, amma konqruent olmayan iki kompakt hamar immersiya varmı? Müəlliflər “bəli” deyirlər.

İkincisi Cohn-Vossen-Berger problemidir: Evklid üçölçülü fəzasında ətraf-fəza izometriyası ilə əlaqəli olmayan iki izometrik kompakt analitik səth varmı? Eyni konstruksiyadan alınan analitik torlarla yenə cavab “bəli”dir.

Analitik hissə vacibdir. Kompakt səthlər üçün əvvəlki qeyri-unikallıq nümunələri daha aşağı nizamlılığa və ya lokal dəyişikliklərə söykənə bilərdi. Bu torlar sadəcə bir yerdə qabarı dəyişdirilmiş hamar obyektlər deyil. Məqalə vurğulayır ki, uyğun qonşuluqlar heç bir yerdə lokal konqruent deyil: fərq “təmir tikişi”ndə gizlənməyib, bütün konstruksiyaya yayılıb.

Niyə vacibdir

Bu, xalis riyaziyyatdır, amma intuisiya daha genişdir. Forma bir mənada həddən artıq müəyyən olunmuş, başqa mənada isə yenə də tam tanınmamış qala bilər. Vacib olan nə qədər məlumatınızın olması deyil, məlumatın düzgün növünü daşıyıb-daşımamasıdır.

Metrika üstəgəl orta əyrilik güclü görünür, çünki daxili məsafələri xarici əyilmə ölçüsü ilə birləşdirir. Kompakt Bonnet cütü boşluğu göstərir: orta əyilmə tam əyilmə deyil. Lokal uyğunluq həmişə qlobal identifikasiya demək deyil. Analitik nizamlılıq sehrli unikallıq zəmanəti deyil.

Bu, teoremdən kənarda da faydalı dərsdir. Həndəsədə tərs problemlər tez-tez bir ölçmələr dəstinin həmin ölçmələri yaradan obyekti müəyyən edib-etmədiyini soruşur. Bu məqalə klassik səth probleminə kəskin yeni cavab verir: obyekt kompakt, hamar və analitik olsa belə, həmişə yox.

Təmiz xülasə

Bobenko, Hoffmann və Sageman-Furnas ilk kompakt Bonnet cütlərini qururlar: R3-də izometriya ilə əlaqəli olan və uyğun nöqtələrdə eyni orta əyriliyə malik, amma konqruent olmayan iki hamar tor. Nümunələr real-analitikdir və ümumi halda heç bir ətraf-fəza izometriyası ilə əlaqəli deyil; bununla məqalədə ifadə olunan Qlobal Bonnet Problemi və Cohn-Vossen-Berger analitik unikallıq sualı həll olunur. Nəticə klassik səth nəzəriyyəsini alt-üst etmir; göstərir ki, metrika və orta əyrilikdən ibarət azaldılmış məlumat kompakt səthi həmişə unikal tanımaq üçün kifayət deyil.