[논문 리뷰] Ample divisors on moduli spaces of weighted pointed rational curves, with applications to log MMP for $\bar{M}_{0,n}$

Maksym Fedorchuk, David Ishii Smyth|arXiv (Cornell University)|2008. 10. 09.

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

한 줄 요약

이 논문은 기하학적 안정성 이론이나 양성 정리에 의존하지 않고, 교차 이론적 방법을 통해 유비쿼터스한 방법으로 $¯{M}_{0,\mathcal{A}}$가 $¯{M}_{0,n}$의 로그 캐논리컬 모델임을 특성에 관계없이 증명한다. 핵심 결과는 하세타의 로그 최소 모델 프로그램(log MMP)을 1-파라미터 가닥에 대한 명시적 양성 논증을 통해 완전히 실현한 것이다.

ABSTRACT

We introduce a new technique for proving positivity of certain divisor classes on $\bar{M}_{0,n}$ and its weighted variants. Our methods give an unconditional description of the spaces of symmetric weighted pointed rational curves as log canonical models of $\bar{M}_{0,n}$.

연구 동기 및 목표

• S_n-동차 F-예측을 가정하지 않고 $¯{M}_{0,n}$에 대한 로그 최소 모델 프로그램(log MMP)의 무조건적 증명을 제공함으로써 하세타의 프로그램을 완성한다.
• 이전 방법이 실패한 경우를 포함하여 모든 가중치 데이터 $¯{M}_{0,\mathcal{A}}$에 대해 $¯{M}_{0,\mathcal{A}}$의 프로젝티브성을 확립한다.
• 모든 $¯{M}_{0,n}$에 대해 로그 캐논리컬 섹션 링 $R(\u00af{M}_{0,n}, K_{\u00af{M}_{0,n}} + \alpha\Delta)$의 유한 생성성을 무조건적으로 증명한다.
• 공간의 프로젝티브성 또는 스킴 구조를 사전에 알 필요 없이 $¯{M}_{0,\mathcal{A}}$ 위의 딜러 클래스의 양성을 검증하는 일반적인 방법을 개발한다.

제안 방법

• 1-파라미터 가닥과 귀납적 블로우다운 수열을 사용하여 $¯{M}_{0,\mathcal{A}}$ 위의 타우토로지컬 딜러 클래스 선형 조합의 양성을 검증하는 새로운 방법을 도입한다.
• 가닥의 블로우다운 체인에 대해 함수 $G_c(i)$를 정의하여 교차 수를 추적함으로써, 앰플리튜드를 이 함수의 단조성으로 환원한다.
• 제곱합 함수를 사용하여 무게 없는 모듈리 공간에서의 양성 논증을 가중 모듈리 공간 $¯{M}_{0,\mathcal{A}}$로 일반화하며, 경계 딜러의 귀납적 구조를 활용한다.
• 모든 부분다양체가 어떤 효과적 카티에르 딜러와 적절히 만날 것을 확인함으로써, 대수적 공간에서 클라이먼의 기준을 적용함으로써, 공간이 스킴임을 가정하지 않고도 앰플리튜드를 증명할 수 있다.
• $¯{M}_{0,\mathcal{A}}$ 위에 딜러 클래스 $D_k(c)$를 구성하고, $n$에 대한 귀납법을 사용하여 편향과 블로우업 공식을 활용해 그 앰플리튜드성을 증명한다.
• $D_k(c)$가 $c > \frac{k+1}{2k}$일 때 네프임을 이용하고, 작은 편향이 양성을 유지함을 보여, 네프 콩의 내부에서 앰플리튜드가 성립함을 이끌어낸다.

실험 결과

연구 질문

• RQ1 어떤 $c$ 값에 대해 딜러 $c\psi - \Delta$는 $¯{M}_{0,n}$에서 네프이며, 언제 앰플리튜드인가?
• RQ2 모든 $\alpha \in (\frac{2}{k+2}, \frac{2}{k+1}]$에 대해 로그 캐논리컬 모델 $¯{M}_{0,n}(\alpha)$가 무조건적으로 $¯{M}_{0,\mathcal{A}}$로 표현될 수 있는가?
• RQ3 $S_n$-동차 F-예측을 가정하지 않고도 또는 GIT를 사용하지 않고 $¯{M}_{0,\mathcal{A}}$의 프로젝티브성을 확립할 수 있는가?
• RQ4 이 방법은 $¯{M}_{1,n}(m)$과 같은 다른 모듈리 공간으로 확장될 수 있으며, 이들 공간이 로그 캐논리컬 모델로 표현될 수 있는가?
• RQ5 스킴 구조를 가정하지 않고도 클라이먼의 기준이 대수적 공간에 적용될 수 있으며, 어떤 조건에서 성립하는가?

주요 결과

• $D_k(c)$는 모든 $c > \frac{k+1}{2k}$에 대해 $¯{M}_{0,\mathcal{A}}$에서 앰플리튜드이며, 이는 $S_n$-동차 F-예측에 의존하지 않는 무조건적 증명이다.
• $\mathcal{A} = \{1/k, \dots, 1/k\}$일 때 $¯{M}_{0,\mathcal{A}}$가 모든 $k$에 대해 $¯{M}_{0,n}$의 로그 캐논리컬 모델임을 보여, 하세타의 로그 MMP 프로그램을 완성한다.
• $D_k(c)$의 앰플리튜드성에 기반하여, 공간이 스킴임을 사전에 알지 못하더라도 $¯{M}_{0,\mathcal{A}}$의 프로젝티브성이 무조건적으로 확립된다.
• 모든 $\alpha \in (\frac{2}{k+2}, \frac{2}{k+1}]$에 대해 로그 캐논리컬 섹션 링 $R(\u00af{M}_{0,n}, K_{\u00af{M}_{0,n}} + \alpha\Delta)$의 유한 생성성이 무조건적으로 증명된다.
• 교차 이론을 통해 대수적 공간 위의 앰플리튜드 기준을 새로운 기준으로 제시하며, 모든 부분다양체가 어떤 효과적 카티에르 딜러와 적절히 만날 경우 클라이먼의 기준이 성립함을 보였다.
• 이 방법은 다른 모듈리 공간으로 일반화될 수 있으며, 특히 향후 연구에서 $¯{M}_{1,n}(m)$의 프로젝티브성과 로그 캐논리컬 모델 구조를 동일한 기법으로 증명할 것으로 기대된다.