MOTIVIC COHOMOLOGY WITH Z/2-COEFFICIENTS by VLADIMIR VOEVODSKY
MOTIVIC COHOMOLOGY WITH Z/2-COEFFICIENTS by VLADIMIR VOEVODSKY
数学者ウラジーミル・ヴォエヴォドスキー（Vladimir Voevodsky）による論文「Motivic cohomology with Z/2-coefficients（2003年、『Publications Mathématiques de l’IHÉS』掲載）
この論文の主な成果は、代数的K理論とガロアコホモロジーを結びつける重要な予想である「ミルナー予想（Milnor Conjecture）」を肯定的に解決した**ことです。
1. 研究の背景と目的
- ミルナー予想の解決: 標数が2でない体 $k$ において、ミルナーK理論の $\mathbb{Z}/2$ 係数部分 $K^M_*(k)/2$ が、ガロアコホモロジー $H^*(k, \mu_2^{\otimes *})$ と同型であることを証明しました。
- ベイリンソン・リヒテンバウム予想: ミルナー予想をより一般的な枠組みで捉えた「ベイリンソン・リヒテンバウム予想（Beilinson-Lichtenbaum Conjecture）」の $l=2$ の場合を証明しました。
2. 主な手法
- モチヴィック・コホモロジー: ヴォエヴォドスキー自身が構築に深く関わった「モチヴィック・コホモロジー（Motivic Cohomology）」の理論を駆使しています。
- コホモロジー作用素: モチヴィック・コホモロジーにおけるステーンロッド作用素（Steenrod operations）に対応する作用素を用い、トポロジーにおける「マルゴリス・ホモロジー（Margolis homology）」のモチヴィック版を導入して議論を行いました。
- ノルム二次形式のモチーフ: ノルム二次形式（Norm quadrics）に関連するモチーフの構造を詳しく解析し、帰納的な証明のステップとして利用しています。
3. 論文の構成
- 導入 (Introduction): ミルナー予想やブロック・加藤予想の歴史的背景と、本論文の目的を概説。
- 次数写像 (The degree map): 滑らかな射影多様体に対する次数写像の定義と性質。
- マルゴリス・ホモロジーのモチヴィック類似: コホモロジー作用素を用いた解析。
- ノルム二次形式とそのモチーフ: 証明の核心となる幾何学的対象の解析。
- ガロアコホモロジーの計算: 体の拡大に伴うコホモロジーの挙動を調査。
- ベイリンソン・リヒテンバウム予想: 予想の定式化と、主定理への帰着。
- 主定理 (Main theorem): ミルナー予想の最終的な証明。
- 付録: 尖った単純層のハイパーコホモロジーや、チェック単純スキームに関する技術的な補足。
歴史的意義
この論文で示された手法は、後に $l=2$ 以外の場合（一般の素数 $l$ に対するブロック・加藤予想）の解決にもつながり、ヴォエヴォドスキーが2002年にフィールズ賞を受賞する大きな要因となりました。