[论文解读] Modules homotopiques (Homotopy modules)

Frédéric Déglise|arXiv (Cornell University)|Apr 30, 2009

Homotopy and Cohomology in Algebraic Topology被引用 17

一句话总结

本文建立了同伦不变层与转移的范畴（HI(k)）到循环模范畴（MCycl(k)）的完全忠实嵌入，表明循环模构成了非有效 motivic 稳定同伦范畴 DM(k) 上自然 t-结构的心。此外，本文证明了在 DM(k) 中，光滑 k-概形的逐层谱序列与同伦 t-结构的上同调谱序列一致，推广了 Bloch 与 Ogus 的经典结果。

ABSTRACT

The proof of the coincidence of the Gysin morphism in motivic cohomology and the usual pushout on Chow groups has been improved (see Lemma 3.3 and Proposition 3.11)

研究动机与目标

• 比较 Voevodsky 的同伦不变层与转移的范畴（HI(k)）和 Rost 的循环模范畴（MCycl(k)）。
• 证明 HI(k) 完全忠实嵌入 MCycl(k)，其逆函子由 Gersten 复形的零阶上同调给出。
• 将此比较推广至非有效 motivic 范畴 DM(k)，证明 MCycl(k) 是 DM(k) 上自然 t-结构的心。
• 证明在 DM(k) 中，光滑 k-概形的逐层谱序列与同伦 t-结构的上同调谱序列一致。
• 将 Bloch 与 Ogus 关于逐层谱序列的经典结果推广至 DM(k) 的设定。

提出的方法

• 作者使用 Cisinski 与作者近期构建的非有效 motivic 范畴 DM(k)，该范畴推广了 Voevodsky 的有效 motivic 范畴。
• 他们定义了同伦层的分次版本，称为同伦模（modules homotopiques），即带有移位之间相容同构的 Z-分次层。
• 通过将每个同伦模 F 映射到循环模 φ_n = Hom_{HI(k)}(G_m^{ ens n}, F)，从而构造从 HI*(k) 到 MCycl(k) 的函子，形成相应的循环模。
• 他们证明，同伦模 F 的 Gersten 分解复形与由函子 F ↦ φ 构造的循环模 φ 关联的复形 C*(X, φ) 同构。
• 他们利用 DM(k) 上的 t-结构，定义了一个自然 t-结构，其心与 MCycl(k) 等价，推广了有效范畴上的同伦 t-结构。
• 他们通过证明在 DM(k) 中，光滑 k-概形 X 上的逐层滤过诱导出与同伦 t-结构的上同调谱序列相同的谱序列，从而证明了谱序列的一致性。

实验结果

研究问题

• RQ1 同伦不变层与转移的范畴是否完全忠实嵌入循环模的范畴？
• RQ2 循环模的范畴能否被实现为非有效 motivic 范畴 DM(k) 上自然 t-结构的心？
• RQ3 DM(k) 中上同调的逐层谱序列是否与同伦 t-结构的上同调谱序列一致？
• RQ4 同伦模的 Gersten 分解复形与 Rost 的循环模构造之间有何关系？
• RQ5 同伦模在函数域上的纤维在多大程度上决定了其结构？这与循环模有何关联？

主要发现

• 同伦不变层与转移的范畴 HI(k) 通过映射 F ↦ {Hom_{HI(k)}(G_m^{ ens n}, F)}_n 完全忠实嵌入循环模范畴 MCycl(k)。
• 循环模范畴 MCycl(k) 与非有效 motivic 范畴 DM(k) 上自然 t-结构的心等价，推广了有效范畴上的同伦 t-结构。
• 在 DM(k) 中，由光滑 k-概形表示的上同调的逐层谱序列，与同伦 t-结构相关的上同调谱序列同构。
• 同伦模 F 的 Gersten 分解复形自然同构于由 F 定义的循环模 φ 关联的复形 C*(X, φ)。
• 通过映射 F ↦ {Hom_{HI(k)}(G_m^{ ens n}, F)}_n 从同伦模构造循环模，提供了将循环模 φ 映射到 A^0(., φ)（即 Gersten 复形的零阶上同调）的函子的拟逆。
• 该结果推广了经典的 Bloch-Ogus 谱序列一致性结果，将其从有效范畴推广至非有效 motivic 范畴。