[论文解读] A comparison theorem for MW-motivic cohomology

Baptiste Calmès, Jean Fasel|arXiv (Cornell University)|Aug 21, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 7

一句话总结

本文在特征 ≠ 2 的无限完美域的有限生成域扩张上，建立了 Milnor-Witt K-理论与 MW-动机上同调在双次数 (n,n) 下的比较同构。通过构造一个普遍态射 Φ 的层论方法，并利用转移相容性与一次上同调计算证明其为同构，作者表明对所有 n ∈ ℤ 及此类域 L，有 H_MW^{n,n}(L, ℤ) ≅ K^MW_n(L)。

ABSTRACT

We prove that for a finitely generated field over an infinite perfect field k, and for any integer n, the (n,n)-th MW-motivic cohomology group identifies with the n-th Milnor-Witt K-theory group of that field

研究动机与目标

• 在双次数 (n,n) 下，建立 MW-动机上同调与 Milnor-Witt K-理论之间的比较同构。
• 证明普遍态射 Φ: K^MW_*(L) → ⊕_n H_MW^{n,n}(L, ℤ) 对于有限生成域扩张 L/k 是同构。
• 将普通动机上同调的 Nesterenko-Suslin-Totaro 同构推广至 MW-动机设定。
• 验证态射 Φ 尊重转移，确保与域扩张的相容性，从而支持同构证明。
• 计算一个关键复形在一次的上同调，由于 MW 设定中非正合性，此计算对同构证明至关重要。

提出的方法

• 通过层之间同态 G_m^∧n → H_MW^{n,n} 构造一个分次环同态 Φ: K^MW_*(L) → ⊕_n H_MW^{n,n}(L, ℤ)。
• 利用 H_MW^{n,n} 的严格 A^1-不变性，确保 Φ 的普遍性，此结论基于先前的工作。
• 通过构造左逆并直接计算与 G_m^∧1 关联复形的一次上同调，证明 Φ 是同构。
• 通过利用 Chow-Witt 上同调群的性质与投影公式，证明 Φ 尊重有限域扩张的迹映射，从而建立转移相容性。
• 应用归纳法与可分与纯不可分扩张的分解技术，将问题约化为基本情形。
• 利用 Φ 是 K^MW_0(L)-线性以及层 θ_F 的满射性，验证其在 K-理论与动机上同调中与转移映射的相容性。

实验结果

研究问题

• RQ1 对于有限生成域扩张 L/k，普遍态射 Φ: K^MW_*(L) → ⊕_n H_MW^{n,n}(L, ℤ) 是否为同构？
• RQ2 在域扩张的背景下，MW-动机上同调在双次数 (n,n) 与 Milnor-Witt K-理论有何关系？
• RQ3 MW 复形的非正合性是否可被克服，从而在一程度证明同构？
• RQ4 态射 Φ 在有限 MW-对应范畴中是否尊重有限对应与转移？
• RQ5 该比较同构在多大程度上推广了普通动机上同调的 Nesterenko-Suslin-Totaro 结果？

主要发现

• 对所有 n ∈ ℤ 及任意特征 ≠ 2 的有限生成域扩张 L/k，态射 Φ: K^MW_n(L) → H_MW^{n,n}(L, ℤ) 为同构。
• 通过直接计算与 G_m^∧1 关联复形的一次上同调，确立了一次的同构，该复形虽非正合但具有可控上同调。
• 态射 Φ 尊重有限域扩张的转移，此关键技术结果通过将扩张分解为可分与纯不可分情形证明。
• 对于纯不可分扩张，由于 p_ε 的作用，迹缺陷 t(α) 的拉回为零，且 Φ 的 K^MW_0-线性性确保了相容性。
• 对于可分扩张，Φ 与迹映射的相容性源于 K-理论与动机上同调中迹与转移的交换图的可交换性。
• 主要结果推广了 Nesterenko-Suslin-Totaro 同构，其中从 Milnor-Witt K-理论到 Milnor K-理论的遗忘映射与动机上同调同构构成交换图。