[论文解读] Lectures on motivic cohomology 2000/2001 (written by Pierre Deligne)

Vladimir Voevodsky|ArXiv.org|May 28, 2008

Homotopy and Cohomology in Algebraic Topology被引用 7

一句话总结

本文提供了关于 motivic 上同调与 motivic 同伦范畴的基础讲座，强调了一种避免使用模型结构的方法，同时证明了关键结果。它引入了实心层（solid sheaves）以及两个函子——$X \mapsto X/G$ 和 $X \mapsto X^W$——并证明它们在逐项（ind-）实心层上保持局部等价与 $\mathbf{A}^1$-等价，从而使得对称积等非加法函子能够被扩展到 motivic 同伦范畴。

ABSTRACT

These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic complexes. There is a description of the equivariant motivic homotopy category for a finite flat group scheme (over a noetherian base) together with a new characterization of A^1-equivalences. There is a part where we introduce a class of sheaves called solid sheaves. Finally there is a part where we study functors of the form X -> X/G and X -> X^W and show that they preserve equivalences between term-wise ind-solid simplicial sheaves.

研究动机与目标

• 通过替代的同伦技术发展 motivic 上同调与 motivic 同伦范畴，而无需依赖模型结构，并证明关键定理。
• 通过一种新的闭包条件（$\bar{\Delta}$-闭包）刻画 $G$-概形的等变 motivic 同伦范畴中 $\mathbf{A}^1$-等价性的特征。
• 在 $G$-概形上定义并研究实心层，该类层在关键同调运算下封闭，并包含可表示层与 Thom 空间。
• 证明函子 $X \mapsto X/G$ 与 $X \mapsto X^W$ 在限制到（ind-）实心层时，保持局部等价与 $\mathbf{A}^1$-等价。
• 通过实心层上的导出函子，实现从概形到 motivic 同伦范畴的非加法函子（如对称积）的扩展。

提出的方法

• 通过在 $G$-概形上的叠层范畴上使用 Brown-Gersten 的闭模型结构来构建 motivic 同伦范畴，主证明中避免显式使用模型范畴工具。
• 将 $\mathbf{A}^1$-等价类刻画为：在 $\mathbf{A}^1$-局部化后变为同构的映射类的 $\bar{\Delta}$-闭包。
• 实心层被定义为：任意保持开嵌入的右正合函子均为左正合的层；该性质被用于控制导出函子。
• 将函子 $X \mapsto X/G$ 与 $X \mapsto X^W$ 扩展到带点的层，并通过推出与余极限论证证明其保持实心结构与等价性。
• 一个关键技术工具是使用余上向正方形与纤维积来分析 $F^W$ 在开映射与实心映射下的行为，特别是在局部 henselian 环境中。
• 通过商去 $(F,\text{pt})^W_1$ 构造 $F^{\wedge W}$ 作为 smash 积，从而控制同伦型并保持 $\mathbf{A}^1$-等价性。

实验结果

研究问题

• RQ1 如何在不依赖模型结构的前提下构建 motivic 同伦范畴，同时仍能证明关于 $\mathbf{A}^1$-等价性的主定理？
• RQ2 在 $G$-概形的等变 motivic 同伦范畴中，$\mathbf{A}^1$-等价性的精确特征是什么？
• RQ3 实心层类的定义性质是什么？为何它们在关键同伦构造下保持稳定？
• RQ4 函子 $X \mapsto X/G$ 与 $X \mapsto X^W$ 在实心层上的行为如何？它们是否保持局部等价与 $\mathbf{A}^1$-等价？
• RQ5 非加法函子（如对称积）能否被扩展到 motivic 同伦范畴？在何种条件下它们与导出函子可交换？

主要发现

• 在 $G$-概形的 motivic 同伦范畴中，$\mathbf{A}^1$-等价类被刻画为：在 $\mathbf{A}^1$-局部化后变为同构的映射类的 $\bar{\Delta}$-闭包。
• 当 $G$ 为平凡群时，这给出了非等变情形下 $\mathbf{A}^1$-等价性的新刻画。
• 实心层在函子 $X \mapsto X/G$ 与 $X \mapsto X^W$ 下封闭，且这些函子在逐项（ind-）实心层之间保持局部等价与 $\mathbf{A}^1$-等价。
• smash 积构造 $F^{\wedge W}$ 保持局部等价与 $\mathbf{A}^1$-等价，且其在 $G$-局部 henselian 概形上的取值由 $W \times Y$ 的连通分支上的乘积给出。
• 包含映射 $\text{pt} \to F$ 是实心的，当且仅当 $F^{\wedge W}$ 是带点实心的，从而确保与同伦结构的相容性。
• 非加法函子 $T(X) = (X^W \times E)/G$ 的导出函子 $\mathbf{L}T$ 在实心层上与 $T$ 一致，从而使得此类函子可在 motivic 同伦范畴中表示。