[論文レビュー] On the tmf-resolution of Z

Agnès Beaudry, Mark Behrens+3 more|arXiv (Cornell University)|Sep 29, 2019

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

ひとこと要約

この論文は、タイプ2スpectrum Z に対する tmf-に基づく Adams 譜系を計算し、その E₁-頁を確立し、v₂- torsion を法として d₁-微分を計算する。新規の低次元計算技術を用いて、茎 < 40 における譜系を完全に特定し、K(2)-局所化 Adams-Novikov 譜系の崩壊を証明し、Z_{K(2)} のホモトピー群の計算を可能にした。その結果、テレスコープ予想に影響を与える。

ABSTRACT

We study the tmf-based Adams spectral sequence for the type 2 spectrum Z. We establish the structure of the E_1-page of this spectral sequence, and compute the d_1-differential modulo v_2-torsion. We develop a technique for performing low dimensional calculations, and use this to compute the spectral sequence fully in stems < 40. We use this computation to prove that the K(2)-local Adams-Novikov spectral sequence for Z studied by the third author and Egger collapses, resulting in the computation of the homotopy groups of Z_{K(2)}. We discuss how these computations fit with the conjectural failure of the telescope conjecture.

研究の動機と目的

• Z に対する tmf-に基づく Adams 譜系を理解すること。
• この譜系の E₁-頁の構造を特定すること。
• v₂- torsion を法として d₁-微分を計算すること。
• tmf-に基づく譜系における低次元計算のための技術を開発すること。
• これらの計算を用いて、Z に対する K(2)-局所化 Adams-Novikov 譜系の崩壊を確立し、π_*Z_{K(2)} を計算すること。

提案手法

• Z スペクトラムに対する tmf-に基づく Adams 譜系を構成する。
• tmf の構造と Z のホモトピー群を用いて E₁-頁を分析する。
• 低次元の tmf-分解計算に特化した新しい計算技術を適用する。
• 譜系の代数的構造を用いて、v₂- torsion を法として d₁-微分を計算する。
• 茎 < 40 における完全な計算を活用して、K(2)-局所化 Adams-Novikov 譜系の崩壊を導出する。
• 崩壊を用いて、Z の K(2)-局所化のホモトピー群を計算する。

実験結果

リサーチクエスチョン

• RQ1 タイプ2スpectrum Z に対する tmf-に基づく Adams 譜系の E₁-頁の構造は何か？
• RQ2 この譜系における d₁-微分は v₂- torsion を法としてどのように振る舞うか？
• RQ3 低次元の tmf-分解計算のための新しい技術は、低茎における譜系の計算に効果的に適用可能か？
• RQ4 Z に対する K(2)-局所化 Adams-Novikov 譜系は崩壊するのか？もしそうなら、π_*Z_{K(2)} にどのような結果がもたらされるか？
• RQ5 これらの計算は、テレスコープ予想の失敗に関する予想とどのように関係するか？

主な発見

• Z に対する tmf-に基づく Adams 譜系の E₁-頁は、その代数的構造を用いて完全に記述されている。
• d₁-微分は v₂- torsion を法として計算されており、譜系の挙動に関する重要な情報を提供している。
• 低次元の tmf-分解計算のための新しい技術が効果的に開発され、適用された。
• 譜系は茎 < 40 で完全に計算されており、フィルトレーションおよび微分に関する明示的な情報を得た。
• Z に対する K(2)-局所化 Adams-Novikov 譜系は崩壊し、計算範囲内で π_*Z_{K(2)} の完全な計算が可能になった。
• これらの結果は、テレスコープ予想の失敗に関する予想と整合する証拠を提供している。