[논문 리뷰] Log canonical models for the moduli space of curves: First divisorial contraction

Brendan Hassett, Donghoon Hyeon|ArXiv.org|2006. 07. 19.

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

한 줄 요약

이 논문은 안정 곡선의 모듈리 공간 $\mathcal{M}_g$의 로그 캐논리컬 모델이 $\alpha = 9/11$에서 편안한 곡선의 모듈리 공간 $\mathcal{M}^\mathrm{ps}_g$와 동형임을 확립한다. 이는 노드와 쿠스를 포함한 특이점을 가진 곡선을 매개변수화한다. $\alpha = 9/11$에서의 수축은 타원 꼬리(단일 점에서 부착된 종수 1 곡선)를 쿠스로 대체함으로써 얻어지며, $\alpha \in (7/10, 9/11]$ 범위에서는 모델이 변화하지 않는다. 이는 $\mathcal{M}_g$의 로그 캐논리컬 모델 프로그램에서 첫 번째 임계 변화에 대한 비라시얼 기하학적 실현을 제공한다.

ABSTRACT

In this paper, we initiate our investigation of log canonical models for the moduli space of curves with the boundary divisor $\a \d$ as we decrease $\a$ from 1 to 0. We prove that for the first critical value $\a = 9/11$, the log canonical model is isomorphic to the moduli space of pseudostable curves, which have nodes and cusps as singularities. We also show that $\a = 7/10$ is the next critical value, i.e., the log canonical model stays the same in the interval $(7/10, 9/11]$. In the appendix, we develop a theory of log canonical models of stacks that explains how these can be expressed in terms of the coarse moduli space.

연구 동기 및 목표

• 안정 곡선의 모듈리 공간 $\mathcal{M}_g$의 비라시얼 기하학을 분석함으로써, $\alpha$가 1에서 0으로 감소함에 따라 $\mathcal{M}_g(\alpha) = \mathrm{Proj} \bigoplus \Gamma(n(K_{\mathcal{M}_g} + \alpha \delta))$로 정의되는 로그 캐논리컬 모델을 연구한다.
• 로그 캐논리컬 모델이 비자명한 비라시얼 변환을 겪는 첫 번째 임계 값 $\alpha = 9/11$를 규명한다.
• 결과로 얻어진 모델이 노드와 쿠스만을 특이점으로 가진다 한계 곡선의 모듈리 공간 $\mathcal{M}^\mathrm{ps}_g$와 동형임을 증명한다.
• $\alpha \in (7/10, 9/11]$ 범위에서 로그 캐논리컬 모델이 그대로 유지됨을 규명하여, 로그 캐논리컬 모델 프로그램에서 안정된 단계를 제공한다.
• 스택에 대한 로그 캐논리컬 모델의 일반 이론을 수립하고, 이를 캐논리컬 디바이저의 당김을 통해 근본 모듈리 공간과 연결한다.

제안 방법

• 기저점 자유성 정리를 $\alpha = 9/11$에서 $K_{\mathcal{M}_g} + \alpha \delta$에 적용하여, 선형 계가 기저점 자유임을 보이고, 로그 캐논리컬 모델로의 사상이 유도됨을 보인다.
• $\mathcal{M}_g$에서의 교차 이론을 사용하여, 타원 꼬리—단일 노드에서 종수 $g-1$ 곡선과 종수 1 곡선을 붙인 안정 곡선—에 해당하는 유일한 극단적 반경 $R$을 식별한다.
• $\mathcal{M}_g$에서 $\mathcal{M}^\mathrm{ps}_g$로 가는 사상 $T: \mathcal{M}_g \to \mathcal{M}^\mathrm{ps}_g$를 구성하여 각 타원 꼬리를 쿠스로 대체함을 보이고, $\delta_1$ 외부에서는 동형이며 $\alpha = 9/11$에서 극단적 수축을 유도함을 증명한다.
• 근본 모듈리 공간의 보편 성질을 사용하여 스택에서 $\mathcal{O}(n(K_{\mathcal{M}_g} + \alpha \delta))$의 절단을 근본 공간의 절단과 연결함으로써 $\mathcal{M}^\mathrm{ps}_g$와 비교 가능하게 한다.
• 부록에서 델리뉴-무드 포레스트 스택에 대한 로그 캐논리컬 모델의 일반 이론을 수립하여, 스택의 로그 캐논리컬 모델이 근본 모듈리 공간의 그것과 캐논리컬 디바이저 $\check{D}$를 통해 연결됨을 보인다.
• $K_{\mathcal{M}_g} + \frac{9}{11}\delta$가 극단적 반경 $R$과의 교차수를 0으로 가지는 사실을 이용하여, 사상 $T$가 $\alpha = 9/11$에서 로그 캐논리컬 모델과 동일한 수축을 유도함을 증명한다.

