[论文解读] On the Bousfield classes of $H_\infty$-ring spectra

Jeremy Hahn|arXiv (Cornell University)|Dec 13, 2016

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

一句话总结

本文证明了任意 $D_p$-代数谱——其推广了 $\textrm{H}_\infty$-和 $\textrm{E}_\infty$-环谱——在素数 $p$ 处，只要它是 $K(h)$-无挠的，则必然是 $K(h+1)$-无挠的，从而证实了马克·霍夫西长期以来的猜想。证明利用了 $K(h+1)$-局部 $D_p$-$E$-代数中一种新颖的权重-$p$ 幂运算，并表明 $P(x)$ 模 $(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$ 的像仅依赖于 $x$ 模 $(p, u_1, \dots, u_k)$，从而通过归纳法实现幂零性论证，最终得出若 $R$ 是 $K(h)$-无挠的，则 $R \simeq 0$，故亦为 $K(h+1)$-无挠。

ABSTRACT

We prove that any K(n)-acyclic, $D_p$-ring spectrum is K(n+1)-acyclic, affirming an old conjecture of Mark Hovey.

研究动机与目标

• 解决马克·霍夫西提出的猜想：$K(h)$-无挠的 $\textrm{E}_\infty$-环谱必然是 $K(h+1)$-无挠的。
• 将此结果推广至 $D_p$-代数，其结构弱于 $\textrm{E}_\infty$，但强于同伦交换环。
• 利用 $K(h+1)$-局部上同调中的幂运算，建立梅幂零性猜想在更高色散高度的类比。
• 为色散红移与代数 $K$-理论中的下降提供结构性基础。

提出的方法

• 在 $K(h+1)$-局部 $D_p$-$E$-代数中引入权重-$p$ 幂运算 $P: \pi_0(R) \to R^0(BC_p)$。
• 分析 $P(x)$ 模理想 $(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$，以证明其依赖于 $x$ 模 $(p, u_1, \dots, u_k)$。
• 利用同构 $E^0(BC_p)/(p, u_1, \dots, u_k, g_{k+1}(z)) \cong \mathbb{F}_p[[u_h]]/g(z)$ 将问题约化为系数层面的分析。
• 应用魏尔斯特拉斯预处理定理，建立 $E^{hC_p}$ 关于 $E$ 的自由性，从而实现塔特同调与同伦固定点的比较。
• 利用 $K(h) \otimes E^{tC_p} \simeq \mathbb{F}_p[[u_h]]/g(z)[z^{\pm 1}][u_h^{-1}]$ 的事实，将 $R^{tC_p}$ 的 $K(h)$-无挠性与 $R$ 的 $K(h)$-无挠性联系起来。
• 采用归纳幂零性论证：若 $u_h^n$ 在 $\pi_0(R/(p, \dots, u_{h-1}))$ 中映射为零，则 $u_h^{n-1}$ 亦然，最终迫使 $R \simeq 0$。

实验结果

研究问题

• RQ1 在素数 $p$ 处，$D_p$-代数谱的 $K(h)$-无挠性是否蕴含其 $K(h+1)$-无挠性？
• RQ2 能否通过 $K(h+1)$-局部上同调中的幂运算，将梅幂零性猜想推广至更高色散高度？
• RQ3 是否存在一种幂运算，使得 $E/(p, u_1, \dots, u_k)$-上同调通过 $E^{BC_p}/(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$ 因子化？
• RQ4 对于 $D_p$-代数，若塔特构造 $R^{tC_p}$ 是 $K(h)$-无挠的，是否蕴含 $R$ 是 $K(h+1)$-无挠的？
• RQ5 能否利用 $R^{BC_p}/(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$ 的结构来检测 $\pi_0(R)$ 中的幂零性？

主要发现

• 定理 1.3 建立了：任意 $D_p$-代数谱 $R$，若其为 $K(h)$-无挠的，则必然是 $K(h+1)$-无挠的，从而证实了霍夫西的猜想。
• 定理 1.6 表明：在 $R^{BC_p}/(p, u_1, \dots, u_k, \frac{[p](z)}{z^{p^{k+1}}})$ 中，权重-$p$ 幂运算 $P(x)$ 的像仅依赖于 $x$ 模 $(p, u_1, \dots, u_k)$，这是梅幂零性设定在更高色散高度的类比。
• 推论 4.5.3 证明：若 $x \in E_0$ 在 $\pi_0(R/(p, \dots, u_{h-1}))$ 中映射为零，且在 $\mathbb{F}_p[[u_h]]$ 中具有正赋值，则 $R \simeq 0$，从而蕴含 $K(h+1)$-无挠性。
• 定理 4.6 确认：若 $D_p$-代数是 $K(h)$-无挠的，则其必为 $K(h+1)$-无挠的，其证明依赖于对 $u_h$ 的归纳幂零性论证。
• 推论 4.6.1 将结果扩展至塔特构造：若 $R^{tC_p}$ 是 $K(h)$-无挠的，则 $R$ 是 $K(h+1)$-无挠的，推广了克劳森等人的一项结果。
• 本文建立 $K(h) \otimes E^{tC_p} \simeq \mathbb{F}_p[[u_h]]/g(z)[z^{\pm 1}][u_h^{-1}]$，这是将 $R^{tC_p}$ 的 $K(h)$-无挠性与 $R$ 的 $K(h)$-无挠性联系起来的关键。