[논문 리뷰] The moduli space of special Lagrangian submanifolds

Nigel Hitchin|arXiv (Cornell University)|1997. 11. 04.

Geometric Analysis and Curvature Flows참고 문헌 2인용 수 41

한 줄 요약

이 논문은 칼라비-유만 다양체 내의 특수 라그랑주 부분다양체의 모듈리 공간이 McLean 이론에서 유도된 $ L^2 $-내적을 통해 자연스럽게 $ H^1(L,\bbR) \times H^{n-1}(L,\bbR) $의 곱공간 안에 라그랑주 부분다양체로 기능하며, 그 위에 자연스러운 리만 계량이 존재함을 증명한다. 또한 이 모듈리 공간은 자연스러운 복소 구조와 켈러 계량을 지니며, 임베딩이 특수한 경우 계량이 칼라비-유만이 되어 특수 라그랑주 다양체의 기하학과 미러 대칭을 레전드르 대칭을 통해 연결함을 보여준다.

ABSTRACT

This paper considers the natural geometric structure on the moduli space of deformations of a compact special Lagrangian submanifold $L^n$ of a Calabi-Yau manifold. From the work of McLean this is a smooth manifold with a natural $L^2$ metric. It is shown that the metric is induced from a local Lagrangian immersion into the product of cohomology groups $H^1(L) imes H^{n-1}(L)$. Using this approach, an interpretation of the mirror symmetry discussed by Strominger, Yau and Zaslow is given in terms of the classical Legendre transform.

연구 동기 및 목표

• 칼라비-유만 다양체 내 특수 라그랑주 부분다양체의 모듈리 공간 위에 자연스러운 기하학적 구조를 규명하는 것.
• McLean의 변형 이론을 통해 조화 1형식 위의 $ L^2 $-내적을 통해 이 모듈리 공간에 유도된 리만 계량을 도출하는 것.
• 이 모듈리 공간이 자연스럽게 코homology 군의 쌍대 공간인 $ H^1(L,\bbR) \times H^{n-1}(L,\bbR) $ 안에 라그랑주 부분다양체로 임베딩됨을 보여주는 것.
• 이 임베딩이 특수한 경우, 모듈리 공간에 칼라비-유만 계량을 제공함으로써 그것이 미러 대칭과 연결됨을 확립하는 것.
• 모듈리 공간이 함수의 도함수 그래프로 국소적으로 기술될 수 있음을 보여주어, 스트로미ン저-야우-자슬로프 미러 대칭 제안에서 중심이 되는 레전드르 변환 대칭을 실현하는 것.

제안 방법

• McLean의 변형 이론을 활용하여 모듈리 공간의 접공간을 특수 라그랑주 부분다양체 위의 조화 1형식 공간과 동일시한다.
• 지오메트릭 쌍대성에 기반해 국소 모듈리 공간을 $ H^1(L,\bbR) \times H^{n-1}(L,\bbR) $에 자연스럽게 임베딩하며, 이는 심플렉틱 기하학을 부여한다.
• McLean의 $ L^2 $-내적에서 유도된 계량이 이 라그랑주 부분다양체 위의 자연스러운 리만 계량과 일치함을 보여준다.
• 레전드르 변환을 적용하여 모듈리 공간과 그 쌍대 기술 간의 관계를 설정하고, 이 대칭을 미러 대칭의 표현으로 간주한다.
• 실수 함수 $ \rho $로부터 유도된 켈러 포텐셜을 사용해 복소화된 모듈리 공간으로부터의 계량을 당겨와 모듈리 공간 위에 켈러 계량을 구성한다.
• 복소화된 모듈리 공간 위의 헬로모르픽 $ m $-형식의 길이가 일정한 것과 특수 라그랑주 토르스의 부피가 일정한 것이 동치임을 보여주며, 이는 계량이 칼라비-유만임을 의미한다.

실험 결과

연구 질문

• RQ1 칼라비-유만 다양체 내 특수 라그랑주 부분다양체의 모듈리 공간 위에 자연스러운 기하학적 구조는 무엇인가?
• RQ2 McLean의 $ L^2 $-계량이 조화 1형식 위에 정의된 것이 모듈리 공간의 내재 기하학과 어떻게 관련되는가?
• RQ3 모듈리 공간은 자연스럽게 어떤 심플렉틱 벡터 공간 안에 라그랑주 부분다양체로 포함될 수 있는가? 만약 가능하면 어떤 공간인가?
• RQ4 모듈리 공간에 유도된 계량이 칼라비-유만이 되기 위한 조건은 무엇인가?
• RQ5 모듈리 공간과 그 쌍대 기술 간의 레전드르 대칭은 스트로미ン저-야우-자슬로프 미러 대칭 제안을 어떻게 반영하는가?

주요 결과

• 특수 라그랑주 부분다양체의 모듈리 공간은 쌍대 코homology 군의 곱인 $ H^1(L,\bbR) \times H^{n-1}(L,\bbR) $ 안에 자연스럽게 라그랑주 부분다양체로 포함된다.
• McLean의 $ L^2 $-계량은 이 라그랑주 부분다양체 위에 자연스럽게 유도된 리만 계량으로 실현된다.
• 모듈리 공간은 자연스러운 복소 구조와 켈러 계량을 지니며, 켈러 포텐셜은 $ \rho/2 $로 주어진다. 여기서 $ \rho $는 모듈리 공간 위의 실수 함수이다.
• 복소화된 모듈리 공간 위의 헬로모르픽 $ m $-형식의 길이가 일정한 것과 특수 라그랑주 토르스의 부피가 일정한 것이 동치이다.
• 임베딩이 특수한 경우, 모듈리 공간 위의 켈러 계량은 칼라비-유만이 되며, 이는 고정된 외재적 헬로모르픽 $ m $-형식을 가짐을 의미한다.
• 레전드르 변환을 통한 모듈리 공간과 그 쌍대 기술 간의 대칭은 특수 라그랑주 분할의 맥락에서 미러 대칭의 기하학적 실현을 제공한다.