[논문 리뷰] Gromov-Witten invariants of P^2-stacks

Charles Cadman|ArXiv.org|2005. 05. 01.

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

한 줄 요약

이 논문은 $\pi^2_{D,2}$ 스택—$\mathbb{P}^2$ 위의 $\mathbb{Z}/2$-몫스택으로서 매끄러운 평면곡선 $D$ 에서 분지하는 것으로 정의됨—의 모든 종수 0 Gromov-Witten 불변량을 작은 초기 불변량 집합을 사용하여 명시적인 재귀 관계로 계산하는 바탕을 마련한다. 주요 기여는 이러한 불변량을 완전히 알고리즘적으로 결정하는 것으로, 이는 종종 계수에 기여하는 꼬임진 서 있음(ghost automorphisms)을 가진 꼬임진 안정 맵으로 인해 항상 계수적이지 않은 경우가 있기 때문이다.

ABSTRACT

The Gromov-Witten theory of Deligne-Mumford stacks is a recent development, and hardly any computations have been done beyond 3-point genus 0 invariants. This paper provides explicit recursions which, together with some invariants computed by hand, determine all genus 0 invariants of the stack P^2_{D,2}. Here D is a smooth plane curve and P^2_{D,2} is locally isomorphic to the stack quotient [U/(Z/(2))], where U -> V \subset P^2 is a double cover branched along D \cap V. The introduction discusses an enumerative application of these invariants.

연구 동기 및 목표

• Deligne-Mumford 스택 $\mathbb{P}^2_{D,2}$—$\mathbb{P}^2$ 위의 $\mathbb{Z}/2$-몫스택으로서 매끄러운 평면곡선 $D$ 에서 분지하는 것으로 정의됨—의 모든 종수 0 Gromov-Witten 불변량을 체계적으로 계산하는 방법을 개발하는 것.
• 부드러운 다양체에서 흔한 복원 정리가 스택, 특히 $\mathbb{P}^2_{D,2}$ 의 맥락에서 어떻게 일반화되는지 조사하는 것.
• 다중 커버 또는 꼬임진 성분이 기여할 때 Gromov-Witten 수와 실제 곡선 수 사이의 불일치를 규명하여 이러한 불변량의 계수적 의미를 명확히 하는 것.
• 종수 0 Gromov-Witten 불변량을 계산하기 위한 완전한 알고리즘적 프레임워크를 제공하는 것으로, 이는 양자 곱의 결합법칙과 꼬임진 안정 맵의 기하적 제약 조건에서 유도된 재귀 관계에 기반한다.

제안 방법

• 양자 곱과 $\mathbb{P}^2_{D,2}$ 로의 꼬임진 안정 맵의 구조에 기반하여 종수 0 Gromov-Witten 불변량 $I_d(n_2, n_3, n_4)$ 를 위한 재귀 관계 (5.5.5)–(5.5.8) 를 유도한다.
• 관성 스택의 군집 모듈리 공간을 사용하여 핵심 클래스를 식별한다: $T_2$ (점이 $\mathbb{P}^2$ 에서), $T_3$ (곡선 $D$ 의 기본 클래스), $T_4$ (점이 $D$ 에서).
• 꼬임진 안정 맵 이론을 적용하여, $\mathbb{P}^2_{D,2}$ 로의 사상은 분지점이 아닌 점에서는 $D$ 와 짝수 접촉 차수를 가져야 하고, 꼬임진 점에서는 홀수 접촉 차수를 가져야 한다.
• 가상 기본류 기법과 고스트 자동형 보정(예: 승수 $1/2$) 을 사용하여, 꼬임진 노드를 가진 분리 곡선의 기여를 보정한다.
• 다섯 가지 다른 재귀 규칙을 기반으로 $n_2, n_3, n_4$, 및 $d$ 의 값에 따라 불변량을 재귀적으로 감소시키는 알고리즘 (5.5.9) 을 수립한다. 이 알고리즘은 $n_4 - n_3$ 의 유한한 내림차순에 의해 종료 보장된다.
• 알고리즘의 타당성을 검증하기 위해 알려진 불변량과의 일致성을 점검하고, 다중 커버 및 꼬임진 성분의 기하학적 분석을 통해 계수적이지 않은 기여를 규명한다.

실험 결과

연구 질문

• RQ1 모든 종수 0 Gromov-Witten 불변량이 유한한 초기 불변량 집합과 재귀 관계를 사용하여 알고리즘적으로 계산될 수 있는가?
• RQ2 $\mathbb{P}^2_{D,2}$ 의 Gromov-Witten 불변량이 일반적으로 계수적이지 않은 이유는 무엇이며, 이러한 불일치를 일으키는 기하학적 메커니즘은 무엇인가?
• RQ3 고스트 자동형과 다중 성분을 가진 꼬임진 안정 맵은 스택의 Gromov-Witten 이론에서 가상 수를 어떻게 영향을 주는가?
• RQ4 $D$ 의 곡선 차수 $\delta$ 가 어떤 조건일 경우에 다중 커버나 꼬임진 성분의 기여가 사라지거나 유지되는가?
• RQ5 부드러운 다양체에 대해 알려진 것과 유사한, 종수 0 Gromov-Witten 불변량에 대한 복원 정리가 Deligne-Mumford 스택에 존재하는가?

주요 결과

• 종수 0 Gromov-Witten 불변량은 다섯 가지 다른 재귀 규칙을 사용하여 임의의 불변량을 초기 값으로 감소시키는 알고리즘 (알고리즘 5.5.9) 으로 완전히 결정된다.
• $\deg(D) \geq 3$ 인 경우, 유리 곡선은 $D$ 에 전사로 매핑될 수 없으며, 이로 인해 $D$ 로 매핑되는 성분의 기여가 제거된다. 그러나 $\deg(D) \geq 4$ 일 경우, 예를 들어 $I_2(T_2)$ 가 $D$ 와 탄성하는 직선의 이중 커버를 세므로 다중 커버는 여전히 기여한다.
• $I_4(T_2^7 T_4^4) = 416$ 는 일반적인 7개의 점과 $D$ 위의 4개의 점을 지난 유리 4차 곡선의 실제 수 398을 초과한다. 이는 고스트 자동형(승수 $1/2$) 을 가진 분리 꼬임진 곡선과 홀수 꼬임진 노드 성분의 기여로 인한 것이다.
• $D$ 가 쿠빅일 경우, 꼬임진 안정 맵의 모듈리 공간은 다중 커버 성분을 포함하지만, 이들은 불변량에 기여하지 않으며, 따라서 이 경우 모든 양의 차수 종수 0 불변량은 계수적이다.
• 알고리즘이 종료되는 이유는 $n_4 - n_3$ 의 내림차순이 유한하고 $(n_3, n_4)$-평면에서 允가된 이동이 유한하고 순환하지 않기 때문에, 기저 사례로 재귀적으로 감소할 수 있다.
• 기저 사례는 $I_1(2, \delta, 0) = \delta!$ 와 $I_1(1, \delta-1, 1) = (\delta-1)!$ 로, 이는 차수 1 사상의 기하적 제약 조건으로 직접 계산된다.