[論文レビュー] Synthetic spectra and the cellular motivic category

Piotr Pstrągowski|arXiv (Cornell University)|Mar 5, 2018

Homotopy and Cohomology in Algebraic Topology被引用数 5

ひとこと要約

この論文は、$E$-ホモロジーを用いてトポロジカル構造と代数的構造を$\tau$-作用を通じて関連付けることで、スペクトルの安定$∞$-圏の変形として合成スペクトルを導入する。$\mathrm{MU}$-ベースの合成スペクトルの偶数版と、$\textnormal{Spec}(\mathbb{C})$ 上の$ p $-完備なセル・モチーフ的スペクトルの間の同型を確立し、アダムズスペクトル系列を$\tau$-ボクシュタインスペクトル系列として再解釈することで、クリオトニックホモトピー理論とモチーフ的ホモトピー理論を統合する。

ABSTRACT

To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic spectra based on $E$ is in a precise sense a deformation of the $\infty$-category of spectra into quasi-coherent sheaves over a certain algebraic stack, and show that this deformation encodes the $E$-based Adams spectral sequence. We describe a symmetric monoidal functor from cellular motivic spectra over the complex numbers into an even variant of synthetic spectra based on $MU$ and show that it induces an equivalence between the $\infty$-categories of $p$-complete objects for all primes $p$. In particular, it follows that the $p$-complete cellular motivic category can be described purely in terms of chromatic homotopy theory.

研究の動機と目的

• アダムズ型ホモロジー理論$E$に付随する代数的スタック$\mathcal{M}_E$上の準連接層の$∞$-圏へのスペクトルの$∞$-圏の変形を構成すること。
• 有限スペクトル上の積を保存する層としての合成スペクトルを定義し、$E$-ホモロジーが射影的であるようなものとして、$\tau$-作用を介してトポロジカルおよび代数的データを符号化すること。
• $\textnormal{Spec}(\mathbb{C})$ 上の$ p $-完備なセル・モチーフ的スペクトルの$∞$-圏と、$\mathrm{MU}$-ベースの合成スペクトルの偶数版との間の対称モノイダル同型を確立すること。
• アダムズスペクトル系列が合成フレームワーク内において$\tau$-ボクシュタインスペクトル系列として自然に現れることを示し、新たな計算的ツールを提供すること。

提案手法

• アダムズ型ホモロジー理論$E$を用い、$E_*$-コモジュール値をとる有限スペクトルのサイト上の積を保存する層として合成スペクトルを定義する。
• スペクトルの$∞$-圏$\mathcal{S}p$を$\tau$-作用を介して変形することで、合成スペクトルの$∞$-圏$\mathcal{S}yn_E$を構成し、$\mathcal{S}yn_E$を$E$-ホモロジーに関するスペクトルの導来$∞$-圏として解釈する。
• ホプフアレーブロイド上のコモジュールの理論と、ホーヴェーのコモジュールの安定$∞$-圏を用いて、変形の代数的側面をモデル化する。
• 有限$\mathrm{MGL}$-射影的スペクトルをブリッジとして用い、$\textnormal{Spec}(\mathbb{C})$ 上のセル・モチーフ的スペクトルの$∞$-圏から$\mathrm{MU}$-ベースの合成スペクトルの偶数版への対称モノイダル関手を構成する。
• ホモトピー群の比較とハイパーコホーモロジー層の条件を用いて、すべての素数$p$に対して、$p$-完備対象の間の同型を示す。
• 合成フレームワーク内において、$E_*$-ホモロジーに基づくアダムズスペクトル系列が$\tau$-ボクシュタインスペクトル系列と一致することを示し、深い計算的メカニズムを明らかにする。

実験結果

リサーチクエスチョン

• RQ1 アダムズ型ホモロジー理論$E$に付随する代数的スタック$\mathcal{M}_E$上の準連接層の$∞$-圏へのスペクトルの$∞$-圏の系統的変形は、どのように構成可能か？
• RQ2 合成フレームワーク内において、トポロジカルスペクトルと代数的層の間の変形を媒介する自己準同型$\tau$の役割は何か？
• RQ3 モチーフ的ホモトピー理論の観点から、$\textnormal{Spec}(\mathbb{C})$ 上の$ p $-完備なセル・モチーフ的スペクトルの$∞$-圏は、合成的構成によって完全に記述可能か？
• RQ4 合成フレームワーク内において、$E_*$-ホモロジーに基づくアダムズスペクトル系列はどのように$\tau$-ボクシュタインスペクトル系列として現れるか？
• RQ5 セル・モチーフ的スペクトルと$\mathrm{MU}$-ベースの合成スペクトルとの間の正確な関係は何か？ そして、$p$-完備対象において同型に拡張可能か？

主な発見

• $E$をアダムズ型ホモロジー理論とするとき、合成スペクトルの$∞$-圏$\mathcal{S}yn_E$は、$\tau$をパラメータとする、スタック$\mathcal{M}_E$上のインダクティブな準連接層の$∞$-圏へのスペクトルの$∞$-圏の変形である。
• 合成圏内において、$E_*$-ホモロジーに基づくアダムズスペクトル系列は$\tau$-ボクシュタインスペクトル系列と一致し、新たな計算的解釈を提供する。
• $\textnormal{Spec}(\mathbb{C})$ 上のセル・モチーフ的スペクトルの$∞$-圏から$\mathrm{MU}$-ベースの合成スペクトルの偶数版への対称モノイダル関手が存在する。
• この関手は、すべての素数$p$に対して、$p$-完備対象の$∞$-圏の間の同型を誘導し、$p$-完備なセル・モチーフ的スペクトルの$∞$-圏の位相的実現を確立する。
• その結果、$\textnormal{Spec}(\mathbb{C})$ 上の$ p $-完備なセル・モチーフ的スペクトルの$∞$-圏は、合成フレームワークを通じてクリオトニックホモトピー理論によって完全に記述可能である。
• この構成により、モチーフ的起源の$∞$-圏の初の完全な位相的記述が得られ、セル・モチーフとクリオトニックホモトピー理論の間の関係の謎が解明された。