[論文レビュー] Iterated delooping and desuspension of structured ring spectra

Jacobson R. Blomquist|arXiv (Cornell University)|Oct 28, 2019

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

ひとこと要約

本稿は、ホモトピー的コモノイドとモノイドを用いた反復サスペンション／ディスサスペンション構成を通じて、構造付きリングスペクトルとその間の導来同値性を確立する。0-連結な $Ο$-代数および関連するコモノイド上の反復サスペンション関手に関する完備化は、導来同値性を与えることを証明し、双対的に、反復ループによるコ完備化は、$r$-連結な $Ο$-代数およびループ-サスペンションモノイド上の0-連結な代数に対して導来同値性を与える。この結果は、対称スペクトルにおける洗練されたホモトピー的代数学を用いて得られる。

ABSTRACT

We study completion with respect to the iterated suspension functor on $\mathcal{O}$-algebras, where $\mathcal{O}$ is a reduced operad in symmetric spectra. This completion is the unit of a derived adjunction comparing $\mathcal{O}$-algebras with coalgebras over the associated iterated suspension-loop homotopical comonad via the iterated suspension functor. We prove that this derived adjunction becomes a derived equivalence when restricted to 0-connected $\mathcal{O}$-algebras and $r$-connected $ ildeΣ^r ildeΩ^r$-coalgebras. We also consider the dual picture, using iterated loops to build a cocompletion map from algebras over the iterated loop-suspension homotopical monad to $\mathcal{O}$-algebras. This is the counit of a derived adjunction, which we prove is a derived equivalence when restricting to $r$-connected $\mathcal{O}$-algebras and $0$-connected $ ildeΩ^r ildeΣ^r$-algebras.

研究の動機と目的

• 反復サスペンションおよびディスサスペンション操作が、完備化およびコ完備化を通じてホモトピー型とどのように関係するかを理解すること。
• ホモトピー的設定下で、反復サスペンション-ループ関手の上での $Ο$-代数とコモノイド（または代数）の間の導来同値性を確立すること。
• 古典的結果（例えばフレーデンツァールのサスペンション定理やボウシールド＝カンの完備化）を、対称スペクトルにおける $Ο$-代数の文脈に拡張すること。
• ファイブレント／コーヒーレント置換およびバー構成を用いた適切なホモトピー的枠組みを構築し、導来随伴が適切に振る舞うようにすること。

提案手法

• ファイブレントおよびコーヒーレント置換を用いて、ホモトピー的意味を保証する反復サスペンション関手 $σ^r = σ^r C$ およびループ関手 $τ^r = τ^r F$ を用いる。
• 完成化を用いて、反復サスペンション-ループコモノイド上の $Ο$-代数とコモノイドの間の導来随伴を構成する。
• 代数の分解をモデル化するためのコバール型構成を適用し、ホモトピー的設定下での適切な（コ）バー構造を保証する。
• $Ο$-代数における正の平坦安定モデル構造を用いてホモトピー論を定義し、写像空間からトポロジカルな $A_∞$-圏を構成する。
• 高次ブレイカーズ＝マシーの定理および連結性推定を用いて、分解における立方体のカルテジアン性を証明し、完成化プロセスの収束を保証する。
• 写像空間のパス成分を用いて $Ο$-代数のホモトピー圏を定義し、写像が同型であるための必要十分条件として、その下位写像が弱同値であることであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 反復サスペンション関手に関する完備化が、関連するコモノイド上の $Ο$-代数とコモノイドの間で導来同値性を誘導する条件は何か？
• RQ2 反復ループによるコ完備化という双対的プロセスは、$Ο$-代数のホモトピー論とどのように関係するか？
• RQ3 反復サスペンションまたはループ写像が十分に高次連結であることを保証する連結性条件は何か？
• RQ4 古典的フレーデンツァールのサスペンション定理は、$Ο$-代数の文脈における構造付きリングスペクトルに一般化可能か？
• RQ5 ホモトピー的バー構成および（コ）代数構造は、$Ο$-代数の導来圏においてどのように振る舞うか？

主な発見

• 0-連結な $Ο$-代数および $r$-連結な $σ^r τ^r$-コモノイドに制限した場合、$Ο$-代数と $σ^r τ^r$-コモノイドの間の導来随伴は導来同値性に変わる。
• 反復ループ-サスペンションモノイドによるコ完備化という双対的導来随伴は、$r$-連結な $Ο$-代数と0-連結な $τ^r σ^r$-代数の間で導来同値性を誘導する。
• 双対的フレーデンツァール写像 $F\tilde{\Sigma}^r \tilde{\Omega}^r X \to FX$ の連結性は、$k$-連結な $X$ に対して $2k+3-r$ である。これは収束に関する重要な推定値を提供する。
• 本稿では、構造付きリングスペクトルに対する高次ホイーラーの定理を証明する：$n$-立方体が $({\rm id}+1)(k+1)$-カルテジアンであれば、$UQ$ を用いた完成化も $({\rm id}+1)(k+1)$-カルテジアンである。
• 適切な連結性仮定の下で、$UQ$ を用いた完成化プロセスはカルテジアン性を保ち、この証明は高次ブレイカーズ＝マシーの定理およびコカルテジアン性推定に依存する。
• 導来 $Ο$-代数写像がホモトピー圏で同型であるための必要十分条件は、その下位写像 $CA \to A'$ が弱同値であることである。これにより、代数的構造とホモトピー同値性が結びつけられる。