[论文解读] Relations between the Chow motive and the noncommutative motive of a smooth projective variety

Marcello Bernardara, Gonçalo Tabuada|arXiv (Cornell University)|Mar 13, 2013

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

一句话总结

本文建立了域上光滑射影概形的Chow动机与非交换动机之间的精确关系。证明了当非交换动机为单位型（单位动机的直和）时，Chow动机为Lefschetz型——回答了关于已知蕴含关系逆命题的关键问题。该结果在系数环的温和条件下成立，包括当 $ R $ 为主理想整环或包含 $ 1/(2d)! $ 时。

ABSTRACT

In this note we relate the notions of Lefschetz type, decomposability, and isomorphism, on Chow motives with the notions of unit type, decomposability, and isomorphism, on noncommutative motives. Examples, counter-examples, and applications are also described.

研究动机与目标

• 确定从Chow动机为Lefschetz型到非交换动机为单位型的蕴含关系是否具有逆命题。
• 研究Chow动机与非交换动机可分解性的关系。
• 检查Chow动机的同构是否蕴含非交换动机的同构，反之亦然。
• 提供非交换动机为单位型时，对应Chow动机为Lefschetz型的条件。
• 建立动机代数结构与K-理论、Chow环等几何不变量之间的精确联系。

提出的方法

• 使用从微分分次范畴到非交换动机的普遍加法不变量函子 $ U(-)_{R} $，关联光滑射影概形上完美复形的代数不变量。
• 应用全纯嵌入函子 $ \theta $ 及投影 $ \theta: \text{Chow}(k)_{R} \to \text{Chow}(k)_{R}/_{-\bigotimes R(1)} $，比较动机的自同态环。
• 利用 $ \mathrm{perf}(X) $ 的半正交分解，推导非交换设定下的动机分解。
• 依赖切尔字符同构 $ K_0(X)_{R[1/(2d)!]} \to \bigoplus_{i} CH^i(X)_{R[1/(2d)!]} $，在局部化范畴中建立同构。
• 利用 $ U(-)_{R} $ 的对称张量结构，将非交换动机的张量积与直和联系起来。
• 应用代数K-理论与循环同调的结果，证明在温和假设下（例如 $ R $ 为主理想整环或 $ 1/(2d)! \in R $），单位型非交换动机蕴含Lefschetz型Chow动机。

实验结果

研究问题

• RQ1 从Chow动机为Lefschetz型到非交换动机为单位型的蕴含关系是否具有逆命题？
• RQ2 Chow动机与非交换动机的可分解性特征之间有何关系？
• RQ3 Chow动机的同构是否蕴含非交换动机的同构，反之亦然？
• RQ4 在何种条件下，非交换动机为单位型可推出对应Chow动机为Lefschetz型？
• RQ5 在局部化范畴 $ \text{Chow}(k)_{R[1/(2d)!]} $ 中，Chow动机与非交换动机的自同态环之间存在何种精确关系？

主要发现

• 本文证明：若非交换动机 $ U(\mathrm{perf}_{\mathsf{dg}}(X))_{R} $ 为单位型（即单位动机的直和），则在 $ \mathbb{Z} \subseteq R $ 且每个有限生成的 $ R[1/(2d)!] $-模均为自由模的假设下，Chow动机 $ M(X)_{R} $ 为Lefschetz型。
• 当 $ R $ 为主理想整环或包含 $ 1/(2d)! $ 时，该逆蕴含关系成立，从而精确给出了非交换单位型蕴含Chow Lefschetz型的条件。
• 通过全纯嵌入函子 $ \theta $，在局部化范畴 $ \text{Chow}(k)_{R[1/(2d)!]} $ 中，非交换动机的自同态环与Chow动机的自同态环同构，建立了关键的代数联系。
• 切尔字符诱导同构 $ K_0(X)_{R[1/(2d)!]} \to \bigoplus_{i=0}^{d} CH^i(X)_{R[1/(2d)!]} $，这是在局部化设定下证明动机同构的关键。
• 动机分解 $ U(\mathrm{perf}_{\mathsf{dg}}(X))_{R} \simeq \bigoplus_{i=0}^{d-1} U(\underline{A}^{\bigotimes i})_{R} $ 源于 $ \mathrm{perf}(X) $ 的半正交分解，且在给定条件下可提升为Chow动机的分解。
• 在局部化范畴 $ \text{Chow}(k)_{R[1/(2d)!]} $ 中，蕴含关系 $ M(X)_{R} \simeq M(Y)_{R} \Rightarrow U(\mathrm{perf}_{\mathsf{dg}}(X))_{R} \simeq U(\mathrm{perf}_{\mathsf{dg}}(Y))_{R} $ 成立，前提是 $ 1/(2d)! \in R $。