[논문 리뷰] Towards a classification of modular compactifications of the moduli space of curves

David Ishii Smyth|ArXiv.org|2009. 02. 21.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 12

한 줄 요약

이 논문은 $n$-점이 있는 종수 $g$의 곡선의 모듈리 공간의 모든 안정적 모듈러(compactification)를 분류하며, 한 매개변수 가 Families의 스무스 곡선에 대해 유일한 극한을 갖는 변형-열린(pre-stable) 곡선의 클래스에 대한 완전한 조합론적 특성화를 제공한다. 핵심 결과는 이러한 컴팩티피케이션을 모든 곡선의 모듈리 스택의 기약 성분 $ olimits_{g,n}$ 의 열린 본질적 부분스택을 통해 식별하며, 정규화된 각 유리 성분이 적어도 세 개의 구별 가능한 점(표시점 또는 특이점)을 가져야 한다는 안정성 조건을 정의한다.

ABSTRACT

The space of smooth curves admits a beautiful compactification by the moduli space of Deligne-Mumford stable curves. In this paper, we undertake a systematic investigation of alternate modular compactifications of the space of smooth curves.

연구 동기 및 목표

• 종수 $g$의 $n$-점이 있는 곡선의 모듈리 공간 $\mathcal{M}_{g,n}$ 의 모든 모듈러 컴팩티피케이션을 변형에 대해 안정적이고 한 매개변수 가 Families의 스무스 곡선에 대해 유일한 극한을 갖는 조건으로 분류한다.
• 클래식한 Deligne-Mumford 컴팩티피케이션을 확장하여, 표준적인 Deligne-Mumford 및 가짜안정(pseudostable) 사례를 초월하는 안정성 조건의 모든 가능성을 식별한다.
• 모듈리 스택 $\mathcal{V}_{g,n}$ 의 열린 본질적 부분스택을 통해 다른 컴팩티피케이션을 체계적으로 이해할 수 있는 프레임워크를 제공한다. $\mathcal{V}_{g,n}$ 는 $\mathcal{M}_{g,n}$ 을 포함하는 유일한 기약 성분이다.
• 곡선의 정규화에서 각 유리 성분에 있는 구별 가능한 점의 수를 기반으로 이러한 컴팩티피케이션의 조합론적 분류를 수립한다.

제안 방법

• 모든 $n$-점이 있고, 축약된, 연결된, 일차원의, 전체적인 스킴들로 구성된 $\mathcal{U}_{g,n}$ 을 정의하고, $\mathcal{M}_{g,n}$ 을 포함하는 유일한 기약 성분으로서 $\mathcal{V}_{g,n}$ 을 식별한다.
• $\mathcal{Z}$-안정성은 안정성 조건의 일반화로서, 곡선이 $\mathcal{Z}$-안정적일 때는 정규화된 각 유리 성분이 적어도 세 개의 구별 가능한 점(표시점 또는 특이점)을 가져야 한다는 조건을 정의한다.
• $\overline{\mathcal{M}}_{g,n}(\mathcal{Z})$ 를 $\mathcal{V}_{g,n}$ 의 열린 본질적 부분스택으로서 $\mathcal{Z}$-안정 곡선을 매개변수화하는 것으로 정의하고, $\text{Spec }\mathbb{Z}$ 에 대해 그 것이 본질적임을 증명한다.
• 특히 $H^1(C, \mathscr{L}^m \otimes \mathfrak{m}_p^2)$ 에 대한 코homological vanishing 추론을 사용하여 선다발의 차수를 유계화하고 특이 곡선의 임bedding 차원을 제어한다.
• 투영 공식과 $\delta(p)$ (델타 불변량) 및 $r$ (지점의 분지 수) 에 대한 유계를 적용하여, 충분히 큰 $m$ 에 대해 $H^1$ 이 영이 되도록 하고, 유한형 매개변수화를 가능하게 한다.
• $\mathcal{U}_{g,n,d}$ 를 차수 $d$ 의 곡선의 스택으로 정의하고, Hilbert 스킴과 유한성 결과를 사용하여 $\text{Spec }\mathbb{Z}$ 에 대해 유한형임을 증명한다.

실험 결과

연구 질문

• RQ1 한 매개변수 가 Families의 스무스 곡선에 대해 유일한 극한을 갖는 변형-열린(pre-stable) 곡선의 모든 가능한 클래스는 무엇인가?
• RQ2 $\text{Spec }\mathbb{Z}$ 에 대해 본질적이고 $\mathcal{M}_{g,n}$ 을 밀도 있는 열린 부분스택으로 포함하는 모든 모듈러 컴팩티피케이션을 어떻게 분류할 수 있는가?
• RQ3 정규화된 곡선의 각 유리 성분에 대한 구별 가능한 점의 수에 대한 조합론적 조건은 이러한 안정적 컴팩티피케이션을 어떻게 분류하는가?
• RQ4 클래식한 Deligne-Mumford, 가짜안정, 가중 안정(compactly weighted stable) 컴팩티피케이션은 하나의 분류 프레임워크 안에서 통합될 수 있는가?
• RQ5 기약 성분 $\mathcal{V}_{g,n}$ 이 스무스 가능 곡선을 매개변수화하고 기약 컴팩티피케이션의 분류를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 모든 안정적 모듈러 컴팩티피케이션 $\mathcal{M}_{g,n}$ 은 $\mathcal{V}_{g,n}$ 의 열린 본질적 부분스택으로서 $\mathcal{Z}$-안정성 조건을 만족하는 것으로 분류되며, $\mathcal{Z}$-안정성은 정규화된 각 유리 성분이 적어도 세 개의 구별 가능한 점(표시점 또는 특이점)을 가져야 한다는 조건을 포함한다.
• $g = 0$ 인 경우, 모듈리 스택 $\mathcal{U}_{0,n}$ 은 기약이며, 모든 열린 본질적 부분스택이 분류되므로 $\mathcal{M}_{0,n}$ 의 모든 모듈러 컴팩티피케이션에 대한 완전한 분류가 이루어진다.
• $g \geq 1$ 인 경우, 분류는 $\mathcal{U}_{g,n}$ 의 유일한 기약 성분인 $\mathcal{V}_{g,n}$ 의 열린 본질적 부분스택으로 제한되며, 이는 $\mathcal{Z}$-안정성 조건을 만족해야 한다.
• $\overline{\mathcal{M}}_{g,n}(\mathcal{Z})$ 가 $\text{Spec }\mathbb{Z}$ 에 대해 본질적임이 입증되어, 이가 모듈러 컴팩티피케이션임을 확인한다.
• $H^1(C, \mathscr{L}^m \otimes \mathfrak{m}_p^2)$ 의 코homological vanishing 이 $m > 2g - 2 + 2\delta(p)r$ 인 경우에 성립하며, $\delta(p) \leq g + e - 1$ 이고 $r \leq \delta(p) + 1$ 이므로, 이는 유한형 매개변수화를 보장한다.
• $m(g,e) = 2g - 2 + 2(g+e)(g+e-1)$ 와 같은 명시적 유계를 유도하여, $m$ 에 대해 $H^1$ 이 영이 되도록 하고, 모듈리 스택에 대한 유한형 커버를 구성할 수 있도록 한다.