[논문 리뷰] Towards $A + B$ theory in conifold transitions for Calabi-Yau threefolds

Yuan‐Pin Lee, Hui-Wen Lin외 1명|arXiv (Cornell University)|2015. 02. 11.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 4

한 줄 요약

이 논문은 캘리바-요 3차원 다양체 $X$가 콘다이프 전이를 통해 $Y$로 변할 때, $A$-모델(모든 종수의 그로모프-와이너 이론)과 $B$-모델(헤지의 구조 변화)이 서로 상호 결정 가능하다는 것을 증명한다. 이는 허무한 순환과 예외적 곡선을 연결하는 $\frac{1}{2}$-정확한 수열을 통해 이루어지며, 초과 $A$-이론과 $B$-이론 사이의 $\frac{1}{2}$- dualit가 존재함을 시사한다. 이는 모듈리 공간 위의 로그 연결을 통해 통합된 $A+B$ 이론의 존재를 암시한다.

ABSTRACT

For projective conifold transitions between Calabi-Yau threefolds $X$ and $Y$, with $X$ close to $Y$ in the moduli, we show that the combined information provided by the $A$ model (Gromov--Witten theory in all genera) and $B$ model (variation of Hodge structures) on $X$, linked along the vanishing cycles, determines the corresponding combined information on $Y$. Similar result holds in the reverse direction when linked with the exceptional curves.

연구 동기 및 목표

• 캘리바-요 3차원 다양체 간의 프로젝티브 콘다이프 전이에서 그로모프-와이너 이론($A$-모델)과 헤지의 구조 변화($B$-모델)가 어떻게 변하는지 이해하는 것.
• 허무한 순환과 예외적 곡선을 연결함으로써 $X$와 $Y$ 상의 $A$-모델과 $B$-모델 간의 상호 결정 관계를 확립하는 것.
• 모듈리 공간 위의 로그 연결을 이용해 초과 $A$-이론과 $B$-이론 사이의 $\tfrac{1}{2}$-이중성을 구성하는 것.
• 콘다이프 전이의 맥락에서 통합된 $A+B$ 이론을 위한 프레임워크를 제공하는 것.

제안 방법

• 허무한 순환과 예외적 곡선을 통해 $X$와 $Y$의 위상적 자료를 연결하는 정확한 수열 $0 \to H^2(Y)/H^2(X) \xrightarrow{B} \mathbb{C}^k \xrightarrow{A^t} V \to 0$ 의 사용.
• 모듈리 공간 위의 가우스-마이너 연결의 로그 부분과 $H^2(Y)/H^2(X)$ 상의 두브로빈 연결을 통해 $\tfrac{1}{2}$-이중성을 구성하는 것.
• 비환원 기저 $\mathcal{Z}_1 = Z_{\mathcal{M}_{\bar{X}}}(\mathscr{I}^2)$ 위의 매끄러운 가닥에 대해 가우스-마이너 연결을 적용하여 헤지의 구조 변화를 모듈리 공간의 경계로 확장하는 것.
• 제1 헤지-라우만 이중선형 관계와 그리피스의 수직성 조건을 이용해 $H^3(U,\mathbb{C})$ 에서의 헤지 필터링 $F^\bullet$ 을 $H^3(X,\mathbb{C})$ 로 올리는 것.
• 단일 회전에 의해 결정되는 관계 행렬 $A$ 를 사용해 $B$-모델을 $Y \setminus Z = U$ 에서 $X$ 상의 $B$-모델로 재구성하는 주기 함수 $\phi(r,s) = \exp(\sum_i \frac{\log w_i}{2\pi i} N^{(i)}) \psi(r,s)$ 의 적용.
• 주기 함수 $\phi$ 가 관계 행렬 $A$ 에 의해 완전히 결정됨을 증명함으로써, $X$ 상의 $B$-모델이 $Y$ 상의 $B$-모델에 의해 결정됨을 보이는 것.

실험 결과

연구 질문

• RQ1 콘다이프 전이를 통해 $X$와 $Y$ 상의 $A$-모델과 $B$-모델가 상호 결정 가능할 수 있는가?
• RQ2 초과 이론의 가우스-마이너 연결과 두브로빈 연결의 로그 부분이 어떻게 조합되어 자명한 이론을 형성하는가?
• RQ3 $Y \setminus Z$ 상의 $B$-모델이 $X$ 상의 $B$-모델를 얼마나 정확히 결정하는가?
• RQ4 어떻게 $\mathcal{M}_X$ 상의 주기 함수가 $Y$ 의 기하학과 관계 행렬 $A$ 로부터 재구성되는가?
• RQ5 모듈리 공간 $\mathcal{M}_{\bar{X}}$ 와 그 부분다양체 $\mathcal{M}_Y$ 는 $A+B$ 구조를 어떻게 코딩하는가?

주요 결과

• $X$ 상의 $A$-모델과 $Y$ 상의 $B$-모델는 $H^2(Y)/H^2(X)$ 와 허무한 순환의 공간인 $V$ 를 연결하는 정확한 수열을 통해 상호 결정 가능하다.
• 모듈리 공간 위의 로그 연결에서 유래하는 $V$ 상의 가우스-마이너 연결의 로그 부분과 $H^2(Y)/H^2(X)$ 상의 두브로빈 연결은 $(\underline{\mathbb{C}} \oplus \underline{\mathbb{C}}^\vee)^k$ 상의 자명한 로그 연결에서 유래하며, 이는 초과 $A$-이론과 $B$-이론 사이의 $\tfrac{1}{2}$-이중성을 나타낸다.
• $\mathcal{M}_X$ 에서의 주기 함수 $\phi: \mathcal{M}_X \to \mathbb{D}/\Gamma$ 는 관계 행렬 $A$ 에 의해 완전히 결정되며, 이는 $X$ 상의 $B$-모델이 $Y \setminus Z$ 상의 $B$-모델에 의해 암묵적으로 포함됨을 보여준다.
• $H^3(X,\mathbb{C})$ 상의 헤지 필터링 $F^\bullet$ 은 제1 헤지-라우만 이중선형 관계를 통해 $H^3(U,\mathbb{C})$ 에서 유일하게 올라오며, 주기 도메인에 대해 최대 수평 슬라이스의 존재를 보장한다.
• $\operatorname{Def}(Y)$ 는 $H^1(U, T_U) \cong \operatorname{Def}(\bar{X})$ 에 임베딩되며, $\mathcal{M}_Y$ 는 $\mathcal{M}_{\bar{X}}$ 의 부분다양체이며, $\mathcal{Z}_1$ 은 $\mathcal{M}_{\bar{X}}$ 내에서 $\mathcal{M}_Y$ 의 첫 번째 제트 확장이다.
• $X$ 상의 $B$-모델는 주기 함수를 통해 $Y \setminus Z = U$ 상의 $B$-모델에서 완전히 재구성되며, 이 함수는 오직 행렬 $A$ 에 의존하므로 $X$ 상의 $B$-모델가 $Y$ 상의 $B$-모델에 의해 결정됨을 증명한다.