[논문 리뷰] Gromov-Witten invariants of stable maps with fields

Huai-Liang Chang, Jun Li|arXiv (Cornell University)|2011. 01. 05.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 19

한 줄 요약

이 논문은 Kiem-Li의 코세ქ션 로컬라이제이션을 사용하여 $\mathbb{P}^4$로의 안정적 매핑에 대한 필드를 고려한 Gromov-Witten 불변량을 구축하며, 이들이 제자리 Calabi-Yau 3-fold의 Gromov-Witten 불변량과 부호를 제외하고 일치함을 증명한다. 이 구축은 Guffin-Sharpe-Witten 모델의 수학적 실현을 제공하며, Gromov-Witten 이론과 Landau-Ginzburg 모델을 연결하는 전-세대 미러 대칭 프로그램을 위한 프레임워크를 제시한다.

ABSTRACT

We construct the Gromov-Witten invariants of moduli of stable morphisms to $\Pf$ with fields. This is the all genus mathematical theory of the Guffin-Sharpe-Witten model, and is a modified twisted Gromov-Witten invariants of $\Pf$. These invariants are constructed using the cosection localization of Kiem-Li, an algebro-geometric analogue of Witten's perturbed equations in Landau-Ginzburg theory. We prove that these invariants coincide, up to sign, with the Gromov-Witten invariants of quintics.

연구 동기 및 목표

• Guffin-Sharpe-Witten 모델을 위한 수학적 프레임워크를 개발한다. 이는 $K_{\mathbb{P}^4}$ 를 목표로 하고 초위력 $\mathbf{w}$ 를 갖는 위상적 Landau-Ginzburg 이론이다.
• Gromov-Witten 불변량의 초평면 성질을 종수 0과 1을 넘어서 모든 종수로 일반화한다.
• 비준거 모듈리 공간에서의 안정적 매핑에 대한 필드를 고려한 국소화 가상 사이클의 기하학적 구축을 제공한다.
• Witten의 Gauged-Linear-Sigma 모델 프로그램을 통해 제자리 3차원 불변량의 Gromov-Witten 이론과 Landau-Ginzburg 모델 간의 다리를 놓는다.
• Gromov-Witten 이론과 Landau-Ginzburg 모델 간의 전-세대 미러 대칭 프로그램을 위한 새로운 접근법을 제공한다. 이는 $K_{\mathbb{P}^4}$ 상의 질서 없는 이론을 선형 Landau-Ginzburg 모델 $[\mathbb{C}^5/\mathbb{Z}_5]$ 와 연결한다.

제안 방법

• 안정적 매핑에 대한 $p$-필드를 갖는 모듈리 공간 $\overline{\mathcal{M}}_g(\mathbb{P}^4,d)^p$ 를 도입한다. 여기서 $p$-필드는 $u^*\mathcal{O}_{\mathbb{P}^4}(-5) \otimes \omega_C$ 의 단면이다.
• 완전한 오염 이론을 모듈리 공간에 부여하고, degree-5 다항식 $\mathbf{w}$ (예: $x_1^5 + \cdots + x_5^5$) 를 사용하여 오염층의 코세션 $\sigma$ 를 구성한다.
• Kiem-Li의 코세션 로컬라이제이션을 적용하여, $Q$ 가 $\mathbf{w} = 0$ 에 의해 정의되는 제자리 3차원 불변량이라면, $\overline{\mathcal{M}}_g(Q,d)$ 에서만 지원되는 국소화 가상 사이클 $[\overline{\mathcal{M}}_g(\mathbb{P}^4,d)^p]^{\mathrm{vir}}_\sigma$ 를 정의한다.
• Gromov-Witten 불변량을 이 국소화 가상 사이클의 차수로 정의한다: $N_g(d)^p_{\mathbb{P}^4} = \deg[\overline{\mathcal{M}}_g(\mathbb{P}^4,d)^p]^{\mathrm{vir}}_\sigma$.
• 퇴화 기법을 사용하여 이러한 불변량이 부호 인자 $(-1)^{5d+1-g}$ 를 제외하고 표준 Gromov-Witten 불변량 $Q$ 와 일치함을 증명한다.
• 이 구축을 Witten의 Gauged-Linear-Sigma 모델과 연결하며, $K_{\mathbb{P}^4}$ 상의 질서 없는 이론이 선형 Landau-Ginzburg 모델 $[\mathbb{C}^5/\mathbb{Z}_5]$ 와 이중성임을 보여준다.

실험 결과

연구 질문

• RQ1 Guffin-Sharpe-Witten 모델에 대해 대수기하학적 방법을 사용하여 Gromov-Witten 불변량의 수학적 구축을 개발할 수 있는가?
• RQ2 코세션 로컬라이제이션 기법이 비준거 모듈리 공간에서의 안정적 매핑에 대한 필드에 대해 잘 정의된 불변량을 제공하는가?
• RQ3 초위력 $\mathbf{w}$ 를 갖는 $K_{\mathbb{P}^4}$-이론의 불변량은 제자리 3차원 불변량 $Q$ 의 Gromov-Witten 불변량과 관련이 있는가?
• RQ4 수정된 낙관적 Gromov-Witten 이론을 사용하여 초평면 성질을 모든 종수로 일반화할 수 있는가?
• RQ5 이 프레임워크는 Gromov-Witten 이론과 Landau-Ginzburg 모델 간의 전-세대 미러 대칭 프로그램의 기초가 될 수 있는가?

주요 결과

• 종수 $g > 0$ 에서 비준거임에도 불구하고, Kiem-Li의 코세션 로컬라이제이션을 통해 안정적 매핑에 대한 필드를 고려한 모듈리 공간 $\overline{\mathcal{M}}_g(\mathbb{P}^4,d)^p$ 의 Gromov-Witten 불변량은 잘 정의되어 있다.
• 국소화 가상 사이클 $[\overline{\mathcal{M}}_g(\mathbb{P}^4,d)^p]^{\mathrm{vir}}_\sigma$ 는 $\mathbf{w} = 0$ 에 의해 정의되는 제자리 3차원 불변량 $Q$ 에서만 지원된다.
• 불변량 $N_g(d)^p_{\mathbb{P}^4}$ 는 이 국소화 가상 사이클의 차수로 정의되며, 부호를 제외하고 표준 Gromov-Witten 불변량 $N_g(d)_Q$ 와 일치함을 보였다: $N_g(d)^p_{\mathbb{P}^4} = (-1)^{5d+1-g} N_g(d)_Q$.
• 이 결과는 Kontsevich의 종수 0 공식을 일반화하며, 고차 종수에서 초평면 성질의 대체 수단을 제공함으로써 전-세대 불변량을 통합된 접근법으로 가능하게 한다.
• 이 구축은 Witten의 Gauged-Linear-Sigma 모델의 수학적 구조를 실현하며, $K_{\mathbb{P}^4}$ 상의 질서 없는 이론과 선형 Landau-Ginzburg 모델 $[\mathbb{C}^5/\mathbb{Z}_5]$ 를 연결함으로써 전-세대 미러 대칭으로 가는 길을 제시한다.
• 이 방법은 Guffin과 Sharpe의 종수 0에서의 경로 적분 계산을 새로운 기하학적 실현으로 제공하며, 이제 임의의 종수로 확장된다.