[논문 리뷰] Line-Bundles on Stacks of Relative Maps

Eric Katz|ArXiv.org|2005. 07. 15.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 5

한 줄 요약

이 논문은 상대 및 고무 맵의 모듈리 스택 위의 자연스러운 선다발들 사이의 관계를 수립하여 상대 그로모프-위튼 불변량에 대한 열기 공식을 가능하게 한다. 또한 열기 스택과 그 가상 사이클 위에서 선다발 시스템을 분석하여 국소화 형식론이 상대 그로모프-위튼 이론에서 필수적인 기초가 되는 '영일주기 정리'를 증명한다.

ABSTRACT

This paper provides some technical results needed in "Formalism for Relative Gromov-Witten Invariants." We study line-bundles on the moduli stacks of relative stable and rubber maps that are used to define relative Gromov-Witten invariants in the sense of J. Li. Relations between these line-bundles yield degeneration formulae. In addition we prove a technical result called the Trivial Cylinders Theorem.

연구 동기 및 목표

• 모듈리 스택 위의 자연스러운 선다발을 연구하여 상대적 및 고무 안정 맵에 대한 기하적 관계를 도출한다.
• 모듈리 스택의 곱 위의 선다발 간의 관계를 분석하여 상대 그로모프-위튼 불변량에 대한 열기 공식을 수립한다.
• 상대 그로모프-위튼 이론의 형식론에 필수적인 기본 기술 결과인 '영일주기 정리'를 증명한다.
• 선다발 $\operatorname{L}_{i,\text{ext}}$, $\operatorname{Split}$, $\operatorname{L}^{\infty}$ 등의 기하적 의미를 그 영점들에 의해 명확히 한다.
• 열기 스택과 그 보편 목표물 위의 선다발 시스템에 대한 체계적인 프레임워크를 제공한다.

제안 방법

• 열기 스택 $\mathcal{Z}^{\text{rel}}$ 및 $\mathcal{A}^{\text{rel}}$ 위의 선다발 시스템을 도입하며, 포함관계와 $\mathbb{C}^*$-행동에 따른 전이 성질을 기반으로 정의한다.
• 스택 $\mathcal{M}(\mathcal{Z},\Gamma)$ 위의 핵심 선다발 $\operatorname{Dil}$, $\operatorname{L}_{i,\text{ext}}$ 및 $\mathcal{M}(\mathcal{A},\Gamma)$ 위의 $\operatorname{Split}$, $\operatorname{L}^{0}$, $\operatorname{L}^{\infty}$, $\operatorname{L}_{i,\text{not top}}$, $\operatorname{L}_{i,\text{not bot}}$를 구성한다.
• 기하적 해석을 도출한다: $\operatorname{L}_{i,\text{ext}}$는 $i$번째 표식점이 $Z$에 매핑되지 않는 지점에서 영이 되며, $\operatorname{Split}$은 분리된 맵에서 영이 된다.
• 분리된 맵을 모델링하고 선다발들을 연결하기 위해 $\mathcal{M}(\mathcal{Z},\Gamma_Z) \times_{\mathcal{Z}^{\text{rel}}} \mathcal{M}(\mathcal{A},\Gamma_A)$ 형태의 곱 구조를 사용한다.
• 가상 끌림과 고시 맵을 적용하여 가상 사이클을 비교한다: $[\mathcal{M}(\mathcal{A},\Gamma_{|})]^{\text{vir}} = [\mathcal{M}(\mathcal{A},\Gamma)]^{\text{vir}} \times_{\mathcal{A}^{\text{rel}}} [{\mathcal{MT}}]$.
• 고시 맵의 자연성과 콘 사이클 분해를 활용하여 $v_*([\mathcal{M}(\mathcal{A},\Gamma_{|})]^{\text{vir}}) = \frac{1}{r}[\mathcal{M}(\mathcal{A},\Gamma)]^{\text{vir}} \times [X]$를 유도한다.

실험 결과

연구 질문

• RQ1 상대 및 고무 맵의 스택 위의 자연스러운 선다발들은 기하학적 및 코homological 측면에서 어떻게 관련되어 있는가?
• RQ2 모듈리 스택의 곱 위의 선다발 간의 관계는 무엇인가? 이는 상대 그로모프-위튼 불변량에 대한 열기 공식을 유도한다.
• RQ3 선다발 시스템과 가상 사이클을 사용하여 '영일주기 정리'를 어떻게 체계적으로 증명할 수 있는가?
• RQ4 선다발 $\operatorname{L}_{i,\text{ext}}$, $\operatorname{Split}$, $\operatorname{L}^{\infty}$, $\operatorname{L}_{i,\text{not top}}$의 정확한 기하적 의미는 무엇인가?
• RQ5 가상 사이클은 분리된 맵 스택과 원래의 모듈리 스택 사이에서 곱 구조와 $\mathbb{C}^*$-행동을 통해 어떻게 관련되어 있는가?

주요 결과

• 스택 $\mathcal{M}(\mathcal{Z},\Gamma)$ 위의 선다발 $\operatorname{L}_{i,\text{ext}}$는 $\operatorname{ev}_i^*\mathcal{O}(D) = \operatorname{L}_{i,\text{ext}}$를 만족하며, 이는 $i$번째 표식점이 $Z$에 매핑되지 않는 맵이 포함된 영점 집합을 나타낸다.
• 스택 $\mathcal{M}(\mathcal{A},\Gamma)$ 위에서는 $\operatorname{L}^0 \otimes \operatorname{L}^\infty = \operatorname{Split}$이 성립하며, $\operatorname{Split}$은 정확히 분리된 맵에서 영이 된다.
• $\operatorname{L}_{i,\text{not top}}$와 $\operatorname{L}_{i,\text{not bot}}$는 각각 $\operatorname{L}^0 \otimes \operatorname{ev}_i^*L^\vee = \operatorname{L}_{i,\text{not top}}$ 및 $\operatorname{L}^\infty \otimes \operatorname{ev}_i^*L = \operatorname{L}_{i,\text{not bot}}$를 만족한다.
• 영일주기 정리는 등식 $\mathcal{M}(\mathcal{A},\Gamma_{|}) \cong \mathcal{M}(\mathcal{A},\Gamma) \times_{\mathcal{A}^{\text{rel}}} \mathcal{MT}$를 통해 증명되며, 이는 가상 사이클이 $[\mathcal{M}(\mathcal{A},\Gamma_{|})]^{\text{vir}} = [\mathcal{M}(\mathcal{A},\Gamma)]^{\text{vir}} \times_{\mathcal{A}^{\text{rel}}} [{\mathcal{MT}}]$ 형태로 끌려온다는 것을 보여준다.
• 스택 $\mathcal{M}(\mathcal{A},\Gamma_{|})$의 가상 사이클은 $v_*([\mathcal{M}(\mathcal{A},\Gamma_{|})]^{\text{vir}}) = \frac{1}{r}[\mathcal{M}(\mathcal{A},\Gamma)]^{\text{vir}} \times [X]$를 만족하며, 여기서 $r$은 $\mathbb{C}^*$-행동의 차수이다.
• 이 구성은 분리된 맵 스택 위의 가상 사이클이 곱 구조와 일치하며 $\mathbb{C}^*$--equivariant 형식론을 따르며, 상대 그로모프-위튼 이론의 국소화에 필수적임을 확인한다.