Stationary and stable varifolds with singularities

这篇论文《具有奇点的静止和稳定变分流形》（Stationary and Stable Varifolds with Singularities）由 Camillo De Lellis, Jonas Hirsch 和 Luca Spolaor 撰写。文章主要研究了在低正则度度量（$C^{1,\alpha}$）下，静止（stationary）和稳定（stable）积分变分流形的奇点结构问题。

以下是该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• 核心问题：Allard 关于静止积分变分流形内部奇点集的经典工作之后，过去 50 年的研究致力于确定奇点集的最优维数和结构。主要障碍在于：如果变分流形的光滑部分具有拓扑结构（如亏格），并且这些拓扑结构累积到平坦的奇点（flat singularities），是否会导致奇点集的大小无法被控制？
• 具体目标：作者旨在证明，当环境度量的正则性较低（仅为 $C^{1,\alpha}$，其中 $\alpha \in [0, 1)$）时，确实存在这样的场景：一个静止或稳定的极小曲面，其光滑部分具有无限多的拓扑结构（如无限个“猫眼”颈或漂浮圆盘），并累积到一个孤立的重数 2 的平坦奇点。
• 相关猜想：
  • 对于静止变分流形，若其切锥是平面的双重覆盖（重数 2），是否意味着该流形在局部是两个极小图（minimal graphs）的并集？
  • 对于稳定变分流形，若奇点集的 $H^{n-2}$ 测度有限，是否意味着其局部是有限个极小图的并集（参考 Bellettini 的工作 [3]）？

2. 主要结果 (Key Results)

文章证明了两个主要定理，构造了反例来回答上述问题：

• 定理 1.1 (静止情形)：

  • 对于任意 $\alpha \in [0, 1)$，存在一个 $C^{1,\alpha}$ 度量 $g$ 和一个 $m$ 维积分流形 $T$。
  • $T$ 在 $B_1(0) \setminus \{0\}$ 中是一个极小浸入曲面 $\Sigma$。
  • 在原点 $0$处，$\Sigma$的变分流形切锥是$2 \llbracket \mathbb{R}^m \times {0} \rrbracket$（即重数 2 的平面）。
  • 关键性质：对于任意 $r > 0$，$\Sigma \cap B_r(0) \setminus \{0\}$ 的亏格（genus）是无限的。这意味着光滑部分具有无限累积的拓扑结构。

• 定理 1.2 (稳定情形)：

  • 对于任意 $\alpha \in [0, 1)$，存在 $C^{1,\alpha}$ 度量 $g$ 和一个 $m$ 维积分变分流形 $V$。
  • $V$ 由一个稳定的极小浸入曲面 $\Sigma$ 和一系列互不相交的嵌入球面 $\gamma_k$ 组成。
  • $\gamma_k$ 累积到原点，且总测度有限。
  • 在原点 $0$ 处，切锥同样是重数 2 的平面。
  • 关键性质：在 $\gamma_k$ 附近，$\Sigma$ 由三个连通分量以相等角度（$2\pi/3$）相交组成（类似于三叉结）。该构造表明，即使奇点集具有有限 $H^{m-1}$ 测度（甚至更小），也不能保证流形局部是有限个极小图的并集，从而对 Bellettini 的结果中关于奇点集测度条件的最优性提出了挑战。

• 关于度量的说明：构造中的度量 $g$ 在原点外是光滑的，且测地线完备。但在原点处仅具有 $C^{1,\alpha}$ 正则性，且无法控制 Ricci 曲率。作者指出，这可能是证明方法的限制，而非本质障碍。

3. 方法论 (Methodology)

文章的核心策略是通过“手术”（surgery）将无限序列的局部模型插入到基础模型中，并构造一个合适的度量使得这些结构保持静止或稳定。

3.1 基础模型 (Base Model)

