[논문 리뷰] Evolution equations for special Lagrangian 3-folds in C^3

Dominic Joyce|ArXiv.org|2000. 10. 03.

Geometric Analysis and Curvature Flows참고 문헌 9인용 수 8

한 줄 요약

이 논문은 이차 사상 Φₜ: ℝ² → ℂ³에 대한 비선형 상미분 방정식의 해를 구하는 진화 방법을 사용하여 ℂ³ 내의 특수 라그랑주 3차원 다양체의 명시적 가중족을 구성한다. 주요 기여는 새로운 특수 라그랑주 3차원 다양체의 명시적 매개변수화로, 주기적 해는 S¹×ℝ² 위상과 미분동형인 SL 3차원 다양체를 생성하며, 그 특이점과 무한대에서의 점점적 행동에 대한 세심한 분석이 수반된다. 무한대에서 이들은 특수 라그랑주 3차원 평면의 분지 덮개와 점점적으로 유사해진다.

ABSTRACT

This is the third in a series of papers constructing explicit examples of special Lagrangian submanifolds in C^m. The previous paper in the series, math.DG/0008155, defined the idea of evolution data, which includes an (m-1)-submanifold P in R^n, and constructed a family of special Lagrangian m-folds N in C^m, which are swept out by the image of P under a 1-parameter family of linear or affine maps phi_t : R^n -> C^m, satisfying a first-order o.d.e. in t. In this paper we use the same idea to construct special Lagrangian 3-folds in C^3. We find a 1-1 correspondence between sets of evolution data with m=3 and homogeneous symplectic 2-manifolds P. This enables us to write down several interesting sets of evolution data, and so to construct corresponding families of special Lagrangian 3-folds in C^3. Our main results are a number of new families of special Lagrangian 3-folds in C^3, which we write very explicitly in parametric form. Generically these are nonsingular as immersed 3-submanifolds, and diffeomorphic to R^3 or S^1 x R^2. Some of the 3-folds are singular, and we describe their singularities, which we believe are of a new kind. We hope these 3-folds will be helpful in understanding singularities of compact special Lagrangian 3-folds in Calabi-Yau 3-folds. This will be important in resolving the SYZ conjecture in Mirror Symmetry.

연구 동기 및 목표

• 이전 연구에서 얻어진 진화 방법을 활용하여 ℂ³ 내 특수 라그랑주 3차원 다양체의 새로운 예를 구성하는 것.
• 특히 비임베딩 초기 자료로부터 유도되는 특이점과 기하학적 구조를 분석하는 것.
• 구성된 3차원 다양체의 무한대에서의 점점적 행동을 연구하고, 그 한계 기하 모델을 규명하는 것.
• ℂ³의 자동형사상에 대해 가중족을 분류하고, 그 매개변수 수를 결정하는 것.

제안 방법

• 구성은 ℝ² → ℂ³로 가는 1파rameter 가중 이차 사상 Φₜ: ℝ² → ℂ³를 다루며, 다음의 일阶 비선형 상미분 방정식을 만족한다: dΦₜ/dt = (∂Φₜ/∂y₁) × (∂Φₜ/∂y₂), 여기서 ×는 ℂ³ 내의 외적을 의미한다.
• 전체 3차원 다양체 N은 Φ: ℝ³ → ℂ³로 정의된 이미지로 얻어지며, Φ(y₁,y₂,t) = Φₜ(y₁,y₂)이며, 적절한 Φ₀ 초기 조건 하에서 N은 특수 라그랑주가 된다.
• 벡터 값 함수 z₁,…,z₆: ℝ → ℂ³에 대한 6개의 상미분 방정식 시스템을 풀며, 대칭성을 활용하여 분석을 단순화한다.
• 첫 번째 가중족의 경우, SL(2,ℝ) ⋉ ℝ²의 ℝ² 위 작용에서 유래한 진화 자료를 사용하여, ℂ³ 자동형사상에 대해 9차원의 SL 3차원 다양체 가중족을 얻는다.
• 두 번째 가중족의 경우, K ⋉ Uₖ의 T*ℝ 위 작용에서 유래한 진화 자료를 사용하며, 여기서 K는 ℝ의 정렬 애파인 변환군이고 Uₖ는 차수 < k인 다항식 1형식의 공간이다.
• K ⋉ Uₖ 가중족의 매개변수 수는 시간 이동 대칭성을 고려한 후 4k−5개의 실수 매개변수를 가진다.

실험 결과

연구 질문

• RQ1 ℂ³ 내에서 진화 방법을 통해 구성된 특수 라그랑주 3차원 다양체의 기하학적 및 위상적 성질은 무엇인가?
• RQ2 이러한 3차원 다양체의 특이점은 어떻게 발생하며, 비임베딩 초기 자료의 경우 그 성격은 어떠한가?
• RQ3 이러한 3차원 다양체의 무한대에서의 점점적 행동은 무엇이며, 특수 라그랑주 3차원 평면과의 관계는 어떠한가?
• RQ4 진화 가중족이 주기적일 조건은 무엇이며, 이는 결과로 얻어진 3차원 다양체의 위상에 어떤 의미를 갖는가?
• RQ5 ℂ³ 자동형사상에 대해 몇 개인가의 특수 라그랑주 3차원 다양체 가중족이 존재하며, 그 매개변수 수는 얼마인가?

주요 결과

• 논문은 정리 8.4, 10.3 및 11.5를 통해 ℂ³ 내 특수 라그랑주 3차원 다양체의 세 가지 명시적 가중족을 구성하며, 이들의 매개변수화는 초기 자료와 시간 진화에 의해 완전히 기술된다.
• SL(2,ℝ) ⋉ ℝ² 가중족의 경우, ℂ³ 자동형사상에 대해 9차원의 SL 3차원 다양체 가중족을 생성한다.
• K ⋉ Uₖ 가중족은 시간 이동에 대해 몫을 취한 후 4k−5개의 실수 매개변수를 가지며, k≥1이다.
• k≥3일 경우 주기적 해가 존재하여, S¹×ℝ² 위상과 미분동형인 몰입된 SL 3차원 다양체의 가산 가중족을 이룬다. 이는 정리 11.6에 의해 보여진다.
• 무한대에서 3차원 다양체는 두 개의 특수 라그랑주 3차원 평면 L₁과 L₂의 합집합에 대해 약한 점점적 수렴을 보이며, L₁은 k중 분지 덮개로, L₂는 1-1 덮개로 접근한다.
• 점점적 수렴의 속도는 O(r^{(k−1)/k})의 순서이며, 이는 한계 평면에 상대적으로 느리게 수렴함을 나타낸다.