실험 결과

연구 질문

• RQ1 로그 캐논리컬 모델 $\mathcal{M}_g(\alpha)$가 비자명한 비라시얼 변환을 겪는 $\alpha \in (0,1]$의 첫 번째 임계 값은 무엇인가?
• RQ2 $\alpha = 9/11$에서의 로그 캐논리컬 모델은 알려진 특이점을 가진 곡선의 모듈리 공간과 어떻게 관련이 있는가?
• RQ3 $\alpha \in (7/10, 9/11]$ 범위에서 로그 캐논리컬 모델 $\mathcal{M}_g(\alpha)$의 구조는 어떠한가?
• RQ4 $\alpha = 9/11$에서의 로그 캐논리컬 모델은 특정한 특이점을 가진 곡선의 모듈리 공간으로 실현될 수 있는가?
• RQ5 스택의 로그 캐논리컬 모델과 그 근본 모듈리 공간의 로그 캐논리컬 모델 간의 관계는 무엇인가?

주요 결과

• 로그 캐논리컬 모델 $\mathcal{M}_g(\alpha)$가 $\alpha = 9/11$일 때 편안한 곡선의 모듈리 공간 $\mathcal{M}^\mathrm{ps}_g$와 동형이며, 이는 노드와 쿠스만을 특이점으로 가진 연결되고 축소된 곡선을 매개변수화한다.
• $\alpha = 9/11$에서의 수축은 면적 수축이며, 예외적 영역은 경계 디바이저 $\Delta_1$에 포함되며, 타원 꼬리를 쿠스로 대체하는 데 해당한다.
• $\alpha = 7/10$와 $\alpha = 9/11$ 사이에서는 로그 캐논리컬 모델 $\mathcal{M}_g(\alpha)$가 그대로 유지되므로, 모든 $\alpha \in (7/10, 9/11]$에 대해 $\mathcal{M}_g(\alpha) \cong \mathcal{M}^\mathrm{ps}_g$이다.
• $\mathcal{M}_g$에서 $\mathcal{M}^\mathrm{ps}_g$로 가는 사상 $T: \mathcal{M}_g \to \mathcal{M}^\mathrm{ps}_g$는 타원 꼬리를 쿠스로 대체하며, 이는 극단적 수축 $\Upsilon: \mathcal{M}_g \to \mathcal{M}_g(9/11)$을 유도하므로, 로그 캐논리컬 모델을 모듈리 공간으로 실현한다.
• $\alpha \in (7/10, 9/11]$ 범위에서 로그 캐논리컬 모델 $\mathcal{M}_g(\alpha)$는 $\mathbb{Q}$-팩터링이 되며, 이는 수축이 면적 수축이면서 목표가 사영 다양체이기 때문이다.
• 부록에서 개발된 이론에 따르면, 스택 $\mathcal{X}$와 디바이저 $D$에 대해 로그 캐논리컬 모델은 근본 모듈리 공간을 통해 캐논리컬 디바이저 $\check{D}$를 통해 계산될 수 있으며, 이는 스택의 자동형과 분지에 기인한 영향을 반영한다.