[論文レビュー] Complex ball quotients from manifolds of $K3^{[n]}$-type

Samuel Boissière, Chiara Camere+1 more|arXiv (Cornell University)|Dec 7, 2015

Advanced Algebra and Geometry参考文献 16被引用数 8

ひとこと要約

本稿では、素数 $p \geq 3$ の非シミレティック自己同型を備えた $K3^{[n]}$-型の非分解的ホロモルフィックシンプレクティック多様体のモジュライ空間として、複素球商を構成する。$K(T)$-一般性という概念を導入することで、周期写像がこれらの球商へ双対的になると証明し、コhomological不変量を用いた完全かつ明示的なパrametrizationを提供する。

ABSTRACT

We describe periods of irreducible holomorphic manifolds of $K3^{[n]}$-type with a non-symplectic automorphism of prime order $p\geq 3$. These turn out to lie on complex ball quotients and we are able to give a precise characterization of when the period map is bijective, by introducing the notion of $K(T)$-generality.

研究の動機と目的

• 素数 $p \geq 3$ の非シミレティック自己同型を備えた $K3^{[n]}$-型の非分解的ホロモルフィックシンプレクティック多様体をパラメトライズすること。
• コhomologicalデータを用いて、複素球商への周期写像がいつ双対的になるかを特定すること。
• $K3$ 表面に対するDolgachev-Kondôの構成を、高次元の $K3^{[n]}$-型多様体へ一般化すること。
• $K(T)$-一般性の概念を導入し、それを適用することで、モジュライ空間の単射性および球商への同型性を保証すること。

提案手法

• 著者たちは、自己同型が第二整数コhomology格子 $H^2(X,\mathbb{Z})$ に作用するのを用い、ケーラー類を保存するモノドロミー作用素を定義する。
• $(\rho,T)$-極化を定義することで、自己同型のコhomology上での作用の合同型クラスを固定し、ホッジ的Torelli定理により一意性を保証する。
• 複素球内の超平面配置の補集合への、モジュライ空間からの中への全射周期写像を構成する。これは $K3$ 表面の場合と類似している。
• $K(T)$-一般性という概念を導入し、不変部分格子 $T$ がコhomology上の作用を完全に決定することを保証することで、周期写像が双対的になるように制限する。
• 算術群 $\Gamma_{T}^{\rho,\xi}$ が球上に作用し、商 $\Omega / \Gamma_{T}^{\rho,\xi}$ は $K(T)$-一般な $K3^{[n]}$-型多様体の同型類をパラメトライズする。
• Amerik-Verbitsky のケーラー錐に関する結果を活用し、Dolgachev や Kondô による $K3$ 表面のモジュライに関する技術を拡張する。

実験結果

リサーチクエスチョン

• RQ1 素数 $p \geq 3$ の非シミレティック自己同型を備えた $K3^{[n]}$-型多様体のモジュライ空間から複素球商への周期写像がいつ双対的になるか。
• RQ2 不変部分格子 $T \subset H^2(X,\mathbb{Z})$ がコhomology上の自己同型の作用を完全に決定するためのコhomological条件は何か。
• RQ3 このような多様体のモジュライ空間はどのように準射影的多様体としてパラメトライズ可能か。$K(T)$-一般性はその際に果たす役割は何か。
• RQ4 非シミレティック自己同型が存在する状況下で、周期領域とケーラー錐構造の関係は何か。

主な発見

• 非シミレティック自己同型を備えた $K(T)$-一般な $K3^{[n]}$-型多様体のモジュライ空間から複素球商 $\Omega / \Gamma_T^{\rho,\xi}$ への周期写像は双対的である。
• この構成により、$K(T)$-一般な $K3^{[n]}$-型多様体の同型類をパラメトライズする準射影的多様体が得られ、明示的に $\Omega / \Gamma_T^{\rho,\xi}$ と同定される。
• 特に $p=3$ かつ $T = \bar{T} \oplus \langle -2 \rangle$ の場合、商 $\Omega / \Gamma_T^{\rho,\xi}$ は $(\rho,\bar{T})$-極化 $K3$ 表面をパラメトライズする $\Omega_{K3}/\Gamma_{K3,\bar{T}}^{\rho,\xi}$ の二重被覆である。
• 球内の超平面配置 $\Delta$ は、関連するモジュライ問題における $(-2)$-曲線、判別式・弦的三次曲面の軌跡から生じる、格子 $S$ のノルム $-2$ の根の直交補空間に対応する。
• 周期領域 $\Omega$ は複素球 $\Omega_T^{\rho,\xi}$ から $\Delta$ を除いたものであり、周期写像はこの領域に全射である。
• 本稿は、$K3^{[n]}$-型多様体における非シミレティック自己同型の分類において重要なケースを解決し、$K(T)$-一般性が完全かつ単射的なモジュライパラメトライズを保証することを示した。