[논문 리뷰] The intermediate type of certain moduli spaces of curves

Gavril Farkas, Alessandro Verra|ArXiv.org|2009. 10. 20.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 9

한 줄 요약

이 논문은 곡선의 모듈리 공간에서 중간 칸타타 차원을 가진 첫 번째 알려진 예를 확립하며, 종수 8인 짝수 스피너 곡선의 모듈리 공간 $\overline{\mathcal{S}}_8^+$가 칸타타 차원 0을 가지며, 특히 칼라비-야우 유형임을 증명한다. 또한 $\overline{\mathcal{M}}_{11,11}$의 칸타타 차원이 19임을 보이며, 이는 종수 11 곡선이 종수 10 곡선보다 모듈리 이론적으로 더 복잡하다는 것을 시사한다.

ABSTRACT

A well-known principle of Mumford asserts that all moduli spaces of curves are varieties of general type, except a finite number of cases that occur for relatively small genus, when these varieties tend to be uniruled. In all known cases, the transition from uniruledness to being of general type is quite sudden. For the first time, we show that naturally defined moduli spaces of curves can have intermediate birational type. We show that the moduli space of even spin curves of genus 8 is of Calabi-Yau type. Then we prove that the 41-dimensional moduli space M_{11, 11} of 11-pointed curves of genus 11, has Kodaira dimension 19.

연구 동기 및 목표

• 짝수 스피너 곡선의 종수 8 모듈리 공간 $\overline{\mathcal{S}}_8^+$의 비유계 기하학을 해결하는 것. 이는 스피너 모듈리 공간에서 유계와 일반 유형 사이의 해결되지 않은 중간 케이스에 해당한다.
• 중간 칸타타 차원을 가진 곡선 모듈리 공간의 존재를 확립하는 것. 이는 이전 문헌에서 알려지지 않은 현상이다.
• 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$이 비음성 칸타타 차원을 가지기 위해 필요한 최소 표본점 수를 측정하는 불변량 $\zeta(g)$의 정확한 값을 결정하는 것. 특히 $g=11$의 경우에 대해.
• $\overline{\mathcal{M}}_{11,11}$의 칸타타 차원이 19임을 증명함으로써, 종수 10에서 종수 11로 넘어갈 때 복잡도가 증가하는 반직관적인 현상을 드러내는 것.
• $\overline{\mathcal{S}}_8^+$의 캐논리컬 계수가 강성임을 보이며, 이는 칸타타 차원 0임을 암시한다.

제안 방법

• 캐논리컬 계수 $K_{\overline{\mathcal{S}}_8^+}$의 효과적 대표를 명시적으로 구성함. 이는 $\theta$-널린 구역 $\overline{\Theta}_{\mathrm{null}}$, $\pi^*(\overline{\mathcal{M}}_{8,7}^2)$의 역상, 그리고 경계 구역들의 $\mathbb{Q}$-선형 조합으로서 구성한다.
• 이 분해 표현의 각 성분이 강성임을 이용하여 캐논리컬 계수가 강성임을 유추함으로써 $\kappa(\overline{\mathcal{S}}_8^+) = 0$임을 증명한다.
• canonical 곡선을 포함하는 $K3$ 표면의 기하학을 분석하기 위해 $\overline{\mathcal{M}}_8$의 무한대 기하학적 불변량(GIT) 몫으로서의 무한대 모델을 사용한다.
• $\overline{\mathcal{S}}_8^+$ 내에 존재하는 유리 곡선 $R$를 구성함. 이 곡선은 $\overline{\Theta}_{\mathrm{null}}$를 덮으며, $R \cdot \overline{\Theta}_{\mathrm{null}} = -1$이고 $R \cdot \pi^*(\overline{\mathcal{M}}_{8,7}^2) = 0$이며, 모든 경계 구역과는 무관하다.
• $\mathbb{P}^8$ 내의 랭크 4의 이차곡면에 canonical 곡선의 $K3$ 확장을 이용하여, 이 유리 곡선을 이중 타원형 $K3$ 표면을 통해 실현한다.
• 행렬식 공식과 채르 수학 계산을 적용하여 $\overline{\mathcal{M}}_{7,n}$ 상의 교차 수를 계산하며, 특히 노드 구역의 클로처 $\overline{\mathfrak{Node}}_g$에 대해 계산한다.

실험 결과

연구 질문

• RQ1 중간 칸타타 차원을 가지는 자연스럽게 정의된 곡선 모듈리 공간이 존재하는가? 즉, 유계와 일반 유형 사이의 엄밀한 중간 차원을 가지는가?
• RQ2 $\overline{\mathcal{S}}_8^+$, 즉 종수 8의 짝수 스피너 곡선의 모듈리 공간의 칸타타 차원은 무엇인가?
• RQ3 $\overline{\mathcal{M}}_{g,n}$의 모듈리 공간의 복잡도는 $n$에 따라 어떻게 증가하는가? 그리고 $\kappa(\overline{\mathcal{M}}_{g,n}) \geq 0$가 되기 위한 최소 $n$은 무엇인가?
• RQ4 $\overline{\mathcal{M}}_{11,11}$의 칸타타 차원이 19인 이유는 무엇이며, 종수 10 곡선보다 종수 11 곡선이 더 복잡한 이유는 무엇인가?
• RQ5 $\overline{\mathcal{S}}_8^+$의 캐논리컬 계수가 명시적인 유리 곡선과 구역 계수 계산을 통해 강성임을 보일 수 있는가?

주요 결과

• $\overline{\mathcal{S}}_8^+$, 즉 종수 8의 짝수 스피너 곡선의 모듈리 공간은 칸타타 차원 0을 가지며, 칼라비-야우 유형임을 의미한다.
• $\overline{\mathcal{S}}_8^{-}$, 즉 홀수 스피너 모듈리 공간은 유리다성이며, $\overline{\mathcal{S}}_8^{+}$는 칼라비-야우 유형이므로, 종수 8에서 놀라운 이중성이 드러난다.
• $\overline{\mathcal{M}}_{11,11}$의 칸타타 차원은 19이며, 차원은 41이다. 이는 $\zeta(11) = 11$임을 나타내며, 종수 11 곡선이 종수 10 곡선보다 더 복잡하다는 것을 보여준다.
• $K_{\overline{\mathcal{S}}_8^+}$의 캐논리컬 계수는 강성임을 보이며, 이는 $\overline{\Theta}_{\mathrm{null}}$, $\pi^*(\overline{\mathcal{M}}_{8,7}^2)$, 그리고 경계 구역들로 구성된 강성 구역들의 $\mathbb{Q}$-선형 조합이기 때문이다.
• $\overline{\Theta}_{\mathrm{null}}$를 덮는 유리 곡선 $R \subset \overline{\mathcal{S}}_8^+$가 존재하며, 이는 $R \cdot \overline{\Theta}_{\mathrm{null}} = -1$, $R \cdot \pi^*(\overline{\mathcal{M}}_{8,7}^2) = 0$, 그리고 모든 경계 구역과는 무관하다.
• $\overline{\mathcal{M}}_{7,13}$ 내의 커버링 곡선 $\Gamma_1$과 $\Gamma_2$의 구성은 $\overline{\mathcal{M}}_{7,n}$이 $n \leq 13$일 때 유계임을 확인한다. 이는 $\lambda$, $\psi_i$, $\delta$ 계수와의 명시적 교차 수를 통해 확인된다.