[논문 리뷰] Birational contraction of genus two tails in the moduli space of genus four curves I

Donghoon Hyeon, Yongnam Lee|arXiv (Cornell University)|2010. 03. 21.

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

한 줄 요약

이 논문은 종 수 4 곡선에 대해 $\bar{M}_4(\alpha)$ ($\alpha \in (2/3, 7/10)$)의 로그 캐논리컬 모듈리스가 h-불변 곡선의 모듈리스 $\bar{M}_4^{hs}$ 와 구조적으로 동일하다는 것을 증명한다. 또한 노드, 평범한 싱크로프, 타크노드를 갖는 점이 있는 종 수 2 곡선의 새로운 모듈리스 $\bar{M}_{2,1}^{hs}$ 를 구성하고, 이것이 Rulla의 플립과 구조적으로 동일하다는 것을 증명한다. 주요 결과는 종 수 4 곡선의 모듈리스에서 웨이어스트라스 종 수 2 꼬리(Weierstrass genus two tails)의 집합을 수축하는 비형식 동형사상 $\Xi: \bar{M}_4^{hs} \to \bar{M}_4(2/3)$ 를 제시하는 것이다. 이 웨이어스트라스 꼬리는 한 성분에서 웨이어스트라스 점인 노드에 연결된 종 수 2 곡선이다.

ABSTRACT

We show that for $α\in (2/3, 7/10)$, the log canonical model $\bar M_4(α)$ of the pair $(\bar M_4, αδ)$ is isomorphic to the moduli space $\bar M_4^{hs}$ of h-semistable curves, and that there is a birational morphism $Ξ: \bar M_4^{hs} o \bar M_4(2/3)$ that contracts the locus of curves $C_1\cup_p C_2$ consisting of genus two curves meeting in a node $p$ such that $p$ is a Weierstrass point of $C_1$ or $C_2$. To obtain this morphism, we construct a compact moduli space $\bar M_{2,1}^{hs}$ of pointed genus two curves that have nodes, ordinary cusps and tacnodes as singularity, and prove that it is isomorphic to Rulla's flip constructed in his thesis.

연구 동기 및 목표

• 로그 캐논리컬 모듈리스 $\bar{M}_4(\alpha)$ 와 $\alpha \in (2/3, 7/10)$ 인 h-불변 곡선의 모듈리스 $\bar{M}_4^{hs}$ 간의 동형성을 확립하는 것.
• 노드, 평범한 싱크로프, 타크노드를 갖는 점이 있는 종 수 2 곡선의 새로운 컴acts 모듈리스 $\bar{M}_{2,1}^{hs}$ 를 구성하는 것.
• 모듈리스 $\bar{M}_{2,1}^{hs}$ 가 Rulla의 플립 $\bar{M}_{2,1}^{ps}$ 와 동형임을 증명하여 플립의 모듈리스적 해석을 제공하는 것.
• 종 수 4 곡선의 모듈리스에서 웨이어스트라스 종 수 2 꼬리의 집합을 수축하는 비형식 동형사상 $\Xi: \bar{M}_4^{hs} \to \bar{M}_4(2/3)$ 가 존재함을 보이는 것.

제안 방법

• 지정된 특이점을 갖는 점이 있는 종 수 2 곡선에 대해 기하학적 안정성 이론(Geometric Invariant Theory, GIT)을 사용하여 모듈리스 $\bar{M}_{2,1}^{hs}$ 를 구성하는 것.
• 일차원 부위군의 작용과 안정성 조건을 분석하여 $\bar{M}_{2,1}^{hs}$ 가 Rulla의 플립과 동형임을 증명하는 것.
• 힐베르트 안정성과 쇼우 안정성 간의 관계를 이용하여 특별한 섹션에서의 안정성을 전체 가속 가속도로 이행하는 평탄한 분해에서의 안정성으로 옮기는 것.
• 멈추지 않는 다이아몬드 링크(DVR) 위에서 부드러운 곡선의 가속도를 불변 가속도로 연장하기 위해 Mumford의 불변 대체 정리를 적용하는 것.
• 일차원 부위군의 선형화에 대한 작용의 무게를 분석하여 안정성을 판단하는 것. 특히 $\mu^{\mathcal{L}_m} < 0$ 인 힐베르트 불안정성의 경우에 초점을 맞추는 것.
• 무한 대칭을 갖는 c-불안정 곡선은 반드시 $\text{Proposition 4.10}$ 에서 유일하게 존재하는 $(C^\star, p)$ 의 형태여야 하며, 이는 다른 분해의 가능성을 배제한다.

실험 결과

연구 질문

• RQ1 로그 캐논리컬 모듈리스 $\bar{M}_4(\alpha)$ ($\alpha \in (2/3, 7/10)$) 는 h-불변 곡선의 모듈리스 $\bar{M}_4^{hs}$ 와 동형인가?
• RQ2 노드, 싱크로프, 타크노드를 갖는 점이 있는 종 수 2 곡선에 대해 GIT를 통해 새로운 모듈리스 $\bar{M}_{2,1}^{hs}$ 를 구성할 수 있으며, 이는 Rulla의 플립과 동형인가?
• RQ3 비형식 동형사상 $\Xi: \bar{M}_4^{hs} \to \bar{M}_4(2/3)$ 는 정확히 웨이어스트라스 종 수 2 꼬리의 집합을 수축하는가?
• RQ4 이중 캐논리컬 매핑의 맥락에서 힐베르트 안정성과 캐논리컬 번들의 선형화 간의 정확한 관계는 무엇인가?
• RQ5 웨이어스트라스 종 수 2 꼬리 집합의 수축은 모듈리스 내에서 기하학적·위상적으로 어떻게 특징지을 수 있는가?

주요 결과

• $\alpha \in (2/3, 7/10)$ 인 경우, 로그 캐논리컬 모듈리스 $\bar{M}_4(\alpha)$ 는 h-불변 곡선의 모듈리스 $\bar{M}_4^{hs}$ 와 동형이다.
• 노드, 평범한 싱크로프, 타크노드를 갖는 점이 있는 종 수 2 곡선의 모듈리스 $\bar{M}_{2,1}^{hs}$ 는 GIT를 통해 구성되었으며, $\bar{M}_{2,1}^{ps}$ 의 Rulla 플립과 동형이다.
• 비형식 동형사상 $\Xi: \bar{M}_4^{hs} \to \bar{M}_4(2/3)$ 가 존재하며, 이는 $C_1$ 과 $C_2$ 가 노드 $p$ 에서 만날 때 $C_1$ 또는 $C_2$ 의 한 성분에서 $p$ 가 웨이어스트라스 점인 곡선 $C_1 \cup_p C_2$ 의 집합을 수축한다.
• 이 구성은 무한 대칭을 갖는 c-불안정 곡선이 반드시 $(C^\star, p)$ 의 형태여야 하며, 이는 Proposition 4.10 에서의 유일한 곡선이므로 다른 분해 가능성을 배제한다.
• 증명은 불안정 대체 정리와 함께, 힐베르트 불안정성이 음의 무게를 갖는 1-PS 가 존재함을 의미하며, 만약 곡선이 $(C^\star, p)$ 의 형태가 아니고 c-불안정이라면 모순이 발생한다.
• 주요 부등식 $\textup{deg}\,C_1 - 2\,\textup{deg}\,_{C_1}(\omega_C(p)) \leq w/2$ 는 웨이어스트라스 점 기여도의 차수를 유계화하고, 분해 과정에서 특정 구성요소를 배제하는 데 사용된다.