[论文解读] The Lubin-Tate stack and Gross-Hopkins duality

Sanath K. Devalapurkar|arXiv (Cornell University)|Nov 13, 2017

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

一句话总结

本文在 Lubin-Tate 栈 $\operatorname{Spf}E/\Gamma$ 上建立了一个导出代数几何框架，以重新推导并从概念上解释 $K(n)$-局部稳定同伦理论中的关键结果，包括关于 $K(n)$-局部 Picard 群的 Hopkins-Mahowald-Sadofsky 定理，以及 Barthel-Beaudry-Stojanoska 关于高阶实 $K$-理论的 Anderson 自对偶性。其核心贡献是通过 Lubin-Tate 栈上线丛的单值作用，对 Gross-Hopkins 对偶性给出了基于下降理论的证明。

ABSTRACT

Morava $E$-theory $E$ is an $E_\infty$-ring with an action of the Morava stabilizer group $Γ$. We study the derived stack $\operatorname{Spf} E/Γ$. Descent-theoretic techniques allow us to deduce a theorem of Hopkins-Mahowald-Sadofsky on the $K(n)$-local Picard group, as well as a recent result of Barthel-Beaudry-Stojanoska on the Anderson duals of higher real $K$-theories.

研究动机与目标

• 通过在 Lubin-Tate 栈 $\operatorname{Spf}E/\Gamma$ 上使用基于下降理论的技术，重新推导关于 $K(n)$-局部 Picard 群的 Hopkins-Mahowald-Sadofsky 定理。
• 通过导出对偶性和拟相干层，为高阶实 $K$-理论（特别是 $EO_{p-1}$）的 Anderson 自对偶性提供概念性解释。
• 在偶周期导出 Deligne-Mumford 栈上，建立识别对偶丛的准则，利用谱的同伦与上同调条件。
• 通过谱序列计算与 HFPSS，证明 $E_{n(p-1)}^{hG}$ 在高度 $n(p-1)$ 时关于 $G=C_p$ 的 Spanier-Whitehead 自对偶性。

提出的方法

• 使用导出代数几何将 $\operatorname{Spf}E/\Gamma$ 解释为 Lubin-Tate 栈，从而实现对 $K(n)$-局部谱的基于下降理论的分析。
• 应用等价关系 $\operatorname{QCoh}(\operatorname{Spf}E/\Gamma) \simeq L_{K(n)}\mathrm{Sp}$，将拟相干层与 $K(n)$-局部范畴联系起来。
• 构造 $\Gamma$ 在 $\operatorname{Spf}E/\Gamma$ 上线丛上的单值作用，以解释映射 $\operatorname{Pic}_n \to H^1_c(\Gamma; E_0^\times)$。
• 利用 Hill-Hopkins-Ravenel 关于微分的结果，计算 $E_{n(p-1)}^{hC_p}$ 的同伦固定点谱序列（HFPSS）的 $E_2$-项。
• 使用 Toda 型微分与 $d_{2p^i-1}$-微分，证明 $\delta_n^N \gamma$ 是永久循环，从而推出 $DE^{hC_p} \simeq \Sigma^k E^{hC_p}$。
• 借助 Leray-Hochschild-Serre 谱序列，将结果从 $C_p$ 推广至所有满足 Sylow $p$-子群为 $C_p$ 的有限子群 $G \subset \Gamma$。

实验结果

研究问题

• RQ1 如何通过 Lubin-Tate 栈上的下降理论，重新推导关于 $K(n)$-局部 Picard 群的 Hopkins-Mahowald-Sadofsky 定理？
• RQ2 映射 $\operatorname{Pic}_n \to H^1_c(\Gamma; E_0^\times)$ 在 $\operatorname{Spf}E/\Gamma$ 上线丛的单值作用下的几何解释是什么？
• RQ3 为何有 $L_{K(n)}I_{\mathbf{Z}}EO_{p-1} \simeq \Sigma^{(p-1)^2 - 1}EO_{p-1}$ 成立？高阶实 $K$-理论中 Anderson 自对偶性的根本几何原因是什么？
• RQ4 能否通过谱序列方法与 HFPSS 证明 $E_{n(p-1)}^{hC_p}$ 的 Spanier-Whitehead 自对偶性？
• RQ5 何种条件可确保谱 $R$ 是 $\operatorname{Spec}S$ 的对偶丛？如何通过同伦数据检测这一性质？

主要发现

• 建立了等价关系 $\operatorname{QCoh}(\operatorname{Spf}E/\Gamma) \simeq L_{K(n)}\mathrm{Sp}$，为 $K(n)$-局部稳定同伦理论提供了导出几何解释。
• 将 Hopkins-Mahowald-Sadofsky 定理重新推导为沿 étale 覆盖 $\operatorname{Spf}E \to \operatorname{Spf}E/\Gamma$ 的基于下降理论的陈述。
• 将映射 $\operatorname{Pic}_n \to H^1_c(\Gamma; E_0^\times)$ 解释为对应于 $\operatorname{Spf}E/\Gamma$ 上 $K(n)$-局部可逆谱的线丛的单值作用。
• 证明了一个准则：一个 $p$-完备谱 $R$ 是 $\operatorname{Spec}S$ 的对偶丛，当且仅当 $\operatorname{Map}(H\mathbf{Z}/p, R) \simeq \Sigma^{-1}H\mathbf{Z}/p$。
• 通过证明 $\delta_n^N \gamma$ 是 $DE^{hC_p}$ 的 HFPSS 中的永久循环，从而证明了 $E_{n(p-1)}^{hC_p}$ 的 Spanier-Whitehead 自对偶性，即 $DE^{hC_p} \simeq \Sigma^k E^{hC_p}$。
• 通过 HFPSS 中的范数不变性，将结果推广至所有满足 Sylow $p$-子群为 $C_p$ 的有限子群 $G \subset \Gamma$。