[논문 리뷰] Ruled special Lagrangian 3-folds in C^3

Dominic Joyce|ArXiv.org|2000. 12. 08.

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

한 줄 요약

이 논문은 ℂ³ 내에서 특수 라그랑주 3차원 다양체의 군집을 구축하기 위해 하르비-로우슨과 보리센코의 구성 방식을 일반화하여, 평행이동 가능한 특수 라그랑주 3차원 다양체의 가속도가 일정한 특수 라그랑주 원뿔에 수렴하는 경우에 대해, 그 집합이 벡터 공간을 이룬다는 것을 증명한다. 또한, 관련 리만 곡면 위의 해석적 벡터장들을 사용하여 이러한 3차원 다양체를 생성하는 방법을 제공하며, 토러스와 클라인 병의 위상 구조를 가진 새로운 명시적 예를 도출한다.

ABSTRACT

This is the fourth in a series of papers math.DG/0008021, math.DG/0008155, math.DG/0010036 constructing explicit examples of special Lagrangian submanifolds (SL m-folds) in C^m. A submanifold of C^m is ruled if it is fibred by a family of real straight lines in C^m. This paper studies ruled special Lagrangian 3-folds in C^3, giving both general theory and families of examples. Our results are related to previous work of Harvey and Lawson, Borisenko and Bryant. An important class of ruled SL 3-folds is the special Lagrangian cones in C^3. Each ruled SL 3-fold is asymptotic to a unique SL cone. We study the family of ruled SL 3-folds N asymptotic to a fixed SL cone N_0. We find that this depends on solving a linear equation, so that the family of such N has the structure of a vector space. We also show that the intersection Sigma of N_0 with the unit sphere in C^3 is a Riemann surface, and construct a ruled SL 3-fold N asymptotic to N_0 for each holomorphic vector field w on Sigma. As corollaries of this we write down two large families of explicit SL 3-folds depending on a holomorphic function on C, which include many new examples of singularities of SL 3-folds. We also show that each SL T^2 cone N_0 can be extended to a 2-parameter family of ruled SL 3-folds asymptotic to N_0, and diffeomorphic to T^2 x R.

연구 동기 및 목표

• 고정된 특수 라그랑주 원뿔에 수렴하는 ℂ³ 내 평행이동 가능한 특수 라그랑주 3차원 다양체의 명시적 가족을 구성하는 것.
• 하르비-로우슨과 보리센코의 기존 구성 방식을 리만 곡면 위의 해석적 벡터장 기반의 새로운 프레임워크를 통해 일반화하는 것.
• T²×ℝ 또는 클라인 병 위의 실수 선다발과 미분동형인 평행이동 가능한 특수 라그랑주 3차원 다양체의 명시적 매개변수화를 제공하는 것.
• U(1) 작용 하에서 G-불변인 평행이동 가능한 특수 라그랑주 3차원 다양체의 구조를 탐색하며, 해의 가족을 식별하는 것.

제안 방법

• 평행이동 가능한 특수 라그랑주 3차원 다양체 N을 N = {rϕ(σ) + ψ(σ) : r ∈ ℝ, σ ∈ Σ}로 표현하며, 여기서 ϕ는 S⁵로 사상하고 ψ는 ℂ³로 사상한다.
• 수렴 원뿔 N₀ = {rϕ(σ) : r ∈ ℝ, σ ∈ Σ)를 정의하며, 이는 특수 라그랑주여야 한다.
• N₀가 특수 라그랑주이고 ϕ가 고정되어 있을 때, N이 특수 라그랑주임과 동시에 ψ가 선형 PDE를 만족함과 동치임을 증명한다.
• 정리 6.1을 사용하여 리만 곡면 Σ 위의 해석적 벡터장 w로부터 평행이동 가능한 특수 라그랑주 3차원 다양체 N을 구성하며, ψ는 w와 ∂ϕ/∂s, ∂ϕ/∂t로부터 유도된다.
• 아이아코 반타입 함수를 사용하여 명시적인 T²-원뿔에 적용하여 2매개변수 가족의 특수 라그랑주 3차원 다양체를 도출한다.
• G-불변 케이스는 타원 함수를 포함하는 4변수 선형 1차 ODE로 감소되며, 해석적 벡터장을 통해 부분적으로 해를 구한다.

실험 결과

연구 질문

• RQ1 고정된 특수 라그랑주 원뿔 N₀에 수렴하는 평행이동 가능한 특수 라그랑주 3차원 다양체의 집합은 벡터 공간으로 간주될 수 있는가?
• RQ2 리만 곡면 Σ = N₀ ∩ S⁵ 위의 해석적 벡터장 w는 ℂ³ 내에서 새로운 평행이동 가능한 특수 라그랑주 3차원 다양체를 어떻게 생성하는가?
• RQ3 기존의 T²-원뿔로부터 도출되는 평행이동 가능한 특수 라그랑주 3차원 다양체의 명시적 가족은 무엇이며, 그 위상적 유형은 무엇인가?
• RQ4 G-불변인 평행이동 가능한 특수 라그랑주 3차원 다양체는 어느 정도 분류될 수 있으며, 타원 함수 계수를 가진 선형 ODE의 해와 어떻게 관련되는가?
• RQ5 이 방법을 통해 구성된 평행이동 가능한 특수 라그랑주 3차원 다양체에 새로운 특이점이 존재하는가, 그리고 이는 이전의 예와 어떻게 다를까?

주요 결과

• 고정된 특수 라그랑주 원뿔 N₀에 수렴하는 평행이동 가능한 특수 라그랑주 3차원 다양체의 집합은 N₀와 ϕ가 고정되어 있을 때 ψ가 선형 방정식을 만족해야 하므로, 벡터 공간을 이룬다.
• 리만 곡면 Σ 위의 모든 해석적 벡터장 w에 대해, N₀에 수렴하는 평행이동 가능한 특수 라그랑주 3차원 다양체 N을 구성할 수 있으며, 이는 보리센코와 브라이언트의 결과를 일반화한다.
• T²-원뿔에서 유도된 명시적인 2매개변수 가족의 평행이동 가능한 특수 라그랑주 3차원 다양체는 T²×ℝ와 미분동형이며, b₁이 짝수일 경우 새로운 특이점을 가진다.
• b₁이 홀수이고 u=0일 때, 이 구성은 클라인 병 위의 실수 선다발의 전체 공간과 미분동형인 1매개변수 가족의 평행이동 가능한 특수 라그랑주 3차원 다양체를 도출한다.
• G-불변 케이스는 4차원의 명시적 특수 라그랑주 3차원 다양체 가족을 제공하지만, 전체 6차원 해 공간은 부분적으로 알려져 있지 않다.
• 이 방법은 아크타이프 함수를 포함하는 명시적 공식을 사용하여 T²×ℝ 및 클라인 병 선다발 위상의 새로운 특수 라그랑주 3차원 다양체의 예를 도출한다.