Calabi-Yau Conjecture for Minimal Hypersurfaces in $\mathbb{R}^4$ with bounded geometry

技术摘要：具有有界几何性质的 $\mathbb{R}^4$ 中极小超曲面的 Calabi–Yau 猜想

问题陈述
本文探讨了关于 $\mathbb{R}^{n+1}$ 中完全极小超曲面 $\Sigma^n$（其中 $n \ge 2$）的 Calabi–Yau 猜想。具体而言，研究了完备性是否必然导致该超曲面是无界的，并且更进一步地，研究其是否必须是一个固有映射（即任何紧集的原像也是紧集的）。虽然这一问题在 $\mathbb{R}^3$ 中的嵌入极小曲面情形下已得到解决（在有限拓扑或正注入半径的条件下证明了固有性），但由于半空间定理的失效以及缺乏类似 Weierstrass 公式这样的解析表示，高维情形（$n \ge 3$）在很大程度上仍是一个开放问题。

作者关注 $n=3$ 的情形，考虑连通、完全、嵌入在 $\mathbb{R}^4$ 中的极小超曲面 $\Sigma^3$。核心问题是确定有界第二基本形式（$\sup_\Sigma |A_\Sigma| < \infty$）与有限第二贝蒂数（$b_2(\Sigma; \mathbb{Z}_2) < \infty$）的结合是否强制该超曲面是固有的。

方法论与证明策略
证明采用反证法，假设 $\Sigma$ 是完全、嵌入的，满足几何与拓扑约束，但不是固有的。

1. 归约为半空间/条带中的层叠结构（Lamination）：
   遵循 [MIR05] 的论证以及近期关于稳定 Bernstein 猜想的研究结果（[CL24], [CL23], [CLMS26], [CMR24], [Maz24]），作者建立了一个结论：如果 $\Sigma$ 不是固有的，则它可以被刚性移动（并在必要时进行缩放）从而成为包含在开半空间 $U = \{x_4 > 0\}$ 或条带 $U = \{0 < x_4 < H\}$ 中的极小层叠结构。在这种配置下，边界超平面 $\{x_4 = 0\}$ 包含在 $\Sigma$ 的极限集中。

2. 高度函数的分析：
   令 $h = x_4|_\Sigma$ 为高度函数。在非固有性的假设下，$h$ 是 $\Sigma$ 上一个正的、非恒定的调和函数，且满足 $\inf_\Sigma h = 0$。

   • 曲率控制： 有界曲率假设（$|A_\Sigma| \le \Lambda$）意味着梯度估计 $|\nabla_\Sigma h|^2 \le 2\Lambda h$。这确保了在高度较小时，垂直投影是一致非退化的。
   • 图形结构： 利用 [MIR05] 中的引理 1.4，作者表明次水平集 $\{h < \tau\}$ 的连通分支是定义在 $\mathbb{R}^3$ 区域上的全局图（global graphs），且满足梯度界限 $|Du| < 1$。

3. 拓扑约束与非紧连通分支：
   利用有限第二贝蒂数 $b_2(\Sigma; \mathbb{Z}_2)$ 的性质，作者通过同调论证（引理 2.1）表明，水平集 $\{h = c\}$ 最多只能有有限个紧连通分支。

   • 由于 $\{x_4 = 0\}$ 是一个极限叶（limit leaf），因此 $\{h < \tau\}$ 存在无穷多个不同的连通分支。
   • 通过对紧致分支数量有限性的讨论，作者识别出一个特定的连通分支 $V \subset \{h < \tau\}$，其边界包含一个非紧连通分支 $S \subset \{h = \tau\}$，并且该分支与一个较低水平集 $\{h = t\}$ 相交于一个非紧连通分支 $\Gamma$。

