[論文レビュー] Algebraic topology and modular forms

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

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

ひとこと要約

この論文は、代数的トポロジーとモジュラー形式を統合する新しいコホロロジー理論である位相的モジュラー形式（tmf）を紹介する。tmf は楕円曲線のホモトピー的モジュライ空間として構成され、ウィッテンの特徴類、p進モジュラー形式、およびボウスフィールド＝クーン対数とアトキン作用素を通じてユニットのスペクトラムと結びつける。

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 を楕円曲線のホモトピー的モジュライ空間として確立し、以前の研究で提示された計画を完了すること。
• ボウスフィールド＝クーン対数とアトキン作用素を介して、tmf のユニットのスペクトラムとp進モジュラー形式を結びつけること。
• 幾何的不変量（例えばアーフ不変量やフレームドコボルディズム）が安定ホモトピー群とどのように関係するかを説明すること。
• tmf における対数写像のファイバーのホモトピー型を調査し、ラマヌジャンのτ関数を介して算術的データを明らかにすること。

提案手法

• 楕円コホロロジーと楕円曲線のモジュライ空間の理論を用いて、位相的モジュラー形式を表すスペクトラムとして tmf を構成する。
• ボウスフィールド＝クーン関手を用いて、tmf のユニットのスペクトルをモラバK理論における局所化、特に L_{K(1)}tmf と関連付ける。
• 対数写像 log_p^{tmf}: gl_1(tmF) → tmf_p を定義し、p進完備化および3連結被覆の後で同値になることを示す。
• log_p^{tmf}、アトキン作用素U、および局所化を含むホモトピーカルテジアン正方形を確立し、対数写像が同型でない失敗がUのスペクトルと結びつくようにする。
• 対数写像 log_p^{tmf} のホモトピー・ファイバーを分析し、特にラマヌジャンのτ関数をpで割った剰余を介して算術的情報を抽出する。
• L_{K(1)}tmf 上のアトキン作用素Uを、p進モジュラー形式上の古典的ヘッケ作用素の位相的類似物として実現する。

実験結果

リサーチクエスチョン

• RQ1 安定ホモトピー論とモジュラー形式を統合するコホロロジー理論はどのように構成できるか？
• RQ2 tmf とp進モジュラー形式を結びつける際、スペクトル gl_1(tmF) が果たす役割は何か？
• RQ3 ボウスフィールド＝クーン対数がp進モジュラー形式の文脈におけるアトキン作用素とどのように関係するか？
• RQ4 対数写像 log_p^{tmf} のホモトピー・ファイバーにどのような算術的情報が符号化されているか？
• RQ5 τ(p) ≡ 1 mod p を満たす素数 p はどれか？そしてこれは log_p^{tmf} のファイバーのホモトピー群にどのように影響するか？

主な発見

• p = 691 のとき、対数写像 log_p^{tmf} のファイバー F に対して π_23(F) ≅ ℤ_p が成り立ち、p ≠ 691 のとき π_23(F) ≅ ℤ_p ⊕ ℤ_p/(τ(p)−1) が成り立つ。
• p ≠ 691 のとき、π_23(F) の torsion 部分群の位数は (τ(p)−1) のp進付値によって決定され、35,000未満の素数で τ(p) ≡ 1 mod p を満たすのは 11, 23, 691 のみである。
• L_{K(1)}tmf 上のアトキン作用素Uは、位相的ヘッケ作用素として実現され、tmf とp進モジュラー形式を結ぶ。
• 対数写像 log_p^{tmf} はp進完備化および3連結被覆を経て同値になるため、深い双対性が明らかになる。
• tmf を楕円曲線のモジュライ空間として構成することで、ウィッテンの特徴類を通じて代数的トポロジーとモジュラー形式を結ぶ計画が完了する。
• tmf の理論は、フレームドコボルディズム不変量、アーフ不変量、および球面の安定ホモトピー群を統合する枠組みを提供する。