[論文レビュー] The singularities and birational geometry of the universal compactified Jacobian

Sebastian Casalaina‐Martin, Jesse Leo Kass+1 more|arXiv (Cornell University)|Aug 15, 2014

Advanced Differential Equations and Dynamical Systems参考文献 21被引用数 3

ひとこと要約

本稿は、$g \geq 4$ の場合、普遍的コンpact化ヤコビアン $\overline{J}_{d,g}$ が標準的特異点を有することを確立し、これによりすべての次数 $d$ およびすべての genus $g$ におけるそのコホロジー次元およびイタカのファイブレーションの完全分類が可能になる。主たる貢献は、ノード曲線の双対グラフから得られる cographic トーリック面環の新しい分析を通じて標準的特異点を証明することであり、モジュライ空間の双有理幾何に関する先行研究を拡張する。

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.

研究の動機と目的

• 普遍的コンパクト化ヤコビアン $\overline{J}_{d,g}$ の双有理幾何を特定すること、特にそのコホロジー次元およびイタカのファイブレーションを同定すること。
• 特に、特異点が標準的または端的であるかどうかという未解決の問題を解消すること。
• Farkas–Verra および Bini–Fontanari–Viviani の先行結果を、すべての次数 $d$ およびすべての genus $g \geq 4$（$d=0$ の場合を含む）にまで拡張すること。
• $g \geq 12$ の場合に $\overline{J}_{d,g}$ の双有理自己同型群を特徴づけ、モジュライ理論における長年のプログラムを完了すること。

提案手法

• 著者らは、安定曲線の双対グラフ $\Gamma$ に関連する cographic トーリック面環 $U(\Gamma)$ の研究に帰着することで、特異点の問題を簡略化する。
• 彼らは $U(\Gamma)$ が Gorenstein であり、有理的で、端的であることを証明し、$g \geq 4$ の場合に、変形論的解析を通じて普遍的コンパクト化ヤコビアンに標準的特異点が存在することを示す。
• トーリック幾何および特異点論の結果を用いて、$U(\Gamma)$ の不変量（次元、接空間次元、多重度）を $\Gamma$ のグラフ論的不変量の形で計算する。
• 有限群作用における標準的／端的特異点の基準を適用し、問題を巡回商に還元することで、局所的な特異点性質をグローバルなものに持ち上げる。
• この解析は、前回の研究（CMKVb）からの変形理論の拡張と、[CMKVa] における cographic 環に関する構造的結果の活用に依存する。
• 標準的特異点の証明には、不一致理論と公式 $a(E,X)+1 = \frac{a(F,V)+1}{|C_F|}$ を用い、商写像を通じて不一致を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どの genus $g$ および次数 $d$ に対して、普遍的コンパクト化ヤコビアン $\overline{J}_{d,g}$ は標準的特異点を有するか？
• 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}$ の特異点は、ファイバー曲線の双対グラフにどのように依存するか？

主な発見

• 特性 0 の場合、すべての $d$ およびすべての $g \geq 4$ に対して、普遍的コンパクト化ヤコビアン $\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}$ の双有理自己同型群は自明であり、この範囲で空間が双有理的剛性を有することを意味する。