[논문 리뷰] Contractible Extremal Rays on \overline{M}_{0,n}

Seán Keel, James McKernan|ArXiv.org|1996. 07. 07.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 30

한 줄 요약

이 논문은 모듈리 공간 $\overline{M}_{0,n}$ 의 곡선의 코너 안에서 모든 수축 가능한 극단선은 특정 조건 하에서 필수 곡선—즉, 열화된 구성이 있는 안정적인 $n$-점이 있는 유리 곡선에 대응하는 유리 곡선—에 의해 생성됨을 증명한다. 또한 $n \leq 11$ 일 때, $\widetilde{M}_{0,n}$ (대칭군에 의한 몫) 의 곡선의 코너는 유리 다면체이며 필수 곡선에 의해 생성되며, 이는 풍울의 추측이 효과적인 사이클이 필수 사이클에 의해 생성됨을 확인하는 핵심 사례임을 보여준다.

ABSTRACT

We consider the cones of curves and divisors on the moduli space of stable pointed rational curves,M_n, and on the quotient by the symmetric group, Q_n, which is a moduli space of pairs. We find generators for contractible extremal rays of the cone of curves NE_1(M_n), and for the cone of divisors NE^1(Q_n). This second cone turns out to be simplicial. We give complete descriptions of NE_1(M_n) and NE_1(Q_n) for small n (< 8 in the first case, < 11 in the second). We also have results of independent interest on when curves in a divisor generate the cone of curves of the ambient variety.

연구 동기 및 목표

• 풍울의 추측에서 제기된 바와 같이, $\overline{M}_{0,n}$ 의 곡선의 코너에 있는 모든 극단선이 필수 곡선에 의해 생성되는지 조사하는 것.
• $\overline{M}_{0,n}$ 에 대한 대칭군에 의한 몫인 $\widetilde{M}_{0,n}$ 의 곡선의 코너가 유리 다면체이면서 필수 곡선에 의해 생성되는지 결정하는 것.
• $n \leq 11$ 일 때, $\widetilde{M}_{0,n}$ 의 곡선의 코너의 모든 면이 수축 가능함을 검증하는 것—비록 반표준 클래스가 효과적이지 않더라도.
• $\overline{M}_{0,n}$ 에서 $\widetilde{M}_{0,n}$ 로부터 올려받은 네프 배면이 기저점 자유 정리와 로그 모리 피브리션 수축을 통해 유리 다면체 코너를 유도하는 조건을 확립하는 것.

제안 방법

• 모리-카와마타-쇼쿠로브의 코너와 수축 정리를 사용하여 음의 캐논리컬 클래스와 관련된 극단선을 분석한다.
• 모듈리 공간 $\overline{M}_{0,n}$ 의 블로우업 구조를 $\mathbb{P}^{n-3}$ 의 연속 블로우업으로서 기술하지만, 증명은 이 기술에 의존하지 않는다.
• 필수 곡선 위에서의 교차 이론을 사용하여, 경계 배면 $B_i$ 와의 교차 수를 계산하며, 공식 $C_r \cdot B_i = r$ (만약 $i = r-1$), $-(r-2)$ (만약 $i = r$), 그 외의 경우 0 이다.
• 조건 $P_n$ 을 정의하기 위해 함수 $f(a,b,c,d) = 2 - \#\{a,b,c,d \mid \text{값이 } 1\}$ 을 도입하며, 이는 네프 클래스에 대해 $\Delta_E$ 가 순수 경계임을 결정한다.
• 기저점 자유 정리를 적용하여, $K_{\overline{M}_{0,n}} + \Delta$ 가 klt 이고 네프 클래스 $E$ 의 양의 배수와 수치적으로 동치일 경우, $E$ 에 의해 지지되는 극단선 부분코너가 유리 다면체이자 수축 가능하다는 것을 보여준다.
• $\overline{M}_{0,n}$ 의 $S_n$ 에 대한 대칭성을 활용하여 $\widetilde{M}_{0,n}$ 을 정의하고, 몫 사상에 의한 필수 사이클의 상을 분석한다.

실험 결과

연구 질문

• RQ1 모든 $\overline{NE}_1(\overline{M}_{0,n})$ 의 수축 가능한 극단선이 필수 곡선에 의해 생성되는가?
• RQ2 $n \leq 11$ 일 때, $\widetilde{M}_{0,n}$ 의 곡선의 코너는 필수 곡선에 의해 생성되는 유리 다면체 구조를 갖는가?
• RQ3 네프 배면이 $\widetilde{M}_{0,n}$ 에서부터 $\overline{M}_{0,n}$ 로 올려받을 때, 그에 대응하는 극단선 부분코너가 유리 다면체이자 수축 가능한 조건은 무엇인가?
• RQ4 $P_n$ 조건—경계 배면 계수에 대한 부등식 시스템—은 관련된 $\Delta_E$ 가 순수 경계가 되는지를 특징짓는가?
• RQ5 풍울의 추측이 참인가? 즉, 모든 효과적인 곡선이 필수 곡선의 합과 선형 동치인가?

주요 결과

• $n \leq 7$ 일 때, $\overline{NE}_1(\overline{M}_{0,n})$ 의 모든 수축 가능한 극단선은 필수 곡선에 의해 생성되며, 이는 풍울의 추측의 특수한 경우를 확인한다.
• $n \leq 11$ 일 때, $\overline{NE}_1(\widetilde{M}_{0,n})$ 는 유리 다면체이며 필수 곡선의 상들에 의해 생성되며, 이는 $\widetilde{M}_{0,n}$ 이 비자명한 피브리케이션을 갖지 않음을 의미한다.
• $8 \leq n \leq 11$ 일 때 조건 $P_n$ 이 성립하며, 이는 $\widetilde{M}_{0,n}$ 에서부터 올려받은 비자명한 네프 클래스에 대해 $\Delta_E$ 가 순수 경계임을 의미하며, 극단선 부분코너의 유리 다면체 구조를 보장한다.
• $n \leq 11$ 일 때, $\widetilde{M}_{0,n}$ 는 모든 면이 수축 가능한 곡선의 코너를 지닌 비-로그 파노 다양체이며, 이러한 행동을 보이는 희귀한 예이다.
• 증명은 $K_{\overline{M}_{0,n}} + \Delta$ 가 klt 이고 $E$ 의 양의 배수와 수치적으로 동치일 경우, $\overline{NE}_1(\overline{M}_{0,n})$ 의 $E$ 에 의해 지지되는 극단선 부분코너가 유리 다면체이자 수축 가능하다는 것을 보여준다.
• 논문은 $n = 9$ 에 대해 $P_n$ 이 성립함을 $f(a,b,c,d)$ 와 $r_i$ 계수의 대칭성으로부터 유도된 부등식 시스템을 검증함으로써 입증하며, $n = 8, 10, 11$ 에 대해서도 유사한 점검을 수행한다.