[논문 리뷰] Log minimal model program for the moduli space of stable curves: The second flip

Jarod Alper, Maksym Fedorchuk외 2명|arXiv (Cornell University)|2013. 08. 06.

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

한 줄 요약

이 논문은 비분리 대수적 스택의 양호한 모듈리 공간에 대한 일반 존재 정리를 수립하고, 안정 곡선의 모듈리 공간에 대한 로그 최소 모델 프로그램(LMMP)에서 두 번째 플립을 구성하는 데 응용한다. $\alpha$-안정성과 국소 VGIT 기법을 사용하여, $\overline{M}_{g,n}$에 대한 LMMP의 첫 세 단계를 통일적으로 구성하며, 로그 캐논리컬 모델 $\overline{M}_{g,n}(\alpha)$가 양호한 모듈리 공간을 통한 모odular 해석을 갖는다는 것을 증명한다.

ABSTRACT

We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the first three steps of the log minimal model program for the moduli spaces of stable pointed curves.

연구 동기 및 목표

• 분리성의 부재 속에서 양호한 모듈리 공간에 대한 일반 존재 정리를 개발하여, Keel-Mori 정리를 비분리 스택으로 확장한다.
• Hassett-Keel 프로그램에서 로그 캐논리컬 모델 $\overline{M}_{g,n}(\alpha)$에 대한 모odular 해석을 제공하며, 특히 $\alpha > 2/3 - \epsilon$일 경우에 중점을 둔다.
• Weierstrass 종수 2 꼬리들을 램포이드 쿠스로 대체하는 방식으로, $\overline{M}_g$에 대한 LMMP에서 두 번째 플립을 통일된 방법으로 구성한다.
• 고차원 LMMP 단계에서 코arse 모듈리 공간이 실패하는 문제를 극복하기 위해, 이를 양호한 모듈리 공간으로 대체한다.

제안 방법

• 반정규성의 일반화로서 $\alpha$-안정성을 도입하여, $\alpha$-안정 곡선을 매개변수화하는 새로운 모듈리 스택 $\overline{\mathcal{M}}_{g,n}(\alpha)$를 정의한다.
• 국소 VGIT(Variation of Geometric Invariant Theory)를 사용하여 $\alpha_c$-폐쇄 곡선의 변형 이론을 분석하고, 국소 몫 표현을 통해 플립 위치를 기술한다.
• 스태빌라이저가 유한한 비분리 대수적 스택에 대해 양호한 모듈리 공간의 일반 존재 정리(정리 4.1)를 증명한다.
• canonical 선다발 $K_{\overline{\mathcal{M}}_{g,n}(\alpha)} + \alpha\delta + (1-\alpha)\psi$가 양호한 모듈리 공간 $\overline{\mathbb{M}}_{g,n}(\alpha)$에 대해 앰플 라인다발로 내림내림됨을 보인다.
• 퇴화와 동시에 정규화를 사용하여 내림내림된 선다발의 양의 성질을 증명함으로써, 양호한 모듈리 공간의 프로젝티브성을 확립한다.
• 모든 $\alpha > 2/3 - \epsilon$에 대해 구축을 통일적으로 적용하여, LMMP의 첫 세 단계를 자가 포함된 방식으로 구성한다.

실험 결과

연구 질문

• RQ1 로그 최소 모델 프로그램에서 $\overline{M}_g$에 나타나는 비분리 모듈리 스택에 대해, 양호한 모듈리 공간을 구성할 수 있는가?
• RQ2 $\overline{M}_g$에 대한 LMMP에서 두 번째 플립이 $\alpha$-안정성과 양호한 모듈리 공간을 통해 모odular 해석을 갖는가?
• RQ3 $\overline{M}_{g,n}$에 대한 LMMP의 첫 세 단계를 GIT에 의존하지 않고 통일적으로 구성할 수 있는가?
• RQ4 $\alpha$-안정성이 고차원 LMMP 단계에서 코arse 모듈리 공간의 존재를 방해하는 무한 자동사상 군 문제를 어떻게 해결하는가?
• RQ5 플립의 정확한 국소 구조는 무엇이며, 국소 VGIT 카메라와 변형 이론을 통해 어떻게 기술할 수 있는가?

주요 결과

• 저자들은 비분리 대수적 스택에 대해 유한 스태빌라이저를 갖는 양호한 모듈리 공간에 대한 일반 존재 정리(정리 4.1)를 증명하여 Keel-Mori 정리를 확장한다.
• $\alpha > 2/3 - \epsilon$인 모든 $\alpha$에 대해 $\alpha$-안정 곡선의 모듈리 스택 $\overline{\mathcal{M}}_{g,n}(\alpha)$를 구성하여, 로그 캐논리컬 모델에 대한 모odular 해석을 제공한다.
• 양호한 모듈리 공간 $\overline{\mathbb{M}}_{g,n}(\alpha)$는 $K_{\overline{\mathcal{M}}_{g,n}(\alpha)} + \alpha\delta + (1-\alpha)\psi$의 섹션 링의 Proj로 구성되며, $\overline{M}_{g,n}(\alpha)$와 동형임을 보인다.
• 선다발 $K_{\overline{\mathcal{M}}_{g,n}(\alpha)} + \alpha\delta + (1-\alpha)\psi$가 $\overline{\mathbb{M}}_{g,n}(\alpha)$에 대해 앰플 라인다발로 내림내림됨을 증명하여, 그 프로젝티브성을 입증한다.
• $\overline{M}_g$에 대한 LMMP에서 두 번째 플립은 $\alpha = 7/10$에서 $\alpha = 2/3 - \epsilon$로의 전이로 실현되며, Weierstrass 종수 2 꼬리를 램포이드 쿠스로 대체한다.
• 이 구축은 $\overline{M}_g$와 $\overline{M}_{g,n}$ 모두에 대해 통일적이고 자가 포함되어 있으며, 향후 LMMP 단계의 틀을 제공한다.