[論文レビュー] The homotopy groups of the spectrum Tmf

Johan Konter|arXiv (Cornell University)|Dec 15, 2012

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

ひとこと要約

この論文は、楕円曲線のモジュライスタック上の層コホモロジーを用いて、2, 3, および奇素数における非連結スペクトル Tmf のホモトピー群を、楕円およびアダムス＝ノヴィコフスペクトル系列を用いて計算する。π∗Tmf(2)、π∗Tmf(3)、ℓ > 3 における π∗Tmf(ℓ) について、明示的な生成子と関係式を含む、加法的および乗法的構造の完全な記述を提供し、接続スペクトル tmf に関する先行研究を拡張し、安定ホモトピー群の球面近似における欠落していた部分を解消する。

ABSTRACT

We use the structure of the homotopy groups of the connective spectrum tmf of topological modular forms and the elliptic and Adams-Novikov spectral sequences to compute the homotopy groups of the non-connective version, Tmf, of that spectrum. This is done separately for the localizations at 2, 3 and higher primes.

研究の動機と目的

• 非連結スペクトル Tmf のホモトピー群を計算し、接続スペクトル tmf が開始した図を完成させること。
• トポロジカルモジュラー形式による球面の安定ホモトピー群の近似を、非連結の場合にまで拡張すること。
• スペクトル系列および層論的技法を用いて、すべての素数における π∗Tmf の完全な記述を提供すること。
• Tmf のホモトピー群の乗法的構造、すなわち生成子と関係式を確立すること。

提案手法

• 楕円スペクトル系列およびアダムス＝ノヴィコフスペクトル系列を、楕円曲線のモジュライスタック Mell 上の次数付き層への係数を用いて使用する。
• Bauer による π∗tmf の既知の計算を活用し、∆−24 での局所化により π∗TMF を導出する。
• デリーニ＝マウムフォードのコンパクト化 Mell およびワイエルシュトラス曲線のスタック M+ell のコホモロジーを解析し、2, 3, および奇素数での局所化を計算する。
• フィルトレーション 2 から 23 におけるホモトピー群の計算にスペクトル系列技法を適用し、微分と拡張を追跡する。
• 写像 D: H∗(Mell) → π∗Tmf を用いて要素を引き戻し、乗法的拡張を導出する。
• マッセイ積の入れ替えおよびボクシュタインスペクトル系列の技法を用いて、隠れた拡張および乗法的関係を解消する。

実験結果

リサーチクエスチョン

• RQ1 素数 2 における非連結スペクトル Tmf のホモトピー群は何か？
• RQ2 素数 3 および奇素数における Tmf のホモトピー群は、2 におけるものとどのように異なるか？
• RQ3 π∗Tmf の乗法的構造、生成子と関係式を含めて、どのようなものか？
• RQ4 スペクトル系列における拡張および隠れた乗法的関係は、最終的なホモトピー群にどのように影響するか？
• RQ5 モジュラー判別式 ∆ およびカスプ形式 Δ は、Tmf のグローバル構造において果たす役割は何か？

主な発見

• π∗Tmf(2) の加法的構造は、(Z[∆8] ⊗(R+ ⊕ S+)) ⊕ (Z[∆−8] ⊗(R− ⊕ S−)) で与えられ、R+, R−, S+, S− は明示的に定義された部分加群である。
• π∗Tmf(2) の乗法的構造は、c4, c6, 23−e2(l)∆l (1 ≤ l ≤ 8)、および h1, h2, c, d, g, ⟨h1∆⟩, ⟨2h2∆⟩, ⟨c∆⟩, ⟨h2∆2⟩ を生成子とし、特定の関係を持つ。
• 重要な関係には、c⟨d∆8i⟩ = h21⟨g∆8i⟩、d⟨d∆8i⟩ = c⟨g∆8i⟩、d2⟨d∆8i⟩ = h21g⟨g∆8i⟩ がすべての i ∈ Z に対して成り立つ。
• π∗Tmf(2) において ⟨h1∆⟩4 = g5 が成り立ち、⟨2h2∆⟩2 = dg2 はスペクトル系列の計算により確認される。
• 論文は、Bauer による元の図を修正し、欠落していた乗法的関係を補い、誤った η-乗法的関係線を是正した。
• ℓ > 3 における計算は完全であり、π∗Tmf(ℓ) は Z(ℓ)[c4, c6, ∆−1] 上の自由加群であり、特異な拡張は存在しない。