[논문 리뷰] Moduli spaces of weighted stable curves and log canonical models of $\bar{M}_{g,n}$

Maksym Fedorchuk|arXiv (Cornell University)|2010. 04. 28.

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

한 줄 요약

이 논문은 Hassett의 가중 안정 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,\mathcal{A}}$ 가 컴actified 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 의 로그 캐논리컬 모델임을 증명한다. 기본적인 추론을 통해 보편 가족 위에서 선다발 $\omega_\pi + \sum a_i \sigma_i$ 의 네파성(nepness)을 확립함으로써, 저자는 임의의 가중 벡터 $\mathcal{A}$ 에 대해 $\overline{\mathcal{M}}_{g,\mathcal{A}}$ 의 계수 모듈리 공간이 로그 캐논리컬 모델임을 보이며, 종수 0 경우의 문제를 해결하고 이전에 알려진 $\overline{\mathcal{M}}_{0,n}$ 의 네파 콘에 대한 결과를 확장한다.

ABSTRACT

Using Kollár's semipositivity results, we produce a number of nef and ample tautological divisors on Hassett's spaces of weighted stable pointed curves. As an application, we prove that Hassett's spaces are log canonical models of Deligne-Mumford spaces of stable pointed curves.

연구 동기 및 목표

• 임의의 가중 벡터 $\mathcal{A} \in (0,1]^n \cap \mathbb{Q}^n$ 에 대해 Hassett의 모듈리 공간 $\overline{\mathcal{M}}_{g,\mathcal{A}}$ 가 $\overline{\mathcal{M}}_{g,n}$ 의 로그 캐논리컬 모델임을 확립하는 것.
• 로지스틱 캐논리컬 모델을 구성하는 데 핵심적인, 보편 가정 위에서 선다발 $\omega_\pi + \sum a_i \sigma_i$ 의 네파성(nepness)을 증명하는 것.
• 이전에 알려진 $\overline{\mathcal{M}}_{0,n}$ 의 네파 콘에 대한 결과를 확장하여, GIT 콘에 속한 모든 교차가 네파 콘에 포함됨을 보이고, 두 콘의 일치 여부를 조사하는 것.

제안 방법

• Koll\'ar의 반긍성 결과를 활용하여 $\omega_\pi + \sum a_i \sigma_i$ 가 $\pi$-네파임을 증명하고, 모든 종수에 대해 유효한 기본적인 추론을 통해 전체 공간 $\mathcal{C}$ 상에서의 네파성을 증명한다.
• 총 공간 $\mathcal{C}$ 의 구조에 대한 사례별 분석을 통해, 종수 $g \geq 2$, $g = 1$, $g = 0$ 을 구분하여, 일치하는 섹션에 대해 $\sum a_i \leq 1$ 조건 하에서 선다발의 네파성을 검증한다.
• 기본 다항식의 성질과 상대 최소성에 기반하여, 섹션에 포함되지 않은 기약 곡선과의 교차 수를 분석함으로써, 선다발 $\omega_\pi + \sum a_i \sigma_i$ 가 $\mathcal{C}$ 상에서 네파임을 증명한다.
• 종수 0의 경우, 타우토로지컬 다항식 클래스와 GIT 균형화 사이의 관계를 활용하여, 로그 캐논리컬 다항식을 $\psi_i$, $\Delta_{ij}$, $\Delta_{\text{nodal}}$ 로 표현하며, $A(x_1,\dots,x_n) = -\frac{n-2}{2} \sum x_i \psi_i$ 를 도출한다.
• 주요 긍정성 결과를 적용하여, $\overline{\mathcal{M}}_{0,6}$ 에서 $2\Delta_{\text{nodal}} - \psi$ 와 같은 특정 다항식 클래스가 네파임을 증명한다. 이는 블로업 시퀀스와 섬유화된 표면 위의 교차 이론을 활용한다.
• 다중 일치 섹션을 가진 가중 구성에 대해 네파성 문제를 더 낮은 차원의 경우로 환원하기 위해, 무게 $1/2$ 인 섹션 쌍을 무게 1인 단일 섹션으로 대체함으로써, $\mathbb{P}^1$ 상의 차수 계산을 통해 네파성을 최종적으로 검증한다.

실험 결과

연구 질문

• RQ1 임의의 가중 벡터 $\mathcal{A}$ 에 대해 Hassett의 모듈리 공간 $\overline{\mathcal{M}}_{g,\mathcal{A}}$ 는 $\overline{\mathcal{M}}_{g,n}$ 의 로그 캐논리컬 모델인가?
• RQ2 $\overline{\mathcal{M}}_{0,n}$ 의 GIT 콘에 속한 모든 다항식은 네파 콘에 포함되는가?
• RQ3 $\overline{\mathcal{M}}_{0,n}$ 의 네파 콘과 GIT 콘은 일치하는가?
• RQ4 $\overline{\mathcal{M}}_{0,6}$ 에서 다항식 $2\Delta_{\text{nodal}} - \psi$ 는 네파임인가?
• RQ5 $\overline{\mathcal{M}}_{0,(1,1,1/2,1/2)}$ 의 보편 가정 위에서 $\frac{2}{3}\psi + \frac{2}{3}\Delta_s - \Delta_{\text{nodal}}$ 의 차수는 얼마인가?

주요 결과

• 임의의 가중 벡터 $\mathcal{A} \in (0,1]^n \cap \mathbb{Q}^n$ 에 대해 $\overline{\mathcal{M}}_{g,\mathcal{A}}$ 의 계수 모듈리 공간은 $\overline{\mathcal{M}}_{g,n}$ 의 로그 캐논리컬 모델이며, 이는 Hassett(2003)의 문제 7.1을 해결한다.
• 보편 가정 위의 총 공간 $\mathcal{C}$ 상에서 선다발 $\omega_\pi + \sum a_i \sigma_i$ 는 네파임을 보이며, 이는 모든 종수에 대해 유효한 기본적인 추론을 통해 증명되었고, 이 과정에서 차수가 0인 곡선도 식별된다.
• GIT 콘에 속한 모든 다항식이 네파 콘에 포함됨을 보여주는 Proposition 5.1을 통해, [2], [5], [14] 의 결과를 확장한다.
• $\overline{\mathcal{M}}_{0,6}$ 에서 다항식 $2\Delta_{\text{nodal}} - \psi$ 는 총 공간의 구조에 대한 사례 분석과 교차 이론을 통해 네파임임을 입증한다.
• $n \geq 3$ 에 대해 $A(x_1,\dots,x_n) = -\frac{n-2}{2} \sum x_i \psi_i$ 는 $\overline{\mathcal{M}}_{0,n}$ 에서의 GIT 균형화를 타우토로지컬 클래스로 표현하는 식으로, 유효하다.
• $\overline{\mathcal{M}}_{0,(1,1,1/2,1/2)}$ 의 보편 가정 위에서 $\frac{2}{3}\psi + \frac{2}{3}\Delta_s - \Delta_{\text{nodal}}$ 의 차수는 0이며, 이는 이 경우의 네파성을 확인한다.