Учёные опровергли 150-летний геометрический постулат с помощью двух поверхностей в форме пончиков
Группа исследователей из США и Германии совершила настоящий прорыв в области математики, сумев решить задачу, которая не давала покоя учёным на протяжении более чем ста лет. Им удалось найти первый конкретный пример редчайшей пары искривлённых поверхностей, известных как поверхности Бонне, и тем самым опровергнуть общепринятый принцип классической геометрии.
Трое учёных из Технического университета Мюнхена (TUM), Берлинского технического университета (TU Berlin) и Университета штата Северная Каролина (NC State) доказали несостоятельность правила, сформулированного более 150 лет назад французским математиком Пьером Оссианом Бонне. Согласно этому постулату, если в каждой точке поверхности известны два её ключевых свойства — метрика (позволяющая измерять расстояния и углы вдоль самой поверхности) и средняя кривизна (показывающая, как поверхность изгибается в трёхмерном пространстве), — то общая форма такой поверхности может быть определена единственным образом.
Однако команде математиков удалось продемонстрировать, что это предположение верно не во всех случаях. Как пояснил профессор прикладной и вычислительной топологии Технического университета Мюнхена Тим Хоффманн, это открытие позволяет разрешить давнюю проблему в области дифференциальной геометрии для поверхностей.
Чтобы опровергнуть правило, действовавшее полтора века, исследователи создали две компактные поверхности, напоминающие формой пончики, которые в геометрии называются торами. Несмотря на то, что оба тора имели одинаковую метрику и одинаковую среднюю кривизну, их глобальная структура оказалась различной. Хоффманн отметил, что после долгих лет исследований им впервые удалось найти конкретный случай, доказывающий, что даже для замкнутых, пончикообразных поверхностей локальные данные измерений не обязательно определяют единственную глобальную форму.
Хотя отдельные исключения из правила Бонне были известны и ранее, они встречались только на некомпактных поверхностях, которые либо бесконечно простираются в одном направлении (как плоскость), либо имеют чётко определённые края. Для компактных поверхностей, таких как сферы, исследователи ранее подтвердили, что метрика и средняя кривизна действительно однозначно определяют форму. Что касается торов, давно было известно, что заданные метрика и средняя кривизна могут описывать не более двух различных поверхностей. Тем не менее, конкретный пример такой пары отсутствовал на протяжении десятилетий, пока трое учёных не представили его.
Авторы работы заявили, что они в явном виде сконструировали пару погружённых в трёхмерное евклидово пространство торов, которые связаны изометрией, сохраняющей среднюю кривизну. Эти два тора стали первыми в истории примерами компактных пар Бонне. Полученные результаты окончательно решают давнюю проблему о том, определяют ли метрика и функция средней кривизны единственное гладкое компактное погружение. Более того, команда доказала, что эти изометрические торы являются вещественно аналитическими, что закрывает ещё один давний открытый вопрос о том, достаточно ли вещественной аналитичности метрики для определения единственного компактного погружения.
В своей работе исследователи использовали взаимосвязь между парами Бонне и изотермическими поверхностями. Они пояснили, что построенные торы возникают в результате конформных преобразований изотермического тора с одним семейством плоских линий кривизны. Результаты этого исследования были в научном журнале Publications mathématiques de l'IHÉS.