[論文レビュー] Generic regularity for minimizing hypersurfaces in dimensions 9 and 10

Otis Chodosh, Christos Mantoulidis+1 more|arXiv (Cornell University)|Feb 4, 2023

Geometric Analysis and Curvature Flows被引用数 7

ひとこと要約

本稿では、境界または計量の $C^∞$-小な摂動を用いることで、9次元および10次元の環境空間における面積最小化超曲面の特異点を除去できることを示し、一般の正則性を確立する。最大密度を一様に減少させる反復的摂動法を用いて、次元9および10における最小化カレントが一般の摂動後に滑らかになることを証明し、次元8における先行結果を拡張する。

ABSTRACT

We prove that singularities of area minimizing hypersurfaces can be perturbed away in ambient dimensions 9 and 10.

研究の動機と目的

• 面積最小化超曲面における特異点が、環境次元9および10において一般に除去可能であるという長年の予想を解決すること。
• 7次元の最小化カレントに関するHardt–Simonの結果を、特異集合が正のハウスドルフ次元をもつ可能性のある高次元に拡張すること。
• 任意の滑らかで閉じた向き付け可能な境界 $\Gamma$ が $\mathbb{R}^{n+1}$ に含まれるとき、$n+1 = 9$ または $10$ であれば、$C^\infty$-小な摂動により滑らかで面積最小の最小化子が得られることを確立すること。
• 閉じた向き付け可能なリーマン多様体の次元9および10において、一般計量摂動が滑らかなホモロジー最小化子をもたらすことを示すこと。

提案手法

• 特異点における最小化カレント $T_0$ の最大密度 $\Theta_T(x)$ を、各ステップで一様な定数 $\eta > 0$ だけ減少させる反復的摂動スキームが用いられる。
• この方法は、特異点のブローモンモデルとしての非平坦最小化コーンの分析に依存し、摂動が最大密度を厳密に減少させられることを証明する。
• 重要な技術的道具は、最小化コーン上での正のヤコビ場の使用であり、これはコーンのリンク上の領域におけるヤコビ場の積分 $V(r)$ を含む微分不等式を介して、制御されたレートで減少することが示される。
• 固有値推定とリンクの第一ディリクレ固有値を用いて、$r \geq 1$ に対して $V(r) \leq r^{-\kappa_n^*} V(1)$ という減少推定が導出される。ここで $\kappa_n^* = \frac{n-2}{2} - \sqrt{\frac{(n-2)^2}{4} - (n-1)}$ である。
• アラールの正則性定理を用いて、最大密度が $\Theta_n^*$ 未満に低下すればカレントが滑らかになることが保証され、反復は有限ステップで終了する。
• ハードト–シモンの境界正則性と一意的拡張を用いた相対的配置の議論により、最小化子の一意性が確立され、横断的交わりは排除される。

実験結果

リサーチクエスチョン

• RQ1 次元9および10における面積最小化超曲面の特異点は、境界または環境計量の一般摂動によって除去可能か？
• RQ2 次元9および10における最小化カレントの摂動において、特異点における最大密度の低下に一様な正の下界 $\eta > 0$ が存在するか？
• RQ3 平均曲率流れで用いられた反復的摂動法を、高codimensionにおける最小化カレントの一般正則性を示すために適応可能か？
• RQ4 非平坦最小化コーン上に正のヤコビ場が存在する場合、制御された減少が可能であり、摂動過程における密度低減を可能にするか？

主な発見

• $n+1 = 9$ および $10$ に対して、任意の滑らかで閉じた向き付け可能な境界 $\Gamma \subset \mathbb{R}^{n+1}$ に対して、$C^\infty$-小な摂動 $\Gamma'$ が存在し、$\partial M' = \Gamma'$ を満たす面積最小の超曲面 $M'$ は滑らかである。
• 最小化カレント $T$ の特異点における最大密度 $\Theta_T(x)$ は、各摂動ステップで一様な定数 $\eta > 0$ だけ減少し、滑らかなカレントへの有限ステップでの終了が保証される。
• 非平坦最小化コーン $\mathcal{C}^n \subset \mathbb{R}^{n+1}$ 上に正のヤコビ場が存在する場合、$r \geq 1$ に対して $V(r) \leq r^{-\kappa_n^*} V(1)$ という減少推定が得られ、ここで $\kappa_n^* = \frac{n-2}{2} - \sqrt{\frac{(n-2)^2}{4} - (n-1)}$ である。
• 摂動プロセスにより、最大密度がアラール正則性閾値 $\Theta_n^*$ 未満に低下するため、結果として得られるカレント $T_k$ は有限ステップで滑らかになる。
• 次元9および10の閉じたリーマン多様体の設定において、一般の $C^\infty$-小な計量摂動により、滑らかで互いに交わらない、埋め込まれた、向き付け可能な超曲面が得られ、それらはホモロジー類内で面積を最小化する。
• 最小化子の一意性は、他の最小化子が一意的拡張により摂動されたカレントと一致することを示すことにより確立され、横断的交わりは排除される。