[論文レビュー] 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 $ に対して、モチビックコホモロジー群 $ H^{n+1}_{\text{ét}}(Spec(k), Χ_{(2)}(n)) $ が消えることを確立する。これはミルナー予想を示しており、ノーム類似ホモモルフィズム $ K_*^M(k)/2 \to H^*(k, \mathbb{Z}/2) $ が同型であることを示し、$ l = 2 $ のガロアコホモロジーおよびモチビックホモトピー論における中心的問題を解決する。

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".

研究の動機と目的

• モチビックコホモロジーにおける一般化されたヒルベルト90予想の2局所版を証明すること。
• $ \mathbb{Z}/2 $-係数の場合におけるノーム類似ホモモルフィズムの全射性および単射性を確立すること。
• $ l = 2 $ におけるミルナー予想を解決すること、すなわち、2を法とするミルナーK理論と $ \mathbb{Z}/2 $-係数のエタールコホモロジーとの間に同型が存在することを示すこと。
• $ l = 2 $ の場合を証明することで、より広範なブロッハ＝カト予想の基礎的証拠を提供すること。

提案手法

• ベイリンソンとリヒテンバウムのモチビックコホモロジー枠組みを用い、特にザリスキとエタールのモチビックコホモロジーの比較を活用する。
• ノーム二次曲面とそのモチーフを用いて、$ \mathbb{Z}/2 $-係数モチビックコホモロジーの構造を分析する。
• ポイント付き単体的シャーフェのハイパーコホモロジー技術とスペクトル系列を用いて、コホモロジー群を計算する。
• チェチ単体的スキーム構成を用い、有理点および0次元サイクルとコホモロジー的障害を関連付ける。
• チェチ複体にコーン構成を適用して、新たな対象 $ \widetilde{C}(X) $ を定義し、そのコホモロジーが次数 $ n $ と互いに素な0次元サイクルの存在を検出することを可能にする。
• 体拡大の次数による乗法が $ \widetilde{C}(Y) $ のコホモロジーを消滅させることを活用し、モチビックコホモロジーにおける消滅結果を導く。

実験結果

リサーチクエスチョン

• RQ1 任意の体 $ k $ および $ n \geq 0 $ に対して、モチビックコホモロジー群 $ H^{n+1}_{\text{ét}}(Spec(k), \mathbb{Z}_{(2)}(n)) $ は消えるか？
• RQ2 特性が 2 でない任意の体 $ k $ に対して、ノーム類似ホモモルフィズム $ K_*^M(k)/2 \to H^*(k, \mathbb{Z}/2) $ は同型か？
• RQ3 ベイリンソン＝リヒテンバウム予想の2 torsion バージョンは、ノーム二次曲面とそのモチーフを含む計算に還元可能か？
• RQ4 チェチ単体的スキーム $ \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 $ におけるミルナー予想が確認された。
• 滑らかなスキーム $ X $ の $ \mathbb{Z}/2 $-係数モチビックコホモロジーは、$ \widetilde{C}(X) $ のコホモロジーを通じて、2と互いに素な次数の0次元サイクルの存在を検出できる。
• 多様体 $ Y $ が次数 $ n $ の体拡大上で有理点を持つならば、$ n \cdot \widetilde{H}^{*,*}(\widetilde{C}(Y), \mathbb{Z}) = 0 $ が成り立ち、これによりモチビックコホモロジーにおける torsion が生じる。
• ザリスキからエタールへのモチビックコホモロジーへの自然な写像は、$ \mathbb{Z}/2 $-係数の場合、低次の度において同型である。これは、ベイリンソン＝リヒテンバウム予想を支持する。
• 証明により、$ l = 2 $ の場合、ノーム類似ホモモルフィズムの単射性は全射性から従うことが示され、全予想の検証を単純化する。