[논문 리뷰] Minimizing area among Lagrangian surfaces: the mapping problem

Richard Schoen, Jon Wolfson|ArXiv.org|2000. 08. 28.

Geometric Analysis and Curvature Flows참고 문헌 20인용 수 4

한 줄 요약

이 논문은 심플렉틱 4차원 다양체에서 면적을 최소화하는 라그랑주 표면을 연구하며, 심플렉틱 형식에 의해 소멸되는 모든 라그랑주 호모로지 클래스에 대해 이러한 최소화자가 존재함을 보여준다. W^{1,2} 스토퍼브 공간에서 변분 접근법을 사용하여, 각기 마스로프 지수가 ±1인 라그랑주 콘에 대응하는 유한 개의 특이점을 가진 면적 최소화자가 존재함을 증명한다. 핵심 결과는 비평탄한 특이점이 최소화자에서 발생할 수 있지만, 그들은 첫 번째 체르노프 클래스에 의해 제약을 받으며, 호모토피 유형이 m > 1인 경우 m-안정적이라면 최소화자는 분지 임베딩임을 보인다.

ABSTRACT

This paper introduces a geometrically constrained variational problem for the area functional. We consider the area restricted to the langrangian surfaces of a Kaehler surface, or, more generally, a symplectic 4-manifold with suitable metric, and study its critical points and in particular its minimizers. We apply this study to the problem of finding canonical representatives of the lagrangian homology (that part of the homology generated by lagrangian cycles).

연구 동기 및 목표

• 심플렉틱 4차원 다각체에서 라그랑주 호모로지 클래스에 대한 면적 최소화 대표자를 확립하는 것.
• 면적 최소화 라그랑주 표면의 특이점 구조, 특히 그들의 마스로프 지수를 특성화하는 것.
• 그러한 최소화자가 분지 임베딩(즉, 비평탄한 특이점이 없는)이 되는 조건을 결정하는 것.
• 기하적 제약 조건이 존재하는 상황에서, 스토퍼브 공간과 정규성 이론을 사용한 라그랑주 표면에 대한 변분 접근법을 확장하는 것.
• 칼라비-야우 다양체에서 특수 라그랑주 사이클과 켈러-아인슈타인 기하학에 대한 함의를 탐색하는 것.

제안 방법

• 심플렉틱 4차원 다각체로의 라그랑주 매핑에 대해 스토퍼브 공간 W^{1,2}에서 면적 최소화자를 구성하는 것.
• 그로모프와 올락의 비교 결과를 적용하여 최소화자의 허더 연속성을 확보하는 것.
• 헤이젠베르크 군에서 접촉 정적 표면의 맥락에서 단조성 공식을 유도하여 특이점을 분석하는 것.
• 단조성 공식을 사용하여 국소 정규성과 특이점에서의 접선 콘 존재성을 증명하는 것.
• 평균 곡률과 심플렉틱 구조에서 유도된 허드형 일阶 미분방정식계를 사용하여 임계점을 특성화하는 것.
• 첫 번째 체르노프 클래스와 마스로프 지수가 최소화자에서 특이점의 수와 유형을 어떻게 제약하는지 분석하는 것.

실험 결과

연구 질문

• RQ1 심플렉틱 4차원 다각체에서 라그랑주 호모로지 클래스가 면적 최소화 대표자를 가질 조건은 무엇인가?
• RQ2 면적 최소화 라그랑주 표면에서 발생할 수 있는 특이점의 유형은 무엇이며, 마스로프 지수와 첫 번째 체르노프 클래스와 같은 위상적 불변량에 의해 어떻게 제약을 받는가?
• RQ3 면적 최소화 라그랑주 표면이 분지 임베딩(즉, 비평탄한 특이점이 없는)이 되는 조건은 언제인가?
• RQ4 호모토피 유형에 대한 m-안정성 조건이 그 면적 최소화자 정규성과 어떻게 관련되는가?
• RQ5 비평탄한 특이점이 면적 최소화가 될 수 있으며, 어떤 조건에서 그것이 배제되는가?

주요 결과

• 케일러 또는 심플렉틱 4차원 다각체에서 면적 최소화 라그랑주 표면은 각기 마스로프 지수가 ±1인 라그랑주 콘에 대응하는 유한 개의 특이점만을 가진다.
• 비평탄한 특이점의 마스로프 지수의 합은 1/2 c₁(α)와 같으며, 이는 호모로지 클래스에서 첫 번째 체르노프 클래스가 평가된 값이다.
• 비평탄한 특이점은 면적 최소화 라그랑주 표면에서 발생할 수 있으며, 이는 이전 문헌에서의 주장과 정면으로 배치된다.
• 라그랑주 호모토피 유형 α가 어떤 정수 m > 1에 대해 m-안정적이라면, 그 면적 최소화자는 비평탄한 특이점이 없는 분지 임베딩이다.
• 케일러-아인슈타인 경우, c₁(α) = 0 이면 비평탄한 특이점의 마스로프 지수 합이 0이 되며, 비평탄한 특이점이 없을 경우 최소화자는 최소 표면이 된다.
• 최소화자의 평균 곡률은 매장 다각체의 기하학적 구조에서 유도된 토파스 및 리치 곡률 형식을 포함하는 허드형 일阶 미분방정식계를 만족한다.