[논문 리뷰] Nef divisors on $\bar{M}_{0,n}$ from GIT

Valery Alexeev, David Swinarski|arXiv (Cornell University)|2008. 12. 03.

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

한 줄 요약

이 논문은 $ \overline{M}_{0,n}$의 모듈리 공간 위의 GIT 콘을 도입하며, $(\mathbb{P}^1)^n//SL(2)$의 자연스러운 앰플 라인 번들의 역상으로 생성되며, $F$-곡선과의 교차를 명시적인 공식으로 제공한다. 이는 시몬스의 로그 캐논리컬 모델이 가중 안정 곡선 또는 대칭 GIT 몫으로 실현되며, $S_n$-동차 터널러 플라우트 추측에 의존하지 않고도 성립함을 증명한다.

ABSTRACT

We introduce and study the GIT CONE of $\bar{M}_{0,n}$, which is generated by the pullbacks of the natural ample line bundles on the GIT quotients $(\mathbb P^1)^n//SL(2)$. We give an explicit formula for these line bundles and prove a number of basic results about the GIT cone. As one application, we prove unconditionally that the log canonical models of $\bar{M}_{0,n}$ with a symmetric boundary divisor coincide with the moduli spaces of weighted curves or with the symmetric GIT quotient, extending the result of Matt Simpson arXiv:0709.4037. (Cf. also a different proof by Fedorchuk and Smyth arXiv:0810.1677)

연구 동기 및 목표

• 모듈리 공간 $\overline{M}_{0,n}$의 네프 콘 안에서 $(\mathbb{P}^1)^n//SL(2)$의 앰플 라인 번들의 역상으로 생성되는 GIT 콘 $\mathbf{GC}$ 를 정의하고 연구한다.
• 이 라인 번들의 $F$-곡선과의 교차를 명시적인 공식으로 제공함으로써, GIT 콘의 유한 생성성을 가능하게 한다.
• 이러한 라인 번들의 대칭 합으로 생성되는 대칭화된 GIT 콘 $\mathbf{SGC}$ 가 대칭 네프 콘보다 엄밀히 작다는 것을 보인다.
• 시몬스의 $\overline{M}_{0,n}$의 로그 캐논리컬 모델에 대해 대칭 경계 디바이저를 갖는 경우를 $S_n$-동차 터널러 플라우트 추측에 의존하지 않고 재증명한다.
• GIT 라인 번들과 등각 블록 사이의 연결 고리를 설정하며, 모든 $L_{{\mathbf{x}}}$ 가 등각 블록 번들의 행렬식으로서 나타남을 보인다.

제안 방법

• 모든 $x_i < 1$ 이고 $\sum x_i = 2$ 를 만족하는 유리수 벡터 $\mathbf{x} \in \mathbb{Q}^n$ 를 정의하여 $(\mathbb{P}^1)^n$ 에서의 $SL(2)$ 작용의 선형화를 매개변수화한다.
• $(\mathbb{P}^1)^n//_{\mathbf{x}}SL(2)$ 위의 라인 번들 $\mathcal{L}_{{\mathbf{x}}}$ 를 선형화에서 유도되는 특징적인 앰플 라인 번들로 구성한다.
• $\pi_{{\mathbf{x}}}: \overline{M}_{0,n} \to (\mathbb{P}^1)^n//_{\mathbf{x}}SL(2)$ 의 비분기 동형을 통해 $\mathcal{L}_{{\mathbf{x}}}$ 를 당겨 $L_{{\mathbf{x}}} = \pi_{{\mathbf{x}}}^* \mathcal{L}_{{\mathbf{x}}}$ 를 정의하며, 이는 모든 $x_i < 1$ 일 때 네프이자 빅이다.
• $L_{{\mathbf{x}}} \cdot F_{a,b,c,d}$, 즉 $L_{{\mathbf{x}}}$ 와 각각의 $F$-곡선과의 교차를 명시적인 공식으로 유도함으로써, GIT 콘의 극단적 반사들을 계산할 수 있다.
• $S_n$-작용을 이용해 대칭화된 라인 번들 $S_{{\mathbf{x}}} = \bigotimes_{\sigma \in S_n} L_{\sigma \mathbf{x}}$ 와 대칭화된 GIT 콘 $\mathbf{SGC}$ 를 정의하고 연구한다.
• 시몬스의 디바이저 $A_\alpha$ 가 $L_{{\mathbf{x}}}$ 의 효과적 조합으로 표현됨을 보이며, 이는 그 네프성의 조건 없는 증명과 $\overline{M}_{0,\beta}$ 에서의 앰플리티스를 보여준다.

