[논문 리뷰] On Log Canonical Models of the Moduli Space of Stable Pointed Curves

Matthew J. Simpson|ArXiv.org|2007. 09. 25.

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

한 줄 요약

이 논문은 풍성한 추측에 기반하여, $\overline{\mathbf{M}}_{0,n}$의 로그 캐논리컬 모델이 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$에 대해 대칭적인 가중치를 가진 가중 안정 곡선의 모듈리 공간과 동형임을 규명한다. 핵심 결과는 $\alpha$가 특정 범위에 있을 경우 로그 캐논리컬 모델이 가중 안정 곡선 공간과 비라션적임을 보이며, 분할 긍정성과 절단 링의 유한 생성성에 의해 명시적인 기하학적 실현이 가능하다.

ABSTRACT

We study the log canonical models of the moduli space MBar_{0,n} of pointed stable genus zero curves with respect to the standard log canonical divisors K+aD, where D denotes the boundary. In particular we show that, as a formal consequence of a conjecture by Fulton regarding the ample cone of MBar_{0,n}, these log canonical models are equal to certain of Hassett's weighted pointed curve spaces.

연구 동기 및 목표

• 안정된 지수 0 곡선의 모듈리 공간 $\overline{\mathbf{M}}_{0,n}$에 대한 로그 캐논리컬 모델의 구조를 규명하는 것.
• K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$에 관련된 로그 캐논리컬 모델이 대칭 가중치를 가진 가중 안정 곡선의 모듈리 공간과 관련이 있음을 밝히는 것.
• 분할 긍정성에 의해 $\bigoplus_{n\geq 0} \Gamma(n(K_{\overline{\mathbf{M}}_{0,n}} + \alpha D))$의 절단 링의 유한 생성성을 확립하는 것.
• Fulton의 추측에 기반하여 $\alpha$가 특정 범위에 있을 경우 로그 캐논리컬 모델이 가중 안정 곡선 모듈리 공간과 동형임을 증명하는 것.
• 대칭군 $\mathfrak{s}_n$--equivariant 네프 콩의 $A_\alpha$ 분할 주변의 구조를 분석하고, 큰 $n$에 대해 단순체적 안정화가 일어남을 보이는 것.

제안 방법

• Kawamata의 기본점 자유 정리에 의해, $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$가 네프이자 크다면 절단 링 $\bigoplus_{n\geq 0} \Gamma(n(K_{\overline{\mathbf{M}}_{0,n}} + \alpha D))$의 유한 생성성을 보장한다.
• 전역 절단의 관계를 유도하기 위해, $f: X \to Y$에서 $f_*\mathcal{O}_X = \mathcal{O}_Y$를 만족하는 비라션 사상 $f$를 적용하여, $f^*D + F$의 전역 절단이 원래 절단과 일치함을 보인다. 여기서 $F$는 $f$에 의해 수축되는 효과적 분할이다.
• 분할 $D_j$를 사용하여 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$를 표현하며, 공식 $K_{\overline{\mathbf{M}}_{0,n}} = \sum_{j=2}^{\lfloor n/2 \rfloor} D_j \cdot \frac{(j-2)(n-1) - j(j-1)}{n-1}$을 사용한다.
• Fulton의 $\overline{\mathbf{M}}_{0,n}$의 풍성한 콩에 대한 추측에 기반하여, 로그 캐논리컬 모델이 대칭 가중치를 가진 가중 안정 곡선의 모듈리 공간과 동형임을 유도한다.
• 면 $F_k$를 연구함으로써 $\mathfrak{s}_n$-equivariant 네프 콩을 분석하고, 큰 $n$에 대해 선형 방정식으로 정의된 분할 클래스에 기반한 정점 $p_k$를 통해 단순체적 안정화가 일어남을 보인다.
• 분할 $a+b+c+d=n$에 대응하는 곡선과의 교차수를 계산하여, $k \geq n/3$일 때 정점 $p_k$가 $F$-네프임을 증명한다. 모든 경우에서 비음성임을 검증한다.

실험 결과

연구 질문

• RQ1 언제 로그 캐논리컬 모델이 $\overline{\mathbf{M}}_{0,n}$의 대칭 가중치를 가진 가중 안정 곡선 모듈리 공간과 동형이 되는가?
• RQ2 절단 링 $\bigoplus_{n\geq 0} \Gamma(n(K_{\overline{\mathbf{M}}_{0,n}} + \alpha D))$의 유한 생성성은 가중 안정 곡선의 기하학과 어떻게 관련이 있는가?
• RQ3 $\alpha \in (0,1)$일 때, $A_\alpha$ 분할 주변의 $\mathfrak{s}_n$-equivariant 네프 콩의 구조는 어떠한가?
• RQ4 어느 $\alpha$ 값에 대해 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$가 네프이자 크기이며, 로그 캐논리컬 모델의 존재를 보장하는가?
• RQ5 큰 $n$에 대해 네프 콩의 면 $F_k$는 단순체인가? 만약 그렇다면 어떤 조건에서 성립하는가?

주요 결과

• Fulton의 풍성한 콩에 대한 추측이 성립할 경우, $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$에 관련된 로그 캐논리컬 모델은 대칭 가중치를 가진 가중 안정 곡선의 모듈리 공간과 동형이다.
• $\alpha \geq \frac{2}{n-1}$일 때, 분할 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$는 효과적이고 크며, $\alpha < 1$일 경우 로그 캐논리컬이다.
• $\alpha \in [7/10, 1]$일 때 절단 링 $\bigoplus_{n\geq 0} \Gamma(n(K_{\overline{\mathbf{M}}_{0,n}} + \alpha D))$는 유한 생성되며, 일부 경우에서 기하학적 불변량 이론을 통해 명시적인 구성이 가능하다.
• 충분히 큰 $n$에 대해 $k \geq \lfloor n/2 \rfloor - t$일 때 $\mathfrak{s}_n$-equivariant 네프 콩의 면 $F_k$는 단순체이며, $n \geq 8$일 때 안정화가 관찰된다.
• F-단순체의 정점 $p_k$는 $k \geq n/3$일 때 $F$-네프이며, 분할 $a+b+c+d=n$에 대응하는 모든 곡선 클래스와의 교차수 계산을 통해 검증된다.
• $p_k$의 $F$-필요성에 대한 기준 $k \geq n/3$는 날카로운 경계이며, $n = 3l + p$, $p \in \{1,2,3\}$인 반례를 통해 $p_{\lfloor n/2 \rfloor - l}$이 곡선과 음수 교차수를 가짐을 보여준다.