2025-11-24T09:04:18.006238

On FKM isoparametric hypersurfaces in $\mathbb{S}^n \times \mathbb{S}^n$ and new area-minimizing cones

Cui
Via a new isoparametric foliation in $\mathbb{S}^n(1) \times \mathbb{S}^n(1)$, we find many new area-minimizing cones by applying Lawlor's curvature criterion, especially codimension-two area-minimizing cones in $\mathbb{R}^{2n+2}$ for $n\geq 63$. This new isoparametric foliation is a further restriction of the Ferus-Karcher-Münzner isoparametric foliation to $\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2})$, which can also be defined on general $\mathbb{S}^n(a) \times \mathbb{S}^n(b)(a>0,b>0)$, and it extends the recent classification results of F. Urbano for $n=2$.
academic

О FKM изопараметрических гиперповерхностях в Sn×Sn\mathbb{S}^n \times \mathbb{S}^n и новых минимизирующих площадь конусах

Основная информация

  • ID статьи: 2510.14650
  • Название: On FKM isoparametric hypersurfaces in Sn×Sn\mathbb{S}^n \times \mathbb{S}^n and new area-minimizing cones
  • Автор: Hongbin Cui (Университет науки и технологии Китая)
  • Классификация: math.DG (дифференциальная геометрия)
  • Дата публикации: 16 октября 2025 г.
  • Ссылка на статью: https://arxiv.org/abs/2510.14650

Аннотация

Путём конструирования новых изопараметрических слоений в Sn(1)×Sn(1)\mathbb{S}^n(1) \times \mathbb{S}^n(1) автор, применяя критерий кривизны Лоулора, обнаружил множество новых минимизирующих площадь конусов, в частности конусы коразмерности 2 в R2n+2\mathbb{R}^{2n+2} при n≥63n\geq 63. Это новое изопараметрическое слоение представляет собой дальнейшее ограничение изопараметрического слоения Феруса-Карчера-Мюнцнера (FKM) на Sn(1)×Sn(1)⊂S2n+1(2)\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2}), может быть определено на общих пространствах Sn(a)×Sn(b)\mathbb{S}^n(a) \times \mathbb{S}^n(b) и обобщает результаты классификации Ф. Урбано для случая n=2n=2.

Исследовательский контекст и мотивация

Предпосылки проблемы

  1. Значимость минимизирующих площадь конусов: Как решения задачи Плато, минимизирующие площадь поверхности имеют в каждой внутренней особой точке по крайней мере один касательный конус в качестве предела раздутия; эти конусы сами являются минимизирующими площадь. Исследование минимизирующих площадь конусов способствует пониманию структуры особенностей минимизирующих площадь поверхностей.
  2. Ограничения существующих результатов:
    • Регулярные минимизирующие площадь конусы гиперповерхностей происходят главным образом из однородных примеров (таких как конус Симонса) и изопараметрических конусов
    • В случае высокой коразмерности, за исключением комплексных алгебраических многообразий, известно очень мало минимизирующих площадь конусов коразмерности 2
    • Примеры Чэна и Лоулора, возможно, являются единственными известными минимизирующими площадь конусами коразмерности 2, не являющимися комплексными алгебраическими многообразиями
  3. Исследовательская мотивация: Поиск новых минимальных конусов коразмерности 2 в R2n+2\mathbb{R}^{2n+2}, в частности в качестве подконусов конуса Симонса CnC_n.

Основные вклады

  1. Конструирование новых изопараметрических слоений: Определены FKM изопараметрические гиперповерхности в Sn×Sn\mathbb{S}^n \times \mathbb{S}^n, являющиеся результатом ограничения FKM изопараметрических полиномов
  2. Обнаружение множества новых минимизирующих площадь конусов:
    • При k=1k=1 (неприводимый случай) и δ(m)≥64\delta(m) \geq 64
    • При k≥2k \geq 2 (приводимый случай) и kδ(m)≥484k\delta(m) \geq 484
  3. Доказательство свойства равнонормальности: Доказано, что FKM изопараметрические гиперповерхности в Sn×Sn\mathbb{S}^n \times \mathbb{S}^n являются равнонормальными (isonormal)
  4. Применение критерия Лоулора: Систематическое вычисление углов исчезновения и радиусов нормальности с проверкой условий минимизации площади
  5. Обобщение результатов Урбано: Распространение классификации случая n=2n=2 на общие размерности

Подробное описание методов

Постановка задачи

Поиск новых минимизирующих площадь конусов коразмерности 2 в R2n+2\mathbb{R}^{2n+2}, в частности конусов, связь которых представляет собой минимальную гиперповерхность в Sn(1)×Sn(1)⊂S2n+1(2)\mathbb{S}^n(1) \times \mathbb{S}^n(1) \subset \mathbb{S}^{2n+1}(\sqrt{2}).

Основная математическая архитектура

1. Расщепленная форма FKM изопараметрических полиномов

