[논문 리뷰] The final log canonical model of the moduli space of stable curves of genus four

Maksym Fedorchuk|arXiv (Cornell University)|2011. 06. 24.

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

한 줄 요약

이 논문은 모듈리 공간 $\overline{M}_4$의 최종 비자명한 로그 칼라누 모델이 $\mathbb{P}^1\times\mathbb{P}^1$ 위의 $(3,3)$-곡선의 선형계에 대한 GIT 몫으로서 식별되며, $8/17 < \alpha \leq 29/60$ 일 때 $\overline{M}_4(\alpha)$ 와 동형임을 보여준다. 주요 결과는 Farkas의 질문을 해결하여 이 모델로의 유리 사상이 페트리 암시를 수축함을 확인함으로써, 종수 4에서 특수 선형계를 갖는 곡선을 제거하는 유리 수축을 제공한다.

ABSTRACT

We describe the final log canonical model of the moduli space of stable curves of genus four. We prove that the rational map from $\bar{M}_4$ to this model contracts the Petri and the boundary divisors and flips the hyperelliptic locus. As an application, we find an exact bound on slopes of moving divisors on $\bar{M}_4$.

연구 동기 및 목표

• Farkas가 제기한 질문, 즉 $\overline{M}_4$에서 페트리 암시를 수축하는 유리 수축이 존재하는지 여부를 해결하기 위해.
• Hassett-Keel 로그 최소 모델 프로그램에서 $\overline{M}_4$의 최종 비자명한 단계를 기술하기 위해.
• 결과로 얻어진 로그 칼라누 모델이 종수 4 곡선에 대해 Altmann-Farkas-Swinarski(2010)의 모ularity 원리(AFS10)를 만족하는지 검증하기 위해.
• 최종 로그 칼라누 모델에서 부드러운 곡선 대신 특수 선형계를 갖는 곡선이 어떤 특이 곡선으로 대체되는지 규명하기 위해.

제안 방법

• 선형계 $|\mathcal{O}_{\mathbb{P}^1\times\mathbb{P}^1}(3,3)| \simeq \mathbb{P}^{15}$ 에 대한 $G = \mathrm{SL}(2)\times\mathrm{SL}(2)\rtimes\mathbb{Z}_2$ 작용에 의한 로그 칼라누 모델 $\overline{M}_4(\alpha)$ 를 구성하기 위해.
• 선형화된 선다발 $\mathcal{O}_V(1)$ 를 확보하기 위해 $\mathrm{Aut}(\mathbb{P}^1\times\mathbb{P}^1)$ 의 유한 커버인 군 $G$ 를 사용하여 잘 정의된 GIT 안정성을 확보하기 위해.
• 유리 사상 $f: \overline{M}_4 \dashrightarrow \overline{M}_4(29/60)$ 의 부정확한 지점의 집합을 분석하여, 이가 초타원곡선의 암시와 초타원곡선 정규화를 갖는 비가역 노드 곡선 위에서 정의되지 않음을 보여주기 위해.
• $(3,3)$-곡선의 분해의 안정한 극한을 연구함으로써 사상 $f$ 가 페트리 암시 $P$ 를 한 점으로 수축함을 증명하기 위해.
• 안정한 극한과 분해 이론을 적용하여, $A_8$-특이 곡선의 안정한 극한의 다양체가 초타원곡선의 암시 $\overline{H}_4$ 라는 것을 보여주며, 이는 목표 공간에서 초타원곡선의 암시가 유리 곡선 $A$ 로 플립됨을 확인한다.
• 예상되는 특이 곡선의 대체와 실제 GIT 분해를 일치시킴으로써, 최종 모델 $\overline{M}_4(29/60)$ 가 모ularity 원리를 만족함을 검증하기 위해.

실험 결과

연구 질문

• RQ1 초타원곡선의 암시 외부에서 정의된 수축이 존재하지 않는다는 점을 감안할 때, $\overline{M}_4$ 에서 페트리 암시 $P$ 를 수축하는 유리 수축이 존재하는가?
• RQ2 Hassett-Keel 프로그램에서 $\overline{M}_4$ 의 최종 비자명한 로그 칼라누 모델은 무엇이며, 기하학적으로 어떻게 실현되는가?
• RQ3 최종 로그 칼라누 모델 $\overline{M}_4(29/60)$ 에서 어떤 특이 곡선이 나타나며, 이들은 어떤 방식으로 특수 선형계를 갖는 부드러운 곡선을 대체하는가?
• RQ4 초타원곡선의 암시와 타원부분을 가진 곡선의 암시가 최종 수축에서 어떻게 변형되는가?
• RQ5 AFS10의 $\overline{M}_4(\alpha)$ 의 구조에 대한 예측이 $\alpha = 29/60$ 에서 어느 정도 성립하는가?

주요 결과

• 모든 $\alpha \in (8/17, 29/60]$ 에 대해 최종 비자명한 로그 칼라누 모델 $\overline{M}_4(\alpha)$ 는 $\mathrm{SL}(2)\times\mathrm{SL}(2)\rtimes\mathbb{Z}_2$ 작용에 의한 선형계 $|\mathcal{O}_{\mathbb{P}^1\times\mathbb{P}^1}(3,3)|$ 의 GIT 몫과 동형이며, 이는 모듈러적 실현을 확인한다.
• 유리 사상 $f: \overline{M}_4 \dashrightarrow \overline{M}_4(29/60)$ 는 페트리 암시 $P$ 를 한 점으로 수축하며, 이 점은 삼중 포물선을 매개변수화하므로 Farkas의 질문에 긍정적으로 답한다.
• 사상 $f$ 는 경계 디바리에이터 $\Delta_1$ 과 $\Delta_2$ 를 점으로 수축하며, $\Delta_2$ 는 최대로 분해된 $A_5$-곡선으로 매핑된다.
• 초타원곡선의 암시 $\overline{H}_4$ 는 유리 곡선 $A$ 로 플립되며, 이는 $A_8$ 과 $A_9$ 특이성을 갖는 곡선을 매개변수화하며, 이는 $\overline{H}_4$ 의 일반적인 점의 전체 역상이다.
• 이중 포물선의 안정한 극한의 다양체는 $\Delta_0$ 에 포함되어 있으며, 따라서 일반적인 초타원곡선을 포함하지 않으며, 이는 $\overline{H}_4$ 의 플립이 타당함을 확인한다.
• 최종 모델 $\overline{M}_4(29/60)$ 는 로그 칼라누 모델이 가져야 할 기대되는 행동을 실현한다: 초타원곡선는 $A_8$-곡선으로 대체되며, 타원부분을 가진 곡선은 $D_4$-곡선으로, 일반적인 $\Delta_2$-곡선은 $A_5$-곡선으로 대체된다.