[논문 리뷰] Log minimal model program for the moduli space of stable curves: The first flip

Brendan Hassett, Donghoon Hyeon|ArXiv.org|2008. 06. 20.

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

한 줄 요약

이 논문은 이차 canonical 곡선의 초등적 차원 Chow 다양체의 기하학적 불변량 이론(GIT) 몫으로서 $\overline{M}_g(7/10)$의 로그 캐논리컬 모델을 구성하고, 그 모리 플립 $\overline{M}_g(7/10 - \epsilon)$을 이러한 곡선들의 Hilbert 스킴의 GIT 몫으로 구성한다. 이는 안정 곡선의 모듈리 공간에 대한 로그 최소 모델 프로그램에서 첫 번째 플립을 규명하며, $\alpha = 7/10 + \epsilon$에서의 수축이 타원 브릿지(tail)를 수축시키고, 플립은 이를 타코노달 곡선(tacnodal curves)으로 대체함을 보여주며, GIT 안정 조건을 통한 모odular 해석을 제공한다.

ABSTRACT

We give a geometric invariant theory (GIT) construction of the log canonical model $\bar M_g(α)$ of the pairs $(\bar M_g, αδ)$ for $α\in (7/10 - ε, 7/10]$ for small $ε\in \mathbb Q_+$. We show that $\bar M_g(7/10)$ is isomorphic to the GIT quotient of the Chow variety bicanonical curves; $\bar M_g(7/10-ε)$ is isomorphic to the GIT quotient of the asymptotically-linearized Hilbert scheme of bicanonical curves. In each case, we completely classify the (semi)stable curves and their orbit closures. Chow semistable curves have ordinary cusps and tacnodes as singularities but do not admit elliptic tails. Hilbert semistable curves satisfy further conditions, e.g., they do not contain elliptic bridges. We show that there is a small contraction $Ψ: \bar M_g(7/10+ε) o \bar M_g(7/10)$ that contracts the locus of elliptic bridges. Moreover, by using the GIT interpretation of the log canonical models, we construct a small contraction $Ψ^+ : \bar M_g(7/10-ε) o \bar M_g(7/10)$ that is the Mori flip of $Ψ$.

연구 동기 및 목표

• 로그 캐논리컬 모델 $\overline{M}_g(7/10)$을 이차 canonical 곡선의 Chow 다양체의 기하학적 불변량 이론(GIT) 몫으로 구성한다.
• 모리 플립을 $\alpha = 7/10 + \epsilon$에서의 수축에 대해 이차 canonical 곡선의 Hilbert 스킴의 GIT 몫을 통해 실현한다.
• c-반안정 및 h-반안정 곡선을 분류하여, 로그 최소 모델 프로그램에서 수축되고 플립되는 위치를 규명한다.
• GIT 안정 조건을 이용한 모듈러적 해석을 통해 $\overline{M}_g$에 대한 로그 MMP의 첫 번째 플립을 제공한다.

제안 방법

• 이차 canonical 곡선의 Chow 다양체의 GIT 몫으로 $\overline{M}_g(7/10)$을 구성하며, 정점, 쿠스, 타코노달을 포함하지만 타원 꼬리(tail)가 없는 c-반안정 곡선을 매개변수화한다.
• 이차 canonical 곡선의 Hilbert 스킴의 GIT 몫으로 $\overline{M}_g(7/10 - \epsilon)$을 구성하며, 타원 브릿지를 제외한 h-반안정 곡선을 매개변수화한다.
• Hilbert-Mumford 기준과 일치하는 1차원 부분군 분석을 통해 반안정성과 Hilbert-Mumford 지수를 결정한다.
• 유도의 기준 기법을 적용하여 궤도 폐쇄를 비교하고, 곡선이 GIT 몫에서 언제 동일시되는지 판단한다.
• 1차원 부분군의 곡선에 대한 작용을 분석하여, 구성된 곡선이 닫힌 궤도를 가지며 안정 조건을 만족함을 검증한다.
• 변형 이론과 자동사상군 분석을 사용하여, 예를 들어 닫힌 로자리 체인과 같은 특정 곡선 구성이 다른 곡선의 유도 기준에 속하지 않음을 보여주며, 적절한 모듈리 컴actsification을 확보한다.

실험 결과

연구 질문

• RQ1 안정 곡선의 모듈리 공간에 대한 로그 캐논리컬 모델 $\overline{M}_g(7/10)$의 기하학적 구조는 무엇인가요?
• RQ2 로그 최소 모델 프로그램에서 $\overline{M}_g$에 대한 첫 번째 플립은 어떻게 GIT 구성으로 실현될 수 있나요?
• RQ3 정확한 안정 조건(c-반안정 및 h-반안정)은 무엇이며, 이는 $\overline{M}_g(7/10)$과 $\overline{M}_g(7/10 - \epsilon)$이 매개변수화하는 곡선을 정의합니까?
• RQ4 $\alpha = 7/10$에서의 플립의 기하학적 의미는 무엇이며, 타원 브릿지는 어떻게 타코노달 곡선으로 변환되나요?
• RQ5 자기사상군과 1차원 부분군 작용은 어떻게 구성된 모듈리 공간의 반안정성과 궤도 구조를 결정합니까?

주요 결과

• 로그 캐논리컬 모델 $\overline{M}_g(7/10)$은 이차 canonical 곡선의 Chow 다양체의 GIT 몫과 동형이며, 일반적인 쿠스와 타코노달을 포함하지만 타원 꼬리는 없는 c-반안정 곡선을 매개변수화한다.
• 공간 $\overline{M}_g(7/10 - \epsilon)$은 이차 canonical 곡선의 Hilbert 스킴의 GIT 몫과 동형이며, 타원 브릿지를 제외한 h-반안정 곡선을 매개변수화한다.
• 타원 브릿지의 위치를 수축시키는 소수 수축 $\Psi: \overline{M}_g(7/10 + \epsilon) \to \overline{M}_g(7/10)$이 존재한다.
• 플립 $\Psi^+: \overline{M}_g(7/10 - \epsilon) \to \overline{M}_g(7/10)$은 $\Psi$의 모리 플립이며, 각 타원 브릿지를 $\mathbb{G}_m$-작용에 의해 탄성 공간에서 타코노달 곡선으로 대체한다.
• 일반적인 타원 브릿지 $C$에 대해, $(\Psi^+ among the curves in the moduli space.