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

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

Представьте, что вы измеряете поверхность, не имея права выйти за её пределы. Вы можете измерять расстояния вдоль неё: насколько далеко одна точка от другой, если двигаться по самой поверхности. Это её метрика. А теперь добавим ещё одно измерение извне: в каждой точке зафиксируем среднюю степень изгиба поверхности — её среднюю кривизну.

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

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 с одинаковой метрикой и функцией средней кривизны в соответствующих точках, но эти торы не конгруэнтны.

Что правдоподобно, но не является главным: вычислительные и дискретно-геометрические эксперименты могут направлять сложные построения в гладкой геометрии. Авторы пишут, что этот путь был важен, но сам результат держится на доказательстве, а не на численной картинке.

Чего это не показывает: что все или большинство поверхностей неоднозначны. Утверждение о единственности в общем случае остаётся частью фона. Эти примеры исключительны, но именно поэтому являются решающими контрпримерами.

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

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