Для FKM изопараметрических полиномов автор определяет их расщепленную форму на Rn+1×Rn+1\mathbb{R}^{n+1} \times \mathbb{R}^{n+1}:

F(x,y)=⟨x,y⟩2+∑q=1m−1⟨Aqx,y⟩2F(x,y) = \langle x,y \rangle^2 + \sum_{q=1}^{m-1} \langle A_q x, y \rangle^2

где {A1,A2,…,Am−1}\{A_1, A_2, \ldots, A_{m-1}\} — семейство кососимметричных представлений алгебры Клиффорда Clm−1\text{Cl}_{m-1} на Rkδ(m)\mathbb{R}^{k\delta(m)}.

2. Условие равнонормальности

Определение равнонормальной гиперповерхности: Для гиперповерхности MM в Sn×Sn\mathbb{S}^n \times \mathbb{S}^n, если функция угла произведения Урбано C=⟨PN,N⟩≡0C = \langle PN, N \rangle \equiv 0, то MM называется равнонормальной.

Ключевая лемма 1.2: Равнонормальная минимальная гиперповерхность в Sn×Sn\mathbb{S}^n \times \mathbb{S}^n также является минимальной гиперповерхностью в S2n+1(2)\mathbb{S}^{2n+1}(\sqrt{2}).

3. Формула вычисления второй фундаментальной формы

Теорема 2.3: Для нетривиальной алгебраической гиперповерхности MM в Sn×Sn\mathbb{S}^n \times \mathbb{S}^n, заданной регулярным уровневым множеством функции FF, квадрат нормы второй фундаментальной формы равен:

∣∣B∣∣2=1∣∇ˉF∣2[12Δˉ∣∇ˉF∣2−⟨∇ˉF,∇ˉΔˉF⟩−(n−1)∣∇ˉF∣2−∣∇ˉ∣∇ˉF∣2∣22∣∇ˉF∣2+⟨∇ˉ∣∇ˉF∣2,∇ˉF⟩24∣∇ˉF∣4]||B||^2 = \frac{1}{|\bar{\nabla}F|^2}\left[\frac{1}{2}\bar{\Delta}|\bar{\nabla}F|^2 - \langle\bar{\nabla}F, \bar{\nabla}\bar{\Delta}F\rangle - (n-1)|\bar{\nabla}F|^2 - \frac{|\bar{\nabla}|\bar{\nabla}F|^2|^2}{2|\bar{\nabla}F|^2} + \frac{\langle\bar{\nabla}|\bar{\nabla}F|^2, \bar{\nabla}F\rangle^2}{4|\bar{\nabla}F|^4}\right]

Технические инновации

  1. Техника расщепления: Разложение высокомерных FKM изопараметрических полиномов в двуходнородные полиномы на пространствах произведений
  2. Использование свойства равнонормальности: Обеспечение минимальности подмногообразия в более высокомерной сфере через условие равнонормальности
  3. Систематическое применение критерия Лоулора: Точное вычисление оценок углов исчезновения и радиусов нормальности

Экспериментальная установка

Теоретическая схема верификации

Данная работа является в основном теоретической, «эксперименты» проявляются в математических доказательствах и вычислительной верификации:

  1. Оценка углов исчезновения: Использование таблиц и формул Лоулора для вычисления оценок углов исчезновения
  2. Вычисление радиусов нормальности: Определение точных радиусов нормальности через геометрический анализ
  3. Верификация условий размерности: Проверка ограничений размерности при различных параметрах

Ключевые этапы вычислений

Первый этап: анализ второй фундаментальной формы

  • Вычисление геометрии срезов минимальной FKM изопараметрической гиперповерхности Σ\Sigma
  • Доказательство того, что максимальная норма оператора формы равна α2=6(n−1)\alpha^2 = 6(n-1)
  • Получение оценки угла исчезновения из таблицы Лоулора: θ≤arctan⁡11n\theta \leq \arctan \frac{11}{n} (при n≥11n \geq 11)

Второй этап: вычисление радиуса нормальности

Использование свойств кососимметричных представлений алгебры Клиффорда для доказательства того, что радиус нормальности равен: N=arctan⁡c1−c=arctan⁡m−1n−mN = \arctan\sqrt{\frac{c}{1-c}} = \arctan\sqrt{\frac{m-1}{n-m}} (за исключением специального случая (m,n)=(9,15)(m,n) = (9,15))

Третий этап: верификация условия Лоулора

Проверка ключевого неравенства 2θ≤N2\theta \leq N:

  • Неприводимый случай (k=1k=1): требуется n≥63n \geq 63
  • Приводимый случай (k≥2k \geq 2): требуется n≥483n \geq 483

Результаты экспериментов

Основные теоремы

