[論文レビュー] Moduli spaces of K3^[2]-type manifolds with non-symplectic involutions

Malek Joumaah|arXiv (Cornell University)|Mar 3, 2014

Geometry and complex manifolds参考文献 16被引用数 2

ひとこと要約

この論文は、非シンプレクティック自己同型を備えた K3^[n]-型多様体の変形同値性について、ラティス理論的基準を確立し、それらの変形型の完全な分類を可能にする。一般に非ハウスドルフであるがゆえに、そのモジュライ空間の構成は一般には困難であるが、良好な性質を有するクラスの対について、準射影的モジュライ空間を構成する。

ABSTRACT

This paper is concerned with non-symplectic involutions of irreducible symplectic manifolds of $K3^{[n]}$-type. We will give a criterion for deformation equivalence and use this to give a lattice-theoretic description of all deformation types. While moduli spaces of $K3^{[n]}$-type manifolds with non-symplectic involutions are not necessarily Hausdorff, we will construct quasi-projective moduli spaces for a certain well-behaved class of such pairs.

研究の動機と目的

• 非シンプレクティック自己同型を備えた K3^[n]-型の単純なシンプレクティック多様体の変形同値性に関する基準を確立すること。
• このような多様体のすべての可能な変形型をラティス理論的に記述すること。
• 一般にハウスドルフでないがゆえに、これらの対のモジュライ空間が一般に非ハウスドルフであるという課題に対し、良好な性質を有する部分クラスに対して準射影的モジュライ空間を構成すること。
• 高次元のハイパーケーラー多様体における非シンプレクティック自己同型の文脈における幾何学的・算術的不変量の理解を拡張すること。

提案手法

• 自己同型の下でのコホロジーの不変部分ラティスに関連するラティス理論的不変量を用いる。
• 単純なシンプレクティック多様体の変形理論を用いて、自己同型の変形における振る舞いを分析する。
• K3^[n]-型多様体のトーリの定理を用いて、幾何的変形類をラティス埋め込みに結びつける。
• 十分に良いモノドロミーおよび極化データを持つ対に制限することで、準射影的モジュライ空間を構成する。
• 第二コホロジーのラティスにおける自己同型の作用を分析し、ラティスの同型類による変形型の分類を行う。
• ネロン＝セベールラティスおよび超越ラティスの理論を用いて、変形型を区別する。

実験結果

リサーチクエスチョン

• RQ1 非シンプレクティック自己同型のコホロジー的不変量にどのような条件が課されると、K3^[n]-型多様体の変形同値性が保証されるか？
• RQ2 ラティス理論的データを用いて、非シンプレクティック自己同型を備えた K3^[n]-型多様体の変形型を完全に分類することは可能か？
• RQ3 どのような場合に、K3^[n]-型多様体と非シンプレクティック自己同型の対に対して準射影的モジュライ空間を構成できるか？
• RQ4 一般に非ハウスドルフであるモジュライ空間の性質が分類に与える影響は何か？また、良好なモジュライ構成を可能にする制限条件は何か？
• RQ5 コホロジーの不変部分ラティスは、対の変形型を決定づける上でどのような役割を果たすか？

主な発見

• 非シンプレクティック自己同型を備えた K3^[n]-型多様体の変形型について、ラティス理論的不変量を用いて完全な分類が達成された。
• 変形同値性は、自己同型の下での第二コホロジーの不変部分ラティスの同型類によって特徴づけられる。
• 一般にハウスドルフでないがゆえに、モジュライ空間の構成は一般には困難であるが、良好な性質を有するクラスの対に対しては準射影的モジュライ空間が存在する。
• モジュライ空間の構成は、適切な極化およびモノドロミー条件を満たす対に制限することに依存する。
• ラティス理論的基準により、変形型を区別する効果的なアルゴリズム的アプローチが可能である。
• 本研究の結果は、高次元ハイパーケーラー幾何におけるシンプレクティックおよび非シンプレクティック自己同型の理解を拡張する。