[论文解读] Non-natural non-symplectic involutions on symplectic manifolds of K3^{[2]}-type

Hisanori Ohashi, Malte Wandel|arXiv (Cornell University)|May 28, 2013

Algebraic Geometry and Number Theory参考文献 17被引用 16

一句话总结

该论文对具有19个形变参数的 $K3^{[2]}$-型不可约全纯辛流形上的非辛对合进行了分类，识别出共轭类的四个同调作用。通过在二次 $K3$ 曲面上的层模空间构造了一个新的几何例子，实现了其中一个共轭类，其不动点集为两个光滑曲面（分别为 $mathbb{P}^2$ 的六次和十次分支覆盖），并证明了其中三个类内的形变等价性；而第3类则存在两种由 Mukai 挪动关联的特殊形变类型。

ABSTRACT

We study non-symplectic involutions on irreducible symplectic manifolds of K3^{[2]}-type with 19 parameters, which is the second largest possible. We classify the conjugacy classes of cohomological representations into four different types and show that there are at most five deformation types, two of which are given by natural involutions and their flops. Next, we give a geometric realisation of one of the new types using moduli spaces of sheaves on K3 surfaces. The geometry of the manifold and the new involution is described in detail.

研究动机与目标

• 通过同调不变量对 $K3^{[2]}$-型流形上具有19个形变参数的非辛对合作分类。
• 确定此类对合的形变等价类，并识别出已知自然对合及其挪动之外的其他不同类型。
• 通过在二次 $K3$ 曲面上的层模空间几何实现一个新的形变类。
• 详细描述新对合的不动点集，表明其由两个光滑且连通的曲面组成，具有特定的分支覆盖结构。

提出的方法

• 使用格理论与 Torelli 定理，通过不变子格对 $H^2(X,\mathbb{Z})$ 上对合作的同调作用进行分类。
• 应用标记流形与周期映射理论，分析对合的形变等价性。
• 将新对合作为极化 $K3$ 曲面（度数为二）上层模空间的诱导自同构来构造。
• 利用 $|\mathcal{O}(H)|$ 上的纤维化结构与雅可比纤维化，通过双曲对合分析纤维上的不动点。
• 使用函数 $r(\mathcal{L}) = \dim H^0(D,\mathcal{L})^{\iota_D}$ 区分不动点分量，并证明不动点集中两个曲面分量的不相交性。
• 通过紧化雅可比的退化分析，证明不动曲面分量的连通性与不相交性。

实验结果

研究问题

• RQ1 在 $K3^{[2]}$-型流形上，具有19个参数的非辛对合存在多少个形变类？它们在同调上如何区分？
• RQ2 能否在已知自然对合及其挪动之外，几何实现一个全新的19维此类对合族？
• RQ3 新对合的不动点集结构为何？其与自然对合的不动点集有何不同？
• RQ4 自然对合及其 Mukai 挪动作为自同构是否形变等价？这对自同构的分类有何含义？

主要发现

• 在 $K3^{[2]}$-型流形上，具有19个参数的非辛对合的同调作用恰好存在四个共轭类，其分类依据为不变子格 $H^2(X,\mathbb{Z})^\iota$ 的结构。
• 共轭类编号1、2和4中的对合在各自类内均为形变等价；而编号3类中的对合则形变等价于自然对合或其 Mukai 挪动。
• 一个全新的19维对合族被实现为在度数为二的 $K3$ 曲面上的层模空间上的自同构，且仅属于共轭类编号1。
• 该新族的不动点集由两个光滑且连通的曲面组成，每个均为 $mathbb{P}^2$ 的六次和十次分支覆盖。
• 不动点集的两个分量互不相交，此结论通过不变截面维数函数 $r(\mathcal{L})$ 证明，该函数在每个分量上取不同值。
• 通过模空间的几何实现，首次提供了非自然、非辛对合具有19个参数的已知例子，将分类范围扩展至自然对合及其挪动之外。