[论文解读] Computation of the homotopy of the spectrum tmf

Tilman Bauer|arXiv (Cornell University)|Nov 19, 2003

Algebraic Geometry and Number Theory参考文献 11被引用 33

一句话总结

本文通过代数博克斯坦谱序列，从椭圆曲线霍普夫超代数出发，计算了在素数 2 和 3 处的拓扑模形式谱 tmf 的椭圆爱德华兹–诺维科夫谱序列的 E2 项，随后确定了该谱序列中的所有微分。关键结果确认了霍普金斯与马霍尔德最初计算的同伦环结构，现通过系统化的代数方法变得明确且易于理解。

ABSTRACT

This paper contains a complete computation of the homotopy ring of the spectrum of topological modular forms constructed by Hopkins and Miller. The computation is done away from 6, and at the (interesting) primes 2 and 3 separately, and in each of the latter two cases, a sequence of algebraic Bockstein spectral sequences is used to compute the E_2 term of the elliptic Adams-Novikov spectral sequence from the elliptic curve Hopf algebroid. In a further step, all the differentials in the latter spectral sequence are determined. The result of this computation is originally due to Hopkins and Mahowald (unpublished).

研究动机与目标

• 提供对拓扑模形式谱 tmf 在素数 2 和 3 处的同伦环的完整且明确的计算。
• 重建并使霍普金斯与马霍尔德最初未发表的计算变得可访问。
• 证明 tmf 的同伦群在 p=2 和 p=3 处能检测大量稳定同伦群，使其成为稳定茎的强有力逼近。
• 建立一种系统化方法，利用代数博克斯坦谱序列与椭圆爱德华兹–诺维科夫谱序列中的微分计算。

提出的方法

• 使用代数博克斯坦谱序列，从椭圆曲线霍普夫超代数结构出发，计算椭圆爱德华兹–诺维科夫谱序列的 E2 项。
• 应用该谱序列，其中 E2 项由霍普夫超代数 (A, Γ) 上的 Ext 给出，此处 A 和 Γ 是 ℤ 上的多项式环。
• 利用 Toda 括号关系与已知扩张，确定椭圆爱德华兹–诺维科夫谱序列中的所有微分。
• 利用谱序列的周期性，周期维度为 96，将计算扩展至初始范围之外。
• 通过乘法扩张与 Toda 括号计算，解决 Massey 积与高阶关系。
• 通过与已知计算比较及利用 tmf 的 E∞-环结构进行一致性检查，验证结果。

实验结果

研究问题

• RQ1 在素数 2 和 3 处，同伦环 π∗(tmf) 的完整结构是什么？
• RQ2 如何从椭圆曲线霍普夫超代数出发，代数地计算椭圆爱德华兹–诺维科夫谱序列的 E2 项？
• RQ3 收敛到 π∗(tmf) 的椭圆爱德华兹–诺维科夫谱序列中，所有微分是什么？
• RQ4 tmf 中的 Toda 括号与 Massey 积如何与谱序列的微分和扩张相关联？
• RQ5 谱序列中的周期性起什么作用？它在最终同伦群中如何体现？

主要发现

• 在素数 2 和 3 处，同伦环 π∗(tmf) 被完全计算，确认了霍普金斯与马霍尔德最初未发表的计算结果。
• 椭圆爱德华兹–诺维科夫谱序列的 E2 项通过一系列应用于椭圆曲线霍普夫超代数的代数博克斯坦谱序列被计算得出。
• 谱序列中的所有微分均被确定，包括一条长微分：d23(e[121,1]) = g6 与 d23(e[146,2]) = e[145,25]。
• 通过 Toda 拱动与已知扩张，建立了乘法扩张，如 e[124,6]η = e[125,21] 与 e[149,7]η = 2e[150,10] = e[150,22]。
• 类 Δ⁴ = g⁴ 作为谱序列与 π∗(tmf) 的周期性生成元，周期维度为 96。
• 谱序列从维度 192 起表现出完全周期性，所有类在下一个周期前全部消失，确认 Δ⁸ 是整个同伦环的多项式生成元。