[논문 리뷰] Gromov-Witten invariants of blow-ups

Andreas Gathmann|arXiv (Cornell University)|1998. 04. 08.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 60

한 줄 요약

이 논문은 볼록한 프로젝티브 다양체의 점들에서의 블로우업에 대한 고유수 0인 Gromov-Witten 불변량을 계산하기 위한 명시적 알고리즘을 제시한다. 원래 다양체의 불변량을 사용하여 이를 수행하며, 이러한 불변량이 특정 스펙트럴 다중도 또는 접촉 조건을 가진 유리 곡선을 세는 데 기하학적·조합적 의미를 가질 수 있는 조건을 규명한다. 이는 5차 초입체 3차원에서의 유리 곡선에 대한 $d^{-3}$ 다중도와 같은 고전적 불변량을 계산하는 데 새로운 방법을 제공하며, 아벨 곡면에서의 다중세컨트 수를 확인한다.

ABSTRACT

In the first part of the paper, we give an explicit algorithm to compute the (genus zero) Gromov-Witten invariants of blow-ups of an arbitrary convex projective variety in some points if one knows the Gromov-Witten invariants of the original variety. In the second part, we specialize to blow-ups of P^r and show that many invariants of these blow-ups can be interpreted as numbers of rational curves on P^r having specified global multiplicities or tangent directions in the blown-up points. We give various numerical examples, including a new easy way to determine the famous multiplicity d^{-3} for d-fold coverings of rational curves on the quintic threefold, and, as an outlook, two examples of blow-ups along subvarieties, whose Gromov-Witten invariants lead to classical multisecant formulas.

연구 동기 및 목표

• 볼록한 프로젝티브 다양체의 점들에서의 블로우업에 대한 Gromov-Witten 불변량을 체계적으로 계산하는 알고리즘을 개발하는 것.
• 이러한 불변량이 블로우업된 점들에서 특정 다중도 또는 접촉 조건을 가진 곡선을 세는 기하학적·조합적 의미를 가지는 조건을 규명하는 것.
• 이 알고리즘을 $\mathbb{P}^r$의 블로우업에 적용하여, 다중세컨트 수나 5차 초입체 3차원에서의 유리 곡선 수와 같은 고전적 조합적 불변량을 복구하는 것.
• 고차원 또는 다중점 블로우업에서 조합적 의미 부여의 한계를 탐색하는 것.
• 하위다양체를 따라 블로우업하는 경우로 프레임워크를 확장하여 불변량을 고전적 다중세컨트 공식과 연결하는 것.

제안 방법

• 논문은 $X$의 블로우업인 $\tilde{X}$의 Gromov-Witten 불변량을 $X$의 불변량으로부터 가상 기본류를 사용해 재귀적으로 계산하는 알고리즘을 구축한다.
• 핵심 항등식을 도입한다: $ I_{\beta}^{X}(\gamma_1 \otimes \cdots \otimes \gamma_n \otimes pt) = I_{p^*\beta - E'}^{\tilde{X}}(p^*\gamma_1 \otimes \cdots \otimes p^*\gamma_n) $, 이는 $X$와 $\tilde{X}$의 불변량을 연결한다.
• 예외적 배럴 클래스 $E'$에 기반한 재귀 관계를 사용하며, $e$가 음수인 경우에 $\mathcal{E}_{H'+eE'}$ 식을 적용해 불변량을 감소시킨다.
• $\tilde{X} = \tilde{\mathbb{P}}^r(s)$인 경우, 알고리즘은 $e$를 내림과 동시에 공호모로지 클래스가 $F$, $\gamma$, 또는 그 외일 경우에 따라 다른 규칙을 적용하여 불변량을 계산한다.
• 논문은 '조합적' 불변량을 정의하여, 이는 블로우업된 점들에서 지정된 전역 다중도 $-e_i$를 가진 곡선을 세는 불변량을 의미한다.
• 수치적 예시를 통해 결과를 검증하며, 이는 5차 초입체 3차원에서의 $d$-중복 커버에 대한 $d^{-3}$ 다중도와 $\mathbb{P}^4$에서의 25개의 6-세컨트를 포함한다.

실험 결과

연구 질문

• RQ1 점들에서 $\mathbb{P}^r$의 블로우업에 대한 Gromov-Witten 불변량이 언제 조합적으로 의미를 가지는가? 즉, 블로우업된 점들에서 특정 다중도 또는 접촉 조건을 가진 곡선을 세는가?
• RQ2 이 알고리즘이 5차 초입체 3차원에서의 유리 곡선에 대한 $d$-중복 커버에 대한 $d^{-3}$ 다중도를 새로운 방식으로 더 단순하게 계산할 수 있는가?
• RQ3 왜 일반적으로 $r \geq 4$ 이면서 $s \geq 2$ 또는 $r=3$에서 점이 아닌 조건이 있을 경우 불변량이 조합적으로 의미를 잃는가?
• RQ4 블로우업 불변량이 다각형 표면에서의 고전적 다중세컨트 수와 같은 조합적 불변량을 어느 정도 복원할 수 있는가?
• RQ5 비볼록 블로우업에서 가상 기본류와 안정 사상 이론이 어떻게 행동하는가? 특히 $h^1(C, f^*T_{\tilde{X}}) \neq 0$의 경우에 대해 어떻게 되는가?

주요 결과

• 이 알고리즘은 볼록 다양체의 점들에서의 블로우업에 대해 고유수 0인 모든 Gromov-Witten 불변량을 원래 다양체의 불변량으로부터 성공적으로 계산한다.
• $\tilde{\mathbb{P}}^r(1)$의 경우 모든 불변량이 조합적으로 의미를 가지며, 이는 단일 블로우업된 점에서 지정된 다중도를 가진 곡선을 세는 것을 의미한다.
• $\tilde{\mathbb{P}}^3(s)$에서 $s \leq 4$ 이며 점 조건만 존재하는 경우, 몇몇 예외적인 경우를 제외하고 모든 불변량이 조합적으로 의미를 가진다.
• 논문은 5차 초입체 3차원에서의 $d$-중복 커버에 대한 $d^{-3}$ 다중도를 블로우업 불변량을 통해 새로운 방식으로 유도한다.
• $\mathbb{P}^4$에서 차수 10인 일반 아벨 곡면의 6-세컨트 수가 25임을 $I_{H' - 6E'}(1)$의 재귀적 계산을 통해 확인한다.
• $I_{H' - 3E'}(H^2)$의 불변량은 $t = \frac{(d-1)(d-2)(d-3)}{3} - g(d-2)$를 도출하며, 이는 $K3$ 곡면에서의 유리 곡선에 대한 고전적 결과와 일치한다.