[论文解读] A characterization of cellular motivic spectra

Hadrian Heine|arXiv (Cornell University)|Dec 1, 2017

Homotopy and Cohomology in Algebraic Topology被引用 3

一句话总结

本文在细胞 motivic A-模谱与从球谱的 0 次空间到谱的 ∞-范畴中的 E∞-代数上的模之间建立了对称单峰等价。通过利用稳定 ∞-范畴中的伴随函子与对称单峰结构，本文通过函子范畴对细胞 motivic 谱提供了新的代数刻画，推广至所有 motivic E∞-环谱。

ABSTRACT

Let $ \alpha: \mathcal{C} o \mathcal{D}$ be a symmetric monoidal functor from a stable presentable symmetric monoidal $\infty$-category $\mathcal{C} $ compactly generated by the tensorunit to a stable presentable symmetric monoidal $\infty$-category $ \mathcal{D} $ with compact tensorunit. Let $\beta: \mathcal{D} o \mathcal{C}$ be a right adjoint of $\alpha$ and $ \mathrm{X}: \mathcal{B} o \mathcal{D} $ a symmetric monoidal functor starting at a small rigid symmetric monoidal $\infty$-category $ \mathcal{B}$. We construct a symmetric monoidal equivalence between modules in the $\infty$-category of functors $ \mathcal{B} o \mathcal{C} $ over the $ \mathrm{E}_\infty$-algebra $\beta \circ \mathrm{X} $ and the full subcategory of $\mathcal{D}$ compactly generated by the essential image of $\mathrm{X}$. Especially for every motivic $ \mathrm{E}_\infty$-ring spectrum $\mathrm{A}$ we obtain a symmetric monoidal equivalence between the $\infty$-category of cellular motivic $\mathrm{A}$-module spectra and modules in the $\infty$-category of functors $\mathrm{QS}$ to spectra over some $ \mathrm{E}_\infty$-algebra, where $\mathrm{QS}$ denotes the 0th space of the sphere spectrum.

研究动机与目标

• 通过 E∞-代数上的函子范畴对细胞 motivic 谱进行刻画。
• 通过对称单峰伴随函子推广 motivic 模谱的代数结构。
• 通过球谱的 0 次空间对细胞 motivic A-模谱提供一个普遍描述。
• 通过函子构造为所有 motivic E∞-环谱建立一个适用框架。

提出的方法

• 利用两个稳定可表的对称单峰 ∞-范畴 C 和 D 之间的对称单峰函子 α: C → D，其中张量单位为紧致。
• 构造 α 的右伴随函子 β: D → C，从而在保持单峰结构的前提下实现从 D 到 C 的过渡。
• 应用一个从一个小的刚性对称单峰 ∞-范畴 B 到 D 的对称单峰函子 X: B → D。
• 在 Fun(B, C) 中 β∘X 的模与 D 中由 X 的像的Essential image 生成的全子范畴之间建立对称单峰等价。
• 将该构造应用于 motivic E∞-环谱 A，将细胞 A-模谱识别为 Fun(QS, Sp) 中 E∞-代数上的模。
• 依赖于 ∞-范畴技术，包括紧致生成、伴随函子以及函子范畴中的 E∞-代数结构。

实验结果

研究问题

• RQ1 如何通过函子范畴对细胞 motivic A-模谱进行代数刻画？
• RQ2 在 motivic 谱的背景下，伴随函子 α 和 β 的复合会产生何种对称单峰结构？
• RQ3 细胞 motivic A-模的范畴能否与函子 ∞-范畴中 E∞-代数上的模的范畴等价？
• RQ4 球谱的 0 次空间在分类 motivic 模中起什么作用？
• RQ5 紧致生成性如何与该构造中的对称单峰结构相互作用？

主要发现

• 在细胞 motivic A-模谱的 ∞-范畴与 Fun(QS, Sp) 中 E∞-代数上的模的 ∞-范畴之间建立了对称单峰等价。
• 该构造可普遍应用于所有 motivic E∞-环谱 A，提供统一的刻画。
• X 的像的 Essential image 生成的全子范畴与 Fun(B, C) 中 β∘X 的模的范畴等价。
• 该方法依赖于 C 和 D 中张量单位的紧致生成性，确保了良好行为的伴随函子的存在。
• 等价关系保持了对称单峰结构，适用于高阶代数应用。
• 该框架可推广至任意具有右伴随 β 的对称单峰函子 α 以及刚性源范畴 B。