[논문 리뷰] A degeneration formula of Gromov-Witten invariants with respect to a curve class for degenerations from blow-ups

Chien‐Hao Liu, Shing‐Tung Yau|ArXiv.org|2004. 08. 11.

Geometric and Algebraic Topology참고 문헌 28인용 수 6

한 줄 요약

이 논문은 트ivial 가 families의 blow-up에서 유도되는 분열(degeneration)에 대해, Jun Li의 Gromov-Witten 불변량에 대한 분열 공식을 곡선 계열에 의존하는 형태로 정교화한다. 교차 수와 블로우업 기하학의 Mori 쌍대체를 분석함으로써, 중심 특이 섬유에서의 상대 불변량 기여를 코딩하는 명시적으로 결정된 유한한 적합한 삼중체 집합 $\Omega_{(g,k;\beta)}$를 구성한다. 이를 통해 일반 섬유의 불변량을 중심 섬유의 성분들에서의 상대 데이터로 정확하게 계산할 수 있다.

ABSTRACT

In two very detailed, technical, and fundamental works, Jun Li constructed a theory of Gromov-Witten invariants for a singular scheme of the gluing form $Y_1\cup_D Y_2$ that arises from a degeneration $W/{\Bbb A}^1$ and a theory of relative Gromov-Witten invariants for a codimension-1 relative pair $(Y,D)$. As a summit, he derived a degeneration formula that relates a finite summation of the usual Gromov-Witten invariants of a general smooth fiber $W_t$ of $W/{\Bbb A}^1$ to the Gromov-Witten invariants of the singular fiber $W_0=Y_1\cup_D Y_2$ via gluing the relative pairs $(Y_1,D)$ and $(Y_2,D)$. The finite sum mentioned above depends on a relative ample line bundle $H$ on $W/{\Bbb A}^1$. His theory has already applications to string theory and mathematics alike. For other new applications of Jun Li's theory, one needs a refined degeneration formula that depends on a curve class $β$ in $A_{\ast}(W_t)$ or $H_2(W_t;{\Bbb Z})$, rather than on the line bundle $H$. Some monodromy effect has to be taken care of to deal with this. For the simple but useful case of a degeneration $W/{\Bbb A}^1$ that arises from blowing up a trivial family $X imes{\Bbb A}^1$, we explain how the details of Jun Li's work can be employed to reach such a desired degeneration formula. The related set $Ω_{(g,k;β)}$ of admissible triples adapted to $(g,k;β)$ that appears in the formula can be obtained via an analysis on the intersection numbers of relevant cycles and a study of Mori cones that appear in the problem. This set is intrinsically determined by $(g,k;β)$ and the normal bundle ${\cal N}_{Z/X}$ of the smooth subscheme $Z$ in $X$ to be blown up.

연구 동기 및 목표

• 고정된 곡선 계열 $\beta \in A_1(X)$ 또는 $H_2(X;\mathbb{Z})$ 에 따라, 상대 앰플 라인 번들의 의존성 대신 Jun Li의 분열 공식을 확장하는 것.
• 특수한 경우인 $X \times \mathbb{A}^1$ 에서 $Z \times \{0\}$ 沿해 블로우업을 수행한 분열에서의 단일화 효과(monodromy effects)를 해결하는 것.
• 중앙 섬유 $Y_1 \cup_E Y_2$ 에서의 상대 불변량을 접합하는 데 지배적인 표준적이고 내재된 삼중체 집합 $\Omega_{(g,k;\beta)}$ 를 구성하는 것.
• 일반 섬유의 Gromov-Witten 불변량을 중심 섬유 성분들에서의 상대 불변량으로 표현하는 실용적이고 계산 가능한 공식을 제공하는 것.
• 다중 블로우업과 분리된 중심에 대한 프레임워크의 일반화를 시도하며, 이 구성에 필요한 핵심 기하 불변량을 규명하는 것.

제안 방법

