[논문 리뷰] Genus Two Stable Maps, Local Equations and Modular Resolutions

Yi Hu, Jun Li외 1명|arXiv (Cornell University)|2012. 01. 11.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 10

한 줄 요약

이 논문은 종수 2의 전-안정 곡선의 상대 피카르 스택에 대한 모듈러 블로우업의 정규화된 순서를 구성하여, 타우토로지컬 유도 대상 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$의 국소 대각화를 달성한다. 이는 모듈리 공간 $\overline{M}_2(\mathbb{P}^n,d)$ 내의 특이점을 해결하며, 정규 교차 특이점만을 가지며 기대 차원을 가진 매끄러운 주 성분을 갖는 해소된 공간을 생성한다.

ABSTRACT

We provide a geometric construction of a sequence of modular blowups of the Artin stack parameterizing pre-stable pairs consisting of a genus-two nodal curve and a smooth divisor. The resulting stack locally diagonalizes the tautological derived objects associated with the moduli of stable maps from genus-two curves to projective space. As a consequence, the singularities of the main component of the moduli space of stable maps are resolved, and the entire space admits only normal crossing singularities. Our approach is expected to generalize to higher genera.

연구 동기 및 목표

• 프로젝티브 공간으로의 종수 2 안정 사상의 모듈리 공간 $\overline{M}_2(\mathbb{P}^n,d)$에 대한 모듈러 해소를 구성하기 위해.
• 타우토로지컬 유도 대상 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$를 정규화된 블로우업 순서를 통해 해결하기 위해.
• 최종 블로우업 스택이 이러한 유도 대상을 국소적으로 대각화하여 위상 불변량의 평가를 가능하게 하기 위해.
• 해소된 공간의 주 성분이 $d > 2$일 때 기대 차원 $d(n+1) - n + 3$을 가지며 매끄럽다는 것을 증명하기 위해.
• 더 높은 종수 모듈리 공간으로의 확장이 가능한 프레임워크를 제공하기 위해.

제안 방법

• 종수 2 전-안정 곡선의 상대 피카르 스택 위에서 모듈러 블로우업의 정규화된 순서 $\widetilde{\mathfrak{P}}_2 \to \mathfrak{P}_2$를 구성하기 위해.
• 국소 모듈러 매개변수를 통해 타우토로지컬 두 항복 복합체 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$의 붕괴 위치를 분석하기 위해.
• 부드러운 부분 위의 효과적 딜로우를 가진 쌍 $(C,D)$의 아르틴 스택 $\mathfrak{M}_2^{\rm div}$를 이용해 대각화 문제를 모델링하기 위해.
• 국소적으로 구조 호모모르피즘 $\varphi: \mathscr{O}_\mathcal{V}^{\oplus m+1} \to \mathscr{O}_\mathcal{V}^{\oplus 2}$를 표현하고, 블로우업을 통해 이를 대각화하기 위해.
• 특정 붕괴 조건을 목표로 삼는 세 단계의 블로우업을 수행하여 $\varphi$의 국소 대각화를 달성하기 위해.
• 블로우업 스택 $\widetilde{M}_2(\mathbb{P}^n,d)$로 유니버설 가족과 유도 대상을 당겨와 매끄러움과 차원을 검증하기 위해.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\overline{M}_2(\mathbb{P}^n,d)$는 종수 2의 정규화된 모듈러 블로우업 순서를 통해 해소될 수 있는가?
• RQ2 블로우업 순서 이후 타우토로지컬 유도 대상 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$는 국소적으로 대각화되는가?
• RQ3 해소된 공간 $\widetilde{M}_2(\mathbb{P}^n,d)$의 주 성분은 기대 차원 $d(n+1) - n + 3$을 가지는가?
• RQ4 $\widetilde{M}_2(\mathbb{P}^n,d)$의 특이점은 오직 정규 교차 특이점인가?
• RQ5 이 방법은 더 높은 종수 모듈리 공간 $\overline{M}_g(\mathbb{P}^n,d)$로 확장될 수 있는가?

주요 결과

• 정규화된 모듈러 블로우업 순서 이후 타우토로지컬 유도 대상 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$는 국소적으로 대각화된다.
• 주 성분 $\widetilde{M}_2(\mathbb{P}^n,d)$는 $d > 2$일 때 매끄럽고 차원이 $d(n+1) - n + 3$이다.
• 전체 공간 $\widetilde{M}_2(\mathbb{P}^n,d)$는 오직 정규 교차 특이점만을 가진다.
• 주 성분에서 직접 이미지 층 $\widetilde{\pi}_{N*}\widetilde{\mathfrak{f}}_N^*\mathscr{O}_{\mathbb{P}^n}(k)$는 $k \geq 1$일 때 계수 $kd - 1$의 국소 자유층이다.
• 블로우업 구축은 유도 모듈러 블로우업 프레임워크와 호환되며 이전의 대수기하학적 방법을 향상시킨다.
• 이 방법은 더 높은 종수 모듈리 공간 $\overline{M}_g(\mathbb{P}^n,d)$의 해소를 위한 길을 제공한다.