[논문 리뷰] The singularities and birational geometry of the universal compactified Jacobian

Sebastian Casalaina‐Martin, Jesse Leo Kass외 1명|arXiv (Cornell University)|2014. 08. 15.

Advanced Differential Equations and Dynamical Systems참고 문헌 21인용 수 3

한 줄 요약

이 논문은 $g \geq 4$ 일 때, 보편적 컴actified Jacobian $\overline{J}_{d,g}$ 가 극한 특이점을 가지며, 이는 모든 차수 $d$ 와 종수에 대해 그 코다이라 차원과 이타카 분해의 완전한 분류를 가능하게 한다. 주요 기여는 노드 곡선의 이중 그래프에서 유도된 cographic 토릭 face 링의 새로운 분석을 통해 극한 특이점을 증명한 것으로, 이는 이전의 모듈리 공간의 비유계 기하학 연구를 확장한다.

ABSTRACT

In this paper we establish that the singularities of the universal compactified Jacobian are canonical if the genus is at least four. As a corollary we determine the Kodaira dimension and the Iitaka fibration of the universal compactified Jacobian for every degree and genus. We also determine the birational automorphism group for every degree if the genus is at least twelve. This extends work of G. Farkas and A. Verra, as well as that of G. Bini, C. Fontanari and the third author.

연구 동기 및 목표

• 보편적 컴 pactified Jacobian $\overline{J}_{d,g}$ 의 비유계 기하학을 규명하고, 특히 그 코다이라 차원과 이타카 분해를 규명하는 것.
• $\overline{J}_{d,g}$ 의 특이점에 관한 미해결 문제를 해결하며, 특히 그것이 극한인지 또는 단순한지 여부를 밝히는 것.
• Farkas–Verra 와 Bini–Fontanari–Viviani 의 이전 결과를 모든 차수 $d$ 와 모든 종수 $g \geq 4$ 에까지 확장하여, $d=0$ 의 경우를 포함하는 것.
• 종수 $g \geq 12$ 에서 $\overline{J}_{d,g}$ 의 비유계 자동형사상군을 특성화함으로써, 모듈리 이론에서 오랫동안 남아있던 프로그램을 완성하는 것.

제안 방법

• 저자들은 $\overline{J}_{d,g}$ 의 특이점 문제를 안정 곡선의 이중 그래프 $\Gamma$ 와 관련된 cographic 토릭 face 링 $U(\Gamma)$ 의 연구로 환원한다.
• 그들은 $U(\Gamma)$ 가 Gorenstein, 유리적, 단순하다는 것을 증명하며, 이는 $g \geq 4$ 일 때 보편적 컴 pactified Jacobian 에 극한 특이점이 있음을 뜻한다. 이는 변형 이론적 분석을 통해 도출된다.
• 토릭 기하학과 특이점 이론의 결과를 활용하여, $U(\Gamma)$ 의 불변량을 $\Gamma$ 의 그래프 이론적 불변량으로 표현한다. 이는 차원, 탄성 공간 차원, 그리고 다중도를 포함한다.
• 유한군 작용 하에서 극한/단순 특이점에 대한 기준을 적용하여 문제를 순환 몫으로 환원하고, 국소적 특이점 성질을 전역적으로 확장할 수 있도록 한다.
• 이 분석은 이전 연구(CMKVb)의 변형 이론을 확장하고, [CMKVa] 에서의 cographic 링에 대한 구조적 결과를 활용한다.
• 극한 특이점의 증명은 불일치 이론과 공식 $a(E,X)+1 = \frac{a(F,V)+1}{|C_F|}$ 을 사용하여 몫 사상에 따른 불일치를 연결한다.

실험 결과

연구 질문

• RQ1 보편적 컴 pactified Jacobian $\overline{J}_{d,g}$ 가 극한 특이점을 가지는 종수 $g$ 와 차수 $d$ 는 무엇인가?
• RQ2 모든 $g$ 와 $d$ 에 대해 $\overline{J}_{d,g}$ 의 코다이라 차원은 얼마인가?
• RQ3 종수 $g \geq 10$ 에서 $\overline{J}_{d,g}$ 의 이타카 분해는 무엇이며, $g$ 에 따라 어떻게 변화하는가?
• RQ4 종수 $g \geq 12$ 일 때 $\overline{J}_{d,g}$ 의 비유계 자동형사상군은 무엇인가?
• RQ5 $\overline{J}_{d,g}$ 의 특이점은 피보트 곡선의 이중 그래프에 따라 어떻게 달라지는가?

주요 결과

• 모든 $d$ 와 모든 $g \geq 4$ 에 대해 특성 0에서 보편적 컴 pactified Jacobian $\overline{J}_{d,g}$ 는 극한 특이점을 가진다.
• $\overline{J}_{d,g}$ 의 코다이라 차원은 $g \leq 9$ 일 때 $-\infty$, $g = 10$ 일 때 $0$, $g = 11$ 일 때 $19$, $g \geq 12$ 일 때 $3g-3$ 이며, 이 결과는 모든 차수 $d$ 에 대해 균일하게 성립한다.
• $g \geq 12$ 일 때, $\overline{J}_{d,g}$ 의 이타카 분해는 모듈리 공간 $\overline{M}_g$ 에 대한 忘却 사상 $\pi: \overline{J}_{d,g} \to \overline{M}_g$ 이며, 이는 안정 곡선의 모듈리 공간 위의 분해이다.
• $g = 11$ 일 때, 이타카 분해는 차수 20인 양극성 K3 표면의 모듈리 공간 $\mathcal{F}_{11}$ 으로 향하는 유리 함수이며, 곡선 $C$ 를 포함하는 K3 표면으로 보낸다.
• $g = 10$ 일 때, 이타카 분해는 $\operatorname{Spec} k$ 로 향하는 구조 사상이므로, $\overline{J}_{d,10}$ 이 일반형이며 비자명한 분해를 갖지 않는다는 것을 의미한다.
• $g \geq 12$ 일 때, $\overline{J}_{d,g}$ 의 비유계 자동형사상군은 자명하다. 즉, 이 범위에서 공간은 비유계적으로 강건하다.