Русский
Два тора с одинаковой кривизной: как топология опровергла правило Бонне
Пока Бублик уже готовится к следующему турниру, поговорим про бублики в топологии.
Как локальные измерения раскрывают форму поверхности
Представьте, что мы никогда не видели Землю из космоса. Всё равно можно догадаться, что она круглая: достаточно измерять расстояния и углы на поверхности.
В геометрии поверхностей есть похожая идея: иногда маленького набора локальных измерений хватает, чтобы восстановить всю форму целиком.
Теорема Бонне и её исключения
В 1867 году Пьер Оссиан Бонне показал, что если вы знаете метрику поверхности (как по ней мерить расстояния) и среднюю кривизну в каждой точке (как она «в среднем» изгибается в пространстве), то этого обычно достаточно, чтобы определить поверхность.
Обычно, но не всегда, и именно это «не всегда» математики вылавливали почти полтора века.
Проблема была в том, что все известные исключения оказывались некомпактными: они тянулись бесконечно или имели края. А вот для «красивых» замкнутых поверхностей вроде сферы и тора долго не удавалось найти контрпример.
Топология торов: тонкая лазейка
В начале 1980-х стало ясно, что для рода 0 (без дырок) всё действительно работает, а для торов оставалась тонкая лазейка: теоретически могло существовать не больше двух разных торов с одним и тем же набором локальных данных.
И вот в октябре 2025 года Александр Бобенко, Тим Хоффман и Эндрю Сейджмен-Фернас наконец предъявили такую пару: два очень «закрученных» тора, которые совпадают по метрике и средней кривизне, но глобально устроены по-разному.
Путь к открытию: от дискретной геометрии к паре торов
Самое красивое то, как они туда пришли. Их дорожка началась с «пиксельной» геометрии: дискретных поверхностей, где вместо гладкости у вас сетка. В 2018-м компьютерный поиск нашёл странный «носорогоподобный» тор, который выглядел подозрительно, но оказался важной подсказкой.
Потом всплыл неожиданный мостик к Дарбу: старые формулы про линии кривизны, которые долго «убегали на бесконечность». Их удалось подкрутить так, чтобы линии замыкались, и из этого выросли уже гладкие примеры.
Сначала — зеркальная пара (формально годится, но визуально обидно), а затем — более явно разные торы.
Открытый вопрос в топологии торов
Правда, есть нюанс: найденные торы самопересекаются, как будто поверхность в пространстве «проткнула сама себя». И теперь следующий вопрос звучит почти неизбежно: а бывают ли такие же пары без самопересечений?
Локальное и глобальное: философия математики
Иногда математика напоминает: локально всё выглядит одинаково, а глобально можно жить в совсем другом мире.