[论文解读] The work of Vladimir Voevodsky

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

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

一句话总结

本文总结了亚历山大·弗罗洛夫斯基（Vladimir Voevodsky）在代数几何领域的开创性工作，特别是他利用动机上同调与 A¹-同伦论证明了关于伽罗瓦上同调的米尔诺猜想。通过建立米尔诺 K-理论模 2 与具有 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.

研究动机与目标

• 证明米尔诺猜想，即米尔诺 K-理论模 2 与具有 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 且所有 n ≥ 1 的域 F，伽罗瓦符号 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) 同构于模线性等价的余维数 n 循环群 CH^n(X)。
• 对于一点，H^{n,n}(point, Z) = K_n^M(F)，建立了动机上同调与米尔诺 K-理论之间的直接联系。
• 计算了动机上同调代数，为证明提供了关键工具，并为动机同伦论开辟了新途径。
• A¹-同伦论为代数簇提供了同伦范畴，其中 A¹ 是可缩的，从而使得代数几何时可应用拓扑方法。