[논문 리뷰] Weakly proper moduli stacks of curves

Jarod Alper, David Ishii Smyth외 1명|arXiv (Cornell University)|2010. 12. 02.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 18

한 줄 요약

이 논문은 기하학적 안정성 이론(Geometric Invariant Theory, GIT)에 의존하지 않고 곡선의 모듈리 공간의 모듈러적 컴팩티피케이션을 구축하기 위해 약하게 적절한 대수적 스택의 개념을 도입한다. $A_k^-$, $A_k$, $A_k^+$ 특이점—특히 노드, 쿠스, 타크노드, 램포이드 쿠스—을 갖는 곡선을 매개변수화하는 모듈리 스택을 정의하고, 이들의 약한 적절성(weak properness)을 증명함으로써, 좋은 모듈리 공간을 통한 $\overline{M}_g$의 로그 캐논리컬 모델을 구성하는 기반을 마련한다.

ABSTRACT

This is the first in a projected series of three papers in which we construct the second flip in the log minimal model program for $\bar{M}_g$. We introduce the notion of a weakly proper algebraic stack, which may be considered as an abstract characterization of those mildly non-separated moduli problems encountered in the context of Geometric Invariant Theory (GIT), and develop techniques for proving that a stack is weakly proper without the usual semistability analysis of GIT. We define a sequence of moduli stacks of curves involving nodes, cusps, tacnodes, and ramphoid cusps, and use the aforementioned techniques to show that these stacks are weakly proper. This will be the key ingredient in forthcoming work, in which we will prove that these moduli stacks have projective good moduli spaces which are log canonical models for $\bar{M}_g$.

연구 동기 및 목표

• 약한 적절한 대수적 스택을 도입하고 연구하여, 일반적으로 GIT에서 나타나는 경미한 비분리성(비분리성)을 가진 모듈리 문제의 프레임워크를 제공한다.
• 노드, 쿠스, 타크노드, 람포이드 쿠스를 포함한 점점 더 심한 $A_k$-특이점을 갖는 곡선을 매개변수화하는 모듈리 스택 $\overline{\mathcal{M}}_{g,n}(A_k^-)$, $\overline{\mathcal{M}}_{g,n}(A_k)$, $\overline{\mathcal{M}}_{g,n}(A_k^+)$를 구축한다.
• 이 스택들이 약하게 적절함을 증명하여, 향후 작업에서 프로젝티브 좋은 모듈리 공간을 구성할 수 있도록 한다.
• 특히 두 번째 플립을 포함한 $\overline{M}_g$에 대한 Hassett-Keel 로그 최소 모델 프로그램을 GIT 없이 수행하는 방법을 제공한다.
• 모듈러적 해석을 $n > 0$ 인 $\overline{M}_{g,n}$의 경우로 확장한다.

제안 방법

• 모듈리 스택이 경미한 비분리성은 있지만 여전히 적절한 모듈리 공간을 갖는다는 점을 특징으로 하는 약한 적절성의 개념을 도입한다.
• 데오퍼메이션 이론과 국소 GIT의 변형을 사용하여, 구멍이 난 원판 위에서 $A_k$-특이점을 갖는 곡선의 가닥의 행동을 분석한다.
• Alper [2008]의 좋은 모듈리 공간 이론을 적용하여, 약하게 적절한 스택이 프로젝티브 좋은 모듈리 공간을 갖는다는 것을 보인다.
• 기저 전환과 캐릭터티안 다이어그램을 사용하여 곡선의 가닥을 중심 근처로 옮기고, 극한의 존재성과 유일성을 증명한다.
• 약한 분리성과 에탈레 사상의 성질을 활용하여, 기저 전환 하에서 닫힌 $A_k^+$-안정 극한의 유일성을 확립한다.
• $A_k$-특이점(노드, 쿠스, 타크노드, 람포이드 쿠스)의 구조를 이용하여 $A_k^-$, $A_k$, $A_k^+$-안정 조건을 정의한다.

실험 결과

연구 질문

• RQ1 약하게 적절한 대수적 스택은 제어된 특이성을 갖는 곡선의 모듈리 공간을 구축하기 위해 GIT의 타당한 대안이 될 수 있는가?
• RQ2 $A_k^-$, $A_k$, $A_k^+$ 특이점을 갖는 곡선을 매개변수화하는 모듈리 스택이 반안정성 분석에 의존하지 않고 약하게 적절한가?
• RQ3 Hassett-Keel 로그 최소 모델 프로그램에서 $\overline{M}_g$의 두 번째 플립은 약하게 적절한 스택과 좋은 모듈리 공간을 통해 구성될 수 있는가?
• RQ4 GIT를 사용하지 않고도 로그 캐논리컬 모델 $\overline{M}_g(\alpha)$에 대한 모듈러적 해석이 존재하는가?
• RQ5 이러한 구성은 $n > 0$ 인 $\overline{M}_{g,n}$로 확장될 수 있는가?

주요 결과

• $k \in \{2,3,4\}$ 일 때, 모듈리 스택 $\overline{\mathcal{M}}_{g,n}(A_k^-)$, $\overline{\mathcal{M}}_{g,n}(A_k)$, $\overline{\mathcal{M}}_{g,n}(A_k^+)$ 가 기저 전환 하에서 극한의 존재성과 유일성을 만족함을 증명하였다.
• 스택 $\overline{\mathcal{M}}_{g,n}(A_k)$ 내의 특성화 원리와 약한 분리성에 기반하여, 닫힌 $A_k^+$-안정 극한의 유일성이 확립되었다.
• 향후 작업에서 약한 적절성과 좋은 모듈리 공간 이론을 기반으로 이 스택들에 대한 좋은 모듈리 공간의 구성이 가능함을 보였다.
• 이 스택들 $\overline{\mathcal{M}}_{g,n}(A_k)$ 가 약하게 분리되어 있음을 증명하였으며, 이는 극한의 유일성을 증명하는 데 핵심적인 역할을 한다.
• 이 프레임워크를 통해 $\overline{M}_g$에 대한 로그 캐논리컬 모델의 GIT 없는 구성이 가능해졌으며, Hassett-Keel 프로그램의 궁극적 목표인 두 번째 플립을 포함한다.
• 결과적으로 이 연구는 $n > 0$ 인 $\overline{M}_{g,n}$에 대한 모듈러적 컴팩티피케이션의 확장을 위한 기반을 마련한다.