[论文解读] MW-motivic complexes

Frédéric Déglise, Jean Fasel|arXiv (Cornell University)|Aug 21, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 20

一句话总结

本文基於有限 Chow-Witt 对應關係與二次型係數，發展了一套新的 MW- motivic 多複形理論，構造了一套與 Voevodsky 框架平行的 motivic 同倫理論。它證明了 MW-motivic 上同調群透過一個超上同調譜序列同構於 Chow-Witt 群，並證明了上同調層是嚴格 A¹-不變的，從而實現與古典 motivic 上同調的完整比較，並建立 MW-motivic 上同調與分次 Chow-Witt 環之間的環同構。

ABSTRACT

The aim of this work is to develop a theory parallel to that of motivic complexes based on cycles and correspondences with coefficients in quadratic forms. This framework is closer to the point of view of $\mathbb{A}^1$-homotopy than the original one envisioned by Beilinson and set up by Voevodsky.

研究动机与目标

• 基於 MW-對應關係發展 motivic 同倫理論，將 Voevodsky 的框架擴展至包含二次型。
• 構造有效 MW-動機的範疇及其穩定完成，從而實現以環 R 為係數的上同調理論。
• 證明 MW-motivic 多複形的上同調層是嚴格 A¹-不變的，類比於 Voevodsky 對古典動機的定理。
• 建立 MW-motivic 上同調與 Chow-Witt 群之間的比較，證明它們在高階次中同構。
• 證明 MW-motivic 多複形的超上同調譜序列誘導出 MW-motivic 上同調與 Milnor-Witt K-理論層之間的同構。

提出的方法

• 使用 [CF14] 中的有限 Chow-Witt 對應關係範疇作為定義 MW-對應關係（係數在環 R 上）的基礎。
• 構造具有 MW-轉移的層與預層，並使用 Voevodsky 方法的一種變體，證明 MW-預層的關聯層為 MW-層。
• 應用框架對應關係理論，並利用 [GP15] 中的一個結果，證明與同倫不變 MW-預層關聯的層是嚴格 A¹-不變的。
• 定義 MW-層的 A¹-導出範疇與穩定 A¹-導出範疇，將有效 MW-動機的範疇構造為 A¹-局部對象。
• 使用 Suslin 總複形定義顯式 A¹-局部化函子，透過嚴格 A¹-不變的同調層特徵化有效 MW-動機。
• 對複形 $\tilde{\mathbb{Z}}(n)$ 應用超上同調譜序列，以計算上同調層並導出與 Milnor-Witt K-理論層之間的同構。

实验结果

研究问题

• RQ1 如何能以 MW-對應關係取代古典的有限對應關係，來建構 motivic 同倫理論？
• RQ2 MW-motivic 多複形的上同調層具有何種結構？它們是否為嚴格 A¹-不變？
• RQ3 MW-motivic 上同調與 Chow-Witt 群在多大程度上一致？
• RQ4 超上同調譜序列在連結 MW-motivic 上同調與 Milnor-Witt K-理論中扮演何種角色？
• RQ5 MW-motivic 同倫中的 Thom 同構與向量叢的 Chow-Witt 群有何關係？

主要发现

• MW-motivic 複形 $\tilde{\mathbb{Z}}(n)$ 的上同調層 $\mathbf{H}_{\mathrm{MW}}^{q,n}$ 當 $q > n$ 時或當 $p \geq n$ 且 $q \neq n$ 時為零，這限制了譜序列的支撐範圍。
• 對任意光滑概形 $X$ 與 $n \in \mathbb{N}$，存在一個自然同構 $\mathrm{H}^{2n,n}_{\mathrm{MW}}(X,\mathbb{Z}) \simeq \widetilde{CH}^n(X)$，顯示 MW-motivic 上同調在頂階次與 Chow-Witt 群同構。
• 複形 $\tilde{\mathbb{Z}}(n)$ 的超上同調譜序列誘導出同構 $\mathrm{H}^{p,n}_{\mathrm{MW}}(X,\mathbb{Z}) \simeq \mathrm{H}^{p-n}(X, \mathbf{K}^\mathrm{MW}_n)$，其中 $p \geq 2n-1$，將 MW-motivic 上同調與 Milnor-Witt K-理論連結。
• 同構 $\mathrm{H}^{2n,n}_{\mathrm{MW}}(X,\mathbb{Z}) \simeq \widetilde{CH}^n(X)$ 是函子性的，並尊重環結構，從而誘導出 MW-motivic 上同調與 Chow-Witt 環之間的分次環同構。
• 向量叢 $E$ 的 Thom 空間滿足 $\operatorname{Hom}_{\widetilde{\mathrm{DM}}(k,\mathbb{Z})}(\mathrm{Th}(E), \tilde{\mathbb{Z}}(n)[2n]) \simeq \widetilde{CH}^{n-r}(X, \det E)$，確認了 MW-motivic Thom 同構。