[論文レビュー] Automorphisms of hyperkähler manifolds

Giovanni Mongardi|arXiv (Cornell University)|Mar 19, 2013

Algebraic Geometry and Number Theory参考文献 2被引用数 7

ひとこと要約

本稿は、$K3^{[n]}$-型の超ケーラー多様体のシンプレクティック自己同型を調査し、分類、固定点集合、変形族の観点に注目する。格子論的技法とトーリの定理を用いて、位数11のシンプレクティック自己同型を持つ$K3^{[2]}$-型多様体の2つの異なる変形族の存在を証明し、それらは不変格子によって区別される。また、特定の自然な例（例えば、ダブルEPWセクシティック）が、その極小化を保ったままこのような自己同型をもたないことを示している。

ABSTRACT

The present paper provides several results on automorphisms of hyperkähler (or irreducible holomorphic symplectic) manifolds. In particular it focuses on the symplectic case and contains a classification of prime order symplectic automorphisms on deformations of the Hilbert scheme of two points on a K3 surface and, with additional hypothesis, also on Hilbert schemes of n points on a K3 surface. We also give numerical conditions to establish whether a symplectic automorfism of order 2,3 and 5 on a deformation of the Hilbert scheme of two points on a K3 surface is standard. Moreover we also give various examples.

研究の動機と目的

• 超ケーラー多様体の$K3^{[n]}$-型におけるシンプレクティック自己同型を、格子論的およびコhomオロジカル技法を用いて分類すること。
• 特に位数11について、$K3^{[2]}$-型多様体のどの変形族がシンプレクティック自己同型をもつかを特定すること。
• 既知のプロジェクト型族（例えばダブルEPWセクシティックや立方四乗体の直線のファノ多様体）における極小化が自己同型の存在に与える制約を分析すること。
• 不変コホモロジー格子における格子障害により、特定の自己同型が標準的プロジェクト型族に実現できないことを確立すること。

提案手法

• ベイユ＝ボゴモロフ＝フジキ形式とトーリ型定理を用い、自己同型を整数コホモロジー格子$H^2(X,\mathbb{Z})$上の等長写像に関連付ける。
• 判別形式およびニエーマー格子を含む格子論を応用し、自己同型下での不変および共不変部分格子を分類する。
• エイクラーのトランスベクションおよび等長写像分類を用いて、位数が素数である自己同型の不変格子$T_\psi(X)$の構造を分析する。
• 変形理論およびツイスター族を用いて、固定された自己同型型を持つ多様体の最大次元族を構成する。
• 変形族を区別するために、平方が2または6で、所定の可除性を持つ原始的クラスの存在を分析する。
• トーリの定理を用いて、コホモロジー格子の等長写像が多様体上で双正則変換を誘導することを示し、等長写像類による分類を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どの$K3^{[2]}$-型超ケーラー多様体の変形族が、位数11のシンプレクティック自己同型をもつか？
• RQ2 ダブルEPWセクシティックや立方四乗体の直線のファノ多様体などの標準的プロジェクト型族に、位数3または11のシンプレクティック自己同型を実現できるか？
• RQ3 $K3^{[2]}$-型多様体における素数位数のシンプレクティック自己同型$\psi$について、不変格子$T_\psi(X)$の可能な等長写像類は何か？
• RQ4 極小化の制約は、既知のプロジェクト型族における超ケーラー多様体の自己同型の存在にどのように影響するか？

主な発見

• 位数11のシンプレクティック自己同型をもつ$K3^{[2]}$-型多様体について、不変格子$T_{\psi}(X)$の等長写像類はちょうど2つであり、それぞれ式 (7.5) と (7.6) に与えられる行列で表される。
• 例4.5.2のダブルEPWセクシティックは、式 (7.5) に対応する族に属し、平方が2の原始的クラスをもつ。
• 例4.5.1の立方四乗体の直線のファノ多様体は、式 (7.6) に対応する族に属し、平方が6で可除性2のクラスをもつ。
• 判別群の制約により、位数3の自己同型はダブルEPWセクシティック、和のべきの多様体、またはグラスマン多様体部分空間では、自然な極小化を保ったまま存在できない。
• 位数11のシンプレクティック自己同型をもつ$K3^{[2]}$-型多様体$X$のツイスター族$TW_\omega(X)$は最大次元族であり、$\mathbb{P}(T_\psi(X) \otimes \mathbb{R})$によってパラメトライズされる。