[论文解读] On the Tate spectrum of tmf at the prime 2

S. M. Bailey, Nicolas Ricka|arXiv (Cornell University)|Apr 23, 2009

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

一句话总结

本文建立了在素数 2 处的连通拓扑模形式谱（tmf）的 Tate 光谱的分裂，其为实 K-理论（kO）悬垂的楔和，具体为 $ t(\mathrm{tmf}) \simeq \bigvee_{i \in \mathbb{Z}} \Sigma^{8i} \mathrm{kO} $。利用 Mahowald 的 Tate 光谱的逆极限描述以及在 $ \mathcal{A}(1) $-模范畴中的 Adams 分 spectral 序列计算，作者证明了 Tate 光谱的同伦群同构于 $ \mathrm{kO}[x^{\pm 8}] $ 的同伦群，从而为一个启发式观点提供了新例证：$ v_n $-周期同伦导致 $ v_n $-挠在根不变量中出现，与口号 ' $ v_n $-周期同伦的根不变量是 $ v_n $-挠' 一致。

ABSTRACT

Computations involving the root invariant prompted Mahowald and Shick to develop the slogan: "the root invariant of v_n periodic homotopy is v_n torsion." While neither a proof, nor a precise statement, of this slogan appears in the literature, numerous authors have offered computational evidence in support of its fundamental idea. The root invariant is closely related to Mahowald's inverse limit description of the Tate spectrum, and computations have shown the Tate spectrum of v_n periodic cohomology theories to be v_n torsion. The purpose of this paper is to split the Tate spectrum of tmf as a wedge of suspensions of kO, providing yet another example in support of the slogan to the existing literature.

研究动机与目标

• 为启发式观点提供一个新例证：$ v_n $-周期同伦的根不变量是 $ v_n $-挠，该口号在文献中尚无正式证明。
• 计算在素数 2 处的连通拓扑模形式谱 $ \mathrm{tmf} $ 的 Tate 光谱，这是在色谱同伦理论中的一个关键对象。
• 建立环谱等价 $ t(\mathrm{tmf}) \simeq \mathrm{kO}[x^{\pm 8}] $，表明 Tate 光谱继承了环结构，并分裂为 $ \mathrm{kO} $ 的分次楔和。
• 通过 Adams 分 spectral 序列技术，证明 $ t(\mathrm{tmf}) $ 的同伦群同构于 $ \mathrm{kO}[x^{\pm 8}] $ 的同伦群。
• 阐明 Mahowald 的 Tate 光谱逆极限描述与 Greenlees-May 的等变谱框架之间的关系，特别是其在保持环结构方面的兼容性。

提出的方法

• 利用 Mahowald 的 Tate 光谱逆极限描述：$ t(X) \simeq \Sigma \varprojlim (P_\ell \wedge X) $，其中 $ P_\ell $ 是 $ \ell \lambda $ 的 Thom 光谱，$ \lambda $ 为 $ \mathbb{R}P^\infty $ 上的典范线丛。
• 应用 Greenlees-May 的等变谱框架通过 $ G $-光谱，证明对 $ G = \mathbb{Z}/2\mathbb{Z} $ 有 $ \mathbf{t}(k_G)^G \simeq t(k) $，并保持环结构。
• 将 $ t(\mathrm{tmf}) $ 的计算归约为分析纤维 $ \overline{t(\mathrm{tmf})} $，利用涉及 $ \mathrm{tmf} \wedge P_{-1-8k} $ 和 $ \mathrm{tmf} \wedge L_0 $ 的余纤维序列，并取逆极限。
• 使用 Adams 分 spectral 序列，其 $ E_2 $-页满足 $ \operatorname{Ext}_{\mathcal{A}}(H^*\overline{t(\mathrm{tmf})}, \mathbb{F}_2) \cong \operatorname{Ext}_{\mathcal{A}(1)}(\mathbb{F}_2[x^8], \mathbb{F}_2) $，并证明由于次数原因，元素 $ x^{8j} $ 能存活至 $ E_\infty $-页。
• 通过 $ \mathcal{A}(1) $-模映射构造一个映射 $ \phi: \overline{t(\mathrm{tmf})} \to \mathrm{kO}[x^8] $，证明其在上同调上诱导同构，因此为弱等价。
• 利用逆极限与移位映射 $ \Sigma^{-8k} \to \Sigma^{-8k+8} $ 的相容性，证明它们对应于乘以 $ x^8 $，从而得出 $ t(\mathrm{tmf}) \simeq \mathrm{kO}[x^{\pm 8}] $。

实验结果

研究问题

• RQ1 在素数 2 处，$ \mathrm{tmf} $ 的 Tate 光谱是否分裂为 $ \mathrm{kO} $ 悬垂的楔和，从而为 $ v_n $-挠根不变量口号提供一个新实例？
• RQ2 能否通过 $ \mathcal{A}(1) $-模范畴中的 Adams 分 spectral 序列计算 $ t(\mathrm{tmf}) $ 的同伦群，且其是否与 $ \mathrm{kO}[x^{\pm 8}] $ 的同伦群一致？
• RQ3 $ \mathrm{tmf} $ 上的环结构如何提升至 Tate 光谱？这与 Greenlees-May 的等变框架是否兼容？
• RQ4 对 $ t(\mathrm{tmf}) $ 的逆极限描述是否与 $ \mathrm{tmf} $ 的周期性兼容，特别是其同伦群中观察到的 8-周期性？
• RQ5 $ \mathcal{A}(1) $-模结构在控制 $ \overline{t(\mathrm{tmf})} $ 的 Adams 分 spectral 序列中的扩张与微分时起什么作用？

主要发现

• 在素数 2 处，$ \mathrm{tmf} $ 的 Tate 光谱弱同伦等价于 $ \bigvee_{i \in \mathbb{Z}} \Sigma^{8i} \mathrm{kO} $，为色谱同伦理论提供了新的分裂结果。
• $ t(\mathrm{tmf}) $ 的同伦群同构于 $ \mathrm{kO}[x^{\pm 8}] $ 的同伦群，其中 $ x $ 为次数 8 的生成元，该结果通过 Adams 分 spectral 序列计算得到证实。
• $ \overline{t(\mathrm{tmf})} $ 的 Adams 分 spectral 序列的 $ E_2 $-页同构于 $ \operatorname{Ext}_{\mathcal{A}(1)}(\mathbb{F}_2[x^8], \mathbb{F}_2) $，且由于次数约束，元素 $ x^{8j} $ 能存活至 $ E_\infty $-页。
• 映射 $ \Sigma^{-8k} \overline{t(\mathrm{tmf})} \to \Sigma^{-8k+8} \overline{t(\mathrm{tmf})} $ 对应于乘以 $ x^8 $，从而确认了周期性结构。
• 余纤维序列的逆极限给出 $ t(\mathrm{tmf}) \simeq \varprojlim \Sigma^{-8k} \overline{t(\mathrm{tmf})} \simeq \mathrm{kO}[x^{\pm 8}] $，从而确立了主定理。
• 在 $ t(\mathrm{tmf}) $ 上的环结构被保持，因为等价 $ t(\mathrm{tmf}) \simeq \mathrm{kO}[x^{\pm 8}] $ 是一个环谱等价，与 Greenlees-May 框架一致。