[논문 리뷰] Log canonical models and variation of GIT for genus four canonical curves

Sebastian Casalaina‐Martin, David Jensen외 1명|arXiv (Cornell University)|2012. 03. 22.

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

한 줄 요약

이 논문은 $\overline{M}_4(\alpha)$에 대해 $\alpha \leq \frac{5}{9}$인 경우에 대해 Hassett–Keel 프로그램의 최종 단계를 완성한다. 이를 위해 $\mathbb{P}^3$ 내의 제곱형과 삼차형의 완전교차를 매개변수화하는 단일 매개변수 공간 $\mathbb{P}E$ 위에서의 GIT의 변형(VGIT)을 통해 수행한다. 저자들은 앰플 콘의 외부에 있는 선형화의 안정성 조건을 해결하고, 연속적인 범주적 변형을 통한 범주적 불변량의 모든 중간 모델을 실현하는 GIT 몫을 보여준다.

ABSTRACT

We discuss GIT for canonically embedded genus four curves and the connection to the Hassett-Keel program. A canonical genus four curve is a complete intersection of a quadric and a cubic, and, in contrast to the genus three case, there is a family of GIT quotients that depend on a choice of linearization. We discuss the corresponding VGIT problem and show that the resulting spaces give the final steps in the Hassett-Keel program for genus four curves.

연구 동기 및 목표

• 모든 $\alpha \leq \frac{5}{9}$에 대해 $\overline{M}_4(\alpha)$의 로그 캐논리컬 모델을 구축함으로써 genus 4 곡선에 대한 Hassett–Keel 프로그램을 완성하는 것.
• canonical하게 매장된 genus 4 곡선의 GIT 안정성 조건을 분석하는 것. 이러한 곡선은 $\mathbb{P}^3$ 내에서 제곱형과 삼차형의 완전교차로 표현된다.
• 이러한 곡선에 대한 모든 GIT 몫을 단일한 VGIT 문제로 통합하는 것, 매개변수 공간은 $\mathbb{P}E$이다.
• VGIT 프레임워크 내에서 앰플 콘 외부에 있는 선형화의 안정성 분석이라는 기술적 과제를 해결하는 것.
• GIT 몫 $\mathbb{P}E/\!/_{t}\mathrm{SL}(4)$와 로그 캐논리컬 모델 $\overline{M}_4(\alpha)$ 사이의 정확한 비라션스 일치를 확립하는 것.

제안 방법

• 완전교차의 유형 $(2,3)$에 대한 Hilbert 스킴의 매끄럽고 기본적이며 비라션스적인 모델인 $\mathbb{P}E$를, VGIT 문제의 매개변수 공간으로 사용한다.
• $\mathrm{SL}(4)$의 작용에 대해 $\mathbb{P}E$에서 선형화 파arameter $t$를 변화시켜 다양한 GIT 몫을 얻기 위해 VGIT 분석을 수행한다.
• 앰플 콘 외부의 선형화를 다룰 때, Mumford의 수치 기준의 모호함을 피하기 위해 철저한 기하학적 및 코homological 분석을 수행한다.
• 선다이브의 끌어올림을 통해 GIT 몫과 로그 캐논리컬 모델을 연결한다: $\varphi^*(4s\eta + 4h) = (34s - 33)\lambda - (4s - 4)\delta_0 - (14s - 15)\delta_1 - (18s - 21)\delta_2$.
• $\delta_1$ 및 $\delta_2$가 $\varphi$-예외적 다발임을 이용하여 코homology 환을 단순화하고, $\overline{M}_4(\alpha)$와의 동형을 확립한다.
• 기존의 [CMJL12] 및 [Fed12]의 결과를 이용하여 극단적 경우를 다루고, 이를 통해 중간 값 $\alpha$에 대한 구성으로 확장한다.

실험 결과

연구 질문

• RQ1 canonical하게 매장된 genus 4 곡선에 대해 $\alpha \leq \frac{5}{9}$인 경우에 대해 로그 캐논리컬 모델 $\overline{M}_4(\alpha)$를 어떻게 GIT 몫으로 실현할 수 있는가?
• RQ2 공간 $\mathbb{P}E$ 위에서의 단일한 VGIT 문제로 $\mathbb{P}^3$ 내의 $(2,3)$-완전교차에 대한 전체 GIT 몫 가닥을 통합할 수 있는가?
• RQ3 Hassett–Keel 프로그램에서 선형화 매개변수 $t$와 로그 캐논리컬 모델 매개변수 $\alpha$ 사이의 정확한 관계는 무엇인가?
• RQ4 VGIT 프레임워크 내에서 앰플 콘 외부에 위치한 선형화의 안정성은 어떻게 분석할 수 있는가?
• RQ5 결과로 얻어진 GIT 몫의 비라션스 기하학은 어떠한가? 이는 Hassett–Keel 프로그램에서의 다발적 및 소형 수축과 어떻게 관련이 있는가?

주요 결과

• $\alpha \leq \frac{5}{9}$에 대해 로그 캐논리컬 모델 $\overline{M}_4(\alpha)$는 $t = \frac{34\alpha - 16}{33\alpha - 14}$일 때 GIT 몫 $\mathbb{P}E/\!/_{t}\mathrm{SL}(4)$와 동형이다.
• genus 4 곡선의 전체 로그 캐논리컬 모델 가닥은 단일한 $\mathbb{P}E$ 위의 VGIT 문제를 통해 실현되며, 이는 이전에 별개로 구성된 것들을 통합한다.
• 앰플 콘 외부의 선형화에 대한 안정성 분석이라는 기술적 문제를 해결하였으며, 이 경우에도 수치 기준이 잘 정의되고 효과적임을 증명하였다.
• 모든 $t \in (0, \frac{2}{3}]$에 대해 $\varphi: \overline{M}_4 \dashrightarrow \mathbb{P}E/\!/_{t}\mathrm{SL}(4)$는 비라션스 수축이며, 선다이브 $4s\eta + 4h$의 끌어올림은 캐논리컬 다발 $K_{\overline{M}_4} + \alpha\delta$와 일치한다.
• 끌어올림 다발의 계수는 명시적으로 계산되었으며, $a = 34s - 33$, $b_0 = 4s - 4$, $b_1 = 14s - 15$, $b_2 = 18s - 21$이며, 여기서 $s = \frac{1}{t}$이다.
• 이 구성은 $\overline{M}_4$에 대한 로그 최소 모델 프로그램의 마지막 단계를 완성하며, 작은 범위를 제외한 genus 4 곡선에 대해 Hassett–Keel 프로그램을 완료한다.