[论文解读] Connective versions of TMF(3)

Donald M. Davis, Mark Mahowald|arXiv (Cornell University)|May 20, 2010

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

一句话总结

本文构建并分析了拓扑模形式谱 TMF(3) 的三个连通模型，重点关注环谱 $ X \wedge \operatorname{tmf} $，该谱因其环结构被证明是首选模型。关键贡献是通过 Adams 族谱序列完全计算了 $ \operatorname{tmf}(3)_*(\mathbb{R}P^\infty) $，并利用 Ext 计算与族谱序列技术确定了 $ X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty $ 的同伦群。

ABSTRACT

We study three connective versions of the spectrum for topological modular forms of level 3. All three were described briefly by Mahowald and Rezk in [Pure Appl Math Quar (2009)], but we add much detail to their discussion. Letting tmf(3) denote our connective model which is a ring spectrum, we compute the tmf(3)-homology of RP^infty.

研究动机与目标

• 澄清并扩展 Mahowald 和 Rezk 在 [8] 中简要描述的 TMF(3) 的三个连通模型。
• 确立 $ X \wedge \operatorname{tmf} $ 作为 $ \operatorname{tmf}(3) $ 的首选连通模型，因其为环谱。
• 计算 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $，从而得到 $ \operatorname{tmf}(3)_*(\mathbb{R}P^\infty) $，作为在障碍理论中使用 TMF(3) 的第一步。
• 尽管构造方式不同，仍直接关联第二和第三模型的 Ext 计算与第一模型的关系。
• 通过族谱序列分析，解决 Adams 族谱序列中 $ \operatorname{Ext}_{A_2}^{*,*}(L \otimes H^*\mathbb{R}P^\infty) $ 的 $ h_0 $-塔与 $ \eta^2 $-钩的匹配问题。

提出的方法

• 构建一个具有指定非平凡 Steenrod 运算的 9-胞腔 CW 复形 $ Y $，使得谱 $ X $ 为映射锥 $ \alpha: \Sigma^3 Y \to S^0 $ 的映射锥，其中 $ \alpha $ 延拓了 $ 2\nu $。
• 通过映射 $ f: X \to bo $ 定义 $ X \wedge \operatorname{tmf} $ 为环谱，并利用复合映射 $ \tilde{f} = f \wedge 1 $ 定义映射锥 $ C $，满足 $ H^*(C) \cong \Sigma^4 A / A(\operatorname{Sq}^4, \operatorname{Sq}^5 \operatorname{Sq}^1) $ 作为 $ A $-模。
• 应用 Adams 族谱序列（ASS）计算 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $，使用 $ E_2 $-页 $ \operatorname{Ext}_{A_2}^{s,t}(L \otimes H^*\mathbb{R}P^\infty) $，其中 $ L $ 为某个 $ A_2 $-模。
• 使用族谱序列 $ \bigoplus_s \phi^s \operatorname{Ext}_{A_2}^{*,*}(\Sigma^{-s} C_s \otimes H^*\mathbb{R}P^\infty) $ 分析 $ E_2 $-页的结构，并解决 $ h_0 $-塔与 $ \eta^2 $-钩的匹配问题。
• 应用 $ v_2^8 $-周期性以及对 $ \operatorname{Ext}_{A_2}(L \otimes Q) $ 的已知结果，确定族谱序列的完整结构并确认其在 $ E_2 $-页崩溃。
• 利用关联 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $ 与 $ \pi_*(C \wedge \mathbb{R}P^\infty) $ 的正合序列，通过调整过滤与直和项，推导出最终的同伦群。

实验结果

研究问题

• RQ1 连通 TMF(3) 谱 $ \operatorname{tmf}(3) $ 的同伦群是什么，特别是在 $ \operatorname{tmf}(3)_*(\mathbb{R}P^\infty) $ 的背景下？
• RQ2 TMF(3) 的三个连通模型之间有何关系，为何 $ X \wedge \operatorname{tmf} $ 是首选模型？
• RQ3 如何利用 Adams 族谱序列计算 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $，且需要哪些族谱序列技术来解析 $ E_2 $-页的结构？
• RQ4 $ v_2^8 $-周期性与 $ A_2 $-模结构在确定 $ L \otimes H^*\mathbb{R}P^\infty $ 的 Ext 群中起什么作用？
• RQ5 $ h_0 $-塔与 $ \eta^2 $-钩在不同过滤下的族谱序列中如何匹配，需要哪些扩张来完成模式？

主要发现

• 计算 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $ 的 Adams 族谱序列在 $ E_2 $-页崩溃，无微分或扩张。
• 同伦群 $ \pi_*(X \wedge \operatorname{tmf} \wedge \Sigma \mathbb{R}P^\infty) $ 通过修改 $ \pi_*(C \wedge \mathbb{R}P^\infty) $ 的群得到：移除满足 $ e_2 = 0 $ 的直和项，当 $ e_1 \equiv 2 \pmod{4} $ 时移除 $ b_{e_1,0} $ 与 $ \eta b_{e_1,0} $，对 $ i \geq 1 $ 添加阶为 2 的 $ c_{8i+3,0} $，并将所有过滤降低 1。
• 谱 $ X \wedge \operatorname{tmf} $ 是环谱，因此是 $ \operatorname{tmf}(3) $ 的首选连通模型，且在局部化 $ v_2 $ 后与其它模型等价。
• $ h_0 $-塔底部的 $ \eta^2 $-钩在 $ H^*(C) $ 的结构中清晰可见，对匹配族谱序列结构至关重要，尽管在 $ s $-过滤族谱序列中不易察觉。
• $ \operatorname{Ext}_{A_2}^{s,t}(L \otimes H^*\mathbb{R}P^\infty) $ 的 $ E_2 $-页通过 $ v_2^8 $-周期性与已知的 $ \operatorname{Ext}_{A_2}(L \otimes Q) $ 结构完全确定。
• 最终结果是 $ \operatorname{tmf}(3)_*(\mathbb{R}P^\infty) $ 的完整确定，这对未来在障碍理论中的应用至关重要。