• 构造两个在 $C^{1,\alpha}$ 度量下相切于原点的极小图（Minimal Graphs）。
• 在二维情形下，利用 Weierstrass 表示法构造基于 $N$ 次齐次调和多项式的极小曲面。
• 在高维情形下，通过旋转对称性或球谐函数构造类似的模型。
• 基础流形由这两个图的并集（或差集，取决于定理 1.1 还是 1.2）组成，在原点处形成重数 2 的奇点。

3.2 局部手术模型 (Local Models)

为了引入无限拓扑，作者插入了两种局部模型：

1. 猫眼颈 (Catenoidal Necks)：连接两个极小图，形成类似悬链面的结构。
2. 漂浮圆盘 (Floating Disks)：由两个悬链面部分和一个平坦圆盘组成，三者在一个公共圆上以 $2\pi/3$ 的角度相交。这种结构对应于模 3 的极小化问题。

3.3 粘合与度量构造 (Gluing and Metric Construction)

这是技术最复杂的部分：

• 粘合过程：在基础模型和局部模型之间，通过单位分解（partition of unity）平滑过渡。
• 校准形式 (Calibration Form)：为了证明构造出的曲面是静止或稳定的，作者构造了一个闭微分形式 $\omega$（校准形式）。
  • 在欧几里得度量下，$\omega$ 在极小图上取体积形式。
  • 通过构造一个共形因子 $\lambda$，定义新度量 $g = \lambda^2 \delta$，使得 $\omega$ 成为该度量下的校准形式。
  • 校准形式的存在保证了流形的极小性（静止性）和稳定性。
• 迭代构造：
  • 作者定义了一个序列 $r_k \to 0$，在每个尺度 $r_k$ 上重复上述粘合过程。
  • 通过精细的估计（特别是关于共形因子 $\lambda$ 的导数估计），证明当 $N$（基础模型的多项式阶数）足够大时，构造出的度量序列在 $C^{1,\alpha}$ 拓扑下收敛。
  • 利用积分流形的紧性定理，证明最终的极限流形 $T$ 或 $V$ 满足所有要求。

4. 技术细节与估计 (Technical Details)

• 正则性控制：度量的正则性 $C^{1,\alpha}$ 取决于基础模型导数的衰减速度。在 $m=2$ 时，导数估计是线性的；在 $m>2$ 时，估计是超线性的。然而，限制因素在于基础模型在原点附近的平坦程度不够，导致无法获得更高的度量正则性。
• 稳定性证明：对于定理 1.2，作者不仅构造了静止流形，还通过构造校准形式证明了其正则部分的稳定性。这利用了 Bellettini 工作中的思想，但通过引入模 3 的奇点结构打破了有限个极小图并集的结论。
• 庞加莱引理变体：附录中提供了一个改进的庞加莱引理变体，用于在特定区域获得更好的度量估计，尽管最终正则性受限于其他区域。

5. 意义与贡献 (Significance)

1. 否定猜想：该结果否定了“若变分流形切锥为重数 2 平面，则局部必为两个极小图并集”的猜想（在低正则度度量下）。这表明拓扑结构的累积是阻碍奇点集正则性理论推广的主要障碍。
2. 挑战最优性：对于稳定变分流形，结果表明即使奇点集具有有限的 $H^{n-1}$ 测度（甚至更小），也不能保证流形局部由有限个极小图组成。这对 Bellettini 关于稳定流形正则性的结果提出了关于奇点集测度条件最优性的深刻问题。
3. 构造技巧：文章展示了如何在低正则度度量下，通过精细的校准形式构造和迭代手术，控制无限拓扑结构的累积。这种方法为研究几何测度论中的奇点结构提供了新的工具和反例。
4. 嵌入性问题：作者指出，如果曲面余维数至少为 2，该方法可以调整为构造嵌入（embedded）的极小曲面，这为未来研究嵌入情形下的奇点问题留下了空间。

总结：这篇论文通过构造具有无限拓扑累积的静止和稳定变分流形反例，揭示了在 $C^{1,\alpha}$ 度量下，极小曲面的奇点结构比经典理论（基于高正则度度量）要复杂得多，特别是拓扑结构对奇点正则性的破坏作用。