[논문 리뷰] Towards Mori's program for the moduli space of stable maps

Dawei Chen, İzzet Coşkun외 1명|ArXiv.org|2009. 05. 18.

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

한 줄 요약

이 논문은 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$의 안정 사상의 모듈리 공간에 대한 Mori의 계획을 발전시켜 효과적 영역 클래스를 계산하고 그 기하학적 성질을 분석한다. 주요 영역들인 $H$, $Δ_{k,d-k}$, $D_{deg}$, $NL$, $TN$, $TR$, $NI$를 식별하고, 시험 곡선과 교차 이론을 활용하여 안정 기저 영역 분해와 효과적 콩의 구조를 규명한다. 특히 작은 $d$와 $r$에 대해, 힐베르트 스킴과 분지 곡선의 공간과 같은 비라시onal 모델을 드러낸다.

ABSTRACT

We introduce and compute the class of a number of effective divisors on the moduli space of stable maps $\bar M_{0,0}(P^{r},d)$, which, for small d, provide a good understanding of the extremal rays and the stable base locus decomposition for the effective cone. We also discuss various birational models that arise in Mori's program, including the Hilbert scheme, the Chow variety, the space of $k$-stable maps, the space of branchcurves and the space of semi-stable sheaves.

연구 동기 및 목표

• 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$의 효과적 콩과 안정 기저 영역 분해를 Mori 이론을 통해 이해하기 위해.
• 모듈리 공간 상에서 $H$, $Δ_{k,d-k}$, $D_{deg}$, $NL$, $TN$, $TR$, $NI$와 같은 주요 효과적 영역 클래스를 식별하고 계산하기 위해.
• 이러한 영역과 관련된 사상과 그에 따른 모델을 연구함으로써 모듈리 공간의 비라시onal 기하학을 분석하기 위해.
• 모델 $M(D) = \mathrm{Proj}(\bigoplus H^0(\overline{\mathcal{M}}, mD))$의 기하학적 해석을 힐베르트 스킴과 분지 곡선의 공간과 같은 알려진 모듈리 공간을 기반으로 제공하기 위해.
• 일부 곡선이 움직이는지 확인하기 위해 시험 곡선과 Macaulay2를 활용한 계산 프레임워크를 수립하여, 영역의 효과성과 기저 영역의 구조를 확인하기 위해.

제안 방법

• 기하적 인cidenc 조건을 통해 영역 클래스를 계산: $H$는 codimension-two 부분공간과 만남, $Δ_{k,d-k}$는 분할된 도메인, $D_{deg}$는 이미지가 전연성 여부를 가리킴.
• 투영 사상 $π: \overline{\mathcal{M}}_{0,0}(\mathbb{P}^{r+m},d) \dashrightarrow \overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$를 통한 역상 연산을 통해 다양한 $r$에 걸쳐 영역 클래스를 확장함.
• 특히 $;{D_{deg}}$에서의 블로우업에 대한 교차 이론을 적용하여, $;{H}$와 $;{NL}$의 교차 수를 계산함.
• 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^3,4)$와 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^2,4)$에서의 시험 곡선 $C_3$과 $C_2$를 사용하여 움직임과 영역의 효과성을 검증함.
• Macaulay2를 활용하여 Grassmannian $G(4,5)$와 $G(3,5)$로의 관련 사상이 일반적으로 전성임을 확인하여 곡선이 움직임을 증명함.
• 관련된 사상이 Grassmannian으로 가는 미분의 질량에 기반하여, 영역 조건에 의해 정의된 1차원 가중치 가족이 움직이는지 테스트하는 일반 알고리즘을 구축함.

실험 결과

연구 질문

• RQ1 작은 $d$와 $r$에 대해 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$의 효과적 콩의 생성자를 파악하는 데는 무엇이 있는가?
• RQ2 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$ 상의 어떤 영역 클래스가 힐베르트 스킴이나 분지 곡선의 공간과 같은 알려진 모듈리 공간과 비라시onal 동치인 모델을 유도하는가?
• RQ3 시험 곡선을 통해 주어진 영역 클래스가 효과적이거나 기저점이 없는지 어떻게 판단할 수 있는가?
• RQ4 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$의 효과적 콩에 대한 안정 기저 영역 분해는 $d \leq r$일 때 어떻게 되는가?
• RQ5 관련된 사상이 Grassmannian으로 가는 기하학적 성질에 기반하여, 영역 조건에 의해 정의된 1차원 가중치 가족이 움직이는지 확인할 수 있는 일반 알고리즘을 구축할 수 있는가?

주요 결과

• 모든 $d = r$일 때, 효과적 콩 $\mathrm{Eff}_{d,d}$는 $D_{deg}$와 $\Delta_{k,d-k}$ ($1 \leq k \leq \lfloor d/2 \rfloor$)에 의해 생성된다.
• 블로우업 $;{D_{deg}}$에서 교차 수 $;{H}^{12} = 80160$, $;{H}^{11}\u037e{NL} = 93120$, $;{H}^a\u037e{NL}^{12-a} = 119020$ ($0 \leq a \leq 6$)가 계산되었다.
• 영역 $;{H}$와 $;{NL}$이 $;{D_{deg}}$에 제한되었을 때, 각각 $η + 3\kappa$와 $λ + 3\kappa$와 수치적으로 동치이다.
• 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^3,4)$ 내의 시험 곡선 $C_3$은 움직이는 것으로 확인되었으며, 이는 $G(4,5)$로 가는 관련 사상의 미분이 전성임을 보여서 입증되었다.
• 모듈리 공간 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^2,4)$ 내의 시험 곡선 $C_2$는 움직이는 것으로 확인되었으며, $G(3,5)$로 가는 사상의 미분의 전성으로 확인되었다.
• 관련된 사상이 Grassmannian으로 가는 미분의 질량을 검사함으로써, 영역 조건에 의해 정의된 1차원 가중치 가족이 움직이는지 확인할 수 있는 일반적인 Macaulay2 기반 알고리즘이 개발되었다.