[논문 리뷰] Singularities with G_m-action and the log minimal model program for $\bar{M}_g$

Jarod Alper, Maksym Fedorchuk외 1명|arXiv (Cornell University)|2010. 10. 18.

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

한 줄 요약

이 논문은 복소수의 $\mathbb{G}_m$-작용을 가진 다중표준형 형식에 대한 특성 이론과 안정한 극한에서의 교차 이론을 사용하여, 로그 캐논리컬 모델 $\overline{M}_g(\alpha)$에 나타나는 $\mathbb{G}_m$-작용을 가진 특이 곡선이 나타나는 임계 $\alpha$-값을 예측하는 두 가지 방법을 개발하고 비교한다. 저자들은 ADE, 토릭, 유일지점 Gorenstein, 리본 특이점에 대해 두 방법이 동일한 예측을 한다는 것을 보이며, $\overline{M}_g$에 대한 로그 최소 모델 프로그램에 대한 추측적 프레임워크를 제공한다. 주요 기여는 로그 MMP에서 모듈러 성질을 가진 특이화에 대한 통합된 예측 메커니즘을 제공하는 것이다.

ABSTRACT

We give a precise formulation of the modularity principle for the log canonical models of $\bar{M}_g$. Assuming the modularity principle holds, we develop and compare two methods for determining the critical alpha-values at which a singularity or complete curve with G_m-action arises in the modular interpretations of log canonical models of $\bar{M}_g$. The first method involves a new invariant of curve singularities with G_m-action, constructed via the characters of the induced G_m-action on spaces of pluricanonical forms. The second method involves intersection theory on the variety of stable limits of a singular curve. We compute the expected alpha-values for large classes of singular curves, including curves with ADE, toric, and monomial unibranch Gorenstein singularities, as well as for ribbons, and show that the two methods yield identical predictions. We use these results to give a conjectural outline of the log MMP for $\bar{M}_g$.

연구 동기 및 목표

• 로그 캐논리컬 모델 $\overline{M}_g(\alpha)$가 스택 $\overline{\mathcal{M}}_g(\alpha)$에 대한 양호한 모듈리 공간으로서의 모듈러성 원리를 수립하고 검증한다.
• 모듈러 해석에서 $\overline{M}_g(\alpha)$에 $\mathbb{G}_m$-작용을 가진 특이 곡선이 나타나는 정확한 $\alpha$-값을 규명한다.
• 두 독립된 방법—특성 이론과 교차 이론—을 사용하여 이러한 $\alpha$-값을 예측하고 그 일관성을 검증한다.
• 특이 곡선에 대한 예측을 바탕으로 $\overline{M}_g$에 대한 로그 최소 모델 프로그램의 추측적 개요를 제공한다.

제안 방법

• 다중표준형 형식 공간에서의 $\mathbb{G}_m$-작용의 특성을 계산하여 선다발이 $\overline{M}_g(\alpha)$로 내림내림되는 $\alpha$-값을 결정한다.
• Hilbert-Mumford 기준을 적용하여 $\mathbb{G}_m$-작용을 가진 $n$-표준적으로 임bed된 곡선의 Hilbert 및 Chow 점의 GIT 지수를 계산한다.
• 특이 곡선의 안정한 극한의 다양체에서의 교차 이론을 사용하여 $(K_{\overline{\mathcal{M}}_g} + \alpha\delta)$-음수 곡선을 탐지함으로써 로그 MMP에서의 플립을 신호한다.
• ADE, 토릭, 유일지점 Gorenstein, 리본 특이점을 가진 곡선에 대해 특성 이론과 교차 이론의 예측을 비교한다.
• $\chi_\lambda$ 및 $\chi_\delta$에 대한 표현으로 $\mu^{\overline{\operatorname{Hilb}}_{g,n}^{\,m}}([C],\widetilde{\eta})$ 및 $\mu^{\overline{\operatorname{Chow}}_{g,n}}([C],\widetilde{\eta})$의 명시적 공식을 유도한다.
• 특성 이론적 예측과 교차 이론적 예측 간의 관계를 연결하는 일반 정리(정리 5.2)를 확립한다.

실험 결과

연구 질문

• RQ1 어느 $\alpha$-값에서 $\mathbb{G}_m$-작용을 가진 특이 곡선이 모듈러 컴actification $\overline{M}_g(\alpha)$에 처음 나타나는가?
• RQ2 $\mathbb{G}_m$-작용에 대한 다중표준형 형식에서의 특성 이론적 불변량이 교차 이론적 방법으로 예측하는 것과 동일한 $\alpha$-값을 예측할 수 있는가?
• RQ3 ADE, 토릭, 유일지점 Gorenstein, 리본 특이점을 가진 곡선에 대해 특성 이론과 교차 이론의 예측이 일치하는가?
• RQ4 n-표준적으로 임bed된 곡선의 Hilbert 및 Chow 점의 안정성과 로그 MMP 내 $\alpha$-값 간의 관계는 무엇인가?
• RQ5 모듈러성 원리는 어떻게 하여 $\overline{M}_g$에 대한 추측적 로그 MMP를 구성하는 데 사용될 수 있는가?

주요 결과

• ADE, 토릭, 유일지점 Gorenstein 특이점을 가진 곡선에 대해 특성 이론과 교차 이론이 동일한 $\alpha$-값을 예측한다.
• 리본 곡선 $C_\ell$에 대해 $\ell = (g-1)/2$일 때, 표준 임베딩의 $m$-번째 Hilbert 점은 $\mathbb{G}_m$-작용 하에서 엄격하게 반안정적임을 보이며, 이는 $\alpha = 1$이 $\overline{M}_g(\alpha)$에 나타나는 임계값임을 시사한다.
• 만일 $g$가 짝수이면, $\mathbb{G}_m$-작용을 가진 모든 표준적으로 임bed된 리본 곡선은 Hilbert 불안정함을 보이며, 이는 $\alpha < 1$일 때 $\overline{M}_g(\alpha)$에 나타나지 않음을 확인한다.
• 리본 곡선 $C_\ell$의 $m$-번째 Hilbert 점의 Hilbert-Mumford 지수는 $\mu^{\overline{\operatorname{Hilb}}_{g,1}^{\,m}}([C],\rho) = g(g + m - gm)(\ell - \frac{g-1}{2})$이며, 이 값이 0이 되는 것은 $\ell = (g-1)/2$일 때에만 성립한다.
• 특성 이론적 방법이 교차 이론적 방법과 일치하는 $\alpha$-값을 예측함을 확인하였으며, 이는 두 방법이 로그 MMP에서 일관된 도구로 기능함을 검증한다.
• 논문은 정리 5.2를 통해 두 방법 간의 일반적 연결 고리를 확립하였으며, $K_{\overline{\mathcal{M}}_g} + \alpha\delta$의 특성이 $\mathbb{G}_m$-작용 하에서 0이 되는 것은 안정한 극한 다양체에서 $(K_{\overline{\mathcal{M}}_g} + \alpha\delta)$-음수 곡선의 존재와 대응됨을 보여준다.