Геометрию подмногообразий евклидова пространства много лет калибруют по максимальной нормальной кривизне — наибольшему изгибу геодезических. Громов превратил эту величину в инструмент жёсткости: для шара радиуса r он нашёл порог κ = 2/√3r, ниже которого топология меняется скачком. Петрунин уточнил: строгое неравенство даёт сферу, а граничные не-сферические случаи — это в точности вложения Веронезе проективных плоскостей. Новая работа переворачивает перспективу. Вместо ограничения на кривизну задаётся внутренняя геометрия: почти эрмитова или почти кватернионно-эрмитова структура, чья фундаментальная форма удовлетворяет дифференциальному уравнению (она гармонична). Оказывается, одного этого условия уже достаточно, чтобы извлечь ту же универсальную константу √(2n/(n+1)) и заставить погружение принять канонический вид проективного пространства. Это словно отпечаток пальца: форма-отпечаток однозначно определяет форму многообразия в объемлющем шаре.
Решающий ход — формула Бохнера для фундаментальной p-формы Ψ. Поскольку Ψ гармонична, интеграл от |∇Ψ|² плюс член с кривизной обращается в нуль. С помощью уравнения Гаусса кривизненный член переписывается через операторы формы Aα — тензоры, кодирующие изгиб подмногообразия. Получается интегральное тождество (1.2). Ключевой алгебраический шаг — точечная оценка для симметрических эндоморфизмов, действующих на Ψ. Она извлекает из гармоничности именно ту часть гауссовой кривизны, которая отвечает за максимальный изгиб, и даёт нелинейное неравенство (1.3). Объединяя его с тождеством Минковского (следствие того, что многообразие лежит в шаре), получаем искомую оценку κ² ≥ 2n/(n+1).
Итог — универсальная нижняя грань: κ(F) ≥ √(2n/(n+1)). Для n=2 это даёт κ ≈ 1,155. Якорная деталь: это всего на 15% больше единичной кривизны круглой сферы — представьте, что окружность растянута в эллипс с отношением осей 1,155. Граница точна: комплексная и кватернионная проективные плоскости, вложенные по Веронезе, реализуют равенство. Более того, равенство жёстко: из него автоматически вытекает, что форма Ψ становится параллельной, метрика — кэлеровой (или кватернионно-кэлеровой), а само погружение глобально конгруэнтно стандартному вложению Веронезе, возможно, с добавлением вполне геодезического включения в сферу большей размерности. Это полная классификация минимайзеров.
Работа вводит новый инструмент — механизм Бохнера–Гаусса: формула Бохнера, пропущенная через уравнение Гаусса, превращает гармонические формы в жёсткие зонды для внешней кривизны. Традиционно метод Бохнера использовался для вывода параллельности тензоров из положительности кривизны; здесь же он служит мостом между внутренней гармоничностью и внешней геометрией. Такой подход применим не только к эрмитовым, но и к другим структурам со специальной голономией, включая октионный случай OP^2 со Spin(9)-структурой. Теперь у геометров есть способ читать «отпечатки» форм.
Естественное продолжение — провести аналогичное исследование для почти октионно-эрмитовых 16-мерных многообразий и единственной октионной проективной плоскости OP^2; там потребуется более сложная алгебра Бохнера–Гаусса для Spin(9)-инвариантной 8-формы. Другие кандидаты — многообразия с группами голономии G2 и Spin(7), где также есть выделенные гармонические формы. Возможно обобщение на некомпактный случай или на погружения в псевдоевклидовы пространства.
Метод обогащает арсенал дифференциальной геометрии и глобального анализа; он может найти приложения в задачах о минимальных подмногообразиях, спектральной геометрии и геометрических потоках, где контроль кривизны имеет решающее значение.
Ближайшие шаги — разработать алгебру Бохнера–Гаусса для октионного случая и проверить аналогичную жёсткость; также изучить связь с неравенствами типа Саймонса–Лоусона для минимальных подмногообразий в сферах.
Результат напрямую связан с программой жёсткости Громова и проблемой классификации минимальных вложений симметрических пространств в сферы. Уникальный отпечаток (гармоническая форма) оставляет неизгладимый след на погружении, вынуждая его быть проективным.
Этот раздел адресован автору работы и его коллегам. Соседние работы нашёл смысловой поиск по нашему архиву — не по совпадению слов, а по смыслу. Мы не рецензируем: мы показываем поле вокруг.
Что сделано в работе
Работа устанавливает универсальную нижнюю грань максимальной нормальной кривизны для подмногообразий в шаре с гармонической фундаментальной формой почти эрмитовой или почти кватернионно-эрмитовой структуры. Через формулу Бохнера и уравнение Гаусса выводится интегральное тождество, из которого точная константа √(2n/(n+1)) и жёсткость минимайзеров: они конгруэнтны вложениям Веронезе проективных плоскостей.
В чём сила
Ключевая сила — механизм Бохнера–Гаусса, превращающий гармоничность формы в жёсткий контроль внешней кривизны, что даёт точную классификацию экстремальных случаев.
Куда можно двигаться
Что можно попробовать
Почему это может быть важно
Такие точные границы с жёсткой классификацией минимайзеров дают эталонные примеры в геометрии подмногообразий и могут быть полезны в физических моделях, где возникают ограниченные объёмы и гармонические структуры.
Работы рядом в нашем архиве
Вокруг этой работы в архиве пусто: ближайший разбор всего на 0.59, при обычных 0.64. Похоже, рядом почти не бурили.
Вложение Веронезе CP^2 → $S^7$, открытое ещё в XIX веке, неожиданно всплыло в теории информации: оно задаёт оптимальные коды на сфере, а его образ — минимальная поверхность, играющая роль в квантовых вычислениях.