[论文解读] Non-symplectic automorphisms of odd prime order on manifolds of $K3^{[n]}$-type

Chiara Camere, Alberto Cattaneo|arXiv (Cornell University)|Feb 1, 2018

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

一句话总结

该论文使用第二上同调格子上的格理论方法，对所有 $ n \geq 2 $ 的 $ K3^{[n]} $-型不可约全纯辛流形上的奇素数阶非辛自同构进行了分类。研究结果表明，当 $ p^2 \nmid 2(n-1) $ 时，余不变格子 $ S $ 的等距类由三元组 $ (p,m,a) $ 唯一确定，并为 $ n=3,4 $ 构造了所有可实现动作的显式例子，包括从立方四fold自同构出发对 Lehn–Lehn–Sorger–van Straten 八倍体的新构造。

ABSTRACT

We classify non-symplectic automorphisms of odd prime order on irreducible holomorphic symplectic manifolds which are deformations of Hilbert schemes of any number n of points on K3 surfaces, extending results already known for n=2. In order to do so, we study the properties of the invariant lattice of the automorphism (and its orthogonal complement) inside the second cohomology lattice of the manifold. We also explain how to construct automorphisms with fixed action on cohomology: in the cases n=3,4 the examples provided allow to realize all admissible actions in our classification. For n=4, we present a construction of non-symplectic automorphisms on the Lehn-Lehn-Sorger-van Straten eightfold, which come from automorphisms of the underlying cubic fourfold.

研究动机与目标

• 将奇素数阶非辛自同构的分类从 $ K3^{[2]} $-型推广至所有 $ n \geq 2 $ 的 $ K3^{[n]} $-型流形。
• 通过数值不变量 $ p $、$ m $ 和 $ a $，刻画第二上同调格子 $ H^2(X,\mathbb{Z}) \cong L $ 中的不变格子 $ T $ 和余不变格子 $ S $。
• 利用 Nikulin 的格理论，确定在何种条件下，$ S $ 的等距类由三元组 $ (p,m,a) $ 唯一确定。
• 构造显式自同构，实现所有可接受的上同调作用，特别是针对 $ n=3 $ 和 $ n=4 $，包括在 Lehn–Lehn–Sorger–van Straten 八倍体上的新构造。
• 通过纠正和改进早期工作中的错误，特别是对非辛对合的分类，提供一个系统化框架以处理奇素数阶的情形。

提出的方法

• 利用不可约全纯辛流形的全局 Torelli 定理，将自同构的分类问题转化为第二上同调格子 $ H^2(X,\mathbb{Z}) \cong L = U^{\oplus 3} \oplus E_8^{\oplus 2} \oplus \langle -2(n-1) \rangle $ 上等距变换的研究。
• 通过其诱导的等距变换 $ \sigma^* $ 分析奇素数阶 $ p $ 的非辛自同构 $ \sigma $ 的作用，重点关注不变格子 $ T = H^2(X,\mathbb{Z})^{\sigma^*} $ 及其正交补 $ S = T^\perp $。
• 利用不变量 $ p $、$ m $（满足 $ \mathrm{rk}(S) = (p-1)m $）和 $ a $（满足 $ H^2(X,\mathbb{Z})/T \oplus S \cong (\mathbb{Z}/p\mathbb{Z})^{\oplus a} $）定义每个 $ n $ 的可接受三元组 $ (p,m,a) $。
• 应用 Nikulin 的格理论以及 $ O(S) \to O(q_S) $ 的满射性，确定在 $ p^2 \nmid 2(n-1) $ 条件下，$ S $ 的等距类是否由 $ (p,m,a) $ 唯一确定。
• 通过几何实现构造显式自同构：对于 $ n=3,4 $，例子通过 $ K3 $ 曲面上扭曲层的模空间构建；对于 $ n=4 $，一种新构造源于 Lehn–Lehn–Sorger–van Straten 八倍体上基础立方四fold 的自同构。
• 采用格理论技术验证每个可接受三元组下 $ S $ 和 $ T $ 的存在性与唯一性，并检查其与 Beauville–Bogomolov–Fujiki 形式及 Néron–Tate 配对的相容性。

实验结果

研究问题

• RQ1 对于给定的 $ n \geq 2 $，哪些奇素数阶 $ p $、秩 $ m $ 和挠参数 $ a $ 的三元组 $ (p,m,a) $ 是 $ K3^{[n]} $-型流形上非辛自同构的可接受三元组？
• RQ2 在何种条件下，余不变格子 $ S $ 的等距类由三元组 $ (p,m,a) $ 唯一确定？
• RQ3 所有可接受的奇素数阶非辛自同构的上同调作用是否都能通过 $ K3^{[n]} $-型流形上的显式几何构造实现？
• RQ4 基础立方四fold 的自同构如何在 $ n=4 $ 时诱导 Lehn–Lehn–Sorger–van Straten 八倍体上的非辛自同构？
• RQ5 对 $ K3^{[n]} $-型流形上非辛对合的早期分类需要哪些修正与改进？

主要发现

• 当 $ p^2 \nmid 2(n-1) $ 时，余不变格子 $ S $ 的等距类由三元组 $ (p,m,a) $ 唯一确定；在判别群满足附加条件时，不变格子 $ T $ 也相对于 $ L $ 的等距唯一确定。
• 可接受三元组 $ (p,m,a) $ 的分类完全由格理论约束决定，其中 $ p $ 为奇素数且 $ n \geq 2 $，当 $ p \mid 2(n-1) $ 时，此类三元组的数量显著增加。
• 对于 $ n=3 $ 和 $ n=4 $，所有可接受的奇素数阶非辛自同构作用均通过显式几何构造实现，包括在 Lehn–Lehn–Sorger–van Straten 八倍体上的构造。
• 本文提供了 Lehn–Lehn–Sorger–van Straten 八倍体上阶为 3 的非辛自同构的新构造，其源于基础立方四fold 的自同构。
• 论文纠正并改进了早期对非辛对合的分类，特别是 [31] 中的工作，识别并修正了其中的错误，为奇素数阶情形提供了统一的框架。
• 对于 $ n=4 $、$ p=3 $ 的格表列出了 22 种不同的 $ S $ 和 $ T $ 配置，每种对应唯一的可接受三元组 $ (p,m,a) $，标签标明了格子及其判别群的结构。