[论文解读] Homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$

Viet‐Cuong Pham|arXiv (Cornell University)|Nov 11, 2018

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

一句话总结

本论文通过同伦固定点谱序列（HFPSS）计算谱 $E_{C}^{hG_{24}} \wedge A_1$ 的同伦群，其中 $A_1$ 是一个有限谱，其 mod 2 上同调同构于秩为一的自由 $A(1)$-模，$E_C$ 是定义在 $Ζ_4$ 上的 supersingular 椭圆曲线 $y^2 + y = x^3$ 的第二类莫拉瓦 $E$-理论。关键结果是 HFPSS 收敛于 $E_{C}^{hG_{24}} \wedge A_1$ 的同伦群，通过大量微分和周期性，计算出 $π_*$-群，建立了 $W(Δ_4) \otimes_{Δ_2} π_*(τμφ \wedge A_1)/(κ, \nu)$ 与 $π_*(E_{C}^{hG_{24}} \wedge A_1)$ 在茎 96–192 范围内的同构关系。

ABSTRACT

Let $A_1$ be any spectrum in a class of finite spectra whose mod $2$ cohomology is isomorphic to a free module of rank one over the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra. Let $E_{C}$ be the second Morava-$E$ theory associated to a universal deformation of the formal completion of the supersingular elliptic curve $(C) : y^{2}+y = x^{3}$ defined over $\mathbb{F}_{4}$ and $G_{24}$ a maximal finite subgroup of automorphism group $\mathbb{S}_{C}$ of the formal completion of $C$. In this paper, we compute the homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$ by means of the homotopy fixed point spectral sequence.

研究动机与目标

• 在素数 2 处计算 $E_C^{hG_{24}} \wedge A_1$ 的同伦群，其中 $A_1$ 是一个具有 $A(1)$-自由 mod 2 上同调的有限谱。
• 利用同伦固定点谱序列（HFPSS）理解 $p=2$ 时 $K(2)$-局部同伦范畴的结构。
• 通过谱序列技术，建立 $E_C^{hG_{24}} \wedge A_1$ 与 $\mathrm{tmf} \wedge A_1$ 在模 $\kappa$ 和 $\nu$ 下的同伦群之间的比较关系。
• 分析 HFPSS 中的微分，证明某些类能存活至 $E_\infty$-项，从而确保所得同伦群的非平凡性。

提出的方法

• 对 $E_C^{hG_{24}} \wedge A_1$ 使用同伦固定点谱序列（HFPSS），其中 $G_{24}$ 是 $Δ_4$ 上的 supersingular 椭圆曲线 $C: y^2 + y = x^3$ 的形式完成的自同构群的最大有限子群。
• 应用 Davis-Mahowald 谱序列分析 $A_1$ 的 $A(2)^*$-余模结构，利用其 $A(1)$-自由上同调计算谱序列的 $E_2$-项。
• 对 $\mathrm{tmf} \wedge A_1$ 使用 Adams 谱序列（ASS）计算 $\pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$，利用稀疏性与 $\nu$-线性关系检测存活类。
• 分析 HFPSS 中的微分，特别是 $d_2$、$d_3$ 和 $d_4$，利用 $\kappa$-和 $\nu$-线性关系，以及 $g$-倍类的作用，确定哪些类存活或被消除。
• 利用 $\pi_*(E_C^{hG_{24}} \wedge A_1)$ 的 $\Delta^8$-周期性，将 96–144 茌的结论扩展至 144–192 茌，并证明谱序列在 $E_\infty$ 项崩溃，且与 $W(\mathbb{F}_4) \otimes_{\mathbb{Z}_2} \pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$ 同构。
• 构建并解读从 $E_7$-项开始的 HFPSS 图示（22–29），标记存活类（•）与微分（◦），重点聚焦于命题 5.3.10 中的生成元。

实验结果

研究问题

• RQ1 在素数 2 处，$E_C^{hG_{24}} \wedge A_1$ 的同伦群是什么？它们与 $\mathrm{tmf} \wedge A_1$ 的同伦群有何关系？
• RQ2 在 $E_C^{hG_{24}} \wedge A_1$ 的 HFPSS 中，微分如何影响类的收敛性？哪些类能存活至 $E_\infty$？
• RQ3 $\pi_*(E_C^{hG_{24}} \wedge A_1)$ 中的 $\Delta^8$-周期性在多大程度上允许将低茎的结论推广至高茎？
• RQ4 HFPSS 是否可用于建立 $W(\mathbb{F}_4) \otimes_{\mathbb{Z}_2} \pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$ 与 $\pi_*(E_C^{hG_{24}} \wedge A_1)$ 在 96–192 茌范围内的同构？
• RQ5 $\nu$-线性关系与 $g$-倍类在检测谱序列中非平凡元素及其收敛性方面起到什么作用？

主要发现

• 通过 HFPSS 计算了 $\pi_*(E_C^{hG_{24}} \wedge A_1)$，所有在茎 96–144 和 144–192 的类均收敛至非平凡元素。
• 类 $\nu w_2^2 e[0,0], \nu w_2^2 e[1,5], \dots, \nu w_2^2 e[4,23]$ 存活至 $E_\infty$-项，并收敛至 $\pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$ 在茎 96–144 中的非平凡元素。
• 类 $\nu w_3^2 e[0,0], \nu w_3^2 e[1,5], \dots, \nu w_3^2 e[4,23]$ 全部存活至 $E_\infty$-项，并收敛至 $\pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$ 在茎 144–192 中的非平凡元素。
• 从 $W(\mathbb{F}_4) \otimes_{\mathbb{Z}_2} \pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$ 到 $\pi_*(E_C^{hG_{24}} \wedge A_1)/(\kappa, \nu)$ 的映射 $\Theta'$ 是同构，通过满射性与 $\Delta^8$-周期性建立。
• HFPSS 图示（22）–（29）从 $E_7$-项开始，显示了存活类（•）与微分（◦），在 144–197 茌范围内可明显观察到 $\Delta^8$-周期性。
• 谱序列在 $E_\infty$ 项崩溃，且 $W(\mathbb{F}_4) \otimes_{\mathbb{Z}_2} \pi_*(\mathrm{tmf} \wedge A_1)/(\kappa, \nu)$ 与 $\pi_*(E_C^{hG_{24}} \wedge A_1)$ 在茎 96–192 茌的同构关系成立，$\Delta^8$-周期性确保了结论的延伸。