[论文解读] Free boundary minimal hypersurfaces with least area

Qiang Guang, Zhichao Wang+1 more|arXiv (Cornell University)|Jan 22, 2018

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

一句话总结

该论文在紧致黎曼流形（边界非凸）中证明了在维度 $2 \leq n \leq 6$ 下存在面积最小的自由边界极小超曲面（FBMH）。通过极小极大理论与新颖的形变技术处理非凸边界和内部接触问题，作者证明面积最小的 FBMH 要么是可定向且 Morse 指数为 0 或 1，要么是非可定向且其二重覆盖稳定，从而解决了关于面积谱基态的长期悬而未决问题。

ABSTRACT

In this paper, we prove the existence of the free boundary minimal hypersurface of least area in compact manifolds with boundary. Such hypersurface can be viewed as the ground state of the volume spectrum introduced by Gromov. Moreover, we characterize the orientation and Morse index of them.

研究动机与目标

• 解决疑问 1.1：在具有边界的紧致黎曼流形中，是否存在面积最小的自由边界极小超曲面？
• 刻画在维度 $2 \leq n \leq 6$ 下此类面积最小 FBMH 的定向性与 Morse 指数
• 在不依赖边界凸性的条件下建立存在性，允许超曲面与周围边界发生内部接触
• 将 FBMH 的极小极大理论扩展至包含面积谱的基态，类比于闭流形中稳定极小超曲面的情形

提出的方法

• 使用极小极大方法构造一个实现所有嵌入 FBMH 中最小面积的自由边界极小超曲面
• 引入一种新型形变技术以处理非凸边界和内部接触问题，克服先前方法的局限性
• 应用 $\mathcal{F}$-等周不等式与 $\mathbf{M}$-等周不等式引理，控制同伦序列中质量与平坦范数的差异
• 在 $\mathcal{Z}_n(M,\partial M)$ 中建立 sweepouts 的离散化与插值定理，以逼近连续电流族
• 利用典型代表与同伦序列的 $\mathbf{M}$-精细性，确保极限中收敛性与质量控制
• 通过反证法证明面积最小的 FBMH 必须具有 Morse 指数 0 或 1（若可定向），或为稳定（若非可定向），基于极小极大构造

实验结果

研究问题

• RQ1 在具有边界的紧致黎曼流形中，是否存在一个自由边界极小超曲面，其面积在所有此类超曲面中最小？
• RQ2 面积最小的自由边界极小超曲面的 Morse 指数是多少？它与极小极大构造有何关联？
• RQ3 当超曲面内部接触周围边界时，非凸边界的存在如何影响面积最小 FBMH 的存在性与稳定性？
• RQ4 极小极大方法能否被调整以在无曲率或凸性假设下，产生自由边界情形下的面积谱基态？

主要发现

• 在任意紧致黎曼流形 $M^{n+1}$（具有边界）中，当 $2 \leq n \leq 6$ 时，存在一个光滑嵌入的自由边界极小超曲面 $\Sigma$，其面积达到最小值 $\mathcal{A}_1(M,\partial M)$
• 若面积最小的 FBMH $\Sigma$ 可定向，则其 Morse 指数为 0 或 1，其中指数 1 对应于基本类相关的极小极大超曲面
• 若 $\Sigma$ 非可定向，则其稳定，且其二重覆盖也稳定，面积按重数二计算
• 即使超曲面内部接触 $\partial M$，该存在性结果依然成立，无需边界凸性假设
• 该证明引入了处理接触现象的新技术，这些在先前基于凸性假设的研究中未被涵盖
• 该结果将 FBMH 的极小极大理论扩展至包含面积谱的基态，类比于 Mazet-Rosenberg 在闭流形情形所建立的结果