[논문 리뷰] On the reconstruction problem in mirror symmetry

Junwu Tu|arXiv (Cornell University)|2012. 08. 29.

Geometric and Algebraic Topology참고 문헌 10인용 수 3

한 줄 요약

이 논문은 라그랑주 토러스 분할의 매끄러운 국소에서의 쌍대 토러스 분할 위의 준평면 복소 구조의 변형으로서 노비코프 체 위의 강체 해석적 공간 $M^{\aisebox{1pt}{\scriptscriptstyle\vee}}_0$를 구성한다. 호몰로지 디스크 모듈라이에서의 벽을 횡단하는 현상을 코딩하는 $A_\infty$ 호모모르피즘을 사용하여, 마스лов 지수 0 및 차단되지 않음 조건 하에서 비아르키메데스 거울 대칭 프레임워크를 실현하며, 푸카야의 메우러-카르탕 모듈라이 공간의 붙임을 기하학적으로 실현한다.

ABSTRACT

Let π: M a B be a Lagrangian torus fibration with singularities such that the fibers are of Maslov index zero, and unobstructed. The paper constructs a rigid analytic space M_0^\chk over the Novikov field which is a deformation of the semi-flat complex structure of the dual torus fibration over the smooth locus B_0 of π. Transition functions of M_0^\chk are obtained via A-\infty homomorphisms which capture the wall-crossing phenomenon of moduli spaces of holomorphic disks.

연구 동기 및 목표

• 푸카야의 $A_\infty$ 대수의 메우러-카르탕 모듈라이 공간 붙임을 통한 거울 대칭 재구성 개념적 접근을 실현하기 위해.
• 매끄러운 국소 $B_0$ 위의 쌍대 토러스 분할 위의 준평면 복소 구조의 변형으로 거울 공간 $M^{\scriptscriptstyle\vee}_0$를 구성하기 위해.
• 대칭 기하학에서 온 인스탄턴트 보정을 $A_\infty$ 호모모르피즘을 통해 거울 공간의 전이 함수에 통합하기 위해.
• 비아르키메데스 기하학에서 토러스 분할의 구조를 일반화하는 전역 평가 함수 $\mathsf{val}: M^{\scriptscriptstyle\vee}_0 \to B_0$를 확립하기 위해.
• 비차단성 및 마스볼 지수 0 조건이 충족되도록 하여 호모로지 거울 대칭을 위한 기하학적 프레임워크를 제공하기 위해.

제안 방법

• 노비코프 체 $\Lambda$ 위의 $A_\infty$ 대수의 표준 모델을 사용하여 국소 아핀도메인 $\mathscr{U}_i = \operatorname{Spec} \mathscr{O}_i$를 구성한다.
• 홀로모르피크 디스크 모듈라이 공간에서의 벽 횡단 현상을 코딩하는 $A_\infty$ 호모모르피즘을 통해 국소 차트 간 전이 사상 $\Psi_{ij}$를 정의한다.
• 평가 함수 $\mathsf{val}$을 사용하여 국소 차트의 호환성을 확보하고 전역 평가 함수 $\mathsf{val}: M^{\scriptscriptstyle\vee}_0 \to B_0$를 정의한다.
• 두 매개변수의 $\omega$-타임드 거의 복소 구조의 가닥을 통해 메우러-카르탕 함수의 호모토피 불변성을 적용하여 코chains 조건 $\Psi_{jk}\Psi_{ij} = \Psi_{ik}$를 검증한다.
• 플로어 이론에서의 수렴 문제를 다루기 위해 비아르키메데스 기하학의 강체 해석적 기하학 프레임워크를 적용하여 복소 다양체를 노비코프 체 위의 공간으로 대체한다.
• 명시적인 붙임 공식 (4.12)를 유도하며, 인스탄턴트 보정이 사라질 경우 콘체브스키-소이벨만의 구성으로 줄어든다.

실험 결과

연구 질문

• RQ1 어떻게 $A_\infty$-이론적 붙임을 통한 메우러-카르탕 모듈라이 공간 붙임을 통해 거울 대칭의 재구성 문제를 실현할 수 있는가?
• RQ2 홀로모르피크 디스크에서 온 인스탄턴트 보정은 준평면 거울 구조를 어떻게 변형하는가?
• RQ3 원래의 라그랑주 분할에서의 심플렉틱 데이터를 포착하는 노비코프 체 위의 강체 해석적 거울 공간 $M^{\scriptscriptstyle\vee}_0$는 어떻게 구성할 수 있는가?
• RQ4 $A_\infty$ 호모모르피즘은 홀로모르피크 디스크 모듈라이에서의 벽 횡단 행동을 어떻게 코딩하는가?
• RQ5 비아르키메데스 기하학에서 토러스 분할의 구조를 일반화하는 전역 평가 함수 $\mathsf{val}: M^{\scriptscriptstyle\vee}_0 \to B_0$를 정의할 수 있는가?

주요 결과

• 구성은 노비코프 체 $\Lambda$ 위의 강체 해석적 공간 $M^{\scriptscriptstyle\vee}_0$를 얻으며, 이는 매끄러운 국소 $B_0$ 위의 쌍대 토러스 분할 위의 준평면 복소 구조의 변형이다.
• 전이 함수 $\Psi_{ij}$는 인스탄턴트 보정을 포함하는 $A_\infty$ 호모모르피즘으로 명시적으로 주어지며, 콘체브스키-소이벨만의 구성으로 일반화된다.
• 코chains 조건 $\Psi_{jk}\Psi_{ij} = \Psi_{ik}$는 두 매개변수의 거의 복소 구조의 가닥과 메우러-카르탕 함수의 호모토피 불변성을 통해 검증된다.
• 평가 함수 $\mathsf{val}: M^{\scriptscriptstyle\vee}_0 \to B_0$는 전역적으로 잘 정의되고 붙임 사상과 호환되며, 비아르키메데스 기하학에서의 분할 구조를 일반화한다.
• 구성은 $M$ 위의 극화 데이터를 필요로 하지 않지만, $M^{\scriptscriptstyle\vee}_0$의 컴acts화를 위해서는 그러한 데이터가 필요할 수 있다.
• 마스볼 지수 0 및 비차단성 조건은 필수적이다: 첫 번째 조건은 칼라비-야우 다양체 내 특수 라그랑주 다양체에서 자동으로 성립하며, 두 번째 조건은 호모로지 거울 대칭이 성립하기 위해 필수적이다.