[论文解读] Algebraic topology and modular forms

Michael J. Hopkins|ArXiv.org|Dec 1, 2002

Algebraic structures and combinatorial models参考文献 39被引用 106

一句话总结

本文引入了拓扑模形式（tmf），一种将代数拓扑与模形式统一起来的新上同调理论。它将 tmf 构造为椭圆曲线的同伦理论模空间，揭示了其与 Witten 示性类、p 进模形式以及通过 Bousfield-Kuhn 对数和 Atkin 算子联系的单位谱之间的深刻联系。

ABSTRACT

Modular forms appear in many facets of mathematics, and have played important roles in geometry, mathematical physics, number theory, representation theory, topology, and other areas. Around 1994, motivated by technical issues in homotopy theory, Mark Mahowald, Haynes Miller and I constructed a topological refinement of modular forms, which we call {\em topological modular forms}. At the Zurich ICM I sketched a program designed to relate topological modular forms to invariants of manifolds, homotopy groups of spheres, and ordinary modular forms. This program has recently been completed and new directions have emerged. In this talk I will describe this recent work and how it informs our understanding of both algebraic topology and modular forms.

研究动机与目标

• 构建一种新的上同调理论 tmf，以捕捉球面的稳定同伦群，并将其与模形式联系起来。
• 将 tmf 确立为椭圆曲线的同伦理论模空间，完成早期工作中提出的程序。
• 通过 Bousfield-Kuhn 对数和 Atkin 算子，将 tmf 的单位谱与 p 进模形式联系起来。
• 解释几何不变量（如 Arf 不变量和框架 cobordism）如何与稳定同伦群相关联。
• 研究 tmf 中对数映射的纤维的同伦类型，通过 Ramanujan τ 函数揭示算术数据。

提出的方法

• 通过椭圆上同调理论和椭圆曲线模空间理论，将 tmf 构造为表示拓扑模形式的谱。
• 使用 Bousfield-Kuhn 函子，将 tmf 的单位谱与 Morava K-理论的局部化联系起来，特别是 L_{K(1)}tmf。
• 定义对数映射 log_p^{tmf}: gl_1(tmF) → tmf_p，该映射在 p 进完备化和 3-连通覆盖后成为同构。
• 建立一个涉及 log_p^{tmf}、Atkin 算子 U 和局部化的同伦笛卡尔正方形，将对数不是同构的失败与 U 的谱联系起来。
• 分析 log_p^{tmf} 的同伦纤维以提取算术信息，特别是通过模 p 的 Ramanujan τ 函数。
• 将 Atkin 算子 U 在 L_{K(1)}tmf 上的作用视为 p 进模形式上经典 Hecke 算子的拓扑类比。

实验结果

研究问题

• RQ1 如何构造一种将稳定同伦理论与模形式统一起来的上同调理论？
• RQ2 tmf 的单位谱 gl_1(tmF) 在将 tmf 与 p 进模形式联系起来的过程中起什么作用？
• RQ3 在 p 进模形式的背景下，tmf 上的 Bousfield-Kuhn 对数如何与 Atkin 算子相关联？
• RQ4 对数映射 log_p^{tmf} 的同伦纤维中编码了哪些算术信息？
• RQ5 对于哪些素数 p 满足 τ(p) ≡ 1 mod p，这又如何影响 log_p^{tmf} 的纤维的同伦群？

主要发现

• 当 p = 691 时，对数映射 log_p^{tmf} 的纤维满足 π_23(F) ≅ ℤ_p；当 p ≠ 691 时，π_23(F) ≅ ℤ_p ⊕ ℤ_p/(τ(p)−1)。
• 当 p ≠ 691 时，π_23(F) 的挠子群的阶由 (τ(p)−1) 的 p 进赋值决定，且在小于 35,000 的素数中，仅有 11、23 和 691 满足 τ(p) ≡ 1 mod p。
• 在 L_{K(1)}tmf 上的 Atkin 算子 U 被实现为一个拓扑 Hecke 算子，将 tmf 与 p 进模形式联系起来。
• 对数映射 log_p^{tmf} 在 p 进完备化和进入 3-连通覆盖后成为同构，揭示了深刻的对偶性。
• 将 tmf 构造为椭圆曲线的模空间，完成了通过 Witten 示性类将代数拓扑与模形式联系起来的程序。
• tmf 理论提供了一个统一的框架，将框架 cobordism 不变量、Arf 不变量与球面的稳定同伦群联系起来。