Два торы могуць мець аднолькавую лакальную геаметрыю і ўсё ж быць рознымі формамі

Форма, якую нельга адназначна пазнаць

Уявіце, што вы вымяраеце паверхню, не маючы права выйсці за яе межы. Вы можаце вымяраць адлегласці ўздоўж яе: наколькі далёка адна кропка ад другой, калі рухацца па самой паверхні. Гэта яе метрыка. А цяпер дадамо яшчэ адно вымярэнне звонку: у кожнай кропцы зафіксуем сярэднюю ступень выгібу паверхні — яе сярэднюю крывізну.

Здаецца, гэта ўжо вельмі шмат інфармацыі. Для многіх паверхняў яе сапраўды дастаткова. Калі ведаць унутраныя адлегласці і функцыю сярэдняй крывізны, натуральна чакаць, што форма ў трохмернай прасторы будзе вызначана адназначна.

Alexander Bobenko, Tim Hoffmann і Andrew Sageman-Furnas пабудавалі кампактныя паверхні, якія абвяргаюць гэта чаканне. У іх працы прыведзены два торы — паверхні ў форме абаранка, хоць зусім не звычайныя круглыя абаранкі, — якія ізаметрычныя і маюць аднолькавую сярэднюю крывізну ў адпаведных кропках, але не кангруэнтныя. Немагчыма сумясціць адзін з другім ні паваротам, ні пераносам, ні адлюстраваннем. Гэта сапраўды розныя ўкладанні ў прастору.

На мове гэтай галіны гэта кампактныя пары Боне. Аўтары называюць іх першымі такімі прыкладамі.

У чым палягае праблема

Класічная тэорыя паверхняў раздзяляе два віды інфармацыі.

Метрыка апісвае адлегласці, вымераныя на самой паверхні. Калі згарнуць плоскі ліст у цыліндр, яго ўнутраная метрыка не зменіцца: маленькая мурашка, якая поўзае па лісце, не заўважыць згортвання, калі будзе вымяраць толькі адлегласці. Поўная другая фундаментальная форма паведамляе значна больш пра тое, як паверхня выгінаецца ў прасторы. Класічная тэарэма Боне сцвярджае, што калі метрыка і поўныя даныя пра выгіб задавальняюць неабходным умовам сумяшчальнасці, то ўкладанне вызначаецца з дакладнасцю да жорсткага руху.

Але ў 1867 годзе Pierre Ossian Bonnet паставіў больш вострае пытанне. Што будзе, калі паменшыць аб’ём даных пра выгіб? Паколькі метрыка ўжо ўнутрана вызначае гаусаву крывізну, ці можна ахарактарызаваць паверхню толькі метрыкай і функцыяй сярэдняй крывізны?

У агульным выпадку адказ — так. І словы «ў агульным» тут важныя. У геаметрыі часта існуюць выключныя выпадкі: асаблівыя паверхні, для якіх звыклае сцвярджэнне пра адзінасць не працуе. Адкрытым заставалася пытанне, ці існуюць кампактныя гладкія прыклады, дзе метрыка і сярэдняя крывізна супадаюць, а самі паверхні ў прасторы — не.

Гэта Глабальная праблема Боне. Новая праца адказвае на яе з дапамогай тораў.

Што пабудавалі аўтары

Аўтары канструююць пару гладкіх тораў у R3, звязаных ізаметрыяй, якая захоўвае сярэднюю крывізну. Гэта азначае, што ў адпаведных кропках аднолькавыя ўнутраныя адлегласці ў наваколлі і значэнне сярэдняй крывізны, але самі паверхні не кангруэнтныя.

Канструкцыя дае больш, чым адну лікавую дзівосіну. Торы рэчаісна-аналітычныя — настолькі рэгулярныя, наколькі можна патрабаваць у геаметрыі ступенных радоў, а не груба «сшытыя» аб’екты. Аўтары таксама даказваюць, што ў агульным выпадку іх прыклады не звязаныя ніякай ізаметрыяй навакольнай прасторы. Акрамя таго, яны адзначаюць, што канструкцыя спараджае незлічона шмат такіх пар, бо ўтрымлівае функцыянальны параметр.

