[论文解读] Proof of the Caratheodory Conjecture

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

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

一句话总结

本文證明了卡拉西奧多里猜想，確立了在 $\mathbb{E}^3$ 中每一個 $C^{3+\beta}$-光滑的封閉嚴格凸曲面都至少具有兩個脐點。證明透過將問題重新表述為在中性凱勒流形 $TS^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.

研究动机与目标

• 為解決長期存在的卡拉西奧多里猜想，該猜想主張每一個封閉的嚴格凸曲面在 $\mathbb{E}^3$ 中至少具有兩個 umbilic 點。
• 在定向測地線空間（識別為 $TS^2$）的拉格朗日子流形上的複點角度，重新表述該猜想的幾何形式。
• 證明：具有且僅有一個複點的 $C^{2+\alpha}$-光滑拉格朗日子截面在 $TS^2$ 中不可能存在，從而確認該猜想對 $C^{3+\alpha}$ 曲面成立。
• 利用帶拉格朗日邊界條件的全純圓盤的存在性，透過巴拿赫流形中全純圓盤的緊緻性與橫截性，證明全純圓盤的存在。

提出的方法

• 透過將 $\mathbb{E}^3$ 中的定向測地線識別為 $TS^2$，將猜想重新表述為在中性凱勒 4-流形 $TS^2$ 中的拉格朗日子流形上複點的問題。
• 利用凱勒-馬斯洛夫指數，將邊界曲線上的複點數量與邊界位於該曲線上的全純圓盤空間維數關聯起來。
• 應用帶邊界的平均曲率流，以構造附著於完全實拉格朗日半球面的全純圓盤，依賴於該流的短時與長時存在性定理。
• 透過利用邊界條件的 $C^{2+\alpha}$-正則性，建立內部與邊界梯度估計，以確保流的長時存在性。
• 利用 $J$-全純圓盤空間的緊緻性結果，證明在假設僅有一個複點的截面附近，存在一個邊界位於一般拉格朗日邊界曲面上的全純圓盤。
• 應用巴拿赫流形上拉格朗日截面空間的 $\bar{\partial}$-算子的橫截性與滿射性，排除不包圍複點的全純圓盤。

实验结果

研究问题

• RQ1 在 $\mathbb{E}^3$ 中，$C^{3+\alpha}$-光滑的封閉嚴格凸曲面是否可能僅具有一个 umbilic 點？
• RQ2 拉格朗日子截面在 $TS^2$ 上的複點數量是否由其邊界曲線的凱勒-馬斯洛夫指數決定？
• RQ3 每一個 $C^{2+\alpha}$-光滑的完全實拉格朗日半球面在 $TS^2$ 中是否都能實現為某個全純圓盤的邊界？
• RQ4 若存在一個具有拉格朗日邊界的全純圓盤，是否意味著邊界曲線必須包圍至少一個複點？
• RQ5 在中性凱勒幾何中，帶邊界的平均曲率流在證明全純圓盤存在性中扮演何種角色？

主要发现

• 卡拉西奧多里猜想已對 $\mathbb{E}^3$ 中的 $C^{3+\alpha}$-光滑曲面得到證明，確認每一個這樣的曲面都至少具有兩個 umbilic 點。
• 具有且僅有一個複點的 $C^{2+\alpha}$-光滑拉格朗日子截面在 $TS^2$ 中不可能存在，因為這會與邊界位於此類曲面上的全純圓盤的存在性產生矛盾。
• 每一個 $C^{2+\alpha}$-光滑的完全實拉格朗日半球面在 $TS^2$ 中都包圍一個全純圓盤，此結果透過帶邊界的平均曲率流建立。
• 邊界位於拉格朗日子截面上的全純圓盤空間的維數由邊界曲線的凱勒-馬斯洛夫指數決定，該指數計數了被包圍的複點數量。
• 透過內部與邊界梯度估計，確立了帶邊界的平均曲率流的長時存在性，確保流能到達全純圓盤。
• 證明依賴於巴拿赫流形上拉格朗日子截面空間的 $\bar{\partial}$-算子的滿射性，該性質排除了不包圍複點的全純圓盤的存在。