• 저자들은 확장된 분열과 상대적 안정 사상의 기초 틀인 Jun Li의 프레임워크를 사용하여, 안정 사상 스택 위의 가상 기본류를 정의한다.
• 블로우업에 따른 $\overline{\mathrm{NE}}(W_t)$ 의 구조를 분석하며, $A_1(X)$ 의 곡선 계열과 그들의 블로우업 성분으로의 보존을 중심으로 다룬다.
• 집합 $\Omega_{(g,k;\beta)}$ 는 교차 이론적 조건을 통해 구성되며, 예외적 인수 $E$ 에 대한 타원도 조건, 차수, 성분 조건을 만족하는 적합한 삼중체 $(\Gamma_1, \Gamma_2, I)$ 로 이루어진다.
• 핵심 식에는 $\beta$ 를 $p_{1*}\widetilde{\beta}_1^0 + p_{2*}\widetilde{\beta}_2^0$ 로 분해하는 식이 포함되며, 중심 $Z$ 의 정규(bundle)을 반영하기 위해 $E \cdot \widetilde{\beta}_1^0$ 항이 보정 항으로 포함된다.
• 공식은 $\eta \in \overline{\Omega}_{(g,k;\beta)}$ 에 대한 합으로 표현되며, 자동화 인자 $\mathbf{m}(\eta)/|\mathrm{Eq}(\eta)|$ 와 중심 섬유에서 접합된 상대 불변량의 곱으로 가중치가 부여된다.
• 이 구성은 상대 앰플 라인 번들의 선택에 영향을 받지 않으며, 오직 $\beta$, 성분 $g$, 표본점 수 $k$, 그리고 정규 번들 $\mathcal{N}_{Z/X}$ 에 의존한다.

실험 결과

연구 질문

• RQ1 Jun Li의 분열 공식을 상대 앰플 라인 번들 대신 고정된 곡선 계열 $\beta$ 에 의존하도록 어떻게 정교화할 수 있는가?
• RQ2 블로우업 분열의 맥락에서, 적합한 삼중체 집합 $\Omega_{(g,k;\beta)}$ 를 결정하는 기하학적 및 코homological 데이터는 무엇인가?
• RQ3 블로우업 성분들에서의 교차 수와 Mori 쌍대체의 구조는 분열 공식에 대한 가능한 기여를 어떻게 제약하는가?
• RQ4 이러한 분열에서 일반 섬유에서 중심 섬유로의 전이 과정에서 단일화 효과(monodromy)는 어떤 역할을 하는가? 그리고 블로우업 경우에서 이는 어떻게 해결되는가?
• RQ5 정밀화된 공식은 블로우업의 순서나 분리된 중심으로 일반화될 수 있는가? 그리고 이 분해를 지배하는 불변량은 무엇인가?

주요 결과

• 집합 $\Omega_{(g,k;\beta)}$ 는 보조적 선형 번들에 영향을 받지 않고, 정규 번들 $\mathcal{N}_{Z/X}$, 곡선 계열 $\beta$, 그리고 위상적 데이터 $(g,k)$ 에 의해 표준적으로 결정된다.
• $\beta \neq 0$ 인 경우, 집합 $\Omega_{(g,k;\beta)}$ 는 세 개의 서로소 성분으로 분해된다: (1) $Y_1$ 과 $Y_2$ 에서 비자명한 곡선 계열과 $E \cdot \widetilde{\beta}_1^0$ 를 통한 보정 항, (2) $Y_1$ 에서 비자명한 계열과 최대 보정, (3) $Y_2$ 에서 비자명한 계열과 보정 없음.
• 공식은 $\eta \in \overline{\Omega}_{(g,k;\beta)}$ 에 대한 유한한 합으로 표현되며, 자동화 인자 $\mathbf{m}(\eta)/|\mathrm{Eq}(\eta)|$ 와 $Y_1^\mathrm{rel}$ 과 $Y_2^\mathrm{rel}$ 에서의 상대 불변량 곱으로 가중치가 부여된다.
• 공식은 $\beta \in H_2(X;\mathbb{Z})$ 에 대해서도 정확히 동일하게 성립함을 보이며, 이는 대수적 사이클을 초월한 위상적 자연성(의존성)을 보여준다.
• 이 구성은 일반화에 강건하다: 다중 블로우업과 분리된 중심으로 확장되며, 동일한 구조적 제약 조건이 적용된다.
• 핵심 통찰은, 블로우업 성분들에서의 Mori 쌍대체 구조와 교차 이론이 접합 데이터를 완전히 결정하며, 보조 선택(예: $H$)에 대한 의존성을 제거한다.