[논문 리뷰] Moduli spaces of weighted pointed stable rational curves via GIT

Young‐Hoon Kiem, Han‐Bom Moon|arXiv (Cornell University)|2010. 02. 12.

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

한 줄 요약

이 논문은 대칭 선형화를 갖는 GIT 몫 $(\bar{P}^1)^n//SL(2)$ 에서 출발하여, $n$-점 가진 안정적 유리 곡선의 모듈리 공간 $\bar{M}_{0,n}$ 을 명시적인 블로우업의 열로 구성한다. 각 중간 공간이 가중치가 부여된 점이 있는 안정 곡선의 모듈리 공간 $\bar{M}_{0,n\cdot\epsilon_k}$ 와 대응됨을 증명하며, Simpson의 로그 캐논리컬 모델에 대한 정리에 대해 풍부한 조건 없이 새로운 증명을 제공하고, 이러한 공간들의 피카르 군에 대한 명시적 기저를 제시한다.

ABSTRACT

We construct the Mumford-Knudsen space of n pointed stable rational curves by a sequence of explicit blow-ups from the GIT quotient (P^1)^n//SL(2) with respect to the symmetric linearization O(1,...,1). The intermediate blown-up spaces turn out to be the moduli spaces of weighted pointed stable curves for suitable ranges of weights. As an application, we provide a new unconditional proof of M. Simpson's Theorem about the log canonical models of the Mumford-Knudsen space. We also give a basis of the Picard group of the moduli spaces of weighted pointed stable curves.

연구 동기 및 목표

• 대칭 선형화를 갖는 GIT 몫 $(\bar{P}^1)^n//SL(2)$ 에서 출발하여, 명시적인 블로우업을 통해 모듈리 공간 $\bar{M}_{0,n}$ 의 기하적 구성법을 제공한다.
• 각 중간 블로우업이 특정 $\epsilon_k$ 범위에 대해 가중치가 부여된 점이 있는 안정 곡선의 모듈리 공간 $\bar{M}_{0,n\cdot\epsilon_k}$ 를 유도함을 보인다.
• Fulton의 추측에 의존하지 않고, M. Simpson의 $\bar{M}_{0,n}$ 의 로그 캐논리컬 모델에 대한 정리에 대해 새로운 조건 없는 증명을 제시한다.
• $k$ 에 대해 각 $\bar{M}_{0,n\cdot\epsilon_k}$ 의 피카르 군에 대한 명시적 기저를 계산한다.

제안 방법

• 구성은 대칭 선형화를 갖는 GIT 몫 $(\bar{P}^1)^n//SL(2)$ 에서 출발하여, 점점 더 높은 안정성 조건을 갖는 가중치가 부여된 안정 곡선의 국소를 중심으로 하는 블로우업의 열로 진행된다.
• 블로우업의 중심은 동일한 차원을 갖는 매끄러운 부분다양체들의 교차합집합이며, 이는 블로우업 순서에 관계없이 결과가 동일함을 보장한다.
• 저자들은 Mustata와 Mustata의 $k$-안정성 조건을 사용하여 중간 모듈리 공간 $F_k$ 를 정의하며, 이는 $(\bar{P}^1)^n$ 을 교차하는 부분다양체들에 대한 반복 블로우업으로 구성된다.
• 이러한 $F_k$ 의 $SL(2)$ 에 대한 GIT 몫은 원하는 모듈리 공간 $\bar{M}_{0,n\cdot\epsilon_k}$ 을 얻으며, 선형화는 내림내림을 통해 올린다.
• 각 $\bar{M}_{0,n\cdot\epsilon_k}$ 의 피카르 군은 블로우업에서 유도된 당김과 특이 초면들을 이용해 귀납적으로 계산된다.
• Simpson의 정리의 증명은 블로우업 구조에서 직접 유도된 핵심 초면의 강한 약화를 기반으로 하며, Fulton의 추측에 의존하지 않는다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\bar{M}_{0,n}$ 은 대칭 선형화를 갖는 GIT 몫 $(\bar{P}^1)^n//SL(2)$ 에서 출발하여 명시적인 블로우업의 열로 구성될 수 있는가?
• RQ2 이 블로우업 열의 중간 공간들이 적절한 $\epsilon_k$ 에 대해 Hassett의 가중치가 부여된 점이 있는 안정 곡선의 모듈리 공간 $\bar{M}_{0,n\cdot\epsilon_k}$ 와 대응되는가?
• RQ3 이 구성법을 통해 $\bar{M}_{0,n}$ 의 로그 캐논리컬 모델에 대한 Simpson의 정리를 조건 없이 증명할 수 있는가?
• RQ4 $k$ 에 대해 각 $\bar{M}_{0,n\cdot\epsilon_k}$ 의 피카르 군에 대한 명시적 기저는 무엇인가?
• RQ5 블로우업 중심의 구조는 가중치가 부여된 점이 있는 안정 곡선의 안정성 조건과 어떻게 관련이 있는가?

