[論文レビュー] Non-symplectic automorphisms of odd prime order on manifolds of $K3^{[n]}$-type

Chiara Camere, Alberto Cattaneo|arXiv (Cornell University)|Feb 1, 2018

Algebraic Geometry and Number Theory参考文献 33被引用数 3

ひとこと要約

この論文は、$K3^{[n]}$-型の非正則シンプレクティック自己同型の奇素数位数の分類を、第二コホロロジー格子上の格子論的手法を用いて行い、$n \geq 2$ すべての $n$ に対して実施する。$p^2 \nmid 2(n-1)$ のとき、共変格子 $S$ の等長型は三重組 $(p,m,a)$ によって一意に決定され、$n=3,4$ に対してすべての許容可能な作用を実現する具体的な例が構成され、立方四重多様体の自己同型から生じる、レーヌ＝レーヌ＝ソルジャー＝ヴァン・ストラテンの8次元多様体に対する新しい構成が含まれる。

ABSTRACT

We classify non-symplectic automorphisms of odd prime order on irreducible holomorphic symplectic manifolds which are deformations of Hilbert schemes of any number n of points on K3 surfaces, extending results already known for n=2. In order to do so, we study the properties of the invariant lattice of the automorphism (and its orthogonal complement) inside the second cohomology lattice of the manifold. We also explain how to construct automorphisms with fixed action on cohomology: in the cases n=3,4 the examples provided allow to realize all admissible actions in our classification. For n=4, we present a construction of non-symplectic automorphisms on the Lehn-Lehn-Sorger-van Straten eightfold, which come from automorphisms of the underlying cubic fourfold.

研究の動機と目的

• 非正則自己同型の奇素数位数の分類を、$K3^{[2]}$-型から一般の $K3^{[n]}$-型多様体（$n \geq 2$）に拡張すること。
• 第二コホモロジー格子 $H^2(X,\mathbb{Z}) \cong L$ 内の不変格子 $T$ と共変格子 $S$ を、数値的不変量 $p$, $m$, $a$ によって特徴付けること。
• ニクリンの格子論を用いて、$p^2 \nmid 2(n-1)$ の条件下で、$S$ の等長型が三重組 $(p,m,a)$ によって一意に決定される条件を同定すること。
• $n=3$ および $n=4$ に対して、特にレーヌ＝レーヌ＝ソルジャー＝ヴァン・ストラテンの8次元多様体上での新しい構成を含め、すべての許容可能なコホモロジー的作用を具体的に実現する自己同型を構成すること。
• 特に [31] の非正則対合の分類について、誤りを特定し修正し、奇素数位数のための一貫した枠組みを提供することにより、以前の分類を是正・精錬すること。

提案手法

• 非正則シンプレクティック多様体のグローバル・トーレッリ定理を活用し、自己同型の分類を第二コホモロジー格子 $H^2(X,\mathbb{Z}) \cong L = U^{\oplus 3} \oplus E_8^{\oplus 2} \oplus \langle -2(n-1) \rangle$ 上の等長写像の研究に還元する。
• 奇素数位数 $p$ の非正則自己同型 $\sigma$ の作用を、誘導される等長写像 $\sigma^*$ を通じて分析し、不変格子 $T = H^2(X,\mathbb{Z})^{\sigma^*}$ 及びその直交補空間 $S = T^\perp$ に注目する。
• $p$, $m$（$\mathrm{rk}(S) = (p-1)m$）、$a$（$H^2(X,\mathbb{Z})/T \oplus S \cong (\mathbb{Z}/p\mathbb{Z})^{\oplus a}$）の不変量を用いて、各 $n$ に対して許容可能な三重組 $(p,m,a)$ を定義する。
• ニクリンの格子論および $O(S) \to O(q_S)$ の全射性を応用し、特に $p^2 \nmid 2(n-1)$ の条件下で、$S$ の等長型が三重組 $(p,m,a)$ によって一意に決定される条件を同定する。
• 幾何的実現を通じて具体的な自己同型を構成する：$n=3,4$ に対しては、$K3$ 表面上のねじれ層のモジュライ空間を用い、$n=4$ の場合には、レーヌ＝レーヌ＝ソルジャー＝ヴァン・ストラテンの8次元多様体上で、元の立方四重多様体の自己同型から生じる新しい構成が得られる。
• 格子論的技法を用いて、各許容可能な三重組に対して $S$ および $T$ の存在性と一意性を検証し、ベアヴィル＝ボゴモロフ＝フジキ形式およびネロン＝ターティング双一次形式との整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 与えられた $n \geq 2$ に対して、奇素数位数 $p$、ランク $m$、 torsion パラメータ $a$ からなる三重組 $(p,m,a)$ は、$K3^{[n]}$-型多様体上の非正則自己同型に対して許容可能か？
• RQ2 共変格子 $S$ の等長型が三重組 $(p,m,a)$ によって一意に決定される条件は何か？
• RQ3 $K3^{[n]}$-型多様体上での非正則自己同型の奇素数位数のすべての許容可能なコホモロジー的作用は、具体的な幾何的構成によって実現可能か？
• RQ4 $n=4$ の場合に、元の立方四重多様体の自己同型は、レーヌ＝レーヌ＝ソルジャー＝ヴァン・ストラテンの8次元多様体上での非正則自己同型をどのように誘導するか？
• RQ5 以前の $K3^{[n]}$-型多様体上の非正則対合の分類は、どのような修正・精錬を必要としているか？

主な発見

• $p^2 \nmid 2(n-1)$ のとき、共変格子 $S$ の等長型は三重組 $(p,m,a)$ によって一意に決定され、判別群に関する追加の条件のもとで、不変格子 $T$ も $L$ の等長型として一意に決定される。
• 許容可能な三重組 $(p,m,a)$ の分類は、すべて格子論的制約によって完全に決定され、$p$ が奇素数で $n \geq 2$ である限り、$p$ が $2(n-1)$ を割る場合に、このような三重組の数が著しく増加する。
• $n=3$ および $n=4$ の場合に、奇素数位数の非正則自己同型のすべての許容可能な作用が、具体的な幾何的構成によって実現されており、レーヌ＝レーヌ＝ソルジャー＝ヴァン・ストラテンの8次元多様体上でも含む。
• 立方四重多様体の自己同型から生じる、レーヌ＝レーヌ＝ソルジャー＝ヴァン・ストラテンの8次元多様体上での位数3の非正則自己同型の新しい構成が提供されている。
• 本論文は、特に [31] の非正則対合の分類について、誤りを特定し是正し、奇素数位数のための一貫した枠組みを提供することで、以前の分類を是正・精錬している。
• $n=4$, $p=3$ のための格子表には、22個の異なる $S$ および $T$ の配置がリストアップされており、それぞれが一意な許容可能な三重組 $(p,m,a)$ に対応しており、ラベルは格子の構造とその判別群を示している。