Шлях да выніку тэхнічна складаны. Ён выкарыстоўвае сувязь паміж парамі Боне і ізатэрмічнымі паверхнямі — класам паверхняў са спецыяльнымі каардынатамі ўздоўж ліній крывізны. Прыклады атрымліваюць, пачынаючы з ізатэрмічных тораў, у якіх адно сямейства ліній крывізны ляжыць у плоскасцях, і ўжываючы канструкцыю, што спараджае пару Боне. Аўтары пішуць, што падыход вырас з вылічальных эксперыментаў з квад-разбіццём тора 5x7; дыскрэтная дыферэнцыяльная геаметрыя служыла арыенцірам на шляху да гладкага выніку.

Візуальны вынік зразумець лягчэй, чым доказ. Два торы ў артыкуле маюць аднолькавыя геаметрычныя даныя, але прыкметна рознае глабальнае размяшчэнне ў прасторы: на Figure 1 аўтараў адпаведныя буйныя «бурбалкі» на адным торы знаходзяцца бліжэй адна да адной, чым на другім. Гэта не хітрасць выявы. Тэарэма сцвярджае, што паверхні сапраўды маюць розную форму ў прасторы, нягледзячы на супадзенне выбраных лакальных даных.

Чаму гэта не супярэчнасць

Вынік не азначае, што геаметрыя адвольная або што вымярэнні бескарысныя.

Ён азначае толькі, што канкрэтнага скарочанага набору даных — метрыкі плюс сярэдняй крывізны — не заўсёды дастаткова для адназначнага вызначэння кампактнай паверхні. Поўная класічная тэарэма пра адзінасць выкарыстоўвае багацейшую інфармацыю пра выгіб. Сярэдняя крывізна — толькі сярэдняе двух галоўных крывізнаў. Яна паказвае, наколькі ў сярэднім паверхня выгінаецца ў кропцы, але не захоўвае ўсю інфармацыю пра кірункі гэтага выгібу.

Менавіта гэтая розніца і складае сутнасць. Дзве паверхні могуць супадаць па адлегласцях уздоўж паверхні і па сярэднім выгібе ў кожнай адпаведнай кропцы, але адрознівацца тым, як гэты выгіб арганізаваны ў прасторы.

Артыкул таксама не сцвярджае, што такая неадназначнасць тыповая. Ва ўводзінах аўтары асцярожныя: у агульным выпадку метрыка разам з сярэдняй крывізной вызначае паверхню. Пары Боне — выключэнні. Іх каштоўнасць менавіта ў тым, што яны даказваюць існаванне такога выключэння ў кампактным, гладкім і аналітычным класе, дзе пытанне заставалася адкрытым.

Якія даўнія пытанні гэта закрывае

Першае закрытае пытанне — Глабальная праблема Боне: ці існуюць два некангруэнтныя кампактныя гладкія ўкладанні ў трохмерную еўклідаву прастору, звязаныя ізаметрыяй і якія маюць аднолькавую сярэднюю крывізну ў адпаведных кропках? Аўтары адказваюць: так.

Другое — праблема Cohn-Vossen-Berger: ці існуюць дзве ізаметрычныя кампактныя аналітычныя паверхні ў еўклідавай трохмернай прасторы, не звязаныя ізаметрыяй навакольнай прасторы? Зноў так — дзякуючы аналітычным торам, атрыманым той жа канструкцыяй.

Аналітычнасць тут важная. Ранейшыя прыклады неадзінасці для кампактных паверхняў маглі абапірацца на меншую рэгулярнасць або лакальныя мадыфікацыі. Гэтыя торы — не проста гладкі аб’ект, дзе ў адным месцы замянілі гарбок. У артыкуле падкрэсліваецца, што адпаведныя наваколлі нідзе не з’яўляюцца лакальна кангруэнтнымі: розніца размеркавана па ўсёй канструкцыі, а не схаваная ў месцы «латкі».

