[논문 리뷰] Special Lagrangian m-folds in C^m with symmetries

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

Geometric Analysis and Curvature Flows참고 문헌 16인용 수 60

한 줄 요약

이 논문은 U(1)^{m-2}-불변 锥과 동차도-일치 감소를 이용하여, ℂ^m 내에서 높은 대칭성을 가진 특수 라그랑주 m-다발의 명시적 가족을 구성한다. m ≥ 3, 4, 5에 대해 각각 T^{m-1}, S^2×T^{m-3}, S^3×T^{m-4} 위의 특수 라그랑주 锥의 존재성을, 대칭 감소로부터 유도된 상미분방정식계를 풀어 증명하며, 이는 SYZ 추측과 관련된 칼라비-유만만의 특이점에 대한 핵심 국소 모델을 제공한다.

ABSTRACT

This is the first in a series of papers on special Lagrangian submanifolds in C^m. We study special Lagrangian submanifolds in C^m with large symmetry groups, and give a number of explicit constructions. Our main results concern special Lagrangian cones in C^m invariant under a subgroup G in SU(m) isomorphic to U(1)^{m-2}. By writing the special Lagrangian equation as an o.d.e. in G-orbits and solving the o.d.e., we find a large family of distinct, G-invariant special Lagrangian cones on T^{m-1} in C^m. These examples are interesting as local models for singularities of special Lagrangian submanifolds of Calabi-Yau manifolds. Such models will be needed to understand Mirror Symmetry and the SYZ conjecture.

연구 동기 및 목표

• 특수 라그랑주 m-다발의 특이점에 대한 명시적 국소 모델을 개발하여, SYZ 추측을 이해하는 데 핵심적인 데 기여한다.
• 특히 U(1)^{m-2}-불변 锥를 갖는 ℂ^m 내 특수 라그랑주 m-다발을 구성한다.
• T^{m-1}, S^2×T^{m-3}, S^3×T^{m-4}를 포함한 특정 위상과 대칭성을 갖는 특수 라그랑주 부분다발의 기하학적 예를 제공한다.
• 모멘트 맵 감소와 실해석적 (m−1)-다발에서의 진화를 통한 새로운 특수 라그랑주 m-다발 생성 프레임워크를 수립한다.
• CP^{m-1} 내 최소 라그랑주 토러스에 관한 기존 연구와 연결하여, 이를 ℂ^m 내 U(1)^{m-2}-불변 특수 라그랑주 锥으로 올리는 데 기여한다.

제안 방법

• U(1)^{m-2} 대칭 아래에서 특수 라그랑주 조건을 m개의 복소변수 w_1(t), ..., w_m(t)에 대한 상미분방정식계로 감소시킨다.
• 특수 라그랑주 锥에 대해 동차도-일치 감소를 적용하여 궤도를 실수 매개변수 t로 매개화하고, 라그랑주 조건을 위한 상미분방정식을 유도한다.
• U(1)^{m-2} 작용의 모멘트 맵을 사용하여 기하학을 제약하고 문제를 대칭 제약 조건이 있는 상미분방정식계로 감소시킨다.
• 확장된 대칭군 R_+ × SU(m)를 활용하여 특수 라그랑주 锥을 연구한다.
• 정리 9.1과 보조정리 9.3을 적용하여, 군 작용과 모멘트 맵의 등치면을 통해 기존 특수 라그랑주 锥으로부터 새로운 SL m-다발을 구성한다.
• CP^{m-1} 내 최소 라그랑주 토러스에 관한 알려진 결과를 활용하여, 이를 ℂ^m 내 U(1)^{m-2}-불변 특수 라그랑주 锥으로 올린다.

실험 결과

연구 질문

• RQ1 m ≥ 3에 대해 ℂ^m 내에서 U(1)^{m-2} 대칭을 갖는 특수 라그랑주 m-다발의 큰 가족을 명시적으로 구성할 수 있는가?
• RQ2 U(1)^{m-2} 대칭 하에서 ℂ^m 내 특수 라그랑주 锥의 위상적 유형은 무엇이며, 그 기하학적 성질은 무엇인가?
• RQ3 모멘트 맵과 동차도-일치 감소는 ℂ^m 내 특수 라그랑주 부분다발의 구성 과정을 어떻게 단순화하는가?
• RQ4 기존의 SL 锥으로부터 군 작용과 모멘트 맵의 등치면을 통해 특수 라그랑주 m-다발을 생성할 수 있는가?
• RQ5 특히 c ≠ 0 및 c = 0일 때 결과 특수 라그랑주 m-다발의 위상과 특이점 구조는 어떻게 되는가?

주요 결과

• 논문은 m ≥ 3에 대해 U(1)^{m-2} 대칭 하에서 상미분방정식계를 풀어 T^{m-1} 위의 특수 라그랑주 锥의 존재성을 증명하며, 이는 서로 다른 큰 가족임을 보여준다.
• m ≥ 4에 대해 동일한 상미분방정식 프레임워크로부터 S^2×T^{m-3} 위의 특수 라그랑주 锥의 더 작은 가족의 존재를 확립한다.
• m ≥ 5에 대해 다시 한번 대칭 감소 상미분방정식 해를 통해 S^3×T^{m-4} 위의 특수 라그랑주 锥의 존재성을 증명한다.
• m=3의 경우, U(1)-불변 특수 라그랑주 锥에 대한 상세한 분석을 제공하며, 문헌에 알려진 결과와의 동치성을 보여준다.
• c > 0일 경우, 임베딩된 SL 3-다발이 (T^2×ℝ)/ℤ_2와 미분형식으로 동일하며, a_3의 기수성에 따라 위상이 달라진다. a_3가 짝수이면 T^2×ℝ이며, 홀수이면 클라인 병에 대한 비자명한 실선다발이다.
• c < 0일 경우, 결과로 얻어진 SL 3-다발은 임베딩되어 있지 않으며, a_3가 짝수이면 N^{a_1,a_2,a_3}_c가 두 개의 S^1×ℝ^2로 구성되고, 홀수이면 하나의 임베딩된 S^1×ℝ^2로 구성되며, c ≠ 0일 경우 S^1에 따라 특이점이 존재한다.