[논문 리뷰] The Cox Ring of $\bar{M}_{0,6}$

Ana-Maria Castravet|arXiv (Cornell University)|2007. 05. 01.

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

한 줄 요약

이 논문은 $ \overline{M}_{0,6}$의 코크스 링이 경계 디바이저와 키엘-버메이어 디바이저에 대응하는 절단들에 의해 유한 생성됨을 증명한다—이는 $ \overline{M}_3$에서의 히페르엘리프틱 다양체의 역상으로서 $ \overline{M}_{0,6} \to \overline{M}_3$의 사상에 의해 세 쌍의 표시된 점을 식별하는 것이다. 이 결과는 하사엣트와 브라인켈의 $ \overline{M}_{0,6}$의 유효 콧뿔의 구조에 대한 묘사가 이 디바이저들에 의해 생성됨을 확인하는 자가 포함된 대수적 증명을 제공한다.

ABSTRACT

We prove that the Cox ring of $\bar{M}_{0,6}$, the moduli space of stable, rational curves with 6 marked points, is finitely generated by sections corresponding to the boundary divisors and divisors which are pull-backs of the hyperelliptic locus in $\bar{M}_3$, the moduli space of stable, genus 3 curves, via morphisms that send a 6-pointed rational curve to a curve with 3 nodes by identifying 3 pairs of points. In particular, this gives a self-contained proof of Hassett and Tschinkel's result about the effective cone of $\bar{M}_{0,6}$ being generated by the above mentioned divisors.

연구 동기 및 목표

• Hu와 Keel이 $n=6$에 대해 $ \overline{M}_{0,n}$의 코크스 링의 유한 생성성에 대해 제기한 추측을 해결하기 위해.
• 하사엣트와 브라인켈의 결과—$ \overline{M}_{0,6}$의 유효 콧뿔이 경계 디바이저와 키엘-버메이어 디바이저에 의해 생성됨—에 대한 자가 포함된 대수적 증명을 제공하기 위해.
• $\overline{M}_{0,6}$의 코크스 링이 경계 디바이저 $\Lambda_{ijk}$, $E_i$, $E_{ij}$ 및 키엘-버메이어 디바이저 $Q_{(ij)(kl)}$의 절단에 의해 생성됨을 확립하기 위해.
• $\overline{M}_{0,6}$의 코크스 링의 유한 생성성을 증명함으로써, 이가 모리 드림 스페이스임을 보여주기 위해.

제안 방법

• $\overline{M}_{0,6}$를 $\mathbb{P}^3$의 다섯 점과 그들을 연결하는 선의 전이를 반복적으로 블로우업한 것으로 묘사하는 카프란프의 기술을 사용한다.
• 주요 부분다양체—평면 $\Lambda_{ijk}$와 쌍곡면 표면 $Q_{(ij)(kl)}$—에 대한 디바이저 $D = dH - \sum m_i E_i - \sum m_{ij} E_{ij}$ 의 제약을 분석한다.
• 일반적이지 않은 일곱 점에서의 $\mathbb{P}^2$의 블로우업에서 유도된 다중도 추정과 부등식을 적용하여 유효 디바이저 클래스를 제약한다.
• 제약 공식을 사용하여 $D|_{\Lambda_{ijk}}$ 및 $D|_{Q_{(ij)(kl)}}$ 을 각각 표면 위의 초평면 및 예외적 디바이저로 표현한다.
• 블로우업된 $\mathbb{P}^2$ 위의 유효 디바이저에 대한 보조정리 7.3을 적용하여 유효 제약을 위한 필수 부등식을 유도한다.
• 여러 부분다양체에 대한 제약을 조합하여 코크스 링 내 유효 디바이저 클래스를 특징짓는 부등식계를 유도한다.

실험 결과

연구 질문

• RQ1 코크스 링 $ \overline{M}_{0,6}$ 는 유한 생성되는가? 만약 그렇다면, 어떤 명시적 절단에 의해 생성되는가?
• RQ2 경계 디바이저와 키엘-버메이어 디바이저는 $ \overline{M}_{0,6}$ 의 유효 콧뿔을 생성하는가?
• RQ3 컴퓨터 점검에 의존하지 않고 $ \overline{M}_{0,6}$ 의 코크스 링의 유한 생성성을 확립할 수 있는가?
• RQ4 $\overline{M}_{0,6}$ 이 명시적 생성자들에 의해 생성된 코크스 링을 가진다 하면, 이는 모리 드림 스페이스의 구조를 따르는가?
• RQ5 키엘-버메이어 디바이저—$ \overline{M}_3$에서의 히페르엘리프틱 다양체의 역상—는 코크스 링을 생성하는 데에 충분한가?

주요 결과

• $\overline{M}_{0,6}$의 코크스 링은 경계 디바이저 $\Lambda_{ijk}$, $E_i$, $E_{ij}$ 및 키엘-버메이어 디바이저 $Q_{(ij)(kl)}$ 에 대응하는 절단들에 의해 유한 생성된다.
• $D$ 를 각각의 $\Lambda_{ijk}$ 에 제약하면, $d \geq m_i + m_{jk}$, $d \geq m_{ij} + m_{ik} + m_{jk} + m_{uv}$, 및 $2d \geq m_i + m_j + m_k + m_{uv}$ 와 같은 부등식이 유도되며, 이는 유효성을 보장한다.
• $D$ 를 각각의 $Q_{(ij)(kl)}$ 에 제약하면, $2d \geq m_5 + m_{13} + m_{14} + m_{23} + m_{24}$ 와 $2d \geq m_1 + m_5 + m_{23} + m_{24}$ 와 같은 부등식이 유도되며, 이는 유효성에 필수적이다.
• 이 증명은 코크스 링의 유한 생성성을 증명함으로써 $\overline{M}_{0,6}$ 이 모리 드림 스페이스임을 확인한다.
• 이 결과는 하사엣트와 브라인켈의 $ \overline{M}_{0,6}$ 의 유효 콧뿔에 대한 묘사—특정 디바이저들에 의해 생성됨—에 대한 자가 포함된 비컴퓨터 기반 증명을 제공하며, 이 디바이저들이 실제로 생성함을 확인한다.
• $\Lambda_{ijk}$ 와 $Q_{(ij)(kl)}$ 와 같은 부분다양체에 대한 제약 방법은 코크스 링 내 모든 유효 디바이저 클래스를 성공적으로 특징짓는다.