[論文レビュー] Computation of the homotopy of the spectrum tmf

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

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

ひとこと要約

この論文は、楕円曲線ホープ代数体から、楕円型アダムズ–ノヴィコフスペクトル系列のE2項を代数的ボクシュタインスペクトル系列を用いて計算し、その後その系列内のすべての微分を特定することで、素数2および3におけるトポロジカルモジュラー形式スペクトルtmfのホモトピー群を完全に計算している。主な結果は、ホップンとマホルドが当初に計算したホモトピー環の構造を、体系的な代数的アプローチにより明示的かつアクセス可能なものにしたことを確認する。

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).

研究の動機と目的

• 素数2および3におけるトポロジカルモジュラー形式スペクトルtmfのホモトピー環の完全かつ明示的な計算を提供すること。
• ホップンとマホルドが当初に非公開で行った計算を再構築し、アクセス可能なものにすること。
• tmfのホモトピー群が、素数2および3において、安定ホモトピー群の多数を同定できることを示し、tmfが安定ステームの強力な近似であることを明らかにすること。
• 代数的ボクシュタインスペクトル系列および楕円型アダムズ–ノヴィコフスペクトル系列における微分の計算を用いた体系的かつ一貫した手法を確立すること。

提案手法

• 楕円曲線ホープ代数体構造から、楕円型アダムズ–ノヴィコフスペクトル系列のE2項を代数的ボクシュタインスペクトル系列を用いて計算する。
• E2項がホープ代数体(A, Γ)上のExtで与えられるスペクトル系列を適用する。ここでAおよびΓはℤ上の多項式環である。
• Todaブラケット関係式および既知の拡張を用いて、楕円型アダムズ–ノヴィコフスペクトル系列内のすべての微分を特定する。
• スペクトル系列の周期性（周期次元96）を活用し、初期範囲を超えて計算を拡張する。
• 乗法的拡張およびTodaブラケット計算を用いて、マッセイ積や高階の関係を解明する。
• tmfのE∞-環構造を用いた比較と一貫性チェックにより、結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 素数2および3におけるホモトピー環π∗(tmf)の完全な構造は何か？
• RQ2 楕円曲線ホープ代数体から、楕円型アダムズ–ノヴィコフスペクトル系列のE2項をどのように代数的に計算できるか？
• RQ3 π∗(tmf)に収束する楕円型アダムズ–ノヴィコフスペクトル系列内のすべての微分は何か？
• RQ4 tmfにおけるTodaブラケットおよびマッセイ積は、スペクトル系列の微分および拡張とどのように関係するか？
• 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以降で完全な周期性を示し、次の周期まですべてのクラスが消滅するため、Δ⁸がホモトピー環全体の多項式生成子であることが確認された。