[论文解读] Morse index, Betti numbers and singular set of bounded area minimal hypersurfaces

Antoine Song|arXiv (Cornell University)|Nov 20, 2019

Topological and Geometric Data Analysis参考文献 53被引用 8

一句话总结

该论文在紧致黎曼流形中，对具有统一有界面积的闭嵌入极小超曲面的拓扑与奇点复杂性建立了定量界限。通过一种基于良好覆盖和Mayer-Vietoris不等式的新型组合论证，证明了在3至7维中，总贝蒂数随莫尔斯指数线性增长；在更高维中，奇点集的$(n-7)$维豪斯多夫测度的增长至多为$(1 + \text{index})^{7/n}$，且显式依赖于面积与度量。

ABSTRACT

We introduce a combinatorial argument to study closed minimal hypersurfaces of bounded area and high Morse index. Let $(M^{n+1},g)$ be a closed Riemannian manifold and $Σ\subset M$ be a closed embedded minimal hypersurface with area at most $A>0$ and with a singular set of Hausdorff dimension at most $n-7$. We show the following bounds: there is $C_A>0$ depending only on $n$, $g$, and $A$ so that $$\sum_{i=0}^n b^i(Σ) \leq C_A \big(1+index(Σ)\big) \quad ext{ if $3\leq n+1\leq 7$},$$ $$\mathcal{H}^{n-7}\big(Sing(Σ)\big) \leq C_A \big(1+index(Σ)\big)^{7/n} \quad ext{ if $n+1\geq 8$},$$ where $b^i$ denote the Betti numbers over any field, $\mathcal{H}^{n-7}$ is the $(n-7)$-dimensional Hausdorff measure and $Sing(Σ)$ is the singular set of $Σ$. In fact in dimension $n+1=3$, $C_A$ depends linearly on $A$. We list some open problems at the end of the paper.

研究动机与目标

• 量化在统一面积与莫尔斯指数有界条件下，闭极小超曲面的几何与拓扑复杂性。
• 将已知的极小超曲面紧致性与有限性结果推广至有效、依赖于指数的界限。
• 探讨这些界限的最优性，并研究其在极小化构造与奇点集控制中的影响。
• 为跨维度的莫尔斯指数、贝蒂数与奇点集大小提供统一框架。

提出的方法

• 使用具有良好覆盖性质、交集贝蒂数受控的超曲面的组合方法。
• 在奇异上同调中应用Mayer-Vietoris正合列，通过开集覆盖的归纳法控制总贝蒂数。
• 利用相交集合数量与交集贝蒂数的统一有界性，控制上同调增长。
• 利用变集理论与正则性结果（如Wickramasekera）处理高维中的奇点极小超曲面。
• 通过指数、面积与拓扑不变量之间的相互作用，建立维数相关的界限。
• 改编紧致性理论（如Sharp定理）与极小化理论的技术，推导出有效估计。

实验结果

研究问题

• RQ1 莫尔斯指数如何控制有界面积极小超曲面的总贝蒂数？
• RQ2 在$n+1 \geq 8$时，奇点集的$(n-7)$维豪斯多夫测度关于莫尔斯指数的最优增长速率为何？
• RQ3 能否改进常数$C_A$对面积的依赖性，特别是在三维情形？
• RQ4 在低维情形下，贝蒂数界限是否在常数$C_A$意义下达到最优？
• RQ5 这些界限如何与极小化极小曲面及其层叠数的行为相关联？

主要发现

• 在$3 \leq n+1 \leq 7$时，总贝蒂数$\sum_{i=0}^n b^i(\Sigma)$满足$C_A(1 + \text{index}(\Sigma))$的界限，且当$n+1=3$时，$C_A$关于面积线性增长。
• 在维数$n+1 \geq 8$时，奇点集的$(n-7)$维豪斯多夫测度满足$\mathcal{H}^{n-7}(\text{Sing}(\Sigma)) \leq C_A(1 + \text{index}(\Sigma))^{7/n}$。
• 在三维情形下，该界限在常数$C_A$意义下达到最优，且$C_A$随面积线性增长。
• 结果推广并量化了先前关于有界指数与面积的极小超曲面紧致性与有限性定理。
• 该方法为通过开覆盖的组合控制分析极小超曲面的复杂性，提供了一种新的拓扑工具。
• 这些界限预计在隐含常数$C_A$意义下达到最优，且本文提出了关于最优性与极小化行为的开放猜想。