[论文解读] Infinitesimal invariants for cycles modulo algebraic equivalence and 1-cycles on Jacobians

Claire Voisin|arXiv (Cornell University)|Apr 15, 2013

Advanced Differential Equations and Dynamical Systems参考文献 38被引用 7

一句话总结

本文引入了一种新的无穷小不变量，用于检测代数等价关系下的循环，特别应用于曲线雅可比簇上的1-循环。关键贡献是证明了对于一般平面曲线，其在雅可比簇中的1-循环的Beauville分解具有最大长度，从而证实了当 $ g \geq 2s+1 $ 时的猜想，使用了Hodge理论工具和Ikeda族。

ABSTRACT

We construct an infinitesimal invariant for cycles in a family with cohomology class in the total space lying in a given level of the Leray filtration. This infinitesimal invariant detects cycles modulo algebraic equivalence in the fibers. We apply this construction to the Ikeda family, which gives optimal results for the Beauville decomposition of the 1-cycle of a very general plane curve in its Jacobian.

研究动机与目标

• 构建一个无穷小不变量，以检测一族纤维中的循环是否在代数等价意义下为零，而不仅仅是同调等价。
• 将该不变量应用于研究非常一般平面曲线在其雅可比簇中1-循环的Beauville分解。
• 证明一般雅可比簇上1-循环的Beauville分解长度达到最大，从而证实了在 $ g \geq 2s+1 $ 范围内的一个猜想。
• 阐明无穷小不变量在Leray过滤和Hodge理论背景下的作用，将其与先前用于同调等价的构造区分开来。

提出的方法

• 该构造利用一族 $ \pi: \mathcal{Y} \to B $ 中循环的Dolbeault上同调类，限制在纤维上，并在商空间 $ \frac{\text{Ker}\,\overline{\nabla}_{s,n-s,n}}{\Omega_B \wedge \text{Ker}\,\overline{\nabla}_{s-1,n-s,s}} $ 中定义无穷小不变量。
• 该不变量源自Gauss-Manin联络和无穷小Hodge结构变化，特别是映射 $ \overline{\nabla}_{s,n-s,n} $，它们编码了Hodge过滤的变化。
• 该方法适用于其总空间上同调类位于Leray过滤第 $ s $ 个层次的循环（$ s \geq 2 $），以检测纤维中代数平凡性。
• 关键技术工具是Koszul上同调 $ K_{k,1}(C,K_C) $ 在一般曲线上消失的Hodge理论解释，这表明 $ \overline{\nabla}_{0,g-s-1,g-1} $ 的核等于曲线类的Pontryagin乘积的像。
• 该构造应用于 $ \mathbb{P}^2 $ 中的Ikeda族曲线，其中无穷小不变量检测到Beauville分解中 $ \mathcal{Z}_s $ 的非平凡性。
• 该方法表明，通过度数为零的0-循环对循环进行相对平移不会保持Ikeda子空间不变，从而说明对于最大长度分量，无穷小不变量非零。

实验结果

研究问题

• RQ1 能否构造一个无穷小不变量来检测模代数等价关系的循环，而不仅仅是同调等价？
• RQ2 非常一般曲线在其雅可比簇中1-循环的Beauville分解的最大可能长度是多少？
• RQ3 在雅可比簇族中，循环的相对平移下无穷小不变量的行为如何？
• RQ4 Ikeda无穷小不变量是否足以检测完整Beauville分解中的非平凡性，还是需要额外的不变量？
• RQ5 当 $ g \geq 2k+1 $ 时，$ K_{k,1}(C,K_C) $ 的消失是否意味着 $ \overline{\nabla}_{0,g-s-1,g-1} $ 的核恰好等于曲线类的Pontryagin乘积的像？

主要发现

• 无穷小不变量 $ \delta[\mathcal{Z}]_{b,\text{alg}} $ 在一般点 $ b \in B $ 处为零，当且仅当限制循环 $ \mathcal{Z}_b $ 在挠子群意义下代数等价于零。
• 对于平面曲线的Ikeda族，无穷小不变量检测到1-循环Beauville分解中第 $ s $ 个分量在 $ g \geq 2s+1 $ 时非零，从而证明了分解的最优化。
• $ \overline{\nabla}_{0,g-s-1,g-1,b} $ 的核等于Pontryagin乘积 $ [C]*: H^{g-s,g}(JC) \to H^{g-s-1,g-1}(JC) $ 的像，这对应于上同调的非原始部分。
• 对于 $ i > 0 $，$ \mathcal{Z}_s * \Gamma_i $ 的无穷小不变量不在Ikeda子空间中（3.31），表明Ikeda不变量不足以检测所有分量中的非平凡性。
• 该构造证实了在非常一般雅可比簇上，1-循环的Beauville分解长度达到最大，且在条件 $ g \geq 2s+1 $ 下，所有分量 $ \text{CH}^{g-1}(JC)_s $ 对于 $ 1 \leq s \leq g-1 $ 均非零。
• 该方法表明子空间（3.32）包含了所有代数等价于零的循环的无穷小不变量，但Ikeda子空间（3.31）太小，无法检测完整分解中的非平凡性。