[논문 리뷰] Localization of virtual classes

T.M. Graber, Rahul Pandharipande|ArXiv.org|1997. 08. 01.

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

한 줄 요약

이 논문은 대수기하학적 스킴 위의 $$\mathbb{C}^{*}$--equivariant 완전한 고장 이론에 대해 가상 기본류의 가상 국소화 공식을 수립한다. 이 공식은 고정점 성분들 위에 가상 정규다발의 역-equivariant 오일러 클래스로 가중된 합으로서 가상 기본류를 표현한다. 주요 기여는 일반적인 대수적 국소화 공식을 제안하는 것으로, 이는 고전 결과를 특이점이 있는 및 스택 구조를 가진 모듈리 공간, 예를 들어 $$\overline{M}_{g,n}(
\mathbf{P}^r,d)$$로 확장한다.

ABSTRACT

We prove a localization formula for virtual fundamental classes in the context of torus equivariant perfect obstruction theories. As an application, the higher genus Gromov-Witten invariants of projective space are expressed as graph sums of tautological integrals over moduli spaces of stable pointed curves (generalizing Kontsevich's genus 0 formulas). Also, excess integrals over spaces of higher genus multiple covers are computed.

연구 동기 및 목표

• 대수기하학적 스킴 위의 $$\mathbb{C}^{*}$-equivariant 완전한 고장 이론의 맥락에서 가상 기본류에 대한 가상 국소화 공식을 개발하는 것.
• 비특이 다양체에서의 국소화 기법을 특이점이 있는 다양체 및 딜레인-머담 스택 설정으로 확장하여, 특히 안정 사상의 모듈리 공간에 적용하는 것.
• 프로젝트브 스페이스와 동차 공간의 그로모프-위튼 불변량을 고정점 위치의 그래프 합을 통해 체계적으로 계산하는 방법을 제공하는 것.
• 칼라비-야우 3-다양체 기하학에서 발생하는 초과 적분, 예를 들어 $$\overline{M}_{g,0}(\mathbf{P}^1,d)$$ 위에서의 적분을 가상 국소화를 통해 평가하는 것.
• 국소화 이후 동치류 족에서의 pushforward 사상의 상사성과 단사성을 확립하여, 스택 이론적 설정에서의 국소화 공식의 타당성을 보장하는 것.

제안 방법

• 리-티안 및 베르렌드-판테키의 완전한 고장 이론 프레임워크를 사용하여, $A_*^{\mathbb{C}^*}(X)$의 동치류에서 가상 기본류 $[X]^{\text{vir}}$를 구성한다.
• 고정점 스킴 $X^f = \bigcup X_i$를 정의하고, 각 성분 $X_i$에 대해 고정된 완전한 고장 이론을 부여함으로써 $[X_i]^{\text{vir}} \in A_*(X_i)$를 얻는다.
• 가상 접선 공간의 이동 부분에서 가상 정규다발 $N_i^{\text{vir}}$를 구성하고, 그의 equivariant 오일러 클래스 $e(N_i^{\text{vir}})$를 정의한다.
• 유리 동치와 비스타올리의 공식을 사용하여, $A_*^{\mathbb{C}^*}(X) \otimes \mathbb{Q}[t, 1/t]$에서 국소화 공식 $[X]^{\text{vir}} = \iota_* \sum \frac{[X_i]^{\text{vir}}}{e(N_i^{\text{vir}})}$을 증명한다.
• $$\mathbb{C}^{*}$-작용을 가진 배경 비특이 다양체 $Y$에 공식을 적용한 후, 제약과 콘의 조작을 통해 $X$에 대한 결과를 유도한다.
• 특히 $U = Y \setminus Y^f$에 대해 $A_*^{\mathbb{C}^*}(U)$가 국소화 후에 영이 되므로, 국소화 이후에 $\iota_*$가 동치류를 유지함을 증명함으로써 공식의 타당성을 확보한다.

실험 결과

연구 질문

• RQ1 $$\mathbb{C}^{*}$-equivariant 대수기하학적 스킴에서 완전한 고장 이론을 갖는 가상 기본류는 어떻게 고정점 성분들로 국소화될 수 있는가?
• RQ2 특이점이 있는 및 스택적 모듈리 공간에 대해, 동치류 이론에서의 가상 국소화 공식의 정확한 형태는 무엇인가?
• RQ3 가상 국소화로부터 유도된 그래프 합 공식을 통해 $$\mathbf{P}^r$$의 그로모프-위튼 불변량을 계산할 수 있는가?
• RQ4 성분 $g=1$에 대해 $$\overline{M}_{0,0}(\mathbf{P}^1,d)$ 위에서의 초과 적분 $\int_{[\overline{M}_{g,0}(\mathbf{P}^1,d)]^{\text{vir}}} c_{\text{top}}(R^1\pi_*\mu^*N)$의 값은 얼마인가?
• RQ5 만일 $V$가 $$\mathbb{C}^{*}$-작용을 갖는다면, $$\overline{M}_{g,n}(V,\beta)$와 같은 적절한 딜레인-머담 스택에 대해 가상 국소화 공식이 성립하는가?

주요 결과

• $$\mathbb{C}^{*}$-equivariant 완전한 고장 이론에 대해, 공식 $[X]^{\text{vir}} = \iota_* \sum \frac{[X_i]^{\text{vir}}}{e(N_i^{\text{vir}})}$는 $A_*^{\mathbb{C}^*}(X) \otimes \mathbb{Q}[t, 1/t]$에서 성립한다.
• $$\overline{M}_{g,n}(\mathbf{P}^r,d)$의 경우, 그로모프-위튼 불변량은 $$\overline{M}_{g',n'}$ 위에서의 차수 클래스 적분을 포함하는 정점 항들을 가진 그래프 합 공식을 통해 계산된다.
• 성분 $g=0$의 초과 적분은 $$\overline{M}_{0,0}(\mathbf{P}^1,d)$ 위에서 $1/d^3$으로 평가되며, 만닌의 결과를 확인한다.
• 성분 $g=1$의 초과 적분은 $1/(12d)$로 평가되며, BCOV의 물리학 예측과 일치하고 고차 성분에 대한 추측을 검증한다.
• 만일 $V$가 $$\mathbb{C}^{*}$-작용을 갖는 동차 공간이라면, $$\overline{M}_{g,n}(V,\beta)$에 대해 공식이 성립하여 안정 사상의 모듈리 공간에서의 국소화를 가능하게 한다.
• 국소화 이후에 $\iota_*: A_*^{\mathbb{C}^*}(Y^f) \to A_*^{\mathbb{C}^*}(Y)$는 동치류를 유지하므로, 딜레인-머담 스택에서 국소화 프레임워크의 일관성을 보장한다.