[论文解读] Generic regularity for minimizing hypersurfaces in dimensions 9 and 10

Otis Chodosh, Christos Mantoulidis+1 more|arXiv (Cornell University)|Feb 4, 2023

Geometric Analysis and Curvature Flows被引用 7

一句话总结

该论文通过证明在边界或度量的 $C^\infty$-小扰动下，可消除在环境维数 9 和 10 中面积最小化超曲面的奇点，从而建立了这些维数下的一般正则性。通过一种迭代扰动方法，每一步均以统一量减少奇点处的最大密度，作者证明了在维数 9 和 10 中的最小化当前在经过一般扰动后可变为光滑，从而将此前在维数 8 的结果推广至更高维。

ABSTRACT

We prove that singularities of area minimizing hypersurfaces can be perturbed away in ambient dimensions 9 and 10.

研究动机与目标

• 解决长期存在的猜想：在环境维数 9 和 10 中，面积最小化超曲面的奇点可通过一般扰动移除。
• 将 Hardt–Simon 在 $\mathbb{R}^8$ 中对 7 维最小化当前的结果推广至奇点集可能具有正 Hausdorff 维数的更高维情形。
• 证明对于 $\mathbb{R}^{n+1}$ 中任意光滑、闭、定向的边界 $\Gamma$（其中 $n+1 = 9$ 或 $10$），存在 $C^\infty$-小扰动，使得对应最小面积超曲面为光滑。
• 将结果推广至维数为 9 和 10 的闭、定向黎曼流形，证明一般度量扰动可产生光滑的同调最小化超曲面。

提出的方法

• 采用一种迭代扰动方案，每一步均以统一常数 $\eta > 0$ 减少最小化当前 $T_0$ 在奇点处的最大密度 $\Theta_T(x)$。
• 该方法依赖于分析作为奇点爆破模型的非平坦最小化锥，并证明扰动可严格降低最大密度。
• 关键的技术工具是利用最小化锥上的正 Jacobi 场，通过涉及 $V(r)$（Jacobi 场在锥的链路上的区域积分）的微分不等式，证明其以受控速率衰减。
• 利用在第二基本形式和链路的第一 Dirichlet 特征值上的特征值估计，推导出衰减估计 $V(r) \leq r^{-\kappa_n^*} V(1)$（$r \geq 1$）。
• 利用 Allard 正则性定理确保：若最大密度降至 $\Theta_n^*$ 以下，则当前变为光滑，迭代在有限步内终止。
• 通过结合 Hardt–Simon 边界正则性与唯一延拓性，利用相对构型论证证明最小化当前的唯一性，从而排除横截相交。

实验结果

研究问题

• RQ1 在维数 9 和 10 的面积最小化超曲面中，是否可通过边界或环境度量的一般扰动来消除奇点？
• RQ2 在维数 9 和 10 的最小化当前扰动中，是否存在一个统一的正下界 $\eta > 0$，使得奇点处的最大密度可被统一减少？
• RQ3 在平均曲率流中使用的迭代扰动方法是否可被改编，以证明更高余维下最小化当前的一般正则性？
• RQ4 在非平坦最小化锥上存在正 Jacobi 场是否允许受控衰减，从而在扰动过程中实现密度降低？

主要发现

• 当 $n+1 = 9$ 和 $10$ 时，对于 $\mathbb{R}^{n+1}$ 中任意光滑、闭、定向的边界 $\Gamma$，存在 $C^\infty$-小扰动 $\Gamma'$，使得满足 $\partial M' = \Gamma'$ 的最小面积超曲面 $M'$ 为光滑。
• 最小化当前 $T$ 在奇点处的最大密度 $\Theta_T(x)$ 可在每一步扰动中被统一减少常数 $\eta > 0$，从而确保在有限步内收敛至光滑当前。
• 在非平坦最小化锥 $\mathcal{C}^n \subset \mathbb{R}^{n+1}$ 上存在正 Jacobi 场，可导出衰减估计 $V(r) \leq r^{-\kappa_n^*} V(1)$（$r \geq 1$），其中 $\kappa_n^* = \frac{n-2}{2} - \sqrt{\frac{(n-2)^2}{4} - (n-1)}$。
• 由于最大密度在扰动过程中降至 Allard 正则性阈值 $\Theta_n^*$ 以下，因此扰动过程在有限步后使结果当前 $T_k$ 变为光滑。
• 在维数为 9 和 10 的闭黎曼流形中，一般 $C^\infty$-小度量扰动可产生光滑、互不相交、嵌入、定向的超曲面，其在同调类中最小化面积。
• 通过证明任意其他最小化当前必须与扰动后的当前重合（基于唯一延拓性），从而排除横截相交，确立了最小化当前的唯一性。