[論文レビュー] The work of Vladimir Voevodsky

Christophe Soulé|arXiv (Cornell University)|Dec 1, 2002

Algebraic Geometry and Number Theory参考文献 5被引用数 4

ひとこと要約

この論文は、代数的幾何学におけるヴラディミール・ヴォエヴォズキーの画期的な業績を要約しており、特にモチーフコホモロジーとA¹ホモトピー論を用いたガロアコホモロジーにおけるミルナー予想の証明を扱う。2を法とするミルナーK理論とZ/2係数のガロアコホモロジーの間の同型を確立することで、ヴォエヴォズキーは長年の未解決問題を解決し、算術的代数的幾何学におけるモチーフホモトピー論の中心的役割を確立した。

ABSTRACT

Vladimir Voevodsky was born in 1966. He studied at Moscow State University and Harvard university. He is now Professor at the Institute for Advanced Study in Princeton. Among his main achievements are the following: he defined and developed motivic cohomology and the ${\mathbf A}^1$-homotopy theory of algebraic varieties; he proved the Milnor conjectures on the $K$-theory of fields. This article is a brief introduction to this work, for which Voevodsky was awarded the Fields Medal.

研究の動機と目的

• 2を法とするミルナーK理論とZ/2係数のガロアコホモロジーを結ぶミルナー予想を証明すること。
• 特異コホモロジーの代数的類似物としての、強固なモチーフコホモロジーの枠組みを構築すること。
• 古典的ホモトピー論に類する、代数的多様体のための基礎的理論としてA¹ホモトピー論を確立すること。
• 新しいコホモロジー的道具を用いて、代数的K理論および二次形式に関する深い予想を解決すること。
• グロタンディークが提唱した、算術と位相を統合するモチーフ理論のビジョンを実現すること。

提案手法

• ヴォエヴォズキーは、ベイリンソンとリヒテンバウムが予想した性質を満たす代数的特異コホモロジーの類似物として、H^{p,q}(X, Z) を定義した。
• モアルと共同で開発した代数的多様体のA¹ホモトピー論を用い、区間[0,1]の代わりにアフィン直線A¹を用いてホモトピー同値を定義した。
• Kummerの特徴χ_aのカップ積を用いて、ガロア記号h_n: K_n^M(F)/2K_n^M(F) → H^n(F, Z/2) を構成した。
• 高次元の二次曲面ヒューパーファンクションにおける計算の困難を克服するため、代数的K理論の代わりに、より計算可能であることが判明したモチーフコホモロジーを導入した。
• 証明に不可欠なコホモロジー的作用素を提供するため、ヴォエヴォズキーはモチーフストーンロッド代数を計算した。
• ススリンがブロッホのモチーフコホモロジー定義を修正した手法を用い、完全かつ一貫性のある理論を確立した。

実験結果

リサーチクエスチョン

• RQ1 任意の1/2 ∈ F を満たす体Fとすべてのn ≥ 1に対して、ガロア記号h_n: K_n^M(F)/2K_n^M(F) → H^n(F, Z/2) は同型であるか？
• RQ2 モチーフコホモロジーは、代数的K理論およびガロアコホモロジーのための計算可能な枠組みを提供できるか？
• RQ3 A¹ホモトピー論は、古典的位相に類する代数的幾何学のホモトピー論的基礎を提供できるか？
• RQ4 ミルナー予想は、Fにおいて可逆な任意の素数pに対して拡張可能か？その一般化にはどのような道具が必要か？
• RQ5 モチーフコホモロジー群は、滑らかな多様体上のチャウ群や代数的サイクルとどのように関係するか？

主な発見

• ミルナー予想が証明された：任意のn ≥ 1および1/2 ∈ F を満たす体Fに対して、ガロア記号h_nは同型である。
• Z/2代数 ⊕_n H^n(F, Z/2) は、次数1の元によって生成されることが判明し、絶対ガロア群の深い構造的性質が明らかになった。
• モチーフコホモロジーH^{2n,n}(X, Z) は、線形同値による商をとったcodimension nのサイクルのチャウ群CH^n(X) に同型である。
• 一点に対してはH^{n,n}(point, Z) = K_n^M(F) が成り立ち、モチーフコホモロジーとミルナーK理論の直接的な関係が確立された。
• モチーフストーンロッド代数が計算され、証明に不可欠な道具が得られ、モチーフホモトピー論の新たな道が開かれた。
• A¹ホモトピー論は、A¹がコンパクトであるような代数的多様体のためのホモトピー圏を提供し、代数的幾何学における位相的手法の適用を可能にした。