[논문 리뷰] A presentation for the Cox ring of $\overline{M}_{0,6}$

Martha Bernal Guillén, Diane Maclagan|arXiv (Cornell University)|2017. 12. 21.

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

한 줄 요약

이 논문은 6개의 표본점을 가진 생애 곡선의 성질을 고려한 컴actified Deligne-Mumford 스택 $\overline{M}_{0,6}$의 Cox 링에 대한 생성집합을 제시한다. 경계 디바이저와 Keel-Vermeire 디바이저에서의 영차수 계산을 통해 Cox 링의 관계에 대한 행렬 표현을 확립하며, 행렬 $\tilde{R}$이 디바이저 클래스를 나타내는 행렬 $A$의 핵에 대한 기저를 이룬다는 것을 증명함으로써 링의 구조를 완전히 묘사한다.

ABSTRACT

We compute the relations in the Cox ring of the moduli space $\overline{M}_{0,6}$. This gives a presentation of the Cox ring as a quotient of a polynomial ring with 40 generators by an ideal with 225 generators that come in 5 symmetry classes.

연구 동기 및 목표

• 6개의 표본점을 가진 생애 곡선의 모듈리 공간인 $\overline{M}_{0,6}$의 Cox 링에 대한 완전한 생성자 집합과 관계 집합을 결정하는 것.
• 디바이저 클래스의 행렬 표현을 통해 $\overline{M}_{0,6}$의 Picard 군의 구조를 기술하는 것.
• 행렬 $\tilde{R}$이 $\operatorname{Pic}(\overline{M}_{0,6})$ 내의 경계 디바이저와 Keel-Vermeire 디바이저를 나타내는 행렬 $A$의 핵에 대한 기저를 이룬다는 것을 입증하는 것.
• 유리 함수 $z_{ij}$와 $f_\tau$ 간의 관계가 디바이저 클래스 행렬 $A$의 핵과 정확히 일치한다는 것을 증명하는 것.
• 경계 디바이저 $\nu_{ij}$와 점 $Q_\tau$에서의 영차수 데이터를 이용하여 Cox 링의 구체적인 표현을 제공하는 것.

제안 방법

• 저자들은 $\overline{M}_{0,6}$ 내의 경계 디바이저 $\nu_{ij}$와 점 $Q_\tau$에서 유리 함수 $z_{ij}$와 $f_\tau$의 영차수를 계산한다.
• 주로 디바이저가 Picard 군 내에서 자명한 클래스를 가진다는 사실을 이용하여 디바이저 클래스의 선형 조합을 0으로 등치한다.
• 행렬 $A$는 $\operatorname{Pic}(\overline{M}_{0,6})$ 내의 경계 디바이저와 Keel-Vermeire 디바이저의 대표 원소로부터 구성된다.
• 행렬 $\tilde{R}$은 항등행렬 블록과 영행렬 블록을 가진 블록 구조를 지닌다. 이 행렬의 행들이 행렬 $A$의 핵을 생성함을 보여준다.
• 네 가지 핵심적인 영차수 조건을 검증하는 방식으로 증명이 진행된다: $z_{ij}$가 $\delta_{kl}$에서의 영차수, $f_\pi$가 $\delta_{kl}$에서의 영차수, $z_{ij}$가 $Q_\pi$에서의 영차수, $f_{\pi'}$가 $Q_\pi$에서의 영차수.
• 최종 단계에서 실제 영차수 행렬 $R$이 $\tilde{R}$과 일치함을 확인함으로써, $\tilde{R}$이 $A$의 핵을 생성함을 증명한다.

실험 결과

연구 질문

• RQ1 What is a complete set of generators and relations for the Cox ring of $\overline{M}_{0,6}$?
• RQ2 How do the rational functions $z_{ij}$ and $f_\pi$ behave under restriction to boundary divisors and special points?
• RQ3 What is the structure of the kernel of the matrix $A$ that represents divisor classes in $\operatorname{Pic}(\overline{M}_{0,6})$?
• RQ4 Can the relations among the divisor classes be fully captured by a matrix derived from order of vanishing data?
• RQ5 Is the matrix $\tilde{R}$ a basis for the kernel of $A$, and does it fully describe the Cox ring presentation?

주요 결과

• 행렬 $\tilde{R}$은 항등행렬 블록과 영행렬 블록을 가진 블록 구조를 지닌다. 이 행렬은 $\operatorname{Pic}(\overline{M}_{0,6})$ 내의 디바이저 클래스를 나타내는 행렬 $A$의 핵에 대한 기저를 이룬다.
• $z_{ij}$가 $\delta_{kl}$에서의 영차수는 $\{i,j\} = \{k,l\}$일 경우 1이고, 그 외의 경우 0이다. 이는 $z_{ij}$가 관계를 생성하는 데서의 역할를 확인한다.
• $f_\pi$가 $\delta_{kl}$에서의 영차수는 $\mathcal{E}$에 속하는 모든 $\{k,l\}$에 대해 0이다. 이는 $f_\pi$가 경계 디바이저를 따라 영이 되지 않음을 보여준다.
• $z_{ij}$가 $Q_\pi$에서의 영차수는 $\mathcal{E}$에 속하는 모든 $\{i,j\}$에 대해 0이다. 이는 $z_{ij}$가 점 $Q_\pi$에서 영이 되지 않음을 나타낸다.
• $f_{\pi'}$가 $Q_\pi$에서의 영차수는 $\pi = \pi'$일 경우 1이고, 그 외의 경우 0이다. 이는 $f_\pi$가 디바이저 $Q_\pi$를 정의함을 확인한다.
• 실제 영차수 행렬 $R$이 $\tilde{R}$과 일치함을 증명함으로써, $\tilde{R}$이 $A$의 핵을 생성하며, 따라서 Cox 링의 관계를 완전히 묘사함을 입증한다.