[论文解读] Bloch's conjecture and valences of correspondences for K3 surfaces

Claudio Pedrini|arXiv (Cornell University)|Oct 20, 2015

Algebraic Geometry and Number Theory参考文献 5被引用 6

一句话总结

本文证明，对于复数 K3 曲面，Bloch 的猜想——即同调平凡的对应在 Albanese 核上作用平凡——等价于 Chow 环中每个对应都有良定义的阶数。核心贡献在于通过阶数建立动机有限性与 Bloch 猜想之间的结构性联系，其应用涵盖辛自同构、全纯曲线以及极化 K3 曲面族在亏格 3 至 6 时的 Franchetta 型猜想。

ABSTRACT

Bloch's conjecture for a surface $X$ over an algebraically closed field $k$ states that every homologically trivial correspondence $Γ$ acts as 0 on the Albanese kernel $T(X_Ω)$, where $Ω$ is a universal domain containing $k$. Here we prove that, for a complex K3 surface $X$, Bloch's conjecture is equivalent to the existence of a valence for every correspondence. We also give applications of this result to the case of a correspondence associated to an automorphisms of finite order and to the existence of constant cycle curves on $X$. Finally we show that Franchetta's conjecture, as stated by K.O'Grady, holds true for the family of polarized K3 surfacees of genus $g$, if $ 3 \le g \le 6$

研究动机与目标

• 建立复数 K3 曲面上 Bloch 猜想与所有对应在 Chow 环中具有阶数之间的等价性。
• 研究该等价性对有限群作用（特别是辛自同构）及其相关投影算子的含义。
• 为 K3 曲面上的全息曲线提供动机刻画，并将其与辛群作用下的商曲面联系起来。
• 验证极化 K3 曲面族在亏格 g 满足 3 ≤ g ≤ 6 时的 Franchetta 猜想，将其与通用纤维 Chow 群 A₀ 的有理性联系起来。

提出的方法

• 利用 K3 曲面的精炼 Chow-Künneth 分解，分离出控制 Albanese 核 T(X) 的超越动机 t₂(X)。
• 应用对应阶数的概念：若 Γ + v(Γ)Δ_X 属于退化对应理想 I(X)，则对应 Γ 的阶数为 v(Γ)。
• 分析有限自同构群 G 的投影算子 p = (1/n)∑_{g∈G}Γ_g，证明当自同构为辛时 v(p) = -1，非辛时 v(p) = 0。
• 在函数域上的 Chow 动机范畴中使用局部化序列与上极限论证，将通用纤维的 Chow 群与全空间的 Chow 群联系起来。
• 利用 A₀(X_η) ≃ ℚ 与 A²(𝒳) 在曲线上的族中有限维性之间的等价性，证明 Franchetta 型结果。
• 应用动机技巧，证明阶数 ≠ -1 的对应所固定的曲线必为全息曲线。

实验结果

研究问题

• RQ1 复数 K3 曲面 X 上 Bloch 猜想是否等价于 A²(X×X) 中每个对应都有阶数？
• RQ2 有限自同构群在 K3 曲面上的投影算子的阶数是多少？其值是否取决于自同构是否为辛？
• RQ3 K3 曲面上的全息曲线能否通过动机方式刻画？其与辛群作用下商曲面的关系如何？
• RQ4 Franchetta 猜想在极化 K3 曲面族（亏格 g 满足 3 ≤ g ≤ 6）中是否成立？其与通用纤维 A₀ 的有理性有何关联？
• RQ5 在 K3 曲面族 f:𝒳→S 上，A²(𝒳) 的有限维性如何与通用纤维上 A₀ 的有理性相关？

主要发现

• 复数 K3 曲面 X 上 Bloch 猜想成立当且仅当 A²(X×X) 中每个对应都有良定义的阶数。
• 对于 K3 曲面上有限自同构群 G，其关联投影算子 p 的阶数为 -1 当且仅当所有自同构均为辛自同构；若为非辛自同构，则阶数为 0。
• 当 G 作用为辛时，X 上 G-不动点的全息曲线与 X/G 的最小解析消除 Y 上的全息曲线之间存在一一对应。
• Franchetta 猜想对亏格 g 满足 3 ≤ g ≤ 6 的极化 K3 曲面族成立，当且仅当通用纤维 X_η 满足 A₀(X_η) ≃ ℚ。
• 在 K3 曲面族 f:𝒳→S 上，若基 S 为光滑曲线，则 A₀(X_η) ≃ ℚ 当且仅当 A²(𝒳) 为有限维 ℚ-向量空间。
• 阶数 ≠ -1 的对应所固定的曲线必为全息曲线，从而提供其存在的动机判别准则。