[论文解读] The slice spectral sequence of a $C_4$-equivariant height-4 Lubin-Tate theory

Michael A. Hill, Xiaolin Shi+2 more|arXiv (Cornell University)|Nov 19, 2018

Black Holes and Theoretical Physics参考文献 22被引用 10

一句话总结

本文计算了 $C_4$-等变高度-4 Lubin-Tate 理论 $BP^{(C_4)}\langle 2\rangle$ 的完整分片谱序列，证明其在 $E_{61}$-页坍缩，并在过滤度 61 处出现水平消去线。关键结果是 $E_4^{hC_{12}}$，即 $p=2$ 时 $K(4)$-局部球面的一个基本构建块，具有 384-周期性，通过分片谱序列框架解决了同伦论中一个重大的计算挑战。

ABSTRACT

We completely compute the slice spectral sequence of the $C_4$-spectrum $BP^{((C_4))}\langle 2 angle$. After periodization and $K(4)$-localization, this spectrum is equivalent to a height-4 Lubin-Tate theory $E_4$ with $C_4$-action induced from the Goerss-Hopkins-Miller theorem. In particular, our computation shows that $E_4^{hC_{12}}$ is 384-periodic.

研究动机与目标

• 计算 $p=2$ 时 $C_4$-等变高度-4 Lubin-Tate 理论的分片谱序列 $BP^{(C_4)}\langle 2\rangle$，其为高度-4 Lubin-Tate 理论的 $C_4$-等变模型，否则通过经典同伦固定点谱序列难以处理。
• 克服在 $p=2$ 时对 $n > 2$ 计算 $E_n^{hG}$ 的困难，其中 $G$-作用在 $π_*E_n$ 上具有阻碍性且缺乏系统描述。
• 在 $C_{12}$-作用下建立高度-4 Lubin-Tate 理论同伦固定点的周期性，为 $K(4)$-局部球面提供关键构建块。
• 展示分片谱序列在 $p=2$ 时等变稳定同伦论中计算高度非平凡 $K(n)$-局部谱的强大能力。

提出的方法

• 作者使用 $BP^{(C_4)}\langle 2\rangle$ 的分片谱序列（SSS），该谱为通过 Goerss-Hopkins-Miller 定理构造的 $C_4$-等变谱。
• 通过限制 $i_{C_2}^*BP^{(C_4)}\langle 2\rangle$ 的 $C_2$-分片谱序列计算 $E_2$-页，利用 $BP^{(C_4)}\langle 1\rangle$ 的已知计算结果。
• 高阶微分分阶段计算：$d_{13}, d_{15}$ 通过来自较低同伦层次的诱导微分；$d_{29}, d_{31}$ 通过范数结构；$d_{35}$ 至 $d_{61}$ 通过消去定理与代数约束的结合。
• 利用消去定理稳定 $E_{29}$-页，其余微分至 $d_{61}$ 通过代数关系与等变同伦群结构计算。
• 计算依赖于 $BP^{(C_4)}\langle 2\rangle$ 的等变同伦群中显式生成元与关系，包括元素 $\bar{s}_1, \bar{\mathfrak{d}}_3, \bar{\mathfrak{d}}_1$ 以及 $\bar{v}_4, \bar{r}_3$ 的范数。
• 最终 $E_{∞}$-页被证明集中在过滤度 $\leq 61$，谱序列在 $E_{61}$-页坍缩。

实验结果

研究问题

• RQ1 $C_4$-等变高度-4 Lubin-Tate 理论 $BP^{(C_4)}\langle 2\rangle$ 的分片谱序列的完整结构是什么？
• RQ2 如何利用分片谱序列计算 $E_4^{hC_{12}}$，即 $p=2$ 时 $K(4)$-局部球面的关键构建块？
• RQ3 在 $C_{12}$-作用下高度-4 Lubin-Tate 理论同伦固定点中出现哪些周期性？
• RQ4 分片谱序列能否解决在 $p=2$ 时 $n > 2$ 的 $E_n^{hG}$ 计算障碍，而经典方法失效？

主要发现

• 分片谱序列 $BP^{(C_4)}\langle 2\rangle$ 在 $E_{61}$-页坍缩，且在过滤度 61 处出现水平消去线，表明所有微分均已确定，无需进一步扩展。
• 在局部化元素 $D_2 = N(\bar{v}_4)N(\bar{r}_3)N(\bar{r}_3^2 + \bar{r}_3(\gamma\bar{r}_3) + (\gamma\bar{r}_3)^2)$ 后，谱 $D_2^{-1}BP^{(C_4)}\langle 2\rangle$ 展现出三种周期性：$S^{3\rho_4} \wedge \Psi \simeq \Psi$，$S^{8-8\sigma} \wedge \Psi \simeq \Psi$，以及 $S^{32+32\sigma - 32\lambda} \wedge \Psi \simeq \Psi$。
• 这三种周期性结合表明 $\Psi^{C_4}$ 与 $E_4^{hC_{12}}$ 具有 384-周期性，即其同伦群以 384 为周期。
• $d_{13}$, $d_{15}$, $d_{29}$, $d_{31}$, $d_{35}$, $d_{43}$, $d_{51}$, $d_{53}$, $d_{55}$, $d_{59}$, 与 $d_{61}$ 微分均已完全计算，每条均提供显式公式。
• $E_{∞}$-页的分片谱序列被明确描述，所有永久循环与微分均已计入，确认在 $E_{61}$-页坍缩。
• 该计算确立了 $E_4^{hC_{12}}$ 的 384-周期性，提供了 $p=2$ 时 $K(4)$-局部球面中高度-4 构建块的首次完整计算。