[论文解读] Bloch's Conjecture and Chow Motives

Morihiko Saito|ArXiv.org|Feb 1, 2000

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

一句话总结

本文建立了光滑射影曲面满足 p_g = 0 时，Bloch 猜想、Chow 上同调群核的幂零性与 Albanese 映射的单射性之间的等价性。证明表明，在这些条件下，Chow 群中核理想之立方为零，通过 Murre 分解与 Beilinson 型猜想，将动机分解、Hodge 理论与周期映射的单射性联系起来。

ABSTRACT

Let X be a complex surface with no nontrivial 2-forms. Then we show that Bloch's conjecture is true (i.e. the Albanese map in this case is injective) if and only if any homologically trivial idempotent in the ring of correspondences vanishes. Furthermore the cube of the ideal of homologically trivial correspondences is zero if these equivalent conditions are satisfied (e.g. if X is not of general type).

研究动机与目标

• 研究光滑射影曲面的 Chow 动机结构与 Bloch 猜想之间的关系。
• 确定从 Chow 群到上同调的周期映射核理想幂零的条件。
• 建立三个关键猜想性条件的等价性：(0.1) 拥有平凡上同调类的 Chow 幂等元的消失，(0.2) 核理想幂零性，以及 (0.3) Albanese 映射的单射性。
• 证明当 p_g = 0 且非一般型时，CH^2(X × X)_Q 中核理想的立方为零，推进了对动机分解的理解。

提出的方法

• 利用 Murre 通过 CH^2(X × X)_Q 中正交幂等元 π_i 构造 Chow 动机分解的方法。
• 应用 Hodge 理论与 Künneth 分解，将 Chow 对应与上同调作用联系起来。
• 使用周期映射及其在除子情形下的单射性，分析 CH^2(X × X)_Q → H^4(X × X, Q)(2) 的核。
• 通过 Beilinson 论证的变体，将 Bloch 猜想约化为具有平凡上同调类的幂等元的消失。
• 利用有限生成域上的基变换与一般纤维限制，将有理等价性问题约化为复几何问题。
• 应用混合 Hodge 模的导出范畴技巧，证明 Ext^2 项的消失，支持幂零性。

实验结果

研究问题

• RQ1 若 Albanese 映射是单射，则 CH^2(X × X)_Q 中周期映射核的理想立方是否为零？
• RQ2 对于满足 p_g = 0 的曲面，三个条件——(0.1) 拥有平凡上同调类的 Chow 幂等元消失，(0.2) 核理想幂零性，(0.3) Albanese 映射单射性——是否在逻辑上等价？
• RQ3 当 p_g = 0 时，Bloch 猜想是否可约化为 Chow 动机分解中某一特定幂等元的消失？
• RQ4 对于满足 p_g = 0 且亏格非零的曲面，CH^2(X × X)_Q 中核理想的精确幂零指数为何？
• RQ5 当 H^1(X, Q) ≠ 0 时，核理想的平方是否消失，还是仅其立方消失？

主要发现

• 对于满足 p_g = 0 的光滑射影曲面，三个条件 (0.1)、(0.2) 与 (0.3) 是等价的。
• 若 Albanese 映射是单射，则 CH^2(X × X)_Q 中核理想的立方为零。
• 当亏格 q = dim H^1(X, Ω^1) 非零时，核理想的平方不消失。
• 当 p_g = 0 且 X 非一般型时，核理想的立方为零，证实了 Bloch 猜想的一个推论。
• 证明依赖于除子情形下周期映射的单射性，以及使用混合 Hodge 模的导出范畴论证。
• 结果将 Bloch 猜想约化为 CH^2(X × X)_Q 中具有平凡上同调类的幂等元的消失。