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