[论文解读] Orientability of min-max hypersurfaces in manifolds of positive Ricci curvature

Alejandra Ramírez-Luna|arXiv (Cornell University)|Jul 29, 2019

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

一句话总结

该论文证明，在维度 $n+1 \geq 8$ 的紧致、定向黎曼流形中，若其 Ricci 曲率为正，则 Almgren-Pitts 宽度由一个定向、指标为 1、重数为 1 且具有最优正则性的极小超曲面实现。证明采用反证法，构造了一个修改后的扫掠（sweepout），使得面积低于宽度，从而排除了重数为 2 的非定向解的可能性。

ABSTRACT

Let $M^{n+1}$ be an orientable compact Riemannian manifold with positive Ricci curvature. We prove that the Almgren-Pitts width of $M^{n+1}$ is achieved by an orientable index $1$ minimal hypersurface with multiplicity $1$ and optimal regularity. This extends to dimensions $n+1\geq 8$ the results of Ketover-Marques-Neves arXiv:1601.04514v1 [math.DG] and X. Zhou arXiv:1504.00966v2 [math.DG].

研究动机与目标

• 通过将定向性结果扩展至维度 $n+1 \geq 8$，完成对正 Ricci 曲率流形中极小极大超曲面的完整刻画。
• 解决一个开放问题：在高维中，非定向、重数为 2 的解是否可能实现 Almgren-Pitts 宽度。
• 建立在所有维度 $n+1 \geq 8$ 中，宽度由一个定向、指标为 1、重数为 1 且具有最优正则性的极小超曲面实现。
• 通过几何扫掠构造，排除非定向解，将 Ketover-Marques-Neves 和 Xin Zhou 的结果推广至更高维度。

提出的方法

• 假设反证法下，极小极大超曲面 $\Sigma$ 为非定向且重数为 2，因此 $L(\Pi) = 2\mathcal{H}^n(\Sigma)$。
• 通过修改基于距离的扫掠 $\{\Sigma_r\}$，从 $r = \delta_0$ 开始，构造一个新的扫掠 $\{\Lambda_s\}$。
• 在 $r = \delta_0$ 处，围绕一个远离奇点的点 $p \in \Sigma$，打开一个高度为 $\delta_0$、半径 $t$ 从 0 到 $R$ 的圆柱体。
• 定义 $\Lambda_{h,t} = \{\Sigma_h \cup C_{t,h}(p)\} \setminus B_{t,h}(p)$，即从 $\Sigma_h$ 中移除与圆柱体相交的内部部分。
• 利用欧氏面积比较，通过不等式 (3.8)–(3.10) 估计 $\mathcal{H}^n(\Lambda_{h,t})$，表明面积减少量与 $h^2$ 和 $R^n$ 成正比。
• 将修改后的族 $\{\Lambda_{\delta_0,t}\}$、$\{\Lambda_{h,R}\}$ 以及原始的 $\{\Sigma_r\}$（$r \geq \delta_0$）连接成一个单一扫掠 $\{\Lambda_s\}$，其上确界范数面积受控。

实验结果

研究问题

• RQ1 在维度 $n+1 \geq 8$ 的正 Ricci 曲率流形中，非定向、重数为 2 的极小超曲面是否可能实现 Almgren-Pitts 宽度？
• RQ2 若 $\Sigma$ 为非定向且重数为 2，能否构造一个扫掠，使其宽度严格小于 $2\mathcal{H}^n(\Sigma)$？
• RQ3 在扫掠中打开圆柱体所导致的面积减少是否超过初始面积增长，从而导致矛盾？
• RQ4 该构造能否通过与低维相同的几何策略推广至维度 $n+1 \geq 8$？
• RQ5 codimension-7 奇点集在极小极大超曲面的正则性与定向性中起什么作用？

主要发现

• 在紧致、定向的黎曼流形中，若其 Ricci 曲率为正，则 Almgren-Pitts 宽度由一个定向、指标为 1、重数为 1 的极小超曲面实现。
• 在维度 $n+1 \geq 8$ 时，非定向且重数为 2 的解被排除，从而完成了对极小极大超曲面的完整刻画。
• 所构造的扫掠 $\{\Lambda_s\}$ 满足 $\sup_s \mathcal{H}^n(\Lambda_s) < 2\mathcal{H}^n(\Sigma)$，若 $\Sigma$ 为非定向，则与 $L(\Pi)$ 的定义矛盾。
• 通过不等式 (3.11) 和 (3.13) 对面积减少量进行量化，分别显示了 $\frac{A}{2}\delta_0^2$ 和 $\frac{c}{2}R^n$ 的严格减少。
• 该构造依赖于 $n > 2$，以确保 $h^n$ 的衰减速率快于 $h^2$，这是面积减少的关键；$n=2$ 的情形需采用不同的估计（如悬链面）。
• 该结果将 Ketover-Marques-Neves（针对 $n+1 \leq 7$）和 Xin Zhou（针对 $n \geq 7$）的工作推广至所有维度 $n+1 \geq 8$ 的一般情形。