실험 결과

연구 질문

• RQ1 시몬스의 $\overline{M}_{0,n}$ 의 로그 캐논리컬 모델이 대칭 경계 디바이저를 갖는 경우, $S_n$-동차 터널러 플라우트 추측을 가정하지 않고도 가중 안정 곡선 $\overline{M}_{0,\beta}$ 또는 대칭 GIT 몫으로 실현될 수 있는가?
• RQ2 GIT 라인 번들 $L_{{\mathbf{x}}}$ 와 $\overline{M}_{0,n}$ 의 $F$-곡선과의 정확한 교차 이론은 무엇이며, 이는 GIT 콘의 구조를 어떻게 결정하는가?
• RQ3 대칭화된 GIT 콘 $\mathbf{SGC}$ 는 전체 대칭 네프 콘과 어떻게 비교되는가? 그리고 전체 대칭 네프 콘의 모든 극단적 반사들을 포괄하는가?
• RQ4 시몬스의 디바이저 $A_\alpha$ 는 $L_{{\mathbf{x}}}$ 의 효과적 조합으로 표현될 수 있는가? 이를 통해 $S_n$-동차 터널러 플라우트 추측에 의존하지 않고 네프성을 증명할 수 있는가?
• RQ5 GIT 라인 번들 $L_{{\mathbf{x}}}$ 와 $\overline{M}_{0,n}$ 에서의 등각 블록 번들 사이의 관계는 무엇이며, 모든 $L_{{\mathbf{x}}}$ 가 등각 블록의 행렬식으로서 나타나는가?

주요 결과

• 논문은 $L_{{\mathbf{x}}}$ 와 각 $F$-곡선과의 교차를 명시적인 공식으로 제공하며, 이는 0차원 세포를 통한 GIT 콘 $\mathbf{GC}$ 의 유한 생성을 가능하게 한다.
• $n \geq 6$ 일 때, GIT 콘 $\mathbf{GC}$ 는 $\overline{M}_{0,n}$ 의 전체 네프 콘보다 엄밀히 작다. 이는 $L_{{\mathbf{x}}}$ 가 전체 모리 이론을 생성하지 못함을 나타낸다.
• 대칭화된 GIT 콘 $\mathbf{SGC}$ 는 대칭 네프 콘보다 엄밀히 작다. 이는 $L_{{\mathbf{x}}}$ 의 대칭 합이 모든 대칭 네프 디바이저를 포괄하지 못한다는 것을 보여준다.
• 시몬스의 디바이저 $A_\alpha$ 는 $L_{{\mathbf{x}}}$ 의 효과적 조합으로 표현됨을 보이며, 이는 그 네프성의 조건 없는 증명과 $S_n$-동차 터널러 플라우트 추측에 의존하지 않는다는 것을 보여준다.
• $\overline{M}_{0,8}$ 에서의 라인 번들 $V(\frac{1}{6},8)$ 이 $F_{2,2,2,2}$ 곡선에서 0이지만, 어떤 대칭 $\pi_\beta$ 에서도 수축되지 않음을 보이며, 이는 이 라인 번들이 어떤 $\overline{M}_{0,\beta}$ 에도 올라가지 않음을 의미한다. 따라서 $V(\frac{1}{6},8)$ 이나 어떤 $\overline{M}_{0,\beta}$ 에서도 앰플리티스가 아님을 보여준다.
• 모든 $L_{{\mathbf{x}}}$ 는 등각 블록 번들의 배수로 식별된다: 구체적으로 $\mathbf{x} = \frac{1}{\ell+1} \vec{\lambda}$ 일 때 $L_{{\mathbf{x}}}$ 는 $\det \mathbb{V}(\mathfrak{sl}_2, \ell, \vec{\lambda})$ 의 배수이며, $x_i = \frac{y_i}{\ell+1}$ 일 때 $\mathbb{V}(\mathfrak{sl}_{\ell+1}, 1, \vec{\lambda})$ 의 배수이다.