[論文レビュー] On the Tate spectrum of tmf at the prime 2

S. M. Bailey, Nicolas Ricka|arXiv (Cornell University)|Apr 23, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 4

ひとこと要約

本論文は、2を素数として、連結なトポロジカルモジュラー形式スペクトラム（tmf）のテートスペクトラムの分割を確立し、具体的には $ t(\mathrm{tmf}) \simeq \bigvee_{i \in \mathbb{Z}} \Sigma^{8i} \mathrm{kO} $ が成り立つことを示している。マホルドのテートスペクトラムの逆極限記述と $ \mathcal{A}(1) $-加群圏におけるアダムススペクトル系列の計算を用いて、テートスペクトラムのホモトピー群が $ \mathrm{kO}[x^{\pm 8}] $ のそれらと同型であることを示し、$ v_n $-周期的ホモトピーが根不変量において $ v_n $- torsion をもたらすという直感的仮説を支持する新しい例を提供している。これは「$ v_n $-周期的ホモトピーの根不変量は $ v_n $- torsion である」というスローガンに整合している。

ABSTRACT

Computations involving the root invariant prompted Mahowald and Shick to develop the slogan: "the root invariant of v_n periodic homotopy is v_n torsion." While neither a proof, nor a precise statement, of this slogan appears in the literature, numerous authors have offered computational evidence in support of its fundamental idea. The root invariant is closely related to Mahowald's inverse limit description of the Tate spectrum, and computations have shown the Tate spectrum of v_n periodic cohomology theories to be v_n torsion. The purpose of this paper is to split the Tate spectrum of tmf as a wedge of suspensions of kO, providing yet another example in support of the slogan to the existing literature.

研究の動機と目的

• 文献に形式的証明のないままに、$ v_n $-周期的ホモトピーの根不変量は $ v_n $- torsion であるという直感的仮説を支持する新しい例を提供すること。
• トロピカルホモトピー理論の中心的対象である、素数2における連結なトポロジカルモジュラー形式スペクトラム $ \mathrm{tmf} $ のテートスペクトラムを計算すること。
• 環スペクトラム同型 $ t(\mathrm{tmf}) \simeq \mathrm{kO}[x^{\pm 8}] $ を確立し、テートスペクトラムが環構造を引き継ぎ、$ \mathrm{kO} $ の次数付き直和として分解されることを示すこと。
• アダムススペクトル系列の技法を用いて、$ t(\mathrm{tmf}) $ のホモトピー群が $ \mathrm{kO}[x^{\pm 8}] $ のそれらと同型であることを示すこと。
• マホルドのテートスペクトラムの逆極限記述とグリーンリーズ＝メイの等化スペクトルフレームワークとの関係を明確にし、特に環構造の保存について考察すること。

提案手法

• テートスペクトラムのマホルドの逆極限記述 $ t(X) \simeq \Sigma \varprojlim (P_\ell \wedge X) $ を用いる。ここで $ P_\ell $ は $ \mathbb{R}P^\infty $ 上の標準的線束 $ \lambda $ のティホムスペクトラムである。
• G-スペクトラムを用いたグリーンリーズ＝メイフレームワークを適用し、$ G = \mathbb{Z}/2\mathbb{Z} $ に対して $ \mathbf{t}(k_G)^G \simeq t(k) $ が成り立つことを示し、環構造が保存されることを確認する。
• $ t(\mathrm{tmf}) $ の計算を、$ \mathrm{tmf} \wedge P_{-1-8k} $ と $ \mathrm{tmf} \wedge L_0 $ を含むコアーバー列を用いて、$ \overline{t(\mathrm{tmf})} $ の分析に還元する。その後、逆極限を取る。
• アダムススペクトル系列を用い、$ E_2 $-頁が $ \operatorname{Ext}_{\mathcal{A}}(H^*\overline{t(\mathrm{tmf})}, \mathbb{F}_2) \cong \operatorname{Ext}_{\mathcal{A}(1)}(\mathbb{F}_2[x^8], \mathbb{F}_2) $ に同型であることを示し、次数の理由から $ x^{8j} $ の要素が $ E_\infty $-頁まで生き残ることを示す。
• $ \mathcal{A}(1) $-加群の写像を用いて、$ \overline{t(\mathrm{tmf})} \to \mathrm{kO}[x^8] $ の写像 $ \phi $ を構成し、それがコホモロジーに同型を誘導することを示し、したがって弱同値であることを示す。
• シフト写像 $ \Sigma^{-8k} \to \Sigma^{-8k+8} $ と逆極限の整合性を用い、これらが $ x^8 $ による乗法に一致することを示し、$ t(\mathrm{tmf}) \simeq \mathrm{kO}[x^{\pm 8}] $ を結論づける。

実験結果

リサーチクエスチョン

• RQ1 素数2における $ \mathrm{tmf} $ のテートスペクトラムは、$ \mathrm{kO} $ のスパンの直和として分解されるか？ これは $ v_n $- torsion 根不変量スローガンの新しい事例を提供する。
• RQ2 アダムススペクトル系列を用いて $ t(\mathrm{tmf}) $ のホモトピー群を $ \mathcal{A}(1) $-加群圏で計算できるか？ また、それらは $ \mathrm{kO}[x^{\pm 8}] $ のホモトピー群と一致するか？
• RQ3 $ \mathrm{tmf} $ に存在する環構造はテートスペクトラムへどのように引き継がれるか？ また、グリーンリーズ＝メイの等化スペクトルフレームワークと整合的か？
• RQ4 逆極限記述は、$ \mathrm{tmf} $ のホモトピー群に観察される8重周期性と整合的か？
• RQ5 $ \mathcal{A}(1) $-加群構造は、$ \overline{t(\mathrm{tmf})} $ のアダムススペクトル系列における拡張や微分を制御する役割を果たすか？

主な発見

• 素数2における $ \mathrm{tmf} $ のテートスペクトラムは、$ \bigvee_{i \in \mathbb{Z}} \Sigma^{8i} \mathrm{kO} $ に弱同値であり、チロトピカルホモトピー理論における新しい分割結果を提供する。
• $ t(\mathrm{tmf}) $ のホモトピー群は、$ \mathrm{kO}[x^{\pm 8}] $ のそれらと同型であり、$ x $ は次数8の生成子である。これはアダムススペクトル系列の計算によって示された。
• $ \overline{t(\mathrm{tmf})} $ のアダムススペクトル系列の $ E_2 $-頁は $ \operatorname{Ext}_{\mathcal{A}(1)}(\mathbb{F}_2[x^8], \mathbb{F}_2) $ に同型であり、次数制約により $ x^{8j} $ の要素が $ E_\infty $-頁まで生き残る。
• $ \Sigma^{-8k} \overline{t(\mathrm{tmf})} \to \Sigma^{-8k+8} \overline{t(\mathrm{tmf})} $ の写像は $ x^8 $ による乗法に対応し、周期構造が確認された。
• コアーバー列の逆極限により $ t(\mathrm{tmf}) \simeq \varprojlim \Sigma^{-8k} \overline{t(\mathrm{tmf})} \simeq \mathrm{kO}[x^{\pm 8}] $ が得られ、これが主定理を確立する。
• $ t(\mathrm{tmf}) $ の環構造は保存されており、同型 $ t(\mathrm{tmf}) \simeq \mathrm{kO}[x^{\pm 8}] $ が環スペクトラム同型であるため、グリーンリーズ＝メイフレームワークと整合的である。