[论文解读] Motives over simplicial schemes

Vladimir Voevodsky|ArXiv.org|May 28, 2008

Algebraic structures and combinatorial models参考文献 5被引用 6

一句话总结

本文引入了一个关于光滑单纯概形 $ \cal X $ 上的有效动机的张量 triangulated 范畴 $ DM^{eff}_{-}({\cal X}) $，其定义了动机上同调的统一形式：$ H^{p,q}({\cal X},A) = \text{Hom}_{DM^{eff}({\cal X})}(\mathbb{Z}, A(p)[q]) $。主要贡献在于在单纯设定下建立了动机上同调的框架，这对 Bloch-Kato 猜想的证明至关重要，尤其在非正则情形下，清晰区分了有效上同调与稳定上同调。

ABSTRACT

In this paper we define the triangulated category of motives over a simplicial scheme. The morphisms between the Tate objects in this category compute the motivic cohomology of the underlying scheme. In the last section we consider the special case of "embedded" simplicial schemes, which correspond to the subsheaves of the constant sheaf and naturally appear in the descent problems for motivic cohomology such as the Bloch-Kato conjecture.

研究动机与目标

• 为任意光滑单纯概形 $ \cal X $ 在完美域 $ k $ 上定义张量 triangulated 范畴 $ DM^{eff}_{-}({\cal X}) $，以将动机上同调的定义推广至非光滑概形。
• 通过 $ H^{p,q}({\cal X},A) = \text{Hom}_{DM^{eff}({\cal X})}(\mathbb{Z}, A(p)[q]) $ 提供一个在单纯概形上的一致动机上同调定义，确保与光滑情形下的已知结果相容。
• 在非正则情形下，区分有效动机上同调与稳定动机上同调，其中悬垂同构失效，并证明稳定上同调满足更优性质（如 Gysin 正合列）。
• 为 Voevodsky 工作背景下的 Bloch-Kato 猜想证明奠定关于单纯概形上动机的理论基础。

提出的方法

• 将范畴 $ DM^{eff}_{-}({\cal X}) $ 构造为光滑单纯概形 $ \cal X $ 上的预层与转移的复形范畴的局部化，利用张量结构与转移。
• 将光滑单纯概形 $ \cal X $ 的动机 $ M({\cal X}) $ 定义为与转移相容的预层复形 $ \mathbb{Z}_{tr}({\cal X}) $，其属于 $ DM_{-}^{eff}(k) $。
• 在 $ \cal X $ 的各分量 $ {\cal X}_i $ 上的与转移相容的预层族 $ (F_i, F_\phi) $ 与 $ Sm/{\cal X} $ 上的预层之间建立双射，且与面映射和退化映射相容。
• 引入范畴 $ Sm/{\cal X} $，其对象为对 $ (Y,i) $，其中 $ Y \to {\cal X}_i $ 为光滑态射，其态射包含单纯映射与相容的概形态射。
• 利用遗忘函子及其左伴随 $ \mathbb{Z}_{tr}(-) $，将与转移相容的预层结构从概形提升至单纯概形。
• 应用 triangulated 范畴中内 Hom-对象的理论，定义对偶并验证范畴 $ DM^{eff}_{-}({\cal X}) $ 支持良好定义的张量 triangulated 结构。

实验结果

研究问题

• RQ1 如何在非正则情形下，为单纯概形一致地定义动机上同调，尤其是当各项不正则时？
• RQ2 在单纯概形上，应采用何种动机范畴，使其支持张量 triangulated 结构，并通过态射群恢复动机上同调？
• RQ3 为何有效动机上同调群在非正则情形下不满足悬垂同构？如何定义稳定动机上同调以恢复此类性质？
• RQ4 动机在单纯概形上的构造在多大程度上依赖于底层面的光滑性？这如何影响标准动机性质的有效性？
• RQ5 能否将带有转移的动机理论从概形推广至单纯概形，以满足 Bloch-Kato 猜想证明的技术需求？

主要发现

• 本文为任意光滑单纯概形 $ \cal X $ 在完美域 $ k $ 上构造了张量 triangulated 范畴 $ DM^{eff}_{-}({\cal X}) $，使得动机上同调由 $ H^{p,q}({\cal X},A) = \text{Hom}_{DM^{eff}({\cal X})}(\mathbb{Z}, A(p)[q]) $ 给出，实现了统一定义。
• 在非正则情形下，有效动机上同调不满足悬垂同构，因此不满足射影丛公式或 Gysin 正合列。
• 稳定动机上同调定义为 $ H^{p,q}_{stable}({\cal X},A) = \varinjlim_n \text{Hom}_{DM^{eff}({\cal X})}(\mathbb{Z}(n), A(n+q)[p]) $，其满足 Gysin 正合列等优良性质。
• 对于各项均为正则的光滑单纯概形，取消定理表明稳定与有效动机上同调一致，因此该区分仅在非正则情形下具有意义。
• 该构造在基变换下保持稳定，并保持与转移相容的预层结构，确保与现有动机同伦理论相容。
• 本文证明范畴 $ DM^{eff}_{-}({\cal X}) $ 允许内 Hom-对象，并支持良好定义的移位函子，从而确认其为 triangulated 且具有张量结构。