[論文レビュー] The isoperimetric inequality for a minimal submanifold in Euclidean space

Simon Brendle|arXiv (Cornell University)|Jul 22, 2019

Geometric Analysis and Curvature Flows参考文献 16被引用数 11

ひとこと要約

この論文は、$\mathbb{R}^{n+2}$ 内のコンパクトな $n$-次元部分多様体に対して鋭いソボレフ不等式を確立し、等周不等式が等号で成り立つのは、部分多様体が平坦な球面である場合に限ることを証明している。証明は、補助的なベクトル場の構成と最適輸送にインspiredされた議論を用い、平均曲率と重み関数を含む鋭い不等式を導出する。これは、最小曲面に対する既知の結果をより高い余次元へと拡張し、長年の予想を確認するものである。

ABSTRACT

We prove a Sobolev inequality which holds on submanifolds in Euclidean space of arbitrary dimension and codimension. This inequality is sharp if the codimension is at most 2. As a special case, we obtain a sharp isoperimetric inequality for minimal submanifolds in Euclidean space of codimension at most 2.

研究の動機と目的

• ユークリッド空間内の任意の次元および余次元の部分多様体に対して鋭いソボレフ不等式を証明すること。
• $\mathbb{R}^{n+1}$ および $\mathbb{R}^{n+2}$ 内の最小部分多様体に対して等周不等式が成り立つという長年の予想を解決すること。
• 余次元 2 以下の最小部分多様体における等周不等式の等号成立条件を同定すること。
• 超曲面を超えた境界付き部分多様体に対しても、古典的な等周不等式を最小部分多様体へと拡張すること。
• 部分多様体の等周幾何学に統一的な枠組みを提供すること。幾何解析および最適輸送にインspiredされた技術を用いる。

提案手法

• 関数の勾配の $L^2$-ノルムと部分多様体上の平均曲率ベクトルを含む一般化されたソボレフ型不等式を導出すること。
• 重み関数 $f$ と平均曲率を含む発散方程式の解 $u$ を用いて、補助的なベクトル場を構成すること。
• $\mathbb{R}^{n+2}$ 内の薄いアニュラスから部分多様体 $\Sigma$ への輸送写像を用い、体積を比較して、等号が成り立たない場合に矛盾を導くこと。
• アレクサンドロフ＝バケルマン＝プッチの最大原理の技法を用いて、第二基本形式および $u$ の勾配を制御すること。
• 楕円型正則性理論を用いて $u$ が $C^{2,\gamma}$ であることを保証し、曲率および勾配の振る舞いの厳密な解析を可能にすること。
• 密度に関する議論と背理法を用いて、等号成立時、第二基本形式が恒等的に消え、$f$ が定数であることを示し、平坦な球面に至ることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 非自明な余次元を持つ場合でも、$\mathbb{R}^{n+2}$ 内の最小部分多様体に対して、古典的な等周不等式が成り立つか？
• RQ2 ユークリッド空間内の任意の次元および余次元の部分多様体に対して、鋭いソボレフ不等式を確立できるか？
• RQ3 余次元が 2 以下の最小部分多様体における等周不等式の等号成立に必要な十分条件は何か？
• RQ4 コンパクトな最小部分多様体の中で、等周比を最小化するのは平坦な球面に限られるか？
• RQ5 最適輸送または補助幾何学の技法を用いて、最小部分多様体に対する鋭い幾何学的不等式を証明できるか？

主な発見

• 本論文は、$\mathbb{R}^{n+2}$ 内の $n$-次元部分多様体に対して、定数 $n|B^n|^{1/n}$ を持つ鋭いソボレフ不等式を証明しており、これは最適である。
• 等周不等式の等号成立は、部分多様体が $n$-次元アフィン部分空間内に埋め込まれた平坦な球面である場合に限る。
• $\mathbb{R}^{n+2}$ 内の最小部分多様体に対して、鋭い等周不等式 $|\partial\Sigma| \geq n|B^n|^{1/n}|\Sigma|^{(n-1)/n}$ が成り立ち、等号成立は $\Sigma$ が平坦な球面である場合に限る。
• 証明により、等号成立時には第二基本形式が恒等的に消え、重み関数 $f$ が部分多様体上で定数であることが示された。
• この手法により、唯一の最小化子は球面であることが確認され、部分多様体幾何学における予想が解決された。
• この結果により、1921 年にカールマンが最小曲面に対して示した等周不等式が、すべての次元および余次元 2 までに拡張された。