[논문 리뷰] Gromov-Witten theory of Deligne-Mumford stacks

Dan Abramovich, Tom Graber외 1명|ArXiv.org|2006. 03. 07.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 21

한 줄 요약

이 논문은 델 라이니–무프ord 스택 위에서 그로모프–원드이 이론에 대한 엄밀한 대수기하학적 기반을 구축하며, 콘테비치의 안정 사상 모듈리 공간을 비틀린 곡선과 오르비폭탄으로 일반화한다. 비틀린 안정 사상의 스택을 구성하고, 완벽한 장애 이론의 존재를 증명하며, 가상 기본류를 도출함으로써 오르비폭탄에 대한 그로모프–원드이 클래스와 불변량을 카우치 링과 스택 이론적 기법을 통해 정의할 수 있게 한다.

ABSTRACT

Long ago, in math.AG/0112004, we pledged more details on the algebraic version of Chen-Ruan's math.AG/0103156. This is it.

연구 동기 및 목표

• 스무스 다양체에서의 오르비폭탄에 대한 이전 연구를 확장하여, 델 라이니–무프ord 스택 위에서 그로모프–원드이 이론에 대한 완전하고 엄밀한 대수기하학적 프레임워크를 제공하는 것.
• 콘테비치의 스무스 다양체에 대한 안정 사상 모듈리 공간을 일반화하여, 델 라이니–무프ord 스택으로의 비틀린 안정 사상의 모듈리 공간을 체계화하는 것.
• 비틀린 안정 사상의 스택 위에서 완벽한 장애 이론의 존재를 확립하고, 이로부터 가상 기본류를 도출하는 것.
• 가상 기본류와 평가 사상의 역상에 의한 캡 곱을 통해 그로모프–원드이 클래스를 정의함으로써 불변량 계산을 가능하게 하는 것.
• 오르비폭탄 설정에서 모듈리 스택의 경계 구조를 명확히 하여, 특이점이 있는 곡선이 오르비폭탄 점을 중심으로 한 섬유곱으로 분해됨을 보이며, 고전적 경우를 일반화하는 것.

제안 방법

• 오르스톤의 대수기하 스택 및 비틀린 곡선 프레임워크를 사용하여 스택 $ {\mathcal{K}}_{g,n}({\mathcal{X}},\beta) $ 의 비틀린 안정 사상의 스택을 구성한다.
• 순환적 관성 스택과 강성화를 활용하여 자동형군과 $ \mu_r $ 에 의해 띠워진 게르베를 묘사함으로써, 오르비폭탄의 구조에 필수적인 요소를 제공한다.
• 일반적인 설정에서 아르틴의 공리들을 적용하여 모듈리 공간의 대수기하 스택 구조를 증명함으로써, 특수한 경우의 검증을 피한다.
• 가상 기본류 $[\mathcal{K}_{g,n}(\mathcal{X},\beta)]^{\text{vir}}$ 와 코homology 클래스의 역상에 의한 캡 곱을 통해 그로모프–원드이 클래스를 정의한다.
• 스택의 범주에서 쌍대곱의 보편 성질을 이용하여, 모듈리 스택의 경계를 목표 스택 위에서의 섬유곱으로 묘사한다.
• 오르스톤의 루트 스택과 게르베에 대한 결과를 활용하여 비틀린 곡선과 그들의 목표 스택 $\mathcal{X}$ 로의 사상들을 구성하고 분석한다.

실험 결과

연구 질문

• RQ1 스무스 다양체에서의 그로모프–원드이 이론은 어떻게 델 라이니–무프ord 스택, 특히 오르비폭탄 설정으로 일반화될 수 있는가?
• RQ2 어떤 델 라이니–무프ord 스택으로의 비틀린 안정 사상에 대한 정확한 모듈리 이론적 구성은 무엇이며, 콘테비치의 안정 사상 모듈리 공간을 어떻게 일반화하는가?
• RQ3 비틀린 안정 사상의 스택은 완벽한 장애 이론을 갖는가? 만약 그렇다면, 그로 인해 도출되는 가상 기본류는 무엇인가?
• RQ4 오르비폭탄의 경우에서 모듈리 스택의 경계는 어떻게 분해되는가? 이는 고전적 경계 분해를 어떻게 일반화하는가?
• RQ5 스택 이론적 구성 방식으로 정의된 그로모프–원드이 불변량과 해밀토니안 또는 몫 스택 접근 방식 사이의 정확한 관계는 무엇인가?

주요 결과

• 스택 $ {\mathcal{K}}_{g,n}({\mathcal{X}},\beta) $ 는 $\mathcal{X}$ 가 스무스하고 분리된 델 라이니–무프ord 스택일 경우, $\operatorname{Spec} \mathbb{Z}$ 위에서 대수적 델 라이니–무프ord 스택로서, 완전하고 유한형이다.
• 스택 $\mathcal{X}$ 가 스무스일 경우, 스택 $ {\mathcal{K}}_{g,n}({\mathcal{X}},\beta) $ 는 완벽한 장애 이론을 갖으며, 이는 카우치 링에 잘 정의된 가상 기본류를 이끌어낸다.
• 그로모프–원드이 클래스는 $\langle \gamma_1, \dots, \gamma_n, * \rangle^{\mathcal{X}}_{g,\beta} = e_{n+1*}(e_1^*\gamma_1 \cup \cdots \cup e_n^*\gamma_n \cap [\mathcal{K}_{g,n}(\mathcal{X},\beta)]^{\text{vir}})$ 로 정의되며, 이는 $A^*(\mathcal{X})$ 에 값을 갖는다.
• 모듈리 스택의 경계는 목표 스택 위에서의 섬유곱으로 분해된다: $\Sigma \cong \coprod_{A\sqcup B, \beta_1+\beta_2=\beta} \overline{\mathcal{M}}_{0,A\sqcup\star}(\mathcal{X},\beta_1) \times_{\mathcal{X}} \overline{\mathcal{M}}_{0,B\sqcup\bullet}(\mathcal{X},\beta_2)$, 이는 특이점이 있는 비틀린 곡선의 쌍대곱 구조를 반영한다.
• 유한군 $H$ 에 의한 스택 $\mathcal{X}$ 의 강성화는 몫 $\mathcal{X} / \mathcal{B}H$ 와 동치이며, 몫 사상은 $H$ 에 의해 띠워진 게르베이며, 작용은 자유롭고 $H$--equivariant하다.
• 게르베와 강하를 이용한 스택 $\mathcal{X} \mathbin{\!\fatslash} H$ 의 구성은, $\mathcal{X}$ 가 $\mathcal{B}H$ 의 작용에 의해 몫 스택으로서의 모듈리 해석을 제공한다.