주요 결과

• $\bar{M}_{0,n}$ 은 $(\bar{P}^1)^n//SL(2)$ 에서 출발하는 블로우업의 열로 표현되며, 각 단계는 $\frac{1}{m+1-k} < \epsilon_k \leq \frac{1}{m-k}$ 범위의 $\epsilon_k$ 에 대해 모듈리 공간 $\bar{M}_{0,n\cdot\epsilon_k}$ 와 대응된다. 여기서 $m = \lfloor n/2 \rfloor$ 이다.
• 만약 $n$ 이 짝수이면, 마지막 블로우업은 GIT 몫의 특이점에 대해 수행되며, 이는 $\frac{1}{2}\binom{n}{m}$ 개의 점으로 이루어져 있으며, 이는 Kirwan의 부분 특이점 제거를 얻는다.
• $\varphi_k: \bar{M}_{0,n\cdot\epsilon_k} \to \bar{M}_{0,n\cdot\epsilon_{k-1}}$ 의 수축 사상은 매끄러운 부분다양체들의 교차합집합에 대한 블로우업이며, 이는 기저가 되는 기하적 구조로 분해된다.
• $\mathrm{Pic}(\bar{M}_{0,n\cdot\epsilon_k})$ 는 $\mathrm{Pic}(\bar{M}_{0,n\cdot\epsilon_{k-1}})$ 의 당김과 $|S| = m-k+1$ 인 예외적 초면 $D_k^S$ 가 생성하는 자유 아벨군의 합과 동형이며, 명시적 기저는 $D_k^S$ 와 $D_k^{\{i,i+1\}}$ 또는 $D_k^{\{1,n-1\}}$ 로 주어진다.
• $n$ 이 홀수이면, $\mathrm{Pic}(\bar{M}_{0,n\cdot\epsilon_k}) \cong \bigoplus_{|S|=m-k+1} \mathbb{Z} D_k^S \oplus \bigoplus_{i=1}^{n-1} \mathbb{Z} D_k^{\{i,i+1\}}$ 이고, $n$ 이 짝수이면 추가로 $D_1^{\{1,n-1\}}$ 과 $1 \in S$, $|S| = m$ 인 $D_1^S$ 가 포함된다.
• 논문은 Simpson의 정리에 대해 새로운 조건 없는 증명을 제공한다: $\frac{2}{n-1} < \alpha \leq 1$ 이면, $\frac{2}{m-k+2} < \alpha \leq \frac{2}{m-k+1}$ 일 때 로그 캐논리컬 모델 $\bar{M}_{0,n}(\alpha)$ 는 $\bar{M}_{0,n\cdot\epsilon_k}$ 와 동형이며, $\alpha \leq \frac{2}{m+1}$ 이면 $(\bar{P}^1)^n//SL(2)$ 의 GIT 몫과 동형이다.