[論文レビュー] Automorphisms of generalised Kummer fourfolds

Giovanni Mongardi, Kévin Tari+1 more|arXiv (Cornell University)|Dec 1, 2015

Algebraic Geometry and Number Theory参考文献 26被引用数 5

ひとこと要約

この論文は、格子論、モノドロミー群、および豊富なコーン構造を用いて、一般化されたクンマー4次元多様体の素数位の非シンプレクティックおよび有限シンプレクティック自己同型群を分類する。シンプレクティック自己同型群については完全分類がなされ、非シンプレクティック自己同型群についても部分的な分類がなされ、幾何的実現と高次元のクンマー多様体への拡張が行われる。

ABSTRACT

We classify non symplectic prime order automorphisms and all finite order symplectic automorphism groups of generalised Kummer fourfolds using lattice theory and recent results on ample cones and monodromy groups. We study various geometric realisations of the automorphisms obtained in the classification. In the case of higher dimensional generalised Kummers, we provide full results for finite symplectic automorphisms groups and we sketch the classification for prime order non-symplectic groups.

研究の動機と目的

• 一般化されたクンマー4次元多様体の素数位の非シンプレクティック自己同型群を、格子論的手法を用いて分類すること。
• 4次元の一般化されたクンマー多様体上の有限位のシンプレクティック自己同型群の完全分類をすること。
• 分類を高次元の一般化されたクンマー多様体へ拡張すること、特にシンプレクティック自己同型群について。
• 格子埋め込みと誘導された作用を通じて得られた自己同型の幾何的実現を研究すること。
• 特定の群作用がクンマー型多様体上で発生できる最小次元を特定すること。

提案手法

• 一般化されたクンマー4次元多様体のコホロジー格子 $H^2(X,\mathbb{Z}) \cong U^3 \oplus \langle -6 \rangle$ を分析するために格子論を用いる。
• 最近のモノドロミー群と豊富なコーンに関する結果を応用し、可能な自己同型作用を制約する。
• 指定された符号型と可除性を持つ格子の原始的埋め込みをK3格子 $\Lambda$ に用いる。
• 自己同型のコホロロジーへの作用を分類するために、コホロロジー表現 $\nu: \mathrm{Aut}(X) \to O(H^2(X,\mathbb{Z}))$ を用いる。
• ハイパーケーラー多様体のトーリー定理を適用し、ホッジ等長写像と被約的幾何、モノドロミーを関連付ける。
• [Yos12]における壁的除数と可除性に関する結果を応用し、シンプレクティックな場合の特定の余不変格子を除外する。

実験結果

リサーチクエスチョン

• RQ1 どの有限群が一般化されたクンマー4次元多様体上のシンプレクティック自己同型群として現れるか？
• RQ2 どの素数位 $p$ に対して一般化されたクンマー4次元多様体上に非シンプレクティック自己同型が存在し、それらの格子論的不変量は何か？
• RQ3 与えられた群作用がクンマー型多様体上で実現できる最小次元は何か？
• RQ4 高次元のクンマー多様体上でのシンプレクティック自己同型の余不変格子のうち、実現可能なものは何か？
• RQ5 クンマー4次元多様体上の誘導された自己同型と自然な自己同型は、格子等長写像と幾何的実現の観点からどのように関係するか？

主な発見

• この論文は、格子論的制約を用いて、一般化されたクンマー4次元多様体上の有限シンプレクティック自己同型群の完全分類を提供する。
• 可除性条件に起因する壁的除数の障害により、余不変格子 $A_1^4(-1)$ を持つシンプレクティック対合は存在しないと証明する。
• シンプレクティック位3自己同型について、$n+1$ が3で割り切れないとき、余不変格子 $A_2^2(-1)$ は高次元のクンマー多様体上で実現可能である。
• 特定の非シンプレクティック群作用の実現に必要な最小次元が特定され、例として位数7の作用では次元6、特定の $\mathbb{Z}/2\mathbb{Z}$ 行動では次元8が含まれる。
• 素数位の4次元における非シンプレクティック自己同型の分類は、位数2, 3, 5, 7について完了され、幾何的実現が提供されている。
• シンプレクティック自己同型の実現可能性に関する基準が確立された：$\mathrm{rk}(S_G(E_8(-1))) + l(A_{S_G(E_8(-1))}) < 8$。