[論文レビュー] Derived Koszul duality and TQ-homology completion of structured ring spectra

Michael Ching, John E. Harper|arXiv (Cornell University)|Feb 24, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 6

ひとこと要約

本稿は、${\mathcal{O}}$-代数スペクトルと${\mathsf{K}}$-コモノイドスペクトルの間の${\mathsf{TQ}}$ホモロジーを介した随伴が、$0$-連結${\mathcal{O}}$-代数に制限した場合に同値となることにより、構造化されたリングスペクトルにおける導来コシュール双対性を確立する。主な結果は、フランシス＝ゲイツギョリーの予想の$0$-連結の場合を解決し、クイレンとサリヴァンの有理ホモトピー論のスペクトル版を確立する。

ABSTRACT

Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over the associated comonad K, via topological Quillen homology (or TQ-homology), can be turned into an equivalence of homotopy theories by replacing O-algebras with the full subcategory of 0-connected O-algebras. This resolves in the affirmative the 0-connected case of a conjecture of Francis-Gaitsgory. This derived Koszul duality result can be thought of as the spectral algebra analog of the fundamental work of Quillen and Sullivan on the rational homotopy theory of spaces, and the subsequent p-adic and integral work of Goerss and Mandell on cochains and homotopy type---the following are corollaries of our main result: (i) 0-connected O-algebra spectra are weakly equivalent if and only if their TQ-homology spectra are weakly equivalent as derived K-coalgebras, and (ii) if a K-coalgebra spectrum is 0-connected and cofibrant, then it comes from the TQ-homology spectrum of an O-algebra. We construct the spectral algebra analog of the unstable Adams spectral sequence that starts from the TQ-homology groups TQ_*(X) of an O-algebra X, and prove that it converges strongly to pi_*(X) when X is 0-connected.

研究の動機と目的

• 構造化されたリングスペクトルにおける導来コシュール双対性に関するフランシス＝ゲイツギョリーの予想の$0$-連結の場合を解決すること。
• ${\mathcal{O}}$-代数スペクトルとそれらの${\mathsf{TQ}}$ホモロジースペクトル（${\mathsf{K}}$-コモノイドとして）のホモトピー理論の同値性を確立すること。
• $0$-連結${\mathcal{O}}$-代数スペクトル$X$に対して$\pi_*(X)$に強く収束する、不安定アダムススペクトル系列のスペクトル版を構成すること。
• ${\mathsf{TQ}}$ホモロジーを用いたホモトピー的枠組みを提供し、構造化されたリングスペクトルの文脈で完備化とホモトピー型を理解すること。
• クイレンとサリヴァン理論などの有理および$p$-進ホモトピー論の基礎的結果を、$E_n$-リングスペクトルおよびスペクトル上のオペラド代数の文脈に拡張すること。

提案手法

• オペラド${\mathcal{O}}$に対して${\mathcal{O}}$-代数スペクトルを定義・研究するため、対称スペクトルの圏内で作業する。
• トポロジカル・クイレンホモロジー（${\mathsf{TQ}}$ホモロジー）を、分解不能商の全左導来ファンクターとして定義される導来アーベル化ファンクターとして用いる。
• ${\mathcal{O}}$-代数とそれらの${\mathsf{TQ}}$ホモロジースペクトルの間の随伴を用いて、${\mathcal{O}}$-代数上のコモノイド${\mathsf{K}}$を構成する。
• ${\mathcal{O}}$-代数と${\mathsf{K}}$-コモノイドの間の随伴が、$0$-連結${\mathcal{O}}$-代数に制限した場合にクイレン同値性となることを証明する。
• 特にホモトピー型を比較するために、コシンプレックス解体の解析に総和（$\operatorname{Tot}$）およびホモトピー極限（$\operatorname{holim}_{\Delta}$）の技術を用いる。
• ${\mathsf{TQ}}_*(X)$から始まる不安定アダムススペクトル系列が、$0$-連結$X$に対して$\pi_*(X)$に強く収束することを、リーディー・ファイブレーション置換とクイレン同値性の議論により確立する。

実験結果

リサーチクエスチョン

• RQ1 ${\mathsf{TQ}}$ホモロジーを介した${\mathcal{O}}$-代数スペクトルと${\mathsf{K}}$-コモノイドスペクトルの間の随伴をクイレン同値性にできるか。
• RQ2 構造化されたリングスペクトルにおける導来コシュール双対性枠組みは、フランシス＝ゲイツギョリーの予想が示唆する$0$-連結設定でも成立するか。
• RQ3 $0$-連結${\mathcal{O}}$-代数スペクトル$X$に対して$\pi_*(X)$に強く収束する、不安定アダムススペクトル系列のスペクトル版を構成できるか。
• RQ4 ${\mathsf{TQ}}$ホモロジースペクトルが、弱同値に関して$0$-連結${\mathcal{O}}$-代数スペクトルをどの程度分類できるか。
• RQ5 ${\mathsf{TQ}}$ホモロジーおよび関連するコモノイド${\mathsf{K}}$のホモトピー的性質は、$E_n$-リングスペクトルおよびオペラド代数の代数的位相的構造をどの程度反映しているか。

主な発見

• ${\mathcal{O}}$-代数スペクトルと${\mathsf{K}}$-コモノイドスペクトルの間の随伴は、$0$-連結${\mathcal{O}}$-代数の全部分圏に制限した場合にクイレン同値性となる。
• $0$-連結${\mathcal{O}}$-代数スペクトル$X$が弱同値であるための必要十分条件は、それらの${\mathsf{TQ}}$ホモロジースペクトルが導来${\mathsf{K}}$-コモノイドとして弱同値であることである。
• 任意の$0$-連結かつコーマンティッドな${\mathsf{K}}$-コモノイドスペクトルは、ある${\mathcal{O}}$-代数の${\mathsf{TQ}}$ホモロジースペクトルとして実現可能である。
• 任意の$0$-連結${\mathcal{O}}$-代数$X$に対して、${\mathsf{TQ}}_*(X)$から始まる不安定アダムススペクトル系列は$\pi_*(X)$に強く収束する。
• ${\mathsf{TQ}}$ホモロジーを分解不能ファンクターの導来として構成することは、クイレンの有理ホモトピー論およびゲルス＝マンデルの$p$-進理論のスペクトル版を提供する。
• 証明は、総和、リーディー・ファイブレーション置換、単体的集合とコンパクト生成ハウスドルフ空間の間のクイレン同値性といった高度なホモトピー的技術に依拠しており、必要な弱同値を確立する。