[论文解读] Synthetic spectra and the cellular motivic category

Piotr Pstrągowski|arXiv (Cornell University)|Mar 5, 2018

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文通过 $E$-同调将拓扑结构与代数结构通过 $\tau$-作用联系起来，引入了谱的稳定 $\infty$-范畴的形变——合成谱，实现了对 $\mathrm{MU}$-基合成谱的偶数变体与 $\textnormal{Spec}(\mathbb{C})$ 上 $p$-完备的细胞 motivic 谱之间的等价性，通过 $\tau$-Bockstein 族谱序列将彩色同伦论与 motivic 同伦论统一起来。

ABSTRACT

To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic spectra based on $E$ is in a precise sense a deformation of the $\infty$-category of spectra into quasi-coherent sheaves over a certain algebraic stack, and show that this deformation encodes the $E$-based Adams spectral sequence. We describe a symmetric monoidal functor from cellular motivic spectra over the complex numbers into an even variant of synthetic spectra based on $MU$ and show that it induces an equivalence between the $\infty$-categories of $p$-complete objects for all primes $p$. In particular, it follows that the $p$-complete cellular motivic category can be described purely in terms of chromatic homotopy theory.

研究动机与目标

• 构建谱的 $\infty$-范畴向与 Adams 型同调理论 $E$ 关联的代数堆 $\mathcal{M}_E$ 上的拟相干层范畴的形变。
• 将合成谱定义为在具有投影 $E$-同调的有限谱上取值、保持乘积的层，通过 $\tau$-作用编码拓扑与代数数据。
• 在 $\textnormal{Spec}(\mathbb{C})$ 上的 $p$-完备细胞 motivic 谱范畴与 $\mathrm{MU}$-基合成谱的偶数变体之间建立对称张量等价。
• 证明基于 $E_*$ 的 Adams 族谱序列在合成框架中自然地表现为 $\tau$-Bockstein 族谱序列，从而提供新的计算工具。

提出的方法

• 将合成谱定义为取值于 $E_*$-余模的、在有限谱范畴上的保持乘积的层，其中 $E$ 是一个 Adams 型同调理论。
• 通过 $\tau$-作用将 $\infty$-范畴 $\mathcal{S}yn_E$ 构造为 $\mathcal{S}p$ 的形变，将 $\mathcal{S}yn_E$ 解释为相对于 $E$-同调的谱的导出 $\infty$-范畴。
• 利用 Hopf 代丛上的余模理论以及 Hovey 的余模稳定 $\infty$-范畴理论，对形变的代数侧进行建模。
• 利用有限 $\mathrm{MGL}$-投影谱作为桥梁，从 $\textnormal{Spec}(\mathbb{C})$ 上的细胞 motivic 谱范畴到基于 $\mathrm{MU}$ 的偶数合成谱范畴构造一个对称张量函子。
• 通过比较同伦群与超完备层条件，证明该函子在所有素数 $p$ 的 $p$-完备对象上诱导出等价。
• 证明基于 $E_*$-同调的 Adams 族谱序列在合成框架中被识别为 $\tau$-Bockstein 族谱序列，揭示了一种深层的计算机制。

实验结果

研究问题

• RQ1 如何系统地将谱的 $\infty$-范畴形变为与 Adams 型同调理论 $E$ 关联的代数堆 $\mathcal{M}_E$ 上的拟相干层范畴？
• RQ2 在合成框架中，自同态 $\tau$ 在拓扑谱与代数层之间形变的中介作用是什么？
• RQ3 能否通过合成构造完全描述 $\textnormal{Spec}(\mathbb{C})$ 上的 $p$-完备细胞 motivic 谱范畴？
• RQ4 在合成框架中，基于 $E_*$ 的 Adams 族谱序列如何自然地表现为 $\tau$-Bockstein 族谱序列？
• RQ5 细胞 motivic 谱与基于 $\mathrm{MU}$ 的合成谱之间的确切关系是什么？该关系是否在 $p$-完备对象上扩展为等价？

主要发现

• 基于 Adams 型同调理论 $E$ 的合成谱 $\infty$-范畴 $\mathcal{S}yn_E$ 是谱的 $\infty$-范畴向堆 $\mathcal{M}_E$ 上的 ind-相干层范畴的形变，形变参数为 $\tau$。
• 在合成范畴中，基于 $E_*$-同调的 Adams 族谱序列被识别为 $\tau$-Bockstein 族谱序列，提供了新的计算解释。
• 存在一个从 $\textnormal{Spec}(\mathbb{C})$ 上的细胞 motivic 谱 $\infty$-范畴到 $\mathrm{MU}$-基合成谱偶数变体的对称张量函子。
• 该函子在所有素数 $p$ 的 $p$-完备对象的 $\infty$-范畴之间诱导出等价，从而建立了 $p$-完备细胞 motivic 谱范畴的拓扑实现。
• 作为结果，$\textnormal{Spec}(\mathbb{C})$ 上的 $p$-完备细胞 motivic 谱范畴通过合成框架被完全由彩色同伦论描述。
• 该构造首次提供了源自 motivic 的 $\infty$-范畴的纯拓扑描述，解决了细胞动机与彩色同伦论之间联系的谜题。