Чаму гэта важна

Гэта чыстая матэматыка, але інтуіцыя тут шырэйшая. Аб’ект можа быць перавызначаны ў адным сэнсе і ўсё яшчэ недастаткова ідэнтыфікаваны ў іншым. Важна не тое, колькі даных у вас ёсць, а ці ўтрымліваюць яны правільны тып інфармацыі.

Метрыка плюс сярэдняя крывізна здаюцца моцным наборам, бо аб’ядноўваюць унутраныя адлегласці са знешняй характарыстыкай выгібу. Кампактная пара Боне паказвае прабел: сярэдні выгіб — не тое самае, што поўны выгіб. Лакальнае супадзенне не заўсёды азначае глабальную тоеснасць. Аналітычная рэгулярнасць таксама не з’яўляецца магічнай гарантыяй адзінасці.

Гэта карысны ўрок і па-за межамі канкрэтнай тэарэмы. У геаметрыі адваротныя задачы часта пытаюцца, ці вызначае набор вымярэнняў аб’ект, які гэтыя вымярэнні спарадзіў. Гэтая праца дае выразны новы адказ для адной класічнай задачы пра паверхні: не заўсёды — нават калі аб’ект кампактны, гладкі і аналітычны.

Кароткі вынік

Bobenko, Hoffmann і Sageman-Furnas будуюць першыя кампактныя пары Боне: два некангруэнтныя гладкія торы ў R3, звязаныя ізаметрыяй і якія маюць аднолькавую сярэднюю крывізну ў адпаведных кропках. Іх прыклады рэчаісна-аналітычныя і ў агульным выпадку не звязаныя ніякай ізаметрыяй навакольнай прасторы; паводле фармулёўкі артыкула, гэта вырашае і Глабальную праблему Боне, і аналітычнае пытанне адзінасці Cohn-Vossen-Berger. Вынік не адмяняе класічную тэорыю паверхняў; ён паказвае, што скарочанага набору «метрыка плюс сярэдняя крывізна» не заўсёды дастаткова для адназначнага вызначэння кампактнай паверхні.

Праверка без прыкрас

Што паказвае артыкул: кампактныя гладкія пары Боне існуюць. Дакладней, аўтары яўна канструююць торы ў R3 з аднолькавай метрыкай і функцыяй сярэдняй крывізны ў адпаведных кропках, але гэтыя торы не кангруэнтныя.

Што праўдападобна, але не з’яўляецца галоўным: вылічальныя і дыскрэтна-геаметрычныя эксперыменты могуць накіроўваць складаныя пабудовы ў гладкай геаметрыі. Аўтары пішуць, што гэты шлях быў важны, але сам вынік трымаецца на доказе, а не на лікавай карцінцы.

Чаго гэта не паказвае: што ўсе або большасць паверхняў неадназначныя. Сцвярджэнне пра адзінасць у агульным выпадку застаецца часткай фону. Гэтыя прыклады выключныя, але менавіта таму з’яўляюцца вырашальнымі контрпрыкладамі.

Асноўныя цяжкасці для неспецыяліста: доказ вельмі тэхнічны і належыць да дыферэнцыяльнай геаметрыі: ізатэрмічныя паверхні, класіфікацыі пар Боне, умовы перыядычнасці і аналітычныя канструкцыі. Значэнне тэарэмы можна зразумець і без усёй гэтай тэхнікі.

Наколькі ўпэўненым можа быць звычайны чытач? Высокая ўпэўненасць у фармулёўцы тэарэмы як рэцэнзаванага матэматычнага выніку. Асцярожнасць патрэбная ў інтэрпрэтацыі, а не ў доказнасці: чытаць гэта трэба як «гэты скарочаны набор геаметрычных даных не заўсёды вызначае форму», а не як «геаметрыя не здольная ідэнтыфікаваць формы».