[论文解读] On weights for relative motives with integral coefficients

Mikhail V. Bondarko|arXiv (Cornell University)|Apr 8, 2013

Advanced Algebra and Geometry参考文献 14被引用 3

一句话总结

本文在任意优秀、分离、有限维的概形 $ S $ 上的 Voevodsky 动机复形范畴 $ DM(S) $ 上建立了 Chow 权重结构 $ w_{\text{Chow}} $，其系数为整数。通过构造这一权重结构，作者为任意（上）同调函子 $ H: DM(S) \to \underline{A} $ 获得了函子性的 Chow-权重谱序列与滤子，将原本仅适用于有理系数的结果推广至整数系数情形，并为研究整数系数的动机（上）同调提供了新工具。

ABSTRACT

The goal of this paper is to define a certain Chow weight structure for the category of Voevodsky's motivic complexes with integral coefficients (as described by Cisinski and Deglise) over any excellent finite-dimensional separated scheme $S$. Our results are parallel to (though substantially weaker than) the corresponding 'rational coefficient' statements proved by D. Hebert and the author. As an immediate consequence of the existence of 'weights', we obtain certain (Chow)-weight spectral sequences and filtrations for any (co)homology of $S$-motives.

研究动机与目标

• 在任意优秀、分离、有限维概形 $ S $ 上，为 Voevodsky 动机复形范畴 $ DM(S) $（其系数为整数）定义 Chow 权重结构 $ w_{\text{Chow}} $。
• 将此前仅适用于有理系数的权重结构理论扩展至整数系数情形，后者在技术上更具挑战性。
• 为任意（上）同调函子 $ H: DM(S) \to \underline{A} $ 构造函子性的 Chow-权重谱序列与滤子，利用 $ w_{\text{Chow}} $ 的存在性。
• 将整数系数的 $ w_{\text{Chow}} $ 与 $ DM_{\mathbb{Q}}(S) $ 上已知的有理系数版本进行比较，通过比较函子展示其相容性。
• 为利用权重结构导出的谱序列与滤子研究整数系数动机（上）同调奠定基础。

提出的方法

• 通过在具有可数同伦上极限的 triangulated 范畴中使用新的权重结构存在性引理，构造了 $ DM(S) $ 上的 Chow 权重结构 $ w_{\text{Chow}} $。
• 将权重结构理论应用于由 Cisinski 和 Deglise 通过层论方法定义的 triangulated 范畴 $ DM(S) $，确保其与整数系数相容。
• 以 $ S $ 上 Chow 动机全子范畴的 Karoubi 闭包作为权重结构的中心，确保权重截断的存在性。
• 证明了 $ w_{\text{Chow}} $ 在拟射影态射 $ f $ 的拉回 $ f^* $、推前 $ f_* $ 及其他标准函子下的函子性。
• 依赖于 $ DM(S) $ 存在微分分次增强，从而可构造权重复形函子 $ t_S: DM(S) \to K(\underline{Hw}_{\text{Chow}}(S)) $。
• 将整数系数的 $ w_{\text{Chow}} $ 与 $ DM_{\mathbb{Q}}(S) $ 上的有理系数版本进行比较，证明当 $ S $ 为正则概形时，比较函子 $ DM(S) \otimes \mathbb{Q} \to DM_{\mathbb{Q}}(S) $ 是权重精确的。

实验结果

研究问题

• RQ1 能否在任意优秀、分离、有限维概形 $ S $ 上的 $ DM(S) $ 上定义整数系数的 Chow 权重结构？
• RQ2 整数系数的 Chow 权重结构与 $ DM_{\mathbb{Q}}(S) $ 上已知的有理系数版本有何关系？
• RQ3 $ w_{\text{Chow}} $ 的存在性对整数系数动机（上）同调理论有何影响？
• RQ4 在动机同伦论的标准操作（如 $ f^*, f_* $）下，$ w_{\text{Chow}} $ 的函子性在多大程度上得以保持？
• RQ5 权重结构能否用于构造内在且与选择无关的谱序列与滤子？

主要发现

• 对于任意优秀、分离、有限维概形 $ S $，$ DM(S) $ 上的 Chow 权重结构 $ w_{\text{Chow}} $ 存在，将理论从有理系数推广至整数系数。
• 由于 $ w_{\text{Chow}} $ 的存在，对任意同调或上同调函子 $ H: DM(S) \to \underline{A} $，均存在函子性的 Chow-权重谱序列，且当 $ M $ 有界时，该谱序列收敛于 $ H(M) $。
• 对任意 $ M \in DM(S) $，存在谱序列 $ E_1^{pq} = H_q(M^p) $，收敛于 $ H_{p+q}(M) $，其中 $ (M^p) $ 为权重复形 $ t(M) $ 的项。
• 权重滤子 $ (W^k H)(M) = \operatorname{Im}(H({w_{\text{Chow}}_{\geq k}} M) \to H(M)) $ 与选择无关，且关于 $ M $ 是函子性的，从而在 $ H(M) $ 上给出一个典范滤子。
• 当 $ S $ 为正则概形时，比较函子 $ DM(S) \otimes \mathbb{Q} \to DM_{\mathbb{Q}}(S) $ 是权重精确的，因此有理系数下的谱序列与滤子与通过整数系数 $ w_{\text{Chow}} $ 构造的结果一致。
• 结果与标准动机函子相容：$ w_{\text{Chow}} $ 关于拟射影态射 $ f $ 的 $ f^*, f_*, f^!, f_! $ 是函子性的。