[论文解读] Symplectic automorphisms of K3 surfaces of arbitrary order

Daniel Huybrechts|arXiv (Cornell University)|May 15, 2012

Algebraic Geometry and Number Theory参考文献 10被引用 15

一句话总结

本文通过结合 [6] 中的导出范畴技术（特别是球面扭转）与 [1] 中的格子分类结果，证明了复射影 K3 曲面上任意有限阶辛自同构在零循环的 Chow 群 CH²(X) 上的作用是平凡的。关键结果表明，所有有限阶辛自同构（包括阶 4、6 和 8）的作用均为平凡，从而在 Voisin 关于对合（阶 2）的结果之后，完整解决了所有情况。

ABSTRACT

It is observed that the recent result of Voisin and earlier ones of the author suffice to prove in complete generality that symplectic automorphisms of finite order of a K3 surface X act as identity on the Chow group CH^2(X) of zero-cycles.

研究动机与目标

• 将 Claire Voisin 关于辛对合（阶 2）在 CH²(X) 上作用平凡的结果，推广至所有复射影 K3 曲面上的有限阶辛自同构。
• 解决 Voisin 关于对合的工作之后仍悬而未决的辛自同构阶 4、6 和 8 的情况。
• 证明 [6] 中的导出范畴技术（特别是球面扭转的使用以及正交群上的 Kneser 定理）在与格子分类结果结合时，可普遍适用于所有有限阶辛自同构。
• 证明 [6] 中所需的 Néron–Severi 格子（2- 和 3-秩）条件，对所有素数阶 3、5 和 7 的辛自同构均成立，并可通过商构造推广至合数阶。
• 弥合关于辛自同构在 CH²(X) 上平凡性的普遍猜想中的空白，支持 Chow 群上 Bloch–Beilinson 滤子的总体哲学。

提出的方法

• 利用 Nikulin 的结果对 K3 曲面上有限阶辛自同构进行分类，该结果将可能的阶限制为 2、3、5、7 和 8。
• 应用 [6] 中的导出范畴框架，特别是其中结果：在满足格子秩条件时，由球面扭转复合诱导的上同调正交变换在 CH²(X) 上作用平凡。
• 利用 [1] 中关于不变子格 H²(X, Z)^f 与正交补子格 Ω_p 的格子理论分类，计算其 2- 和 3-秩，以验证 [6] 中定理 1.4 的条件。
• 对于阶 4 和 8 的情况，构造商曲面 X/⟨f²⟩，并两次应用 Voisin 关于对合的结果：首先在 X 上得到 [x] = [f²(x)]，然后在商曲面上得到 [f(x)] = [f³(x)]，从而推出 2[x] = 2[f(x)]，故在无挠 CH²(X) 中有 [x] = [f(x)]。
• 对于阶 8 的情况，利用 NS(X) 包含 E₈(−1)⊕E₈(−1) 和 U⊕3 的事实，推出 rk₂(NS(X)) ≥ 19 且 rk₃(NS(X)) ≥ 19，从而直接满足 [6] 中定理 1.4 的条件。
• 依赖于 CH²(X) 是无挠的这一事实，因此 2[x] = 2[f(x)] 蕴含 [x] = [f(x)]，使得商曲面的奇点在论证中可忽略。

实验结果

研究问题

• RQ1 [6] 中的导出范畴方法（在 NS(X) 的 2- 和 3-秩条件下证明 CH²(X) 上作用平凡）是否适用于阶大于 2 的辛自同构？
• RQ2 能否利用对素数阶 p = 3、5、7 的 Ω_p = (H²(X, Z)^f)^⊥ 的格子理论分类，来验证 [6] 中定理 1.4 所需的 2- 和 3-秩条件？
• RQ3 如何通过商构造将阶 4 和 8 的辛自同构情况约化为 Voisin 关于对合的结果？
• RQ4 [6] 中 Néron–Severi 格子的条件是否足以覆盖所有有限阶辛自同构，包括合数阶如 6 和 8？
• RQ5 对于高阶自同构，Prym 代数系方法的失效能否通过导出范畴技术克服？

主要发现

• 任意有限阶辛自同构 f 在 CH²(X) 上的作用均为平凡，即 f* = id 在 CH²(X) 上，对所有复射影 K3 曲面 X 成立。
• 对于素数阶 p = 3、5、7 的辛自同构，其正交补子格 Ω_p 的 2- 和 3-秩足够大（分别满足 rk₂(Ω_p) = 12、16、18 且 rk₃(Ω_p) ≥ 3、16、18），满足 [6] 中定理 1.4 的条件。
• 阶 4 的情况通过考虑商曲面 X/⟨f²⟩ 解决，其中 f² 是辛对合；两次应用 Voisin 的结果后，由 2[x] = 2[f(x)] 及无挠性推出 [x] = [f(x)] 在 CH²(X) 中成立。
• 对于阶 8 的情况，Néron–Severi 格子 NS(X) 包含 E₈(−1)⊕E₈(−1) 和 U⊕3，故 rk₂(NS(X)) ≥ 19 且 rk₃(NS(X)) ≥ 19，直接满足 [6] 中定理 1.4 的假设，因此结论可直接推出。
• 阶 6 的情况由 Z/6Z ≅ Z/3Z × Z/2Z 可得，由于对阶 2 和 3 的情况结论均成立，故对乘积也成立。
• 本文表明 [6] 中的导出范畴技术比几何方法（如节点椭圆曲线或 Prym 代数系）更具普遍适用性，后者在阶 > 2 时失效，从而完成了分类。