[論文レビュー] Proof of the Caratheodory Conjecture by Mean Curvature Flow in the Space of Oriented Affine Lines

Brendan Guilfoyle, Wilhelm Klingenberg|arXiv (Cornell University)|Aug 6, 2008

Geometric Analysis and Curvature Flows参考文献 7被引用数 10

ひとこと要約

この論文は、$\mathbb{E}^3$ 内の $C^3$-滑らかな曲面上の任意の孤立した尖点の指数が1以下であることを示すことにより、Carathéodory予想を証明する。そのために、向き付けられたアフィン直線の空間における平均曲率流を用いる。主な革新点は、$TS^2$ 内のラグランジュ的表面に境界を持つ安定な全純的ドーナツを構成することであり、これにより Keller-Maslov 指数が1以上であることが示され、したがって閉じた凸曲面は1つより多くの尖点を持つ必要があることが立証される。

ABSTRACT

We prove that the index of an isolated umbilic point on a $C^3$-smooth surface in Euclidean 3-space ${\mathbb E}^3$ is less than or equal to one. As a corollary, we establish the Caratheodory conjecture, that the number of umbilic points on a closed convex surface in ${\mathbb E}^3$ must be greater than one. We do this by first reformulating the problem in terms of the index of an isolated complex point on a Lagrangian surface in $TS^2$, viewed as the space of oriented geodesics in ${\mathbb E}^3$. The main step in the proof is to establish the existence of stable holomorphic discs with boundary contained on the Lagrangian surface enclosing the complex point. We first show that the existence of such discs implies that the Keller-Maslov index must be greater than or equal to one, which for topological reasons, places a bound on the index of the isolated complex point on the Lagrangian surface. To construct the holomorphic disc we utilize mean curvature flow with respect to the canonical neutral Kaehler metric on $TS^2$. We prove long-time existence of this flow by a priori estimates and show that, for small enough initial disc, the flowing disc is asymptotically holomorphic. Convergence to a bubbled holomorphic disc is then proven by a version of compactness for J-holomorphic discs with boundary contained in a totally real surface. Continuity up to the boundary assures that the Keller-Maslov index is retained in the limit and this establishes our main result.

研究の動機と目的

• 閉じた凸曲面における尖点の最小数に関する長年の未解決問題である Carathéodory 予想を解決すること。
• ラグランジュ的設定における Keller-Maslov 指数を通じて、孤立した尖点の指数に対する位相的上限を確立すること。
• 複素点の指数を制約するために、$TS^2$ 内のラグランジュ的表面に境界を持つ安定な全純的ドーナツを構成すること。
• $TS^2$ 上の標準的中性ケーラー計量に関して、初期のドーナツを全純的極限へと進化させる平均曲率流を適用すること。
• 流れがバブルド全純的ドーナツへ収束することを証明するとともに、Keller-Maslov 指数が保存されることを示すこと。

提案手法

• 尖点の指数問題を、$\ mathbb{E}^3$ 内の向き付けられた測地線の空間である $TS^2$ 内のラグランジュ的表面における複素点の指数問題に再定式化する。
• $TS^2$ 上の標準的中性ケーラー計量を用いて、ラグランジュ的表面に境界を持つドーナツの平均曲率流を定義する。
• 事前推定を通じて長時間の存在を確立し、進化するドーナツが良好に保たれることを保証する。
• 初期の小さなドーナツに対して、流れの下でドーナツが漸近的に全純的になることを証明する。
• 全実的表面に境界を持つ $J$-全純的ドーナツのコンパクトネス定理を適用して、極限のドーナツを抽出する。
• 境界に沿った連続性を用いて、極限において Keller-Maslov 指数が保存されることを示し、それが1以上であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $\ mathbb{E}^3$ 内の $C^3$-滑らかな曲面上の孤立した尖点の指数は1以下に有界であるか？
• RQ2 ラグランジュ的表面に境界を持つ安定な全純的ドーナツの存在は、Keller-Maslov 指数に対する下界を示唆するか？
• RQ3 向き付けられたアフィン直線の空間における平均曲率流は、ラグランジュ的表面に境界を持つ初期のドーナツから全純的極限ドーナツを生成できるか？
• RQ4 この幾何的設定において、平均曲率流の極限において Keller-Maslov 指数は保存されるか？
• RQ5 このような極限ドーナツの存在は、$\ mathbb{E}^3$ 内の閉じた凸曲面が1つより多くの尖点を持つ必要があることを示唆するか？

主な発見

• $\ mathbb{E}^3$ 内の $C^3$-滑らかな曲面上の任意の孤立した尖点の指数は1以下である。
• ラグランジュ的表面に境界を持つ安定な全純的ドーナツの存在は、Keller-Maslov 指数が1以上であることを示唆する。
• $TS^2$ 上の中性ケーラー計量に関して、平均曲率流はすべての時間について存在し、境界条件を保存する。
• 流れの下でドーナツはバブルド全純的ドーナツへ収束し、Keller-Maslov 指数は極限で保存される。
• Carathéodory 予想は確認された：$\ mathbb{E}^3$ 内のすべての閉じた凸曲面は少なくとも2つの尖点を持つ。
• 指数の上限による位相的制約から、閉じた凸曲面上の尖点の数は1より大きいことが示される。