Основні поняття
Every closed strictly convex surface in Euclidean 3-space has at least two umbilic points.
Анотація
The paper presents a proof of the Caratheodory conjecture, which states that every closed strictly convex surface in Euclidean 3-space has at least two umbilic points.
The key steps in the proof are:
Reformulation of the conjecture in terms of complex points on Lagrangian surfaces in the space of oriented geodesics of Euclidean 3-space, which is identified with the tangent bundle of the 2-sphere (T S^2).
Analysis of the manifold of holomorphic discs with Lagrangian boundary conditions in T S^2. It is shown that the dimension of this manifold is determined by the Keller-Maslov index of the boundary curve, which in turn is related to the number of complex points on the boundary surface.
Demonstration that the existence of a Lagrangian section with a single complex point would imply the existence of a totally real Lagrangian hemisphere over which it is not possible to attach a holomorphic disc.
Proof that a holomorphic disc can always be attached to any C^2+α totally real Lagrangian hemisphere, using mean curvature flow with boundary conditions.
The authors conclude that a closed convex C^3+α-smooth surface in Euclidean 3-space cannot have just one umbilic point, thereby proving the Caratheodory conjecture.