[论文解读] On motivic cohomology with Z/l coefficients

Vladimir Voevodsky|arXiv (Cornell University)|May 28, 2008

Advanced Algebra and Geometry参考文献 8被引用 23

一句话总结

本文證明了布洛克-卡托猜想，建立了任意素數 $ l $ 的有限係數下，Milnor K-理論與平展上同調之間的同構。利用 motivic 上同調、推廣的羅斯特動機與 motivic 度定理，作者構造了分裂多樣體，並驗證了對所有 $ n $，norm 殘留同態都是同構，從而完整證明了所有 $ l $（包括 $ l > 2 $）的猜想。該工作透過對稱冪運算與嵌入單純複形，將先前針對 $ \mathbb{Z}/2 $-係數的結果推廣至任意 $ \mathbb{Z}/l $-係數。

ABSTRACT

In this paper we give a proof of the Bloch-Kato conjecture relating motivic cohomology and etale cohomology. It is a corrected version of the paper with the same title which posted earlier.

研究动机与目标

• 證明布洛克-卡托猜想，將 Milnor K-理論與所有素數 $ l $ 的 $ \mathbb{Z}/l $-係數平展上同調聯繫起來。
• 將先前已證實於 $ l=2 $ 的米爾諾猜想推廣至奇素數 $ l>2 $，其中分裂多樣體的幾何模型較不具體。
• 利用 motivic 上同調與對稱冪運算，構造 $ \nu_{n} $-多樣體的動機的直和項，從而構造推廣的羅斯特動機。
• 建立動機度定理，將古典度公式推廣至 motivic 設定。
• 在單一推廣羅斯特動機框架下，統一羅斯特動機與循環域擴張的動機理論。

提出的方法

• 從符號 $ \underline{a} = (a_1, \dots, a_n) $ 對應的嵌入單純複形所關聯的 Tate 動機出發，構造推廣的羅斯特動機。
• 利用定理 3.8，將對稱冪運算與 Milnor 運算 $ Q_i $ 連結，以控制關鍵雙次數下的 motivic 上同調。
• 應用 motivic 度定理（定理 4.4），證明推廣的羅斯特動機是 $ \nu_n $-分裂多樣體動機的直和項。
• 運用譜序列與 motivic 同調計算，分析單純複形及其關聯多樣體的上同調。
• 依賴對偶性結果（推論 5.17）與 motivic Margolis 同調的消去定理，簡化上同調計算。
• 利用 $ \tilde{H}^{p,q}({\cal X}, \mathbb{Z}/l) $ 及其平展對應物的結構，證明低雙次數下的同構。

实验结果

研究问题

• RQ1 如何將布洛克-卡托猜想從 $ \mathbb{Z}/2 $-係數推廣至奇素數 $ l $ 的 $ \mathbb{Z}/l $-係數？
• RQ2 在無度數與 $ l $ 互質的零循環的多樣體下，motivic 對應於古典度公式的版本為何？
• RQ3 在缺乏如 Pfister 二次型等顯式幾何模型的情況下，如何構造 $ l > 2 $ 時的推廣羅斯特動機？
• RQ4 對稱冪函子與 Milnor 運算在連結有限係數 motivic 上同調中扮演何種角色？
• RQ5 嵌入單純複形及其 motivic 上同調如何控制分裂多樣體與動機的結構？

主要发现

• 對所有 $ n $ 及任意素數 $ l $，norm 殘留同態 $ K_n^M(k)/l \to H^n_{\text{ét}}(k, \mu_l^{⊗ n}) $ 是同構，從而證明了布洛克-卡托猜想。
• 推廣的羅斯特動機作為嵌入單純複形所關聯的 $ \nu_n $-分裂多樣體動機的直和項而存在。
• motivic 度定理（定理 4.4）表明，從 $ \nu_n $-多樣體到某動機的態射，若其在某些度數中無 $ l $-扭，則其度數必被 $ l $ 整除。
• 與符號 $ \underline{a} $ 關聯的嵌入單純複形 $ \mathcal{X}_{\underline{a}} $ 的 motivic 上同調控制了推廣羅斯特動機的結構。
• 同態 $ \text{Hom}(\mathbb{Z}_{(l)}, M_{l-1}(1)[1]) \to \text{Hom}(\mathbb{Z}_{(l)}, \mathbb{Z}_{(l)}(1)[1]) $ 是單射，暗示在關鍵上同調計算中具有單射性。
• 定理 6.18 確認 $ \nu_{n-1} $-多樣體是通用分裂多樣體，即在符號消失的域上，它們具有度數與 $ l $ 互質的零循環。