Математики нашли контрпример, нарушающий 150-летнее правило геометрии

Более 150 лет в геометрии господствовал принцип, сформулированный французским математиком Пьером Оссианом Бонне. Он утверждал, что если известны две ключевые локальные характеристики компактной поверхности — её метрика (определяющая расстояния) и средняя кривизна (описывающая изгиб), — то можно однозначно определить её глобальную форму. Новое исследование международной команды учёных показывает, что это предположение не всегда верно.

Математикам из Технического университета Мюнхена (TUM), Технического университета Берлина и Университета штата Северная Каролина удалось построить контрпример. Они создали две компактные поверхности в форме бублика (тора), которые имеют идентичные значения метрики и средней кривизны в каждой точке, но при этом их общая структура различна. Такой пример искали десятилетиями, и теперь он впервые найден.

Ранее было известно, что правило Бонне не работает для некомпактных поверхностей (например, бесконечных плоскостей или поверхностей с краем). Однако считалось, что для замкнутых поверхностей, таких как сфера, оно выполняется. Для торов существовали теоретические предположения, что одному набору локальных данных могут соответствовать до двух разных форм, но конкретного примера не было.

Новая работа заполняет этот пробел.

«После многих лет исследований нам впервые удалось найти конкретный случай, который показывает, что даже для замкнутых, похожих на бублик поверхностей локальные данные измерений не обязательно определяют единственную глобальную форму», — говорит Тим Хоффманн, профессор прикладной и вычислительной топологии в TUM. — «Это позволяет нам решить проблему в дифференциальной геометрии поверхностей, которой несколько десятилетий».

Открытие разрешает давний вопрос и подчёркивает более глубокий принцип: даже обладая полной локальной информацией, не всегда можно однозначно восстановить полную форму объекта. Результаты исследования опубликованы в журнале Publications Mathématiques de l'IHÉS.