[论文解读] 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)$-一般性的概念，作者证明了周期映射在这些球面商上成为双射，从而通过其上同调不变量实现了对这类流形的完全且显式参数化。

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]}$-型不可约全纯辛流形进行参数化。
• 通过上同调数据，刻画周期映射到复球面商成为双射的条件。
• 将 Dolgachev-Kondô 对 $K3$ 曲面的构造推广至高维 $K3^{[n]}$-型流形。
• 引入并应用 $K(T)$-一般性的概念，以确保模空间的单射性，并与球面商同构。

提出的方法

• 作者利用自同构在第二整上同调格 Lattice $H^2(X,\mathbb{Z})$ 上的作用，定义了一个保持凯勒类的单值算子。
• 通过定义 $(\rho,T)$-极化，固定自同构在上同调上作用的等距类，借助霍奇理论的 Torelli 定理确保唯一性。
• 从模空间构造一个到复球面内超平面排列补集的满射周期映射，类似于 $K3$ 曲面的情形。
• 引入 $K(T)$-一般性的概念，通过限制在不变子格 $T$ 完全确定上同调作用的流形上，确保周期映射成为双射。
• 算术群 $\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})$ 完全确定自同构在上同调上的作用？
• RQ3 此类流形的模空间如何被参数化为一个拟射影代数簇，$K(T)$-一般性在此过程中起什么作用？
• RQ4 在存在非辛自同构的情况下，周期域与凯勒锥结构之间有何关系？

主要发现

• 具有素数阶 $p \geq 3$ 的非辛自同构的 $K(T)$-一般 $K3^{[n]}$-型流形的模空间的周期映射，双射于复球面商 $\Omega / \Gamma_T^{\rho,\xi}$。
• 该构造给出了一个拟射影代数簇，显式识别为 $\Omega / \Gamma_T^{\rho,\xi}$，用于参数化 $K(T)$-一般 $K3^{[n]}$-型流形的同构类。
• 当 $p=3$ 且 $T = \bar{T} \oplus \langle -2 \rangle$ 时，商空间 $\Omega / \Gamma_T^{\rho,\xi}$ 是 $\Omega_{K3}/\Gamma_{K3,\bar{T}}^{\rho,\xi}$ 的双重覆盖，后者参数化了 $(\rho,\bar{T})$-极化的 $K3$ 曲面。
• 球面中的超平面排列 $\Delta$ 对应于格 $S$ 中平方为 $-2$ 的根的正交补，这些根源于 $(-2)$-曲线以及相关模问题中的判别式或弦曲线三次曲面的奇点。
• 周期域 $\Omega$ 是复球面 $\Omega_T^{\rho,\xi}$ 去掉 $\Delta$ 的补集，且周期映射在该域上是满射。
• 本文通过证明 $K(T)$-一般性可确保完全且单射的模空间参数化，解决了 $K3^{[n]}$-型流形上非辛自同构分类中的一个关键情形。