[論文レビュー] Entropy of closed surfaces and min-max theory

Daniel Ketover, Xin Zhou|arXiv (Cornell University)|Sep 21, 2015

Geometric Analysis and Curvature Flows参考文献 12被引用数 8

ひとこと要約

この論文は、ℝ³ 内の滑らかで閉じており埋め込まれた2次元球面のエントロピーが、自己収縮2次球面のエントロピー以上であることを証明し、Colding-Ilmanen-Minicozzi-Whiteの予想を裏付けた。ガウス型面積関数への最小最大化理論を、注意深く構築された4パラメータの曲面族に適用し、平面への収束を除外するための次数論法を用いることで、平均曲率流れの特異点モデルの文脈において、ウィルモア予想の放物型類似を確立した。最小最大化の極限は、球面に一致する。

ABSTRACT

Entropy is a natural geometric quantity measuring the complexity of a surface embedded in $\mathbb{R}^3$. For dynamical reasons relating to mean curvature flow, Colding-Ilmanen-Minicozzi-White conjectured that the entropy of any closed surface is at least that of the self-shrinking two-sphere. We prove this conjecture for all closed embedded $2$-spheres. Assuming a conjectural Morse index bound (announced recently by Marques-Neves), we can improve the result to apply to all closed embedded surfaces that are not tori. Our results can be thought of as the parabolic analog to the Willmore conjecture and our argument is analogous in many ways to that of Marques-Neves on the Willmore problem. The main tool is the min-max theory applied to the Gaussian area functional in $\mathbb{R}^3$ which we also establish. To any closed surface in $\mathbb{R}^3$ we associate a four parameter canonical family of surfaces and run a min-max procedure. The key step is ruling out the min-max sequence approaching a self-shrinking plane, and we accomplish this with a degree argument. To establish the min-max theory for $\mathbb{R}^3$ with Gaussian weight, the crucial ingredient is a tightening map that decreases the mass of non-stationary varifolds (with respect to the Gaussian metric of $\mathbb{R}^3$) in a continuous manner.

研究の動機と目的

• ℝ³ 内の任意の閉じて埋め込まれた2次元球面のエントロピーが、自己収縮2次球面のもの以上であるという予想を証明すること。
• 平均曲率流れの特異点モデルの文脈において、最小最大化理論を用いてウィルモア予想の放物型類似を確立すること。
• 任意の閉じて埋め込まれた曲面から、非自明な最小最大化手続きを可能にする標準的な4パラメータ曲面族を構成すること。
• 最小最大化列が自己収縮平面に収束する可能性を、次数論法により除外すること。

提案手法

• ℝ³ に計量 g_ij = e^(-|x|²/4)δ_ij を備えた状態で、ガウス型面積関数に最小最大化理論を適用すること。
• 任意の閉じて埋め込まれた曲面から、平行移動とスケーリングでパrameter化された標準的な4パラメータ曲面族を構成すること。
• 非定常バーリフォールドの質量をガウス計量に関して連続的に減少させるためのタイトニング写像を用いること。
• 最小最大化列が自己収縮平面に近づかないことを、次数論法によって示すこと。
• 演算子 L = Δ + |A|² - ½⟨x,∇(·)⟩ + ½ を含むガウス型面積の2次変動公式を用いて、安定性とインデックスを分析すること。
• 有界なガウス型体積を持つ F-定常バーリフォールドに対しては、エントロピーが (0,1) で最大化され、すなわち F(V) = λ(V) が成り立つことを証明すること。

実験結果

リサーチクエスチョン

• RQ1 ℝ³ 内の任意の閉じて埋め込まれた2次元球面のエントロピーは、自己収縮2次球面のもの以上であるか？
• RQ2 最小最大化理論を ℝ³ 内のガウス型面積関数へ拡張し、自己収縮器に対応する臨界点を生成できるか？
• RQ3 閉じた曲面に対する最小最大化列は、自己収縮平面に収束を避けることができるか。もし可能なら、その理由は何か？
• RQ4 モース指数は自己収縮器の分類において果たす役割は何か。また、エントロピーの最小化とどのように関係するか？
• RQ5 F-定常バーリフォールドでガウス型体積が有界である場合、エントロピー関数が原点および単位時間で最大値をとることを示せるか？

主な発見

• ℝ³ 内の滑らかで閉じており埋め込まれた任意の2次元球面のエントロピーは、λ(𝕊²) ≈ 1.47 以上であることが保証され、球面に対する予想1.1が裏付けられた。
• 標準的な4パラメータ曲面族に最小最大化手続きを適用すると、臨界点として球面が得られる。
• トポロジー的次数論法により、最小最大化列が自己収縮平面に収束することは不可能であることが示された。
• 自己収縮器のエントロピーはそのガウス型面積に等しく、球面は非平面な自己収縮器の中で最小のエントロピーを持つ。
• 任意のガウス型体積が有界な F-定常バーリフォールドに対して、エントロピーは (0,1) で達成され、すなわち F(V) = λ(V) が成り立つ。これは [CM12] の結果を一般化する。
• タイトニング写像は非定常バーリフォールドの質量を連続的に減少させ、ガウス型面積関数に対する最小最大化理論の構築を可能にする。