[论文解读] Minimal Smoothings of Area Minimizing Cones

Joachim Lohkamp|arXiv (Cornell University)|Oct 7, 2018

Geometric Analysis and Curvature Flows参考文献 10被引用 10

一句话总结

本文证明了在 ℝⁿ⁺¹ 中，每个面积最小化锥都可以在其补集区域中被完全正则的面积最小化超曲面光滑逼近。通过运用 Martin 理论与 Jacobi 场的双曲展开，作者证明了相关 Jacobi 场的存在性、唯一性（至多缩放）、以及最小增长性，从而确保了逼近超曲面的光滑性与叶状结构。

ABSTRACT

In this paper we show that every area minimizing cone C^{n-1} in R^n can be approximated by entirely smooth area minimizing hypersurfaces. This extensively uses hyperbolic unfoldings of such hypersurfaces and the resulting potential theory for the Jacobi field operator. Applications include the splitting theorem in scalar curvature geometry saying that any (n-1)-dim. homology class of a compact manifold M^n with positive scalar curvature can be represented by a smooth (!) compact hypersurface that admits a positive scalar curvature metric.

研究动机与目标

• 解决长期存在的猜想：面积最小化超曲面若具有高余维奇点，能否被光滑的面积最小化器逼近。
• 将 Hardt-Simon 的结果——此前仅限于孤立奇点——推广至余维 ≥ 7 的任意奇点集的锥。
• 建立一种构造性、归纳性的方法，生成在无穷远处渐近于给定面积最小化锥的光滑面积最小化超曲面。
• 刻画由这些逼近超曲面诱导的 Jacobi 场在锥的奇点集附近具有最小增长性。
• 利用最大原理与势论论证，证明逼近超曲面在缩放意义下的唯一性。

提出的方法

• 在锥 $ C $ 上运用 Martin 理论处理 Jacobi 算子 $ J_H = -\Delta_H - |A|^2 $，分析方程 $ J_H w = 0 $ 的正解。
• 通过锥的双曲展开，将 Jacobi 场的渐近分析转化为在无穷远处边界上的势论问题。
• 基于切锥的归纳论证：对于具有奇点集 $ \Sigma_C $ 的锥 $ C $，先验证 Jacobi 场在 $ \Sigma_C \setminus \{0\} $ 处的最小增长性，再延拓至 $ \{0\} $。
• 利用严格最大原理证明：任何在 $ E_C $ 中的面积最小化超曲面 $ H $，若其在无穷远处的切锥为 $ C $，则必为正则的，并诱导出唯一具有最小增长性的 Jacobi 场。
• 运用叶状结构论证：缩放后的超曲面 $ s \cdot H_C $（$ s > 0 $）在 $ E_C $ 中形成叶状结构，该结构确保无紧致分量，并控制面积增长。
• 通过比较法建立唯一性：对任意其他极小边界 $ T \subset E_C $，比值 $ c_T / c_H $ 在无穷远处趋于 1，由最大原理可推出 $ T = c_T \cdot H_C $。

实验结果

研究问题

• RQ1 每个面积最小化锥 $ C^n \subset \mathbb{R}^{n+1} $ 是否都能在其补集区域中被光滑的面积最小化超曲面逼近？
• RQ2 由这些逼近超曲面诱导的 Jacobi 场的精确渐近行为是什么，特别是在锥的奇点集附近？
• RQ3 在存在高余维奇点的情况下，如何证明逼近超曲面在缩放意义下的唯一性？
• RQ4 Jacobi 算子在锥上的势论性质在多大程度上决定了逼近超曲面的正则性与叶状结构？
• RQ5 该锥光滑化结果能否通过局部逼近推广至黎曼流形，从而支持经典光滑化猜想？

主要发现

• 每个面积最小化锥 $ C^n \subset \mathbb{R}^{n+1} $ 均存在一个光滑、定向的极小边界 $ H_C \subset E_C $，使得 $ C $ 是 $ H_C $ 在无穷远处唯一的切锥。
• 缩放后的超曲面 $ s \cdot H_C $（$ s > 0 $）在分量 $ E_C $ 中形成叶状结构，且在锥上诱导的 Jacobi 场在奇点集 $ \Sigma_C $ 处表现出最小增长性。
• 逼近超曲面 $ H_C \subset E_C $ 在缩放意义下唯一：对任意其他定向极小边界 $ T \subset E_C $，存在 $ c_T > 0 $，使得 $ T = c_T \cdot H_C $。
• 由 $ H_C $ 诱导的 Jacobi 场由其在 $ \Sigma_C $ 处的最小增长性唯一确定，且该性质在缩放与极限下保持不变。
• 证明依赖于对奇点维数更低的切锥的归纳约化，结合 Martin 理论与严格最大原理，以控制渐近行为。
• 该方法避免了 Hardt-Simon 所采用的非线性面积最小化器渐近分析，转而使用双曲展开锥上的线性势论，从而实现光滑性与唯一性。