[论文解读] Symplectic involutions of K3 surfaces act trivially on CH_0

Claire Voisin|arXiv (Cornell University)|Apr 30, 2012

Algebraic Geometry and Number Theory参考文献 12被引用 22

一句话总结

本文通过使用商曲面之上曲线的 étale 双覆盖的普里姆（Prym）簇，证明了 K3 曲面上的辛对合在 Chow 群 CH₀ 上的作用是平凡的。通过证明反不变 0-循环群在罗伊特曼（Roitman）意义下是有限维的，并应用广义罗伊特曼定理，得出此类循环有理等价于零，因此对合在 CH₀ 上的作用为恒等映射。

ABSTRACT

Symplectic involutions of a K3 surface are those involutions which leave the holomorphic 2-form invariant. We show, as predicted by Bloch's conjecture, that they act trivially on the CH_0 group of the K3 surface. This was recently proved by Huybrechts and Kemeny for one of the three types of symplectic involutions.

研究动机与目标

• 解决关于 K3 曲面上辛自同构在 CH₀ 上作用的一个猜想。
• 建立在 H^{2,0} 上作用平凡的有限群作用诱导出在 CH₀ 的反不变部分上作用平凡的结论。
• 将特定族 K3 曲面的结果推广至辛对合的一般情形。
• 使用几何与上同调技术，证明 K3 曲面上 i-反不变 0-循环群在 CH₀ 中是平凡的。

提出的方法

• 利用商曲面 S/i 研究其上一般丰沛曲线 C ⊂ S/i 的 étale 双覆盖。
• 应用普里姆簇理论，即对于亏格为 g 的曲线，其普里姆簇是 (g−1) 维阿贝尔簇。
• 在 CH²(S×S) 中构造对应 Γ = Δ_S − Graph(i)，以分析在 CH₀(S) 上的作用。
• 证明 Γ_* 在 S^g 上的像通过普里姆纤维丛，其维数为 2g−1。
• 利用映射 f: U → P(𝓒̃/𝓒) 具有正维纤维的事实，推导出反不变循环的有理等价性。
• 应用广义罗伊特曼定理（定理 1.3），得出 i-反不变 0-循环群在 CH₀(S) 中是平凡的。

实验结果

研究问题

• RQ1 K3 曲面上的辛对合是否在 CH₀(S) 上作用平凡？
• RQ2 能否证明在辛对合下 CH₀(S) 的反不变部分是平凡的？
• RQ3 商曲面上曲线的 étale 双覆盖的几何结构如何与 CH₀(S) 的结构相关？
• RQ4 在罗伊特曼意义下，反不变 0-循环群的有限维性是否可用于证明其在 CH₀ 中的平凡性？
• RQ5 普里姆簇构造在多大程度上允许将特定族 K3 曲面的结果推广至一般情形？

主要发现

• K3 曲面 S 上的 i-反不变 0-循环群在 CH₀(S) 中是平凡的，即 i_* 在 CH₀(S) 上的作用为恒等映射。
• 对应 Γ_*: S^g → CH₀(S)^− 通过维数为 2g−1 的普里姆纤维丛。
• 对任意 s ∈ S^g，循环 z_s = ∑s_l − i(∑s_l) 有理等价于一个在 S^{g−1} 上支撑的循环，意味着 Γ_*(S^g) ⊂ Γ_*(S^{g−1})。
• 循环 c_S 是 i-不变的，且 Γ_*(c_S) = 0，这支持了在 CH₀ 上作用的平凡性。
• 该结果对所有具有辛对合的代数 K3 曲面普遍成立，不仅限于特殊族。
• 证明依赖于映射 f: U → P(𝓒̃/𝓒) 具有正维纤维，从而确保纤维间循环的有理等价性。