[論文レビュー] The special fiber of the motivic deformation of the stable homotopy category is algebraic

Bogdan Gheorghe, Guozhen Wang+1 more|arXiv (Cornell University)|Sep 25, 2018

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

ひとこと要約

本稿は、$˃^{0,0}/\tau$ 上の調和的モチビック $\mathrm{BP}_*\mathrm{BP}$-comodule に値をとる有界導来カテゴリと、$p$-完全化された $\mathrm{BP}_*\mathrm{BP}$-comodule の偶数次元に集中する有界導来カテゴリとの間の同値性を確立する。この同値性により、$\widehat{S^{0,0}}/\tau$ のモチビックアダムズスペクトル系列と古典的代数ノヴィコフスペクトル系列との間の同型が誘導され、90-stem 乃至それ以上の次元における古典的球面の安定ホモトピー群の高次元計算が可能になる。

ABSTRACT

For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/τ ext{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/τ$, whose MGL-homology has bounded Chow-Novikov degree, such that its heart is equivalent to the abelian category of $p$-completed $BP_*BP$-comodules that are concentrated in even degrees. We prove that $\widehat{S^{0,0}}/τ ext{-}\mathbf{Mod}_{harm}^b$ is equivalent to $\mathcal{D}^b({{BP}_*{BP} ext{-}\mathbf{Comod}}^{ev})$ as stable $\infty$-categories equipped with $t$-structures. As an application, for each prime $p$, we prove that the motivic Adams spectral sequence for $\widehat{S^{0,0}}/τ$, which converges to the motivic homotopy groups of $\widehat{S^{0,0}}/τ$, is isomorphic to the algebraic Novikov spectral sequence, which converges to the classical Adams-Novikov $E_2$-page for the sphere spectrum $\widehat{S^0}$. This isomorphism of spectral sequences allows Isaksen and the second and third authors to compute the stable homotopy groups of spheres at least to the 90-stem, with ongoing computations into even higher dimensions.

研究の動機と目的

• 特殊ファイバー $\tau = 0$ におけるモチビック安定ホモトピー圏と、$\mathrm{BP}_*\mathrm{BP}$-comodule の代数的圏との導来同値性を確立すること。
• $\widehat{S^{0,0}}/\tau$ のモチビックアダムズスペクトル系列が古典的代数的ノヴィコフスペクトル系列と一致することを特定すること。
• $\operatorname{Spec} \mathbb{C}$ 上の変形理論を通じて、モチビックホモトピー理論から古典的ホモトピー理論への計算的ブリッジを提供すること。
• この同型を用いて、古典的球面の安定ホモトピー群を少なくとも90-stemまで明示的に計算可能にする。

提案手法

• Chow-Novikov次数が有界な $\widehat{S^{0,0}}/\tau$-モジュールスペクトルのカテゴリに $t$-構造を構成する。
• この $t$-構造のハートが、偶数次元における $p$-完全化された $\mathrm{BP}_*\mathrm{BP}$-comodule のアーベルカテゴリに同値であることを証明する。
• $\mathcal{D}^b(\mathrm{BP}_*\mathrm{BP}\text{-Comod}^{\mathrm{ev}})$ と $\widehat{S^{0,0}}/\tau\text{-Mod}_{\mathrm{harm}}^b$ 間の安定 $\infty$-カテゴリの同値性を確立する。
• 普遍係数スペクトル系列および $\mathrm{MGL}$-ホモロジーの性質を用いて、$\widehat{S^{0,0}}/\tau$ 上のモジュールカテゴリを分析する。
• モチビック設定におけるアダムズタワーを特徴づけ、それが代数的ノヴィコフスペクトル系列におけるものと一致することを示す。
• $\tau$ を用いたモチビック球面スペクトルの変形を活用し、$\tau = 0$ ファイバーと古典的ホモトピー理論との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 モチビック安定ホモトピー圏の $\tau = 0$ 特殊ファイバーは、$\mathrm{BP}_*\mathrm{BP}$-comodule の代数的圏と同値か？
• RQ2 $\widehat{S^{0,0}}/\tau$ のモチビックアダムズスペクトル系列は、古典的代数的ノヴィコフスペクトル系列と一致するか？
• RQ3 この同値性を用いて、既知の範囲を超えて古典的球面の安定ホモトピー群を計算可能か？
• RQ4 $\mathrm{MGL}$-ホモロジーは、$\widehat{S^{0,0}}/\tau$ 上の調和的モチビックモジュールの構造をどのように制御するか？
• RQ5 $\tau$-ボクシュタインスペクトル系列は、$\tau = 0$ におけるモチビックアダムズスペクトル系列とどのように関係するか？

主な発見

• Chow-Novikov次数が有界な調和的 $\widehat{S^{0,0}}/\tau$-モジュールスペクトルのカテゴリは、$p$-完全化された $\mathrm{BP}_*\mathrm{BP}$-comodule の偶数次元に集中する有界導来カテゴリと同値である。
• $\widehat{S^{0,0}}/\tau$ のモチビックアダムズスペクトル系列は、古典的球面スペクトルの代数的ノヴィコフスペクトル系列と同型である。
• この同型により、古典的安定ホモトピー群の計算が少なくとも90-stemまで可能となり、現在もより高次元への拡張が進行中である。
• モチビックカテゴリ上の $t$-構造のハートは、偶数次元 $\mathrm{BP}_*\mathrm{BP}$-comodule のカテゴリに同値であり、2016年の予想を確認する。
• 変形パrameter $\tau$ は、$\tau$-ボクシュタインスペクトル系列と一致するスペクトル系列を誘導し、モチビックおよび古典的ホモトピー理論を結ぶ。
• 論文に掲載された図は、$\widehat{S^{0,0}}/\tau$ のモチビックアダムズスペクトル系列の $E_2$、$E_3$、および $E_\infty$-ページを示しており、$E_2$-ページで古典的アダムズスペクトル系列と一致している。