4. 构造全局 Lipschitz 函数：
   分支 $V$ 是定义在区域 $D \subset \mathbb{R}^3$ 上的图 $y \mapsto u(y)$。作者定义了一个函数 $g: \mathbb{R}^3 \to \mathbb{R}$，定义为在 $D$ 上 $g(y) = \tau - u(y)$，在其他地方为 $0$。

   • Lipschitz 性质： 梯度界限 $|Du| < 1$确保了$g$ 是全局 1-Lipschitz 的。
   • 积分估计： 利用 $\Sigma$ 的极小性以及使用截断函数的分部积分，作者导出了梯度的加权 $L^2$ 界限：
     $$\int_{\mathbb{R}^3} \frac{|\nabla g(y)|^2}{1 + |y|} \, dy < \infty.$$

5. 导出矛盾：
   集合 $S$ 和 $\Gamma$ 在 $\mathbb{R}^3$ 中投影为无界的连通集 $S_0$ 和 $\Gamma_0$。函数 $g$ 在 $S_0$ 上取值为 $0$，在$\Gamma_0$上取不同的常数值$a = \tau - t$。

   • 由于 $S_0$ 和 $\Gamma_0$ 是无界且连通的，它们会与每一个足够大的球面 $\partial B_r(0)$ 相交。
   • Lipschitz 条件意味着在这些球面上，$g$ 必须在很小的测地帽（geodesic caps）内从接近 $0$过渡到接近$a$。
   • 应用关于此类函数在球面上 Dirichlet 能量的对数下界估计（引用 [AM26b, 引理 5.8]），作者展示了 $|\nabla g|^2$ 在大球外部的积分是发散的：
     $$\int_{R_0}^\infty \frac{dr}{(1+r)\log(Cr/\rho_0)} = \infty.$$
     这种发散性与之前建立的加权积分有限性相矛盾，从而证明了最初的假设（即 $\Sigma$ 不是固有的）是错误的。

主要贡献与结果

• 主定理： 本文证明了任何连通、完全、嵌入在 $\mathbb{R}^4$ 中的具有有界第二基本形式且具有有限第二贝蒂数（$b_2(\Sigma; \mathbb{Z}_2) < \infty$）的极小超曲面 $\Sigma^3$ 都是固有的。
• 特定情形的解决： 这为在特定几何与拓扑约束下，嵌入极小超曲面的 Calabi–Yau 猜想提供了第一个肯定的回答。
• 针对 $\mathbb{R}^3$ 的新证明： 该方法论提供了一个关于 $\mathbb{R}^3$ 中具有有界曲率的完全嵌入极小曲面固有性的新证明，该证明独立于 Xavier 的半空间定理（Rosenberg [Ros01] 使用了该定理）。这是通过观察对于 $\Sigma^2 \times \mathbb{R}$，其第二贝蒂数为零来实现的。
• 假设的必要性： 作者阐明了有界曲率假设的微妙之处。他们指出，如果没有该假设，该定理将意味着所有 $\mathbb{R}^3$ 中的完全嵌入极小曲面都是固有的，而这一说法可能与民间传闻中的例子（Meeks）相矛盾。因此，除非施加更强的拓扑约束（例如有限第一贝蒂数），否则有界曲率条件很可能是必不可少的。

意义与范围
本文声称为理解高维情形（$n \ge 3$）中极小超曲面固有性的方向提供了“第一个答案”，在这些情形下标准工具会失效。作者明确指出，其结果适用于标准族，如 3D 悬挂面（catenoid）、渐近于 Simons 锥的例子，以及 $\mathbb{R}^3$ 中具有有界曲率的极小曲面与 $\mathbb{R}$ 的乘积。

该工作并不声称解决了 $\mathbb{R}^4$ 中所有完全嵌入极小超曲面的猜想，也不声称可以移除有界曲率或有限贝蒂数的假设。相反，它在有界几何、有限拓扑（特别是 $b_2$）与固有性之间建立了严谨的联系，并强调了高维情形中固有性的失效（如两位作者通过具有无界曲率和无限拓扑的例子所示）与违反这些特定条件有着密切的关系。