[论文解读] On 2-torsion in motivic cohomology

Vladimir Voevodsky|ArXiv.org|Jul 15, 2001

Algebraic Geometry and Number Theory参考文献 24被引用 32

一句话总结

本文证明了贝利尼-利希滕鲍姆猜想的2局部版本，确立了对于所有域 $ k $ 和 $ n \geq 0 $， motivic上同调群 $ H^{n+1}_{ ext{ét}}(Spec(k), Χ_{(2)}(n)) $ 为零。这蕴含了米尔诺猜想——范数剩余同态 $ K_*^M(k)/2 \to H^*(k, \mathbb{Z}/2) $ 是同构——从而解决了 $ l = 2 $ 时伽罗瓦上同调与motivic同伦理论中的核心问题。

ABSTRACT

In this paper we prove the 2-local part of the Beilinson-Lichtenbaum conjectures on tosion in motivic cohomology. In particular we prove the Milnor conjecture relating Milnor's K-theory and the Galois cohomology with Z/2-coefficients. This paper is a new version of the previously distributed preprint "The Milnor Conjecture".

研究动机与目标

• 证明motivic上同调的广义希尔伯特90猜想在2局部情形下的成立。
• 确立在 $ \mathbb{Z}/2 $-系数情形下范数剩余同态的满射性与单射性。
• 解决 $ l = 2 $ 时的米尔诺猜想，该猜想断言：模2的米尔诺K-理论与具有 $ \mathbb{Z}/2 $-系数的étale上同调之间存在同构。
• 通过证明其 $ l = 2 $ 情形，为更广泛的布洛克-卡托猜想提供基础性证据。

提出的方法

• 使用贝利尼与利ichtenbaum的motivic上同调框架，特别是Zariski与étale motivic上同调之间的比较。
• 应用范数二次型及其motives的理论，分析 $ \mathbb{Z}/2 $-系数motivic上同调的结构。
• 利用谱序列与点状单纯层叠的上同调技术，计算上同调群。
• 利用Čech单纯层叠构造，将有理点与0-循环与上同调障碍联系起来。
• 对Čech复形应用锥构造，定义新对象 $ \widetilde{C}(X) $，其上同调可检测度为与 $ n $ 互素的0-循环的存在性。
• 利用域扩张次数乘法作用于 $ \widetilde{C}(Y) $ 的上同调时使其为零的事实，从而在motivic上同调中导出消失结果。

实验结果

研究问题

• RQ1 对于所有域 $ k $ 与 $ n \geq 0 $，motivic上同调群 $ H^{n+1}_{\text{ét}}(Spec(k), \mathbb{Z}_{(2)}(n)) $ 是否为零？
• RQ2 对于特征 $ \neq 2 $ 的所有域 $ k $，范数剩余同态 $ K_*^M(k)/2 \to H^*(k, \mathbb{Z}/2) $ 是否为同构？
• RQ3 贝利尼-利ichtenbaum猜想的2 torsion情形能否约化为涉及范数二次型及其motives的计算？
• RQ4 Čech单纯层叠 $ \check{C}(X) $ 在检测度与 $ n $ 互素的0-循环中起什么作用？
• RQ5 对 $ \check{C}(X) $ 的锥构造如何为代数簇上理点或0-循环的存在性提供障碍？

主要发现

• 广义希尔伯特90猜想的2局部版本成立：对于所有域 $ k $ 与 $ n \geq 0 $，有 $ H^{n+1}_{\text{ét}}(Spec(k), \mathbb{Z}_{(2)}(n)) = 0 $。
• 范数剩余同态 $ K_*^M(k)/2 \to H^*(k, \mathbb{Z}/2) $ 是同构，从而确认了 $ l = 2 $ 时的米尔诺猜想。
• 具有 $ \mathbb{Z}/2 $-系数的光滑概形 $ X $ 的motivic上同调通过 $ \widetilde{C}(X) $ 的上同调检测到度为与2互素的0-循环的存在性。
• 若概形 $ Y $ 在某个次数为 $ n $ 的域扩张上具有有理点，则 $ n \cdot \widetilde{H}^{*,*}(\widetilde{C}(Y), \mathbb{Z}) = 0 $，暗示motivic上同调中存在挠元。
• Zariski与étale motivic上同调之间的典范映射在 $ \mathbb{Z}/2 $-系数的低度情形下是同构，支持了贝利尼-利ichtenbaum猜想。
• 证明表明，在 $ l = 2 $ 情形下，范数剩余同态的单射性可由满射性推出，从而简化了对完整猜想的验证。