[논문 리뷰] Mirror Symmetry via Logarithmic Degeneration Data I

Mark Gross, Bernd Siebert|ArXiv.org|2003. 09. 04.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 29

한 줄 요약

이 논문은 칼라비-유아 타원곡선의 토릭 분열로부터 유도된 로그 구조를 사용하여 거울 대칭의 새로운 프레임워크를 제안한다. 이 프레임워크는 로그 분열 자료를 이용해 특이점을 가진 아핀 다양체로 구성된 이중 교차 복합체를 구축하며, 복소수 모듈리 공간과 켈러 모듈리 공간 사이의 이중성은 이산 레전드르 변환을 통해 수립된다. 주요 기여는 로그 설정에서 분열 자료와 거울 대칭 간의 기본적인 연결 고리를 확립하는 것이다.

ABSTRACT

This paper is the first arising from our project announced in math.AG/0211094, "Affine manifolds, log structures, and mirror symmetry." We aim to study mirror symmetry by studying the log structures of Illusie-Fontaine and Kato on degenerations of Calabi-Yau manifolds. The basic idea is that one can associate to certain sorts of degenerations of Calabi-Yau manifolds a log Calabi-Yau space, which is a log structure on the degenerate fibre. Then many statements about mirror symmetry which one hopes to be true for the general fibre should first be proved for this log CY space. In this paper we begin by discussing affine manifolds with singularities. Given such an affine manifold along with a polyhedral decomposition, we show how to construct a scheme consisting of a union of toric varieties. In certain non-degenerate cases, we can also construct log structures on these schemes. Conversely, given certain sorts of degenerations, one can build an affine manifold with singularities structure on the dual intersection complex of the degeneration. Mirror symmetry is then obtained as a discrete Legendre transform on these affine manifolds, thus providing an algebro-geometrization of the Strominger-Yau-Zaslow conjecture. The deepest result of this paper shows an isomorphism between log complex moduli of a log CY space and log Kahler moduli of its mirror.

연구 동기 및 목표

• 칼라비-유아 다양체의 최대 무일치 분열에서 유도된 잔여 분열 자료를 바탕으로 거울 대칭의 새로운 패러다임을 수립하기 위해.
• 토릭 분열에서 유도된 다각형 분해와 특이점에서의 피라미드 구조를 사용해 특이점을 가진 아핀 다각형으로서의 이중 교차 복합체를 정의하기 위해.
• 원래 분열의 복소수 모듈리 공간과 그 거울의 켈러 모듈리 공간을 연결하는 이산 레전드르 변환을 구성하기 위해.
• 로그 구조와 켈러 모듈리 공간 간의 일致성을 검증하기 위해 로그 피카르 군을 켈러 모듈리 공간과 연관시키기 위해.
• 로그 구조를 통한 모듈리 이론적 이해를 바탕으로 거울 대칭의 포괄적 이론을 마련하기 위해.

제안 방법

• 토릭 분열의 중심 열인 $\mathcal{X}_0$ 로부터 다각형 분해와 특이점에서의 피라미드 구조를 사용해 특이점을 가진 아핀 다각형으로서의 이중 교차 복합체 $B$ 를 구성한다.
• 상대적으로 약한 선다발 $\mathcal{L}$ 에서 유도된 투영에서 유도된 볼록 다가치 함수 $\varphi$ 를 $B$ 상에서 정의한다.
• 이산 레전드르 변환을 $B$ 와 $\varphi$ 에 적용하여 거울 분열을 모델링하는 이중 아핀 다각형 $\check{B}$ 와 이중 함수 $\check{\varphi}$ 를 얻는다.
• 복소수 모듈리 공간을 모델링하기 위해 로그 구조를 사용하며, 로그 피카르 군이 올바른 모듈리 공간을 포괄함을 보인다.
• 로그 함수와 가역 함수의 층의 바리센터 해상도를 사용해 $H^1(X\setminus Z, \mathcal{M}_X^{\text{gp}})$ 와 같은 코homological 불변량을 계산한다.
• 정규화된 접합 자료와 양의 로그 구조의 개념을 도입하여 토릭 기하학과 거울 이중성에 대한 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 칼라비-유아 분열의 잔여 분열 자료는 어떻게 거울 이중성을 정의하는 데 사용될 수 있는가?
• RQ2 로그 설정에서 이중 교차 복합체의 정확한 기하학적 및 조합적 구조는 무엇인가?
• RQ3 이산 레전드르 변환은 분열의 복소수 모듈리 공간과 그 거울의 켈러 모듈리 공간을 어떻게 연결하는가?
• RQ4 로그 구조는 분열 극한에서 올바른 복소수 모듈리 공간을 어떻게 캡처하는가?
• RQ5 토릭 분열의 맥락에서 로그 피카르 군은 켈러 모듈리 공간과 어떻게 관련되어 있는가?

주요 결과

• 이중 교차 복합체 $B$ 는 다각형 분해 $\mathscr{P}$ 와 함께 특이점을 가진 아핀 다각형으로 구성되며, 분열의 조합적 및 기하학적 자료를 포괄한다.
• 이산 레전드르 변환을 통해 $B$ 와 $\varphi$ 를 얻은 이중 아핀 다각형 $\check{B}$ 와 이중 볼록 함수 $\check{\varphi}$ 는 거울 분열을 모델링한다.
• 로그 피카르 군 $H^1(X\setminus Z, \mathcal{M}_X^{\text{gp}})$ 는 거울의 켈러 모듈리 공간과 동형이며, 이는 모듈리 수준에서의 이중성 검증을 보여준다.
• 정점에서의 피라미드 구조와 면에서의 아핀 구조를 사용한 $B$ 의 구성은 고전적 이중 교차 복합체를 로그 설정으로 일반화한다.
• 이 프레임워크는 로그 복소수와 켈러 모듈리 공간 간의 이중성을 확립하며, 로그 범주에서의 거울 대칭에 대한 기본적인 연결 고리를 제공한다.
• 예시로 $\mathbb{P}^3 \times \mathbb{A}^1$ 에서의 분열 $f_4 + t x_0x_1x_2x_3 = 0$ 는 $B$ 를 정삼각형의 경계로 실현하며, 변의 중점에 특이점을 가지며, 이는 구성의 구체적 실현을 보여준다.