Математики опровергли теорию 150-летней давности

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

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

Показатель описывает расстояния вдоль поверхности, то есть то, насколько далеко находятся две точки друг от друга при измерении вдоль неё. Средняя кривизна отражает, как поверхность изгибается в пространстве, указывая, изгибается ли она внутрь или наружу и насколько.

Математики уже знали, что правило Бонне выполняется не для всех поверхностей. Известные исключения касались некомпактных поверхностей, которые либо простираются до бесконечности, как плоская поверхность, либо имеют края. Считалось, что компактные поверхности, такие как сферы, подчиняются этому правилу, и что метрика и средняя кривизна полностью определяют их форму.

Что касается поверхностей в форме тора, то в более ранних работах было показано, что одному набору значений метрики и средней кривизны может соответствовать целых две разные формы. Тем не менее никому не удавалось привести ясный, конкретный пример, демонстрирующий эту функция.

Новая работа восполняет этот пробел. Построив пару торов, которые совпадают по локальным измерениям, но различаются в глобальном масштабе, команда представила первый наглядный пример этого явления.

Это открытие разрешает давнюю проблему в геометрии. Даже при наличии всей локальной информации полную форму поверхности не всегда можно однозначно определить.