[论文解读] 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$-光滑曲面上任意孤立渐近点的指标至多为一，从而证明了 Carathéodory 猜想，方法是在定向仿射直线空间中使用平均曲率流。关键创新在于在 $TS^2$ 中的拉格朗日子流形上构造具有边界稳定全纯圆盘，这表明 Keller-Maslov 指标至少为一，从而确立了闭凸曲面必须包含多于一个渐近点。

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.

研究动机与目标

• 解决关于 $\mathbb{E}^3$ 中闭凸曲面上渐近点最小数量的长期 Carathéodory 猜想。
• 通过拉格朗日设定下的 Keller-Maslov 指标，建立孤立渐近点指标的拓扑上界。
• 在 $TS^2$ 中的拉格朗日子流形上构造具有边界稳定全纯圆盘，以约束复点的指标。
• 应用 $TS^2$ 上关于其典范中性凯勒度量的平均曲率流，将初始圆盘演化至全纯极限。
• 证明该流收敛至一个鼓泡化的全纯圆盘，同时保持 Keller-Maslov 指标。

提出的方法

• 将孤立渐近点指标问题重新表述为 $TS^2$（即 $\mathbb{E}^3$ 中定向测地线的空间）中拉格朗日子流形上的复点指标问题。
• 利用 $TS^2$ 上的典范中性凯勒度量，为边界位于拉格朗日子流形上的圆盘定义平均曲率流。
• 通过先验估计建立流的长时间存在性，确保演化圆盘保持良好行为。
• 证明对于小的初始圆盘，流演化后的圆盘在流下渐近全纯。
• 应用关于边界位于全实曲面上的 $J$-全纯圆盘的紧致性定理，提取极限圆盘。
• 通过边界连续性证明 Keller-Maslov 指标在极限下保持不变，从而表明其至少为一。

实验结果

研究问题

• RQ1 在 $\mathbb{E}^3$ 中 $C^3$-光滑曲面上，孤立渐近点的指标是否可被上界控制为一？
• RQ2 在拉格朗日子流形上存在具有边界的稳定全纯圆盘，是否意味着 Keller-Maslov 指标有下界？
• RQ3 在定向仿射直线空间中使用平均曲率流，能否从边界位于拉格朗日子流形上的初始圆盘产生一个全纯极限圆盘？
• RQ4 在此几何设定下，Keller-Maslov 指标是否在平均曲率流的极限下保持不变？
• RQ5 此类极限圆盘的存在是否意味着 $\mathbb{E}^3$ 中的闭凸曲面必须包含多于一个渐近点？

主要发现

• 在 $\mathbb{E}^3$ 中 $C^3$-光滑曲面上任意孤立渐近点的指标至多为一。
• 在拉格朗日子流形上存在具有边界的稳定全纯圆盘，意味着 Keller-Maslov 指标至少为一。
• 相对于 $TS^2$ 上的中性凯勒度量的平均曲率流对所有时间存在，且保持边界条件。
• 流演化后的圆盘收敛至一个鼓泡化的全纯圆盘，且 Keller-Maslov 指标在极限下保持不变。
• Carathéodory 猜想得到证实：$\mathbb{E}^3$ 中的每个闭凸曲面至少有两个渐近点。
• 由指标上界带来的拓扑约束表明，闭凸曲面上的渐近点数量大于一个。