[논문 리뷰] Proof of the Caratheodory Conjecture by Mean Curvature Flow in the Space of Oriented Affine Lines

Brendan Guilfoyle, Wilhelm Klingenberg|arXiv (Cornell University)|2008. 08. 06.

Geometric Analysis and Curvature Flows참고 문헌 7인용 수 10

한 줄 요약

이 논문은 $\ mathbb{E}^3$ 내의 $C^3$-연속 표면 위의 고립된 원주점의 인덱스가 1 이하임을 보여주는 평균 곡률 흐름을 이용해 카라테오도리 추측을 증명한다. 주요 혁신은 $TS^2$ 내의 라그랑주 표면에 경계를 지닌 안정적인 헬름홀로닉 디스크를 구성하는 것으로, 이는 켈러-마스로프 인덱스가 최소한 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.

연구 동기 및 목표

• 닫힘된 볼록 표면에서 원주점의 최소 개수에 관한 오랫동안 미해결된 카라테오도리 추측을 해결하기 위해.
• 라그랑주 설정에서 켈러-마스로프 인덱스를 통해 고립된 원주점의 인덱스에 위상적 상한을 설정하기 위해.
• 복소점의 인덱스를 제약하기 위해 $TS^2$ 내의 라그랑주 표면에 경계를 지닌 안정적인 헬름홀로닉 디스크를 구성하기 위해.
• 표면 $TS^2$ 상의 표준 중성 킬러 메트릭에 대해 평균 곡률 흐름을 적용하여 초기 디스크를 헬름홀로닉 극한으로 진화시키기 위해.
• 흐름이 붐비는 헬름홀로닉 디스크로 수렴함과 동시에 켈러-마스로프 인덱스를 유지함을 증명하기 위해.

제안 방법

• 표면 $TS^2$ (즉, $\ mathbb{E}^3$ 내의 방향성 기하선의 공간) 내의 라그랑주 표면 위에서의 복소점 인덱스 문제로 원주점 인덱스 문제를 재구성하기 위해.
• 표면 $TS^2$ 상의 표준 중성 킬러 메트릭을 사용하여 라그랑주 표면에 경계를 지닌 디스크를 위한 평균 곡률 흐름을 정의하기 위해.
• 사전 추정을 통해 흐름의 장기 존재성을 확보하여 진화하는 디스크가 잘 행동함을 보장하기 위해.
• 작은 초기 디스크에 대해, 흐름 하에서 디스크가 渐近적으로 헬름홀로닉이 됨을 증명하기 위해.
• 경계가 완전히 실수 표면 위에 있는 $J$-헬름홀로닉 디스크에 대한 컴actness 정리를 적용하여 극한 디스크를 추출하기 위해.
• 경계로의 연속성을 사용하여 켈러-마스로프 인덱스가 극한에서 유지됨을 보여주어, 이것이 최소한 1임을 암시하기 위해.

실험 결과

연구 질문

• RQ1 $\ mathbb{E}^3$ 내의 $C^3$-연속 표면 위의 고립된 원주점의 인덱스는 1 이하로 상한을 가질 수 있는가?
• RQ2 라그랑주 표면에 경계를 지닌 안정적인 헬름홀로닉 디스크의 존재는 켈러-마스로프 인덱스에 하한을 암시하는가?
• RQ3 방향성 아핀 직선들의 공간에서의 평균 곡률 흐름이 라그랑주 표면에 경계를 지닌 초기 디스크로부터 헬름홀로닉 극한 디스크를 생성할 수 있는가?
• RQ4 이 기하 설정에서 평균 곡률 흐름의 극한에서 켈러-마스로프 인덱스가 유지되는가?
• RQ5 이러한 극한 디스크의 존재는 $\ mathbb{E}^3$ 내의 닫힘된 볼록 표면이 두 개 이상의 원주점을 가져야 한다는 것을 암시하는가?

주요 결과

• 모든 $\ mathbb{E}^3$ 내의 $C^3$-연속 표면 위의 고립된 원주점의 인덱스는 1 이하이다.
• 라그랑주 표면에 경계를 지닌 안정적인 헬름홀로닉 디스크의 존재는 켈러-마스로프 인덱스가 최소한 1임을 암시한다.
• 표면 $TS^2$ 상의 중성 킬러 메트릭에 대해 평균 곡률 흐름은 모든 시간 동안 존재하며 경계 조건을 유지한다.
• 진화하는 디스크는 붐비는 헬름홀로닉 디스크로 수렴하며, 켈러-마스로프 인덱스는 극한에서 유지된다.
• 카라테오도리 추측은 확인되었다: $\ mathbb{E}^3$ 내의 모든 닫힘된 볼록 표면은 최소 두 개의 원주점을 가져야 한다.
• 인덱스 상한에서 유도된 위상적 제약은 닫힘된 볼록 표면 위의 원주점 수가 1보다 크다는 것을 암시한다.