[論文レビュー] Kodaira dimension of moduli of special cubic fourfolds

Sho Tanimoto, Anthony Várilly‐Alvarado|arXiv (Cornell University)|Sep 4, 2015

Algebraic Geometry and Number Theory被引用数 5

ひとこと要約

この論文は、Gritsenko, Hulek, Sankaran の低重量尖点形式のテクニックを用いて、特別な立方四次超曲面のモジュライ空間 $\mathcal{C}_d$ の Kodaira次元を決定する。$d = 6n+2$ で $n > 18$ かつ $n \notin \{20,21,25\}$ のとき、および $d = 6n$ で $n > 18$ かつ $n \notin \{20,22,23,25,30,32\}$ のとき、$\mathcal{C}_d$ は一般型であることが示され、未知のケースの数が20個に著しく削減される。結果は、これらのモジュライ空間の双有理幾何およびK3曲面、算術幾何との関係を深く理解するものである。

ABSTRACT

A special cubic fourfold is a smooth hypersurface of degree three and dimension four that contains a surface not homologous to a complete intersection. Special cubic fourfolds give rise to a countable family of Noether-Lefschetz divisors C_d in the moduli space C of smooth cubic fourfolds. These divisors are irreducible 19-dimensional varieties birational to certain orthogonal modular varieties. We use the "low-weight cusp form trick" of Gritsenko, Hulek, and Sankaran to obtain information about the Kodaira dimension of C_d. For example, if d = 6n + 2, then we show that C_d is of general type for n > 18, n not in {20,21,25}, it has nonnegative Kodaira dimension if n > 13 and if n is not equal to 15. In combination with prior work of Hassett, Lai, and Nuer, our investigation leaves only 20 values of d for which no information on the Kodaira dimension of C_d is known. We discuss some questions pertaining to the arithmetic of K3 surfaces raised by our results.

研究の動機と目的

• 大判の判別式 $d$ に対して、特別な立方四次超曲面のモジュライ空間 $\mathcal{C}_d$ の Kodaira 次元を決定すること。
• Gritsenko, Hulek, Sankaran の低重量尖点形式のテクニックを応用し、$\mathcal{C}_d$ の双有理幾何を研究すること。
• Hassett, Lai, Nuer らの先行研究に基づき、$\mathcal{C}_d$ の Kodaira 次元が未知のケースをたった20個の $d$ 値にまで削減すること。
• K3曲面における算術的意義、特に有理点やブラウアー群の torsion に関する考察を行うこと。

提案手法

• 正規直交群上のモジュラー形式を活用し、$\mathcal{C}_d$ の双有理型を同定する低重量尖点形式のテクニックを用いる。
• 格子 $L \hookrightarrow L_{2,26}$ の埋め込みを構成し、$\mathcal{C}_d$ を直交群に関連するモジュラー多様体として実現する。
• Borcherds のモジュラー形式の準同型引き戻しを分析し、反射的除集合上での零点の重複度を特定することで、Kodaira 次元を特定する。
• Eichler の基準および判別群解析を用いて、負のノルムを持つ原始的ベクトルの $\widetilde{O}(L)$-軌道を分類する。
• Magma を用いた計算により、直交補空間内のルート系構造を検証し、モジュラー形式が分岐除集合に沿って消えることを確認する。
• Gritsenko, Hulek, Sankaran が得た $\mathcal{K}_d$（極付きK3曲面のモジュライ空間）の一般型性に関する結果と、$d \equiv 2 \bmod 6$ のとき $\mathcal{C}_d$ と $\mathcal{K}_d$ が双有理同型であるという事実を組み合わせる。

実験結果

リサーチクエスチョン

• RQ1 どの判別式 $d$ に対して、特別な立方四次超曲面のモジュライ空間 $\mathcal{C}_d$ は一般型であるか？
• RQ2 この研究と先行研究を統合した後、Kodaira 次元が未知のまま残る $d$ の値はいくつあるか？
• RQ3 $\mathcal{C}_d$ が一般型であるという事実の算術的意義は何か。特に有理点やブラウアー群の torsion に関して。
• RQ4 Borcherds の形式の準同型引き戻しが、$\mathcal{D}_L$ の反射的除集合に沿っていつ消えるか？
• RQ5 幾何学的および算術的性質として、$\mathcal{C}_d$ と極付きK3曲面のモジュライ空間 $\mathcal{K}_d$ の間にはどのような関係があるか？

主な発見

• $d = 6n+2$ で $n > 18$ かつ $n \notin \{20,21,25\}$ のとき、$\mathcal{C}_d$ は一般型である。
• $d = 6n$ で $n > 18$ かつ $n \notin \{20,22,23,25,30,32\}$ のとき、$\mathcal{C}_d$ は一般型である。
• $d = 6n+2$ で $n > 13$ かつ $n \neq 15$ のとき、$\mathcal{C}_d$ は非負の Kodaira 次元をもつ。
• $d = 6n$ で $n > 16$ かつ $n \notin \{18,20,22,30\}$ のとき、$\mathcal{C}_d$ は非負の Kodaira 次元をもつ。
• Kodaira 次元が未知の $d$ の数は、正確に20個にまで削減された。
• 結果から、すべての素数 $p \geq 11$ に対して $\mathcal{C}_{2p^2}$ が一般型であることが示唆され、Bombieri-Lang 予想のもとで有理点が疎であると考えられる。