[논문 리뷰] Log minimal model program for the moduli space of stable curves of genus three

Donghoon Hyeon, Yongnam Lee|ArXiv.org|2007. 03. 03.

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

한 줄 요약

이 논문은 삼중 곡선의 스킴 모듈리 공간에 대한 로그 최소 모델 프로그램을 완성하며, 이중 캐논리컬 곡선의 힐버트 및 초우 다양체의 GIT 몫으로서 모든 로그 캐논리컬 모델을 구성하고 모듈러적으로 해석한다. 주요 기여는 유한한 수의 모델 이외의 모든 모델를 기존의 콪팩티피케이션과 연관짓는 것으로, h-안정 곡선을 통한 새로운 모듈러 콩팩티피케이션을 도입한다. h-안정 곡선은 노드, 쿠스, 타크노드를 가지며 특정 안정 조건을 만족하는 곡선이다.

ABSTRACT

In this paper, we completely work out the log minimal model program for the moduli space of stable curves of genus three. We employ a rational multiple $αδ$ of the divisor $δ$ of singular curves as the boundary divisor, construct the log canonical model for the pair $(\bar{\mathcal M}_3, αδ)$ using geometric invariant theory as we vary $α$ from one to zero, and give a modular interpretation of each log canonical model and the birational maps between them. By using the modular description, we are able to identify all but one log canonical models with existing compactifications of $M_3$, some new and others classical, while the exception gives a new modular compactification of $M_3$.

연구 동기 및 목표

• 성별 3의 안정 곡선 모듈리 공간 $\overline{\mathcal{M}}_3$ 에 대한 로그 최소 모델 프로그램을 완성하는 것.
• 모든 로그 캐논리컬 모델 $\overline{M}_3(\alpha)$ 를 $\alpha$ 가 1에서 0으로 변할 때 구성하고 모듈러적으로 해석하는 것.
• 기하학적 불변 이론(GIT)을 사용하여 로그 캐논리컬 모델을 기존 또는 새로운 $M_3$ 콩팩티피케이션과 연관짓는 것.
• 성별 3의 이중 캐논리컬 곡선에 대한 새로운 안정 조건인 h-안정성과 c-안정성을 정의하고 연구하는 것.
• 기존의 어떤 콩팩티피케이션과도 이sovolumetric하지 않은 새로운 모듈러 콩팩티피케이션을 h-안정 곡선을 통해 수립하는 것.

제안 방법

• 경계 디바리에이터 $\alpha\delta$ 를 $\alpha=1$ 에서 $\alpha=0$ 으로 변화시키며, 로그 캐논리컬 모델 $\overline{M}_3(\alpha)$ 를 구성한다. 여기서 $\delta$ 는 특이 곡선의 디바리에이터이다.
• 기하학적 불변 이론(GIT)을 사용하여 $\overline{M}_3(\alpha)$ 를 $SL(6)$ 작용 하에 있는 힐버트 스킴 $Hilb_{3,2}$ 와 초우 다양체 $Chow_{3,2}$ 의 몫으로 실현한다.
• 노드, 쿠스, 타크노드를 가지며 캐논리컬 선다발이 앰플한 곡선을 h-안정 곡선으로 정의한다. 이때, 성질 1의 부분 곡선은 나머지 곡선과 최소 두 점에서 만난다.
• c-안정 곡선을 h-안정 곡선에 더해, 두 개의 노드에서 만날 두 개의 타원 곡선(유한한 다리)이 제외된 경우로 정의한다.
• 모델 간의 비라시얼 맵을 수립한다: $\alpha=9/11$ 에서 소형 수축, $\alpha=7/10$ 에서 플립, $\alpha=17/28$ 에서 디바리에이터 수축.
• K3 곡면의 주기 도메인과 Baily-Borel 콩팩티피케이션을 사용하여 Kondo의 모듈리 공간 $\overline{\mathcal{K}}$ 와 $\overline{M}_3(7/10)$ 을 연결한다.

실험 결과

연구 질문

• RQ1 모든 $\alpha \in (0,1]$ 에 대해 로그 캐논리컬 모델 $\overline{M}_3(\alpha)$ 는 무엇이며, 이들 간의 비라시얼 맵을 통해 어떻게 연관되는가?
• RQ2 이 모델들 중 어떤 것은 기존의 $M_3$ 콩팩티피케이션과 일치하는가, 어떤 것은 새로운 것인가?
• RQ3 로그 캐논리컬 모델들이 이중 캐논리컬 곡선의 힐버트 또는 초우 다양체의 GIT 몫으로 실현될 수 있는가?
• RQ4 이 모델이 매개화하는 곡선을 분류하는 정확한 안정 조건(h-안정, c-안정)은 무엇인가?
• RQ5 편안한 평면 곡선을 가진 K3 곡면의 모듈리 공간은 $\overline{M}_3$ 의 로그 캐논리컬 모델과 어떻게 관련되는가?

주요 결과

• 로그 캐논리컬 모델 $\overline{M}_3(7/10)$ 은 GIT 몫 $Chow_{3,2}//SL(6)$ 과 이sovolumetric하며, c-안정 곡선을 매개화한다.
• 모델 $\overline{M}_3(17/28)$ 은 평면 4차 곡선을 매개화하는 컴팩트 모듈리 공간 $\overline{Q} = \mathbb{P}(\Gamma(\mathcal{O}_{\mathbb{P}^2}(4)))///SL(3)$ 과 이sovolumetric하다.
• 모델 $\overline{M}_3^{hs} = \overline{M}_3(\alpha)$ 는 $17/28 < \alpha < 7/10$ 에서 $Hilb_{3,2}//SL(6)$ 의 GIT 몫과 이sovolumetric하며, h-안정 곡선을 매개화한다.
• 로그 캐논리컬 모델 $\overline{M}_3(7/10)$ 은 Kondo의 컴팩트 모듈리 공간 $\overline{\mathcal{K}}$ 와 이sovolumetric하며, $\overline{\mathcal{K}} \setminus \{q\}$ 와 $\overline{M}_3^{cs} \setminus \{\text{엄격한 반안정점}\}$ 을 식별하는 이sovolumetric을 통해 연결된다.
• h-안정 곡선의 모듈리 공간 $\overline{M}_3^{hs}$ 는 $M_3$ 에 대한 새로운 콩팩티피케이션으로, 기존의 어떤 콩팩티피케이션과도 이sovolumetric하지 않다.
• Chow_{3,2}//SL(6) 에서의 엄격한 반안정 곡선들이 모두 모듈리 공간에서 식별되며, 이 식별이 $\overline{Q}$ 와의 이sovolumetric을 뒷받침한다.