[论文解读] Chromatic homotopy is algebraic when $p > n^{2}+n+1$

Piotr Pstrągowski|arXiv (Cornell University)|Oct 29, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 8

一句话总结

本论文证明，对于高度为 n 的 p-局部 Landweber 严格同调理论 E，当素数 p 超过 n² + n + 1 时，E-局部谱的同伦范畴与微分 E∗E-余模的同伦范畴等价。该结果将 Bousfield 和 Franke 的代数模型推广至更高高度，实现了对 E-局部同伦类型的完整代数分类，并表明在给定素数条件下，三角范畴结构由其同伦 2-范畴决定。

ABSTRACT

We show that if $E$ is a $p$-local Landweber exact homology theory of height $n$ and $p > n^2+n+1$, then there exists an equivalence $h \mathcal{S}p_{E} \simeq h\mathcal{D}(E_{*}E)$ between homotopy categories of $E$-local spectra and differential $E_{*}E$-comodules, generalizing Bousfield's and Franke's results to heights $n > 1$.

研究动机与目标

• 建立在大素数下 E-局部谱同伦范畴的代数模型，将经典结果推广至更高彩色高度。
• 解决长期存在的问题：在高度 n > 1 且满足素数条件时，彩色同伦论是否允许代数模型。
• 证明当 p > n² + n + 1 时，E-局部谱的同伦范畴与微分 E∗E-余模的同伦范畴等价。
• 证明在相同素数条件下，E-局部范畴的三角结构由其同伦 2-范畴捕获。
• 提供一个稳定 ∞-范畴之间非平凡同调维数（具体为 n² + n）的奇异等价的新例子。

提出的方法

• 使用 Goerss-Hopkins 理论分析 E-局部谱的结构及其相关的 Adams 型谱序列。
• 在 E-局部谱的 ∞-范畴与 E∗E-余模的导出 ∞-范畴之间构造一个 Bousfield 伴随。
• 应用导出实现函子，将 E∗E-余模上移至 E-局部谱，证明其全忠实性与本质满射性。
• 利用同伦 k-范畴精炼等价关系，证明当 p > n² + n + 2 时，等价关系保持三角结构。
• 借助 Lurie 的稳定 ∞-范畴与同伦 2-范畴理论，证明 hSpE 的三角结构由 h₂SpE 决定。
• 在同伦 2-范畴中使用 1-上纤维化锥构造，重构典范三角形，从而证明三角等价性。

实验结果

研究问题

• RQ1 当 E 是高度为 n 的 Landweber 严格同调理论且 p > n² + n + 1 时，E-局部谱的同伦范畴能否被代数化？
• RQ2 E-局部谱与微分 E∗E-余模之间的等价关系是否可超越高度 1？若可，其条件为何？
• RQ3 在素数条件下，E-局部同伦范畴的三角结构是否由其同伦 2-范畴决定？
• RQ4 当 E∗E 的同调维数大于 3 时，SpE 与 D(E∗E) 之间的等价关系本质为何？
• RQ5 在此设定下，超积的渐近代数性与有限素数代数性之间有何关联？

主要发现

• 当 p > n² + n + 1 时，存在 E-局部谱同伦范畴与微分 E∗E-余模同伦范畴之间的三角等价。
• 该等价为奇异等价：底层的 ∞-范畴 SpE 与 D(E∗E) 并不等价，但其同伦范畴等价。
• 当 p > n² + n + 2 时，等价关系保持三角结构，因为三角结构由同伦 2-范畴决定。
• SpE 的同伦 2-范畴决定了其同伦范畴的三角结构，该结果通过 h₂C 中的 1-上纤维化锥构造得以证明。
• 该结果提供了首个已知的同调维数大于 3 的稳定 ∞-范畴之间的奇异等价。
• 该构造意味着每个 E∗E-余模均可被自然实现为某个 E-局部谱的同调，从而强制 K(n)-局部范畴中 Picard 群的代数性。