Теорема 1.7: Минимальный конус C(Σ)⊂Ckδ(m)−1C(\Sigma) \subset C_{k\delta(m)-1}C(Σ)={(x,y)∈Rkδ(m)×Rkδ(m):⟨x,y⟩2+∑q=1m−1⟨Aqx,y⟩2=m−1n−1∣x∣2∣y∣2 и ∣x∣=∣y∣}C(\Sigma) = \left\{(x,y) \in \mathbb{R}^{k\delta(m)} \times \mathbb{R}^{k\delta(m)} : \langle x,y\rangle^2 + \sum_{q=1}^{m-1}\langle A_q x, y\rangle^2 = \frac{m-1}{n-1}|x|^2|y|^2 \text{ и } |x|=|y|\right\}

минимизирует площадь при следующих условиях:

  • (i) неприводимый случай k=1k=1, δ(m)≥64\delta(m) \geq 64
  • (ii) приводимый случай k≥2k \geq 2, kδ(m)≥484k\delta(m) \geq 484

Теорема 1.8: Минимальный конус произведения минимизирует площадь при dim⁡C≥21\dim C \geq 21.

Конкретные примеры применения

Через таблицу размерностей алгебры Клиффорда:

  • При m=11m=11, δ(11)=64\delta(11)=64, получается первый пример при n=63n=63
  • При m=2,k=242m=2, k=242, kδ(2)=484k\delta(2)=484, получается пример при n=483n=483

Важные открытия

  1. Множество новых примеров: Впервые конструируются неоднородные минимизирующие площадь конусы коразмерности 2 при размерности n≥63n \geq 63
  2. Единая схема: Предоставляется систематический метод конструирования и верификации минимизирующих площадь конусов
  3. Нижние границы размерности: Даются конкретные нижние границы размерности, хотя они могут быть неоптимальными

Связанные работы

Историческое развитие

  1. Конус Симонса: Первый класс регулярных минимизирующих площадь конусов, обнаруженный при решении проблемы Бернштейна
  2. Метод калибровки Лоусона: Доказательство того, что многие однородные минимальные гиперповерхности порождают минимизирующие площадь конусы
  3. Изопараметрические конусы: Полная классификация изопараметрических минимизирующих площадь конусов Ваном и др.
  4. Случай высокой коразмерности: Примеры Чэна и Лоулора коразмерности 2

Инновации данной работы

По сравнению с существующими работами, данная статья:

  • Впервые конструирует минимизирующие площадь конусы коразмерности 2 в неоднородной постановке
  • Обобщает теорию FKM на пространства произведений
  • Предоставляет систематический метод конструирования

Заключение и обсуждение

Основные выводы

  1. Успешно конструируются множество новых минимизирующих площадь конусов коразмерности 2
  2. Устанавливается схема теории FKM изопараметрических поверхностей в пространствах произведений
  3. Верифицируется эффективность критерия Лоулора в новой постановке

Ограничения

  1. Ограничения размерности: Требуются достаточно большие размерности (n≥63n \geq 63 или n≥483n \geq 483)
  2. Оптимальность нижних границ: Даваемые нижние границы размерности могут быть неоптимальными
  3. Вычислительная сложность: Включает сложные вычисления с алгебрами Клиффорда

Направления будущих исследований

  1. Улучшение нижних границ размерности: Более точные численные вычисления могут снизить требования к размерности
  2. Обобщение на другие пространства: Рассмотрение более общих произведений многообразий
  3. Задачи классификации: Полная классификация изопараметрических гиперповерхностей в пространствах произведений

Глубокая оценка

Преимущества

  1. Теоретическая глубина: Органичное объединение нескольких глубоких геометрических теорий (теория FKM, критерий Лоулора, изопараметрическая геометрия)
  2. Вычислительная строгость: Детальные вычисления и оценки, особенно точный анализ углов исчезновения и радиусов нормальности
  3. Значимость результатов: Впервые конструируются неоднородные минимизирующие площадь конусы коразмерности 2 в высоких размерностях
  4. Методологические инновации: Искусное применение техники расщепления и условия равнонормальности

Недостатки

  1. Высокие требования к размерности: Практическое применение ограничено требованиями высокой размерности
  2. Высокий технический уровень: Требуется глубокое знание дифференциальной геометрии и алгебры
  3. Вычислительная сложность: Включает большой объём технических вычислений с возможностью улучшений

Влияние

  1. Теоретический вклад: Предоставляет новый метод конструирования для теории минимизирующих площадь конусов
  2. Методологическая ценность: Техника равнонормальности может быть применима к другим геометрическим задачам
  3. Потенциал обобщения: Открывает новые направления исследований в смежных областях

Области применения

  • Исследования теории минимальных поверхностей в дифференциальной геометрии
  • Геометрические вариационные задачи
  • Приложения алгебр Клиффорда в геометрии
  • Развитие теории изопараметрической геометрии

Библиография

Статья цитирует богатую литературу по смежным вопросам, включая:

  • Основополагающие работы Лоулора о минимизирующих площадь конусах
  • Классические работы по теории FKM изопараметрических поверхностей
  • Последние достижения Урбано и др. в геометрии пространств произведений
  • Фундаментальные работы по теории минимизирующих площадь поверхностей

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