Принцип Бонне гласит, что небольшого количества локальной информации достаточно, чтобы однозначно описать всю поверхность.
Впервые математики обнаружили пример компактной кольцеобразной поверхности, которая имеет те же локальные геометрические характеристики, что и другая поверхность, несмотря на совершенно иную глобальную структуру.
Представьте, что наше небо всегда покрыто толстым слоем непрозрачных облаков. Не имея возможности увидеть звезды или рассмотреть нашу планету сверху, узнали бы мы когда-нибудь, что Земля круглая?
Ответ — да. Измеряя определённые расстояния и углы на поверхности Земли, мы можем определить, что Земля — это сфера, а не, скажем, плоская или кольцеобразная фигура, — даже без спутникового снимка.
Математики обнаружили, что это часто справедливо и для двумерных поверхностей в более общем случае: относительно небольшого количества локальной информации о поверхности достаточно, чтобы определить её общую форму. Часть однозначно определяет целое.
Однако в некоторых случаях одни и те же локальные данные описывают сразу несколько разных поверхностей. Последние 150 лет математики занимались каталогизацией таких исключений. Но единственными исключениями, которые им удалось найти, были не компактные замкнутые поверхности, такие как шары или пончики, — вместо этого они простирались бесконечно в каком-либо направлении или имели края, то есть были незамкнутыми.
Никто не мог найти замкнутую поверхность, нарушающую это правило. Постепенно стало казаться, что таких поверхностей просто не существует. Возможно, такие поверхности всегда можно однозначно определить с помощью обычной локальной информации.
Теперь математики наконец-то обнаружили одно из тех долгожданных исключений. В статье, опубликованной в октябре 2025 года, три исследователя — Александр Бобенко из Берлинского технического университета, Тим Хоффманн из Мюнхенского технического университета и Эндрю Сагеман-Фурнас из Университета штата Северная Каролина — описывают пару очень извилистых, замкнутых поверхностей, которые, несмотря на одинаковую локальную информацию, имеют совершенно разные глобальные структуры.
На их поиски ушли годы кропотливой работы, несколько сильно перегревшихся ноутбуков и неожиданная подсказка из, казалось бы, совершенно не связанной с этим области геометрии.
Геометрические несоответствия
Математики описывают локальную геометрию поверхности разными способами, но два из них особенно важны.
Один из способов — получить информацию о «внешней» кривизне поверхности. Выберите точку на поверхности. В этой точке существует бесконечно много направлений, в которых можно рассчитать, насколько сильно поверхность изгибается в пространстве — то, что называется её кривизной. Сосредоточьтесь только на направлениях, где вы получаете наибольшие и наименьшие значения кривизны, а затем возьмите среднее значение этих двух величин. Полученное число называется средней кривизной. Средняя кривизна, вычисленная в каждой точке, описывает, как поверхность расположена в окружающем пространстве.
Другой вид измерения фиксирует информацию о «внутренней» кривизне поверхности — геометрическом свойстве, которое не зависит от пространства, в котором находится поверхность. Рассмотрим плоский лист бумаги. Его можно свернуть в цилиндрическую трубку, не растягивая и не разрывая. Если две точки соединены кривой на листе бумаги, то эта кривая будет иметь одинаковую длину на цилиндре. Это означает, что лист бумаги и цилиндр имеют одинаковую «метрику» — то есть одинаковое понятие расстояния. Но если попытаться обернуть лист вокруг сферы, это не получится без искажений. Бумагу придётся растягивать или сминать — и расстояния между точками изменятся. Следовательно, две поверхности будут иметь разные метрики.
В 1867 году французский математик Пьер Оссиан Бонне показал, что если известны метрика и средняя кривизна в каждой точке поверхности, можно определить, что это за поверхность. В большинстве случаев.
Но «в большинстве случаев» — это не «во всех случаях», и именно такие оговорки раздражают математиков.
За 150 лет, прошедших с момента доказательства Бонне, математики обнаружили различные типы поверхностей, которые противоречат его эмпирическому правилу. Эти поверхности имеют одинаковую метрику и среднюю кривизну, но при этом не обладают одинаковой глобальной структурой.
Но все эти поверхности математики называют некомпактными. Они не сворачиваются так же плавно, как сферы, торы и другие «компактные» поверхности. В отличие от них, некомпактная поверхность может бесконечно простираться в каком-либо направлении (как плоскость или цилиндр) или иметь края там, где она внезапно обрывается (как кусок, вырезанный из большей фигуры).
Компактные поверхности более ограничены. Для того чтобы закрутиться и идеально замкнуться, они должны удовлетворять различным условиям. Поэтому казалось разумным предположить, что их можно однозначно определить по метрике и средней кривизне. В 1981 году математики Блейн Лоусон и Ренато де Азеведо Трибузи доказали, что это справедливо для сферы и любых топологически эквивалентных ей поверхностей — то есть любых компактных поверхностей, не имеющих отверстий.
Когда речь зашла о компактных поверхностях с отверстием (топологических бубликах, называемых торами), здесь было немного больше свободы действий. Математики показали, что заданная метрика и средняя кривизна могут соответствовать не более чем двум различным торам.
Однако никто не смог найти примеры таких «компактных пар Бонне», и поэтому на протяжении десятилетий преобладало мнение, что торы подобны сферам, и что заданная метрика и средняя кривизна определяют один тор. «Люди долгое время так считали, — говорит Роберт Брайант из Университета Дьюка, — потому что не могли построить никаких примеров».
Но они ошибались.
Пиксельный мир
Александр Бобенко последние 20 лет посвятил решению математических задач. В 2000-х годах он пытался доказать существование компактных пар Бонне. Но, поняв, что на решение этой проблемы ему потребуется больше нескольких месяцев, он отложил её, чтобы сосредоточиться на вопросах, в решении которых, по его мнению, он сможет добиться более быстрого прогресса.
Он обратился к области математики, которая, казалось, не имела отношения к проблеме Бонне. Но именно эта область в конечном итоге оказалась ключом к её решению.
Бобенко начал размышлять о «дискретных» поверхностях, которые чем-то похожи на пиксельные версии гладких поверхностей с низким разрешением. Математики изучают дискретные поверхности, потому что они обладают важными геометрическими свойствами сами по себе, а также находят практическое применение в информатике, физике, технике и других областях.
Чтобы получить дискретную поверхность, возьмите конечный набор точек и соедините их линиями, чтобы образовать фигуру с плоскими гранями. Выбирая разные точки, вы можете представить заданную гладкую поверхность различными способами. Вот несколько примеров того, как можно представить, например, сферу:
Некоторые дискретные поверхности лучше подходят для представления геометрических особенностей гладких поверхностей, чем другие. Бобенко и его постоянный соавтор Тим Хоффманн посвятили почти два десятилетия разработке теории сохранения наиболее важных геометрических особенностей гладких поверхностей с помощью дискретных поверхностей.
В 2010-х годах к этому проекту присоединился Эндрю Сагеман-Фурнас, аспирант Гёттингенского университета, и вновь поднял проблему Бонне.
Сагеман-Фурнас увлекся дискретной математикой благодаря своему интересу к механике тканых материалов, таких как рыболовные сети, которые по сути являются дискретными поверхностями. В процессе работы он задал дискретную версию вопроса Бонне: когда локальная информация однозначно определяет дискретную поверхность, а когда нет? Адаптировав известный метод генерации исключений из правила Бонне, Сагеман-Фурнас вместе со своим научным руководителем Максом Вардецким и Хоффманом нашли способ создания исключений в дискретном случае.
Как и в случае гладких поверхностей, эти исключения всегда были некомпактными. Но поскольку дискретные поверхности не содержат бесконечно много точек, их можно изучать с помощью компьютеров. Сагеман-Фурнас задался вопросом: возможно ли с помощью вычислительных методов полного перебора найти компактную пару Бонне в мире дискретной геометрии? Если да, то, возможно, дискретный случай также может привести к гладкому решению.
И вот он присоединился к Бобенко и Хоффману в Берлине в качестве постдока в группе Бобенко и приступил к работе.
Сафари по поверхностям
Весной 2018 года Сагеман-Фурнас начал компьютерный поиск особого типа поверхности — такой, которую можно было бы преобразовать в пару Бонне, подобно тому, как закваска служит основой для изготовления различных видов хлеба. Эта «стартовая» поверхность была бы похожа на те, которые он использовал для создания отдельных пар Бонне, будучи аспирантом. За исключением того, что на этот раз ему требовалась тороидальная поверхность. То есть она должна была быть компактной и иметь одно или несколько отверстий.
Он исчез на несколько недель, если не месяцев, вспоминал Хоффманн. Когда молодой математик наконец появился, он нашёл то, что искал: очень изогнутую форму, которая больше походила на оригами носорога, чем на тор.
Но это был тор. И, согласно компьютерной программе Сагемана-Фурнаса, он обладал всеми остальными свойствами, необходимыми для исходной поверхности, которая могла бы генерировать пары Бонне. Что ещё важнее, когда Сагеман-Фурнас генерировал эти пары на своём компьютере, они также оказывались торами. Преобразования от носорога к паре Бонне, похоже, не превращали носорога в некомпактные поверхности. Поверхности оставались компактными.
«Когда вы начинаете заниматься вычислительными исследованиями и проектированием, — сказал Сагеман-Фурнас, — вы можете получить новые примеры, которые выходят далеко за рамки того, что вы считали возможным».
Но не слишком ли это хорошо, чтобы быть правдой? Компьютерные программы допускают ошибки округления: носорог Сагемана-Фурнаса может казаться соответствующим желаемым критериям, а сгенерированная им пара Бонне может казаться тором, но всё это может быть миражем, артефактом небольших вычислительных ошибок. Без строгого доказательства математики не могли быть уверены.
«Он появился и показал нам какой-то странный геометрический объект, который действительно выглядел как какая-то бессмыслица из цифр», — сказал Хоффманн. «В шутку скажу, что, пожалуй, мой самый ценный вклад в весь проект заключался в том, что тогда я сказал: “Бывало и хуже”».
Потребовалось некоторое время, но Хоффманн и Сагеман-Фурнас в конце концов убедили себя, что носорог заслуживает серьёзного внимания. И если удалось найти такой вероятный пример дискретной пары Бонне, возможно, случай с гладкими парами не так уж и безнадёжен. Хоффманн и Сагеман-Фурнас провели целое лето в поисках подсказок, иногда — в видеочатах от восьми до двенадцати часов подряд. Они искали необычные свойства и геометрические ограничения, которые могли бы помочь им найти гладкие торы Бонне.
С наступлением сентября они наконец обнаружили новую зацепку, показавшуюся им настолько важной, что Бобенко вернулся к проблеме, от которой он отказался десятилетия назад.
Замкнутые контуры
Подсказка заключалась в определённых линиях, которые огибают носорога по его краям.
Было уже известно, что эти линии несут важную информацию о его кривизне — они показывают направления, в которых он изгибался сильнее и слабее всего. Поскольку носорог представляет собой двухмерную поверхность, существующую в трёхмерном пространстве, математики ожидали, что эти линии будут располагаться и в трёхмерном пространстве. Но вместо этого они всегда лежали либо в плоскости, либо на сфере. Такое совпадение вряд ли случайно.
«Это навело нас на мысль, что происходит нечто действительно особенное», — сказал Сагеман-Фурнас. Это было «захватывающе».
В отличие от дискретных поверхностей, гладкие поверхности не имеют рёбер. Но все же можно нарисовать «линии кривизны», которые описывают пути максимального и минимального изгиба. Сагеман-Фурнас, Бобенко и Хоффман решили поискать гладкий аналог носорога, линии кривизны которого были бы аналогичным образом ограничены расположением на плоскостях или сферах. Возможно, исходная поверхность с такими свойствами могла бы породить гладкие торы Бонне.
Но было неясно, существовала ли такая поверхность вообще.
Тогда Бобенко понял, что более века назад французский математик Жан-Гастон Дарбу практически точно сформулировал то, что сейчас необходимо математикам.
Дарбу разработал формулы для генерации поверхностей с нужными типами линий кривизны. Проблема заключалась в том, что его формулы не позволяли получить линии кривизны, замыкающиеся сами на себя. Вместо этого они «выглядели как спирали и уходили в бесконечность», — сказал Бобенко . «Нет никакой возможности замкнуть их». Это означало, что хотя линии кривизны могли располагаться на плоскостях и сферах, общая поверхность не представляла собой тор.
После нескольких лет работы, совмещая аналитические методы с вычислительными экспериментами, им удалось скорректировать формулы Дарбу так, чтобы линии кривизны замыкались. Наконец, они нашли свой гладкий аналог носорога (хотя внешне они были не очень похожи).
Более того, этот гладкий носорог смог создать пару новых торов, имеющих одинаковую среднюю кривизну и метрические данные, но различную общую структуру. Команда наконец-то нашла ответ на первоначальную проблему Бонне: в конце концов, некоторые торы нельзя однозначно определить по их локальным характеристикам.
Но когда они выяснили, как на самом деле выглядит эта пара торов, оказалось, что два тора являются зеркальным отражением друг друга. «Технически это не было проблемой», — сказал Сагеман-Фурнас. «Формально это решило проблему». Но это всё ещё не было удовлетворительным.
И вот в течение следующего года они пытались различными способами усовершенствовать свою гладкую поверхность носорога. В конце концов, они поняли, что если откажутся от требования, чтобы один набор линий кривизны располагался на сферах, то смогут построить новую гладкую поверхность носорога, которая будет делать то, что им нужно. Затем они использовали эту поверхность для создания новой пары Бонне — на этот раз двух очень извилистых торов. Эти новые торы различались намного больше, но при этом имели одинаковую метрику и среднюю кривизну.
Результат стал неожиданностью для Роба Куснера, математика из Массачусетского университета в Амхерсте. По его словам, он демонстрирует, что даже торы — одни из самых красивых и хорошо изученных поверхностей — не всегда могут быть идеально описаны своими локальными характеристиками.
«Это пример того, как нашей интуиции оказалось недостаточно», — сказал Брайант, математик из Университета Дьюка.
Тем не менее два тора, найденные математиками, несколько странные: они проходят сами через себя, образуя фигуры в виде восьмёрок. Теперь Бобенко надеется доказать, что существуют торы Бонне, которые не пересекаются сами с собой.
Торы Бонне являются долгожданным подтверждением многолетней работы Бобенко и Хоффмана над дискретными поверхностями. Традиционно геометрия гладких форм развивалась гораздо быстрее, увлекая за собой менее развитую теорию дискретной геометрии. Но в этой работе дискретная теория стремительно продвинулась вперёд и в конечном итоге сделала возможным прогресс в области гладких форм.
По мнению Хоффмана, это подчёркивает тот факт, что, хотя дискретные поверхности могут казаться менее сложными моделями по сравнению со своими гладкими аналогами, они обладают собственной математической жизнью. Дискретный мир может быть таким же богатым, как и гладкий, если не богаче, раскрывая дополнительные симметрии и связи, которые иначе могли бы остаться незамеченными.
«Люди как-то забыли об этом отдельном аспекте», — сказал Хоффманн. Но «из этого все ещё можно извлечь пользу».
Автор перевода @arielf
НЛО прилетело и оставило здесь промокод для читателей нашего блога:
— 15% на заказ любого VDS (кроме тарифа Прогрев) — HABRFIRSTVDS.
Автор: FirstJohn
