[論文レビュー] 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) で確立する。sheaf理論的構成により普遍的準同型写像 Φ を定義し、移行の整合性と次数 1 でのコホモロジー計算によりそれが同型であることを示すことによって、著者たちは、すべての 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-理論の間の比較同型を確立すること。
• 有限生成体拡張 L/k に対して、普遍的準同型写像 Φ: K^MW_*(L) → ⊕_n H_MW^{n,n}(L, ℤ) が同型であることを証明すること。
• 通常のモチビックコホモロジーにおける古典的 Nesterenko-Suslin-Totaro 同型を、MW-モチビック設定に拡張すること。
• 準同型写像 Φ が移行を尊重することを検証し、体拡張と整合性を持つようにし、同型の証明を可能にすること。
• MW-設定におけるアセイクロニシティの失敗に起因するため、同型の証明に不可欠な次数 1 における複体のコホモロジーを計算すること。

提案手法

• G_m^∧n → H_MW^{n,n} の層の準同型を通じて、Graded ring homomorphism Φ: K^MW_*(L) → ⊕_n H_MW^{n,n}(L, ℤ) を構成する。
• H_MW^{n,n} が厳密に A^1-不変であるという事実を用いて、Φ が普遍的であることを保証する。これは先行研究で確立されている。
• Φ が左逆写像を構成し、G_m^∧1 に関連する複体の直接的コホモロジー計算により、次数 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-複体におけるアセイクロニシティの失敗をどのように克服し、次数 1 での同型を証明できるか？
• RQ4 準同型写像 Φ は、有限 MW-対応の圏における有限対応および移行を尊重するか？
• RQ5 比較同型は、通常のモチビックコホモロジーにおける Nesterenko-Suslin-Totaro 結果をどの程度一般化するか？

主な発見

• すべての n ∈ ℤ および特性が 2 でない任意の有限生成体拡張 L/k に対して、準同型写像 Φ: K^MW_n(L) → H_MW^{n,n}(L, ℤ) は同型である。
• 次数 1 での同型は、G_m^∧1 に関連する複体のコホモロジーの直接的計算により確立され、これはアセイクロニックではないが、制御されたコホモロジーを持つ。
• Φ は有限体拡張における移行を尊重するという、重要な技術的結果が、分離および純粋非分離ケースへの分解により証明された。
• 純粋非分離拡張では、p_ε の作用と Φ の K^MW_0(L)-線形性により、トレース欠損 t(α) の引き戻しが消える。
• 分離拡張では、K-理論およびモチビックコホモロジーの両方におけるトレースと移行の可換図式の整合性により、Φ とトレース写像の整合性が導かれる。
• 主結果は Nesterenko-Suslin-Totaro 同型を一般化しており、Milnor-Witt K-理論から Milnor K-理論への忘却写像が、モチビックコホモロジー同型と可換な図式に含まれる。