Some remarks on Chow correspondences

《关于 Chow 对应关系的若干评述》技术摘要

问题陈述
本文探讨了在 Voevodsky 的三角化动机范畴 ($DM_k$) 框架内的一个特定问题：刻画平滑射影簇 $X$ 与 $Y$（定义在代数封闭域 $k$ 上）之间的 Chow 对应 $\Lambda \in CH^{d+n}(X \times Y)$，使得由其诱导的特定同态 $\psi$ 消失。

所讨论的同构 $\psi: CH^{d_Y-n}(Y) \to Alb(X)(k)$ 是通过一个 Chow 对应 $\Lambda$ 定义的。它将一个循环 $\gamma$ 映射到交积的推前（pushforward）的 Albanese 像，并经过度数调整：
$$\psi(\gamma) = alb_X(\Lambda(\gamma) - \deg(\Lambda(\gamma))[x_0])$$
其中 $alb_X$ 是 Albanese 映射，$x_0$ 是一个固定的有理点，$\Lambda(\gamma)$ 是对应作用于循环的标准作用。本文旨在确定 $\psi$ 恒为零的条件，特别是将这种消失性与对应关系在动机范畴的正交过滤中的结构联系起来。

方法论
作者利用了 Voevodsky 的三角化动机范畴 ($DM_k$) 的工具以及充足等价关系（adequate equivalence relations）理论。该方法论依赖于以下核心组件：

1. 循环的动机表示： 本文利用同构 $Hom_{DM_k}(M(Z), \mathbb{1}(m)[2m]) \cong CH^m(Z)$ 将代数循环表示为动机范畴中的态射。
2. 正交过滤： 一个核心工具是 $DM_k$ 的正交过滤，记作 $DM_k^\perp(m)$。该过滤由与 $m$-有效动机（$m$-effective motives）正交的对象组成。本文特别关注正交覆盖 $bc_{\leq -1}$ 以及其 counit $\theta_{-1}^A: bc_{\leq -1}(A) \to A$，其中 $A$ 代表 Albanese 簇 $Alb(X)$ 的点函。
3. 分解判据： 核心技术方法涉及分析与对应相关的动机态射的分解。具体而言，本文研究了由 $\Lambda$ 诱导的动机态射与向 Albanese 簇的映射是否通过正交覆盖 $bc_{\leq -1}(A)$ 进行分解。
4. 正则同构： 该分析将 $\psi$ 的消失与循环诱导的正则同构（在 Lieberman 意义下）理论联系起来，利用了 Albanese 映射作为正则同构的性质。

主要贡献与结果

• 消失对应关系的刻画（定理 4.1.4）：
  主要结果建立了 $\psi$ 为零的充分必要条件。该定理指出，$\psi \equiv 0$ 当且仅当与对应 $\Lambda$ 相关的动机态射（具体为复合映射 $A_f \circ \Lambda_X$）通过正交覆盖 $\theta_{-1}^A: bc_{\leq -1}(A) \to A$ 进行分解。用图表语言描述，存在一个映射 $\Lambda': M(Y)(-n)[-2n] \to bc_{\leq -1}(A)$，使得相关的三角形在 $DM_k$ 中交换。

• 平方等价性的检测（定理 4.3.1）：
  本文证明了正交覆盖可以检测出“平方等价于零”（记作 $alg^{*2}$）的对应关系。具体而言，如果一个对应 $\Lambda$ 属于子群 $CH^{d+n}_{alg^{*2}}(Y \times X)$（即代数等价关系与其自身的乘积），那么诱导的同构 $\psi$ 为零。因此，此类对应关系满足通过 $bc_{\leq -1}(A)$ 进行分解的条件。

• 检测 H. Saito 过滤（定理 4.3.2）：
  在基域为 $k = \mathbb{C}$ 的特定情况下，该结果被强化以包含属于 H. Saito 过滤第二步（$H^{*2}$）的对应关系。若 $\Lambda \in CH^{d+n}_{H^{*2}}(Y \times X)$，则 $\psi$ 消失，且通过正交覆盖的分解成立。

• 条件的锐利性（备注 4.3.3）：
  作者提供了一个反例来表明 $\Lambda \in CH^{d+n}_{alg^{*2}}$ 这一条件是锐利的。文中展示了对于仅仅属于 $CH^{d+n}_{alg}$（代数等价）但不属于其平方的对应关系，同构 $\psi$ 并不一定消失。这是通过构造一个涉及 Albanese 核中非挠元（non-torsion element）且非数值等价于零的循环的对应关系来证明的。

意义与主张
本文声称提供了一个精确的动机判据，用于刻画向 Albanese 簇的循环诱导正则同构的消失性。通过将 $\psi$ 的消失与通过正交覆盖 $bc_{\leq -1}$ 的分解联系起来，这项工作将经典交理论（充足等价关系）与 Voevodsky 动机范畴的结构性质联系在一起。

其意义在于正交过滤能够“检测”特定类别的对应关系：

1. 它识别了那些在 Albanese 簇上诱导零映射的对应关系。
2. 它将平方等价于零或（在 $\mathbb{C}$ 上）属于 Saito 过滤第二步的对应关系，刻画为满足该动机分解条件的对应关系。

作者并未声称解决了通用的 Bloch-Beilinson 猜想，而是将正交过滤定位为一个自然捕捉这些特定等价关系的工具，从而为代数循环在 Albanese 映射下的行为提供了动机视角。研究结果是在现有的动机框架内进行的刻画，依赖于对 Albanese 映射和 Lieberman 正则同构理论的既有性质。