Free boundary minimal annuli in convex balls

技术摘要：凸球中的自由边界极小环面

问题陈述
本文探讨了具有边界的黎曼 3-流形中，自由边界极小子流形的几何分析中的两个主要问题：

1. 欧几里得单位球 ($B^3$) 的 4-宽度： 虽然 $B^3$ 的前三个宽度已知为 $\pi$（由赤道盘面实现），但第四个宽度 $\omega_4(B^3)$ 仍是一个开放问题。具体而言，曾有一个猜想认为 $\omega_4(B^3)$ 是由临界悬链面（critical catenoid）的面积实现的，后者是 $B^3$ 中唯一的恰当嵌入自由边界极小环面（在同余意义下）。
2. 自由边界极小环面的多重性： 受 Yau 关于极小球面猜想以及 White 关于闭合 3-球面中极小环面猜想的启发，作者研究了在具有非负 Ricci 曲率和严格凸边界的紧致 3-流形中，是否存在多个自由边界极小环面。虽然已知至少存在一个这样的环面，但在给定拓扑结构下存在多个（具体为三个）环面仍是一个开放问题。

方法论
作者采用了 Almgren-Pitts min-max 理论，特别是针对自由边界情形改编的 Simon-Smith 变体，并结合了拓扑控制技术。

• 构造规范族： 受 Marques-Neves 用于证明 $S^3$ 上 Willmore 猜想的 5-参数规范族的启发，作者在 $B^3$ 中构造了一个 4-参数族 的曲面。该族由 $\mathbb{RP}^4$ 参数化，由恰当嵌入的环面（及其退化形式）组成。该构造利用了球面的共形微分同构和立体投影。一个关键步骤是使用“边界爆炸”（boundary blow-up）技术，以确保该族在参数接近参数空间的边界时保持连续性，从而将该族扩展为 $\mathbb{RP}^4$ 上的连续映射。
• 拓扑控制： 作者选择了一个特定的初始曲面——通过将 Clifford 环面的一半进行立体投影得到的环面。这一选择的动机在于 Clifford 环面的“通道曲面”（channel surface）结构，该结构在共形变形下得以保持。这种结构允许进行严密的拓扑控制，确保该族中的曲面具有亏格 0 且至多有两个边界分量（拓扑界限为 $(0, 1)$）。
• 重复性 min-max 构造： 为了证明存在多个环面，作者通过改变初始环面的旋转对称轴，将 4-参数族扩展为一个 6-参数族（由 $\mathbb{RP}^4 \times \mathbb{RP}^2$ 参数化）。随后，他们将 Chu-Li 为闭合流形开发的“重复性 min-max”方案应用于自由边界设置。这包括：
  • 迭代应用 Simon-Smith min-max 定理来检测极小曲面。
  • 使用“相对捏合过程”（relative pinch-off process）从参数空间中移除检测到的极小曲面（盘面或环面），同时保持扫掠（sweepout）的同伦类。
  • 利用 Lyusternik-Schnirelmann 理论在参数空间上关于上同调的性质，推导出临界点（极小曲面）数量的下界。

主要贡献与结果

1. $\omega_4(B^3)$ 的上界：
   作者证明了所构造的 4-参数族的 Simon-Smith min-max 宽度由一个单重性（multiplicity-one）恰当嵌入的自由边界极小环面实现。通过结合拓扑控制（排除了盘面情形）和 Morse 指数估计（表明其指数恰好为 4），他们将该极限曲面识别为临界悬链面。因此，他们确立了上界：
   $$\omega_4(B^3) \le \text{Area}(\text{Critical Catenoid})$$
   结合 $\pi$ 的下界（通过自由边界极小曲面的间隙定理证明），得出：
   $$\pi < \omega_4(B^3) \le \text{Area}(\text{Critical Catenoid})$$

2. 三个极小环面的存在性：
   本文证明，每个具有非负 Ricci 曲率和严格凸边界的紧致 3-流形中，至少包含三个嵌入的自由边界极小环面。这是通过以下方式实现的：

   • 构造 6-参数族 $\Phi_6$。
   • 应用重复性 min-max 过程来检测一系列极小曲面。
   • 利用涉及参数空间 $Y = \mathbb{RP}^4 \times \mathbb{RP}^2$ 上上同调环中 $\lambda^4 \cup \alpha^2$ 非零性的上同调论证。
   • 表明如果存在的环面少于三个，则拓扑约束将导致与非零上同调类相矛盾，从而暗示至少存在三个不同的极小环面。

3. 单重性与拓扑控制：
   作者严谨地建立了该背景下自由边界 Simon-Smith min-max 极限的单重性定理，确保检测到的曲面不是多重覆盖。他们还提供了一个框架，用于控制自由边界设置中 min-max 曲面的拓扑（亏格和边界复杂度），改编了 Franz-Schulz 和 Ketover 的研究结果。

意义
该论文声称在以下几个方面具有重要意义：

• Willmore 猜想的自由边界类比： 它提供了第一个自然的 4-参数曲面族，其 min-max 宽度由临界悬链面实现，作为 Marques-Neves 用于 Willmore 猜想构造的自由边界类比。
• 解决宽度猜想： 它证实了单位球的 4-宽度被临界悬链面面积所界定的猜想，缩小了 $\omega_4(B^3)$ 精确值的差距。
• 多重性结果： 这是在一般凸 3-流形中，首次构造出具有特定拓扑结构（具体为亏格 0 且有两个边界分量）的多个自由边界极小曲面的工作。它将之前关于闭合流形中极小盘面和环面的结果扩展到了自由边界设置中。
• 方法论进展： “相对捏合过程”的发展以及将重复性 min-max 理论适配到自由边界设置中，为构造具有特定拓扑类型的带边界流形中的极小子流面提供了新的工具箱。

作者指出，虽然他们确立了 $\omega_4(B^3)$ 的上界，但严格的等式 $\omega_4(B^3) = \text{Area}(\text{Critical Catenoid})$ 仍取决于是否满足指数为 4 的自由边界极小曲面的唯一性或其面积的下界，这两者目前仍是开放问题。同样，关于恰好存在三个环面的证明是在有限性假设下进行的，而该假设通过紧致性论证得到了证明。