[論文レビュー] Symplectic involutions of $K3^{[n]}$ type and Kummer $n$ type manifolds

Ljudmila Kamenova, Giovanni Mongardi+1 more|arXiv (Cornell University)|Sep 8, 2018

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

ひとこと要約

この論文は、$K3^{[n]}$ 型およびカミーレー $n$ 型のハイパーケーラー多様体上のシンプレクティック対合の固定点集合を分類し、それが有限個の $K3$ 表面のヒルベルトスキームおよび孤立点の変形から成ることを証明する。主な結果は、固定点集合の次元ごとの明確な分解であり、最大の成分は $S^{[n/2]}$ の単一の変形（$n$ が奇数の場合は8つのコピー）である。これはモジュライ空間の連結性およびグローバル・トーリー定理を用いて導出される。

ABSTRACT

In this paper we describe the fixed locus of a symplectic involution on a hyperkähler manifold of type $K3^{[n]}$ or of Kummer $n$ type. We prove that the fixed locus consists of finitely many copies of Hilbert schemes of $K3$ surfaces of lower dimensions and isolated fixed points.

研究の動機と目的

• ハイパーケーラー多様体の $K3^{[n]}$ 型およびカミーレー $n$ 型におけるシンプレクティック対合の固定点集合を分類すること。
• ニコリンの $K3$ 表面に関する結果（8個の固定点）およびモンガーディの $K3^{[2]}$ に関する結果（28点と1つの $K3$）を任意の $n$ に一般化すること。
• 固定点集合が有限個の成分に分解され、それぞれが $m \leq n/2$（カミーレーの場合 $m \leq (n+1)/2$）に対して $S^{[m]}$ の変形であり、$n \leq 24$ または $n \leq 48$ のとき孤立点を含むことを証明すること。
• このような対 $(X, \iota)$ のモジュライ空間が連結であることを確立し、標準的な幾何的モデルへの変形を可能にする。

提案手法

• グローバル・トーリー定理を用いて、$X$ が $K3^{[n]}$ 型またはカミーレー $n$ 型で、$\iota$ がシンプレクティック対合であるような任意の対 $(X, \iota)$ が、$K3$ 表面またはアーベル多様体上の対合から生じる「標準的対」に双有理的であることを示す。
• コホロロジー上の数値的に標準的な群作用が、対が標準的であることを示すことを証明し、既知の幾何的構成に還元可能であることを可能にする。
• 対 $(X, \iota)$ のモジュライ空間が連結であるという事実を活用し、群作用を保ちながら任意の対を標準的対に変形できることを示す。
• 固定点集合を $\mathrm{Sym}^n S$ および $\mathrm{Sym}^n A$ への誘導作用を用いて分析し、$n$ の偶奇に基づいて成分を数える組合せ論的手法を用いる。
• $K3^{[n]}$ 型の場合、クーヴァー多様体の技法と $\hat{\mathfrak{sl}}_2$ 代数のルート系を用いて、固定点集合を $\mathfrak{M}_{\mathbf{Q}'_0}((n_1,n_2),(0,1))$ のクーヴァー多様体の和集合として記述する。偶数の場合には等号が成り立ち、奇数の場合には少なくとも2つの成分が存在する。
• カミーレー $n$ 型の場合、アーベル多様体 $A$ 上の符号対合に還元し、類似の技法を用いて固定点集合を $S^{[m]}$ の変形および孤立点として分類する。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック対合の $K3^{[n]}$ 型ハイパーケーラー多様体上の固定点集合の構造は何か？
• RQ2 固定点集合はどのように異なる次元の成分に分解され、各次元における連結成分の数は何かによって決まるか？
• RQ3 すべての $n$ に対して固定点集合を一様に記述できるか？また、$n$ の偶奇に依存するか？
• RQ4 このような対 $(X, \iota)$ のモジュライ空間は連結か？これにより標準的な幾何的モデルへの変形が可能か？
• RQ5 コホロロジー作用が、群作用が数値的に標準的であるかどうかを決定する役割を果たすか？

主な発見

• シンプレクティック対合の $K3^{[n]}$ 型多様体上の固定点集合は、有限個の成分から成り、それぞれが $m \leq n/2$ に対して $S^{[m]}$ の変形であり、$n \leq 24$ のときには孤立固定点を含む可能性がある。
• 固定点集合は、$\max(0, n/2 - 12) \leq m \leq n/2$ である偶数次元成分 $F_{2m}$ に分類され、各 $F_{2m}$ は $\left| \sum_{n-k-2l=2m} \binom{8}{k} \binom{k}{l} \right|$ 個の連結成分を持つ。
• $n$ が偶数のとき、最大次元の固定成分は $S^{[n/2]}$ の単一の変形である。$n$ が奇数のとき、それは8つのこのような成分から成る。
• カミーレー $n$ 型多様体の場合、固定点集合は同様に $F_{2m}$ に分解され、$\max(0, (n+1)/2 - 24) \leq m \leq (n+1)/2$ を満たし、各 $F_{2m}$ は $N^n_m$ 個の成分を持ち、それぞれが $S^{[m]}$ の変形である。孤立点は $n \leq 48$ のときのみ存在する可能性がある。
• 証明は、対 $(X, \iota)$ のモジュライ空間が連結であること、およびコホロロジー上の数値的に標準的な作用が対が標準的であることを示すことにより成り立つ。
• $n=2$ の場合、固定点集合はクーヴァー多様体 $\mathfrak{M}_{\mathbf{Q}'_0}((1,1),(0,1))$ に同型である。$n=3$ の場合、2つの成分を持つ：1つは $\mathfrak{M}_{\mathbf{Q}'_0}((2,1),(0,1))$ に同型であり、もう1つは原点における点的ヒルベルトスキームに対応する孤立点である。