[論文レビュー] Proof of the Caratheodory Conjecture

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

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

ひとこと要約

この論文は、Carathéodory予想を証明し、$ olimits\mathbb{E}^3$ 内の $C^{3+\beta}$-滑らかで閉じた厳密凸な曲面が少なくとも2つの脐点を持つことを確立している。証明は、中性ケーラー多様体 $TS^2$ 内のラグラジアン曲面における複素点の言いかえに基づき、境界付き平均曲率流れを用いて、仮想的な単一の複素点が矛盾を引き起こすことを示し、したがって少なくとも2つのこのような点の存在を確認している。

ABSTRACT

A well-known conjecture of Caratheodory states that the number of umbilic points on a closed convex surface in ${\mathbb E}^3$ must be greater than one. In this paper we prove this for $C^{3+α}$-smooth surfaces. The Conjecture is first reformulated in terms of complex points on a Lagrangian surface in $TS^2$, viewed as the space of oriented geodesics in ${\mathbb E}^3$. Here complex and Lagrangian refer to the canonical neutral Kaehler structure on $TS^2$. We then prove that the existence of a closed convex surface with only one umbilic point implies the existence of a totally real Lagrangian hemisphere in $TS^2$, to which it is not possible to attach the edge of a holomorphic disc. The main step in the proof is to establish the existence of a holomorphic disc with edge contained on any given totally real Lagrangian hemisphere. To construct the holomorphic disc we utilize mean curvature flow with respect to the neutral metric. Long-time existence of this flow is proven by a priori estimates and we show that the flowing disc is asymptotically holomorphic. Existence of a holomorphic disc is then deduced from Schauder estimates.

研究の動機と目的

• 長年の未解決問題であった Carathéodory予想を解決すること。この予想は、$ olimits\mathbb{E}^3$ 内の閉じた厳密凸曲面が少なくとも2つの脐点を持つというものである。
• 曲面の向き付き測地線の空間（$TS^2$ と同一視される）におけるラグラジアン曲面の複素点の観点から、この予想の幾何的再定式化を確立すること。
• $C^{2+\alpha}$-滑らかなラグラジアン断面が単一の複素点しか持たないことは不可能であり、これにより $C^{3+\alpha}$-滑らかな曲面について予想が確認されることを証明すること。
• Banach多様体におけるホロモーフィック円板の空間のコンパクト性と横断性を活用し、ラグラジアン境界条件を満たすホロモーフィック円板の存在を示すこと。

提案手法

• $ olimits\mathbb{E}^3$ 内の向き付き測地線と $TS^2$ を同一視することにより、中性ケーラー4次元多様体である $TS^2$ 内のラグラジアン曲面における複素点の観点から、予想を再定式化すること。
• 境界曲線の Keller-Maslov 指標を用いて、その曲線に沿ったホロモーフィック円板の空間の次元と複素点の数を関連付けること。
• 境界付き平均曲率流れを用いて、完全実ラグラジアン半球面に接続されたホロモーフィック円板を構成し、流れの短期的および長期的存在定理に依存すること。
• 境界条件の $C^{2+\alpha}$-正則性を用いて、内部および境界の勾配推定を確立し、流れの長期的存在を保証すること。
• J-ホロモーフィック円板の空間におけるコンパクト性結果を用いて、仮想的な単一複素点断面に近い一般のラグラジアン境界曲面に沿ったホロモーフィック円板の存在を証明すること。
• Banach多様体におけるラグラジアン断面の空間上で $ olimits\bar{\partial}$-作用素の横断性と全射性を適用し、複素点を囲まないホロモーフィック円板の存在を除外すること。

実験結果

リサーチクエスチョン

• RQ1 $ olimits\mathbb{E}^3$ 内の $C^{3+\alpha}$-滑らかな閉じた厳密凸曲面が唯一の脐点しか持たないことは可能か？
• RQ2 ラグラジアン断面 $TS^2$ の境界曲線の Keller-Maslov 指標は、その曲面上の複素点の数を決定するか？
• RQ3 任意の $C^{2+\alpha}$-滑らかな完全実ラグラジアン半球面が、$TS^2$ 内でホロモーフィック円板の境界として実現可能か？
• RQ4 ラグラジアン境界を持つホロモーフィック円板の存在は、境界曲線が少なくとも1つの複素点を囲まなければならないことを示唆するか？
• RQ5 境界付き平均曲率流れは、中性ケーラー幾何におけるホロモーフィック円板の存在を証明するために果たす役割は何か？

主な発見

• Carathéodory予想は $ olimits\mathbb{E}^3$ 内の $C^{3+\alpha}$-滑らかな曲面について証明され、すべてのこのような曲面が少なくとも2つの脐点を持つことが確認された。
• $C^{2+\alpha}$-滑らかなラグラジアン断面が単一の複素点しか持たないことは不可能であり、これは境界上にホロモーフィック円板が存在するという事実と矛盾する。
• 任意の $C^{2+\alpha}$-滑らかな完全実ラグラジアン半球面は、境界付き平均曲率流れによりホロモーフィック円板を境界として持つことが示された。
• ラグラジアン断面に沿ったホロモーフィック円板の空間の次元は、境界曲線の Keller-Maslov 指標によって支配され、この指標は囲まれた複素点の数を数える。
• 内部および境界の勾配推定を用いて、境界付き平均曲率流れの長期的存在が確立され、流れがホロモーフィック円板に到達することが保証された。
• 証明は、ラグラジアン断面のBanach多様体上での $ olimits\bar{\partial}$-作用素の全射性に依存しており、これにより複素点を囲まないホロモーフィック円板の存在が排除された。