[論文レビュー] 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

ひとこと要約

本稿は、面積が一様に有界なコンpaktoなリーマン多様体内の閉埋め込み最小超曲面の位相的および特異的複雑度について、定量的な上限を確立する。良い被覆とメイヤー＝ビートロス不等式に基づく新しい組合せ的議論を用いて、次元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.

研究の動機と目的

• 一様な面積およびモース指数の上限のもとで、閉最小超曲面の幾何学的・位相的複雑度を定量的に評価すること。
• 既知のコンパクトネスおよび有限性結果を、有効的で指数に依存する上限へと拡張すること。
• これらの上限の鋭さを検討し、ミニマックス構成および特異集合の制御への影響を考察すること。
• 次元をまたいで、モース指数、ベッチ数、特異集合の大きさを統一的に結びつけるフレームワークを提供すること。

提案手法

• 交差するベッチ数が制御された良い被覆を用いた組合せ的アプローチ。
• 開被覆の段階的帰納法に基づく、特異コhomologyにおけるメイヤー＝ビートロス系列の応用による全ベッチ数の上限評価。
• 交差する集合の数および交差ベッチ数に対する一様な上限を用いて、コhomological成長を制御すること。
• 高次元における特異最小超曲面のための変分測度理論および正則性結果（例：ウィクラマセクエラ）の活用。
• 指数、面積、位相的不変量の間の相互作用を通じて、次元に依存する上限を確立すること。
• コンパクトネス理論（例：シャープの定理）およびミニマックス理論の技術を適応し、有効な推定を導出すること。

実験結果

リサーチクエスチョン

• RQ1 モース指数は、面積が有界な最小超曲面の全ベッチ数をどのように制御するか？
• RQ2 次元 $n+1 \geq 8$ の場合、特異集合の $(n-7)$-次元ハウスドルフ測度の最良の増加率はどのように表されるか？
• RQ3 特に次元3において、定数 $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}$ を満たす。
• 次元3における上限は定数 $C_A$ まで鋭く、$C_A$ は面積に線形に増加する。
• これらの結果は、指数と面積が有界な最小超曲面に関する既存のコンパクトネスおよび有限性定理を一般化・定量化する。
• 本手法は、開被覆の組合せ的制御を通じて、最小超曲面の複雑度を分析する新しい位相的ツールを提供する。
• 上限は暗黙の定数 $C_A$ まで鋭いと予想され、本稿では鋭さおよびミニマックス挙動に関する未解決の予想を提示する。