[论文解读] Motivic Eilenberg-Maclane spaces

Vladimir Voevodsky|arXiv (Cornell University)|May 28, 2008

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

一句话总结

该论文在 motivic 同伦类别中构建对称幂，以描述在 f-可接受范畴（包括特征零域上光滑及半正则拟射影概形）上表示 motivic 上同调的 motivic Eilenberg-MacLane 空间。关键结果是对特征零域上光滑概形的全部双稳定 motivic 上同调操作代数进行了完整计算，表明其与特征零域上的 motivic Steenrod 代数一致。

ABSTRACT

This paper is the second one in a series of papers about operations in motivic cohomology. Here we show that in the context of smooth schemes over a field of characteristic zero all the bi-stable operations can be obtained in the usual way from the motivic reduced powers and the Bockstein homomorphism.

研究动机与目标

• 在域上概形的 motivic 同伦类别中发展对称幂构造。
• 描述在 f-可接受范畴（包括光滑及半正则拟射影概形）上表示 motivic 上同调的 motivic Eilenberg-MacLane 空间。
• 对特征零域上光滑概形的双稳定 motivic 上同调操作代数提供完整计算。
• 为理解不稳定的操作建立基础工具，这对 Bloch-Kato 猜想的证明至关重要。
• 通过 motivic 同伦理论中的统一框架，统一指向对象的同伦理论、有限对应关系和 radditive 函子。

提出的方法

• 引入 f-可接受范畴——对乘积、étale 映射、余积及有限群商封闭的概形子范畴，其范围扩展至光滑概形之外。
• 应用 radditive 函子的形式化方法，在单纯 radditive 函子的背景下，统一处理非指向、指向及带有转移的同伦理论。
• 在 $C_+$ 和 $Cor(C,R)$ 的 $(Nis, \bbA^1)$-同伦类别中构建广义对称幂，以支持 motivic Eilenberg-MacLane 空间的研究。
• 利用 Dold-Kan 对应关系，将单纯 radditive 函子与非正复形联系起来，从而可使用同调代数工具。
• 应用 Verdier 闭包与 $\bar{\bDelta}$-闭包技术，分析 radditive 函子的导出范畴中的同伦类与投影等价关系。
• 建立 motivic Dold-Thom 定理并定义 motivic Moore 对，以分析 motivic Eilenberg-MacLane 空间的结构。

实验结果

研究问题

• RQ1 如何在有限对应关系与指向概形的 motivic 同伦类别中构建对称幂？
• RQ2 对于 $p \geq q$，motivic Eilenberg-MacLane 空间 $K(A,p,q)_C$ 的精确描述是什么，其与对称幂和 radditive 函子的关系如何？
• RQ3 motivic Eilenberg-MacLane 空间在哪些 f-可接受范畴上表示 motivic 上同调？
• RQ4 在特征零域上光滑概形上，双稳定 motivic 上同调操作代数的结构是什么？
• RQ5 证明 Bloch-Kato 猜想所需的不稳定性操作如何与 motivic Eilenberg-MacLane 空间及其对称幂结构相关？

主要发现

• 在 f-可接受范畴（包括光滑及半正则拟射影概形）中，motivic Eilenberg-MacLane 空间 $K(A,p,q)_C$ 通过 $(Nis, \bbA^1)$-同伦类别中的对称幂加以描述。
• 对于特征零域，$\Delta^{op}(Sm/k)_+^\sharp$ 上以 $\bbZ/l$ 为系数的全部双稳定 motivic 上同调操作代数，与 motivic Steenrod 代数 $\mathcal{A}^{*,*}(k,\bbZ/l)$ 同构，如定理 3.49 所述。
• 在 $H_{Nis,\bbA^1}(Cor(C,R))$ 中构建对称幂，为 motivic 上同调提供了稳定描述，将经典 Dold-Thom 定理推广至 motivic 设置。
• 在 $C_+$ 和 $Cor(C,R)$ 上的 radditive 函子范畴允许对 motivic 同伦理论进行统一处理，统一了指向与转移增强的设定。
• 定理 2.76、3.25 和 3.32 提供了关于不稳定操作的关键结果，构成了 Bloch-Kato 猜想证明的坚实基础。
• motivic Dold-Thom 定理与 motivic Moore 对的结构被确立为分析 motivic Eilenberg-MacLane 空间同伦类型的工具。