[论文解读] Periodizable motivic ring spectra

Markus Spitzweck|ArXiv.org|Jul 9, 2009

Algebraic structures and combinatorial models参考文献 13被引用 7

一句话总结

该论文证明了当 motivic $E_{\infty}$-环谱 $E$ 为强周期化时，$E$-模的导出范畴中的细胞对象可被实现为分次拓扑 $E_{\infty}$-环谱上的模。关键贡献在于证明了 $\text{MGL}$ 和特征为零的域上的 Voevodsky 动机范畴中的单位对象是强周期化的，从而为 motivic Landweber 谱和整数 Tate 动机提供了拓扑模型。

ABSTRACT

We show that the cellular objects in the module category over a motivic E infinity ring spectrum E can be described as the module category over a graded topological spectrum if E is strongly periodizable in our language. A similar statement is proven for triangulated categories of motives. Since MGL is strongly periodizable we obtain topological incarnations of motivic Landweber spectra. Under some categorical assumptions the unit object of the model category for triangulated motives is as well strongly periodizable giving motivic cochains whose module category models integral triangulated categories of Tate motives.

研究动机与目标

• 通过分次 $E_{\infty}$-环谱构造 motivic 模范畴中细胞对象的拓扑实现。
• 建立 motivic $E_{\infty}$-环谱强周期化的条件。
• 利用 $E_{\infty}$-代数在分次谱中表示积分三角范畴的 Tate 动机。
• 通过强周期化将先前关于有理 Tate 动机的结果推广到整数情形。

提出的方法

• 在 motivic 稳定同伦范畴中引入强周期化 $E_{\infty}$-代数的概念。
• 使用局部化技巧（命题 4.2）在范畴假设下将半周期化升级为完整周期化。
• 应用对称谱和双态射理论，在分次谱上构造相容的乘法结构。
• 利用 Nisnevich 和 cdh 上同调同构验证动机中单位的周期化构造中的水平等价性。
• 借助 Voevodsky 和 Levine 关于球谱零切片的结果，推导出 motivic Eilenberg-MacLane 谱的强周期化性质。
• 应用抽象表示定理（定理 4.3），将导出模范畴实现为分次 $E_{\infty}$-代数上的张量三角范畴。

实验结果

研究问题

• RQ1 能否将 $\text{MGL}$-模导出范畴中的细胞对象实现为分次拓扑 $E_{\infty}$-环谱上的模？
• RQ2 motivic $E_{\infty}$-环谱在何种条件下允许强周期化？
• RQ3 在特征为零的域上的 Voevodsky 动机范畴中，单位对象是否为强周期化？
• RQ4 积分三角范畴的 Tate 动机能否表示为分次谱中 $E_{\infty}$-代数的导出范畴？
• RQ5 MGL 的强周期化是否导致 motivic Landweber 谱的拓扑模型？

主要发现

• motivic 某种上同调谱 $\text{MGL}$ 是强周期化的，从而为 motivic Landweber 谱提供了作为细胞 $\text{MGL}$-模的拓扑模型。
• 在标准范畴假设下，特征为零的域上的动机范畴中的单位对象是强周期化的。
• 存在一个在阿贝尔群复形上的分次 $E_{\infty}$-代数 $A$，使得其导出范畴 $\mathsf{D}(A)$ 作为张量三角范畴与 $\mathsf{DM}(k)$ 中 Tate 动机的全子范畴等价。
• 由于 Voevodsky 和 Levine 的零切片结果，完美域上的 motivic Eilenberg-MacLane 谱是强周期化的。
• 对于任意在 $k$ 上具有有限 Krull 维数的分离诺戴克概形 $X$，$\mathsf{DM}(X)$ 中的张量单位是强周期化的，从而可将 $\mathsf{DM}(X)_{\mathcal{T}}$ 表示为某个分次 $E_{\infty}$-代数 $A$ 的 $\mathsf{D}(A)$。
• 通过在 $\infty$-范畴假设下使用局部化，将利用等维周期复形构造的动机单位的半周期化升级为强周期化。