[論文レビュー] Automorphisms and Periods of Cubic Fourfolds

Radu Laza, Zhiwei Zheng|arXiv (Cornell University)|May 28, 2019

Algebraic Geometry and Number Theory参考文献 41被引用数 6

ひとこと要約

この論文は、グローバルTorelli定理とLeech格子の固定点部分格子の分類を用いて、立方体4次超曲面のすべての可能なシンプレクティック自己同型群を分類する。34の可能なシンプレクティック自己同型群が特定され、そのうち6つが最大の場合であり、モジュライ空間に8つの孤立した、同型でない立方体4次超曲面に対応する。フェルマーの立方体4次超曲面は、174,960の位数を持つ最大の自己同型群を持つ。

ABSTRACT

We classify the symplectic automorphism groups for cubic fourfolds. The main inputs are the global Torelli theorem for cubic fourfolds and the classification of the fixed-point sublattices of the Leech lattice. Among the highlights of our results, we note that there are 34 possible groups of symplectic automorphisms, with 6 maximal cases. The six maximal cases correspond to 8 non-isomorphic, and isolated in moduli, cubic fourfolds; six of them previously identified by other authors. Finally, the Fermat cubic fourfold has the largest possible order (174,960) for the automorphism group (non-necessarily symplectic) among all smooth cubic fourfolds.

研究の動機と目的

• 滑らかな立方体4次超曲面に作用する有限群のシンプレクティック自己同型を体系的に分類すること。
• K3表面およびK3^[2]ハイパーケーラー多様体に対して用いられた分類法を、立方体4次超曲面の状況に拡張すること。
• コンウェイ群Co₀の作用の下でLeech格子の固定点部分格子から生じるシンプレクティック自己同型群がどのように特定されるかを同定すること。
• 最大のシンプレクティック自己同型群を持つ立方体4次超曲面のモジュライ部分集合を特定し、それらの標準形を提供すること。
• Fano多様体の構成を介して、立方体4次超曲面の自己同型群とK3^[2]型ハイパーケーラー4次超曲面の自己同型群との間の関係を確立すること。

提案手法

• 立方体4次超曲面のグローバルTorelli定理を活用し、自己同型を中間コホロジー格子上のホッジ等長写像に関連付ける。
• コンウェイ群Co₀の部分群によるLeech格子の固定点部分格子の分類を適用する。
• シンプレクティック自己同型群が、固定格子ℒᴳのランクが22で符号型が(2,20)であるような部分群G ≤ Co₀に一致することを用いる。
• 周期写像とモジュライ空間の構造を分析することで、分類を立方体4次超曲面の幾何に翻訳する。
• Nikulin、Mukai、Kondōの格子論的技法を、立方体4次超曲面の高次元的設定に適応する。
• Fano多様体の構成F(X) ≅ K3^[2]型多様体から得られる幾何的制約と既知の例を比較することで、結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 どの有限群が滑らかな立方体4次超曲面にシンプレクティック自己同型として作用可能であり、そのような群はいくつ存在するか？
• RQ2 立方体4次超曲面のシンプレクティック自己同型群は、コンウェイ群Co₀の下でのLeech格子の固定点部分格子とどのように関係するか？
• RQ3 34の可能なシンプレクティック自己同型群の中で、最大のものはどれであり、モジュライ空間において何個の孤立した立方体4次超曲面に対応するか？
• RQ4 滑らかな立方体4次超曲面において、最大の自己同型群（シンプレクティックでないものも含む）の位数は何か、そしてどの4次超曲面がそれを実現するか？
• RQ5 Fano多様体の構成を介して、立方体4次超曲面の自己同型群は、K3^[2]型ハイパーケーラー4次超曲面の自己同型群とどのように比較できるか？

主な発見

• 滑らかな立方体4次超曲面に作用するシンプレクティック自己同型の有限群は、ちょうど34個存在する。
• そのうち6つは最大群であり、それらはモジュライ空間に8つの同型でない孤立した立方体4次超曲面に対応する。
• フェルマーの立方体4次超曲面は、位数174,960の最大の自己同型群を有し、これはすべての滑らかな立方体4次超曲面の中で最大である。
• K3^[2]ハイパーケーラーの場合の15個の最大群のうち6つが、ある滑らかな立方体4次超曲面のシンプレクティック自己同型群として実現される。
• 分類は、グローバルTorelli定理とCo₀の下でのLeech格子の固定点部分格子の分類を用いて達成された。
• 群M_{2,9}は、分類における15番目の最大群の候補であるが、完全な検証は未解決のままである。