[論文レビュー] Stable $\infty$-Operads and the multiplicative Yoneda lemma

Thomas Nikolaus|arXiv (Cornell University)|Aug 9, 2016

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

ひとこと要約

この論文は、有限極限を備えた任意の∞-オペラッドから、スペクトルおよび可換群対象の安定∞-オペラッドを構成し、それらがcofree安定化の意味で普遍的であることを証明する。Yoneda埋め込みがスペクトルへの正確かつlax対称モノイダル関手を経由して因子分解されることを確立し、スペクトルの恒等関手がこのような関手の中で初期的であることを示す——これにより、スペクトルの∞-圏の基本的な普遍的性質が立証される。

ABSTRACT

We construct for every $\infty$-operad $\mathcal{O}^\otimes$ with certain finite limits new $\infty$-operads of spectrum objects and of commutative group objects in $\mathcal{O}$. We show that these are the universal stable resp. additive $\infty$-operads obtained from $\mathcal{O}^\otimes$. We deduce that for a stably (resp. additively) symmetric monoidal $\infty$-category $\mathcal{C}$ the Yoneda embedding factors through the $\infty$-category of exact, contravariant functors from $\mathcal{C}$ to the $\infty$-category of spectra (resp. connective spectra) and admits a certain multiplicative refinement. As an application we prove that the identity functor Sp $ o$ Sp is initial among exact, lax symmetric monoidal endofunctors of the symmetric monoidal $\infty$-category Sp of spectra with smash product.

研究の動機と目的

• 安定化の普遍的性質を∞-オペラッドへ一般化し、Lurieの結果を対称モノイダル設定へ拡張すること。
• 有限極限を備えた∞-オペラッドのcofree安定化として、安定∞-オペラッドを定義すること。
• スペクトルへのYoneda埋め込みが正確かつlax対称モノイダル関手を経由して因子分解されることを証明すること。
• スペクトルの∞-圏上の恒等関手が、正確かつlax対称モノイダル自己関手の中で初期的であることを確立すること。
• 点付きおよび加法的∞-オペラッドへこの構成を一般化し、可換モノイドおよび群対象を含むこと。

提案手法

• ∞-オペラッドにおける安定性の概念を導入し、安定的に対称モノイダル圏の一般化を行う。
• 有限極限を備えた∞-オペラッド C において、スペクトル対象および可換群対象の∞-オペラッドを構成する。
• Sp(C) が C 上のcofree安定∞-オペラッドとしての普遍的性質を用いる。
• 乗法的Yoneda補題を用いて、安定的に対称モノイダル∞-圏上の関手 map(1,−) がlax対称モノイダル構造を備えることを示す。
• 関手∞-圏上のDay畳み込み対称モノイダル構造を用いて、初期関手を同定する。
• E∞-代数とlax対称モノイダル関手の間の同値性を用いて、テンソル単位が初期的であることを導く。

実験結果

リサーチクエスチョン

• RQ1 C が有限極限と対称モノイダル構造を備えた∞-オペラッドであるとき、C におけるスペクトル対象の∞-圏 Sp(C) は、対称モノイダル構造を誘導するか？
• RQ2 任意の安定∞-オペラッド D に対して、関手 Fun^Lex_lax(D, Sp(C)) → Fun^Lex_lax(D, C) は同値か？
• RQ3 安定的に対称モノイダル∞-圏のYoneda埋め込みが、スペクトルへの正確かつlax対称モノイダル関手を経由して因子分解可能か？
• RQ4 スペクトルの∞-圏上の恒等関手は、正確かつlax対称モノイダル自己関手の中で初期的か？
• RQ5 lax対称モノイダル関手の文脈において、スペクトルの∞-圏の普遍的性質は何か？

主な発見

• 有限極限を備えた∞-オペラッド C におけるスペクトル対象の∞-圏 Sp(C) は、自然な安定∞-オペラッド構造を備える。
• 任意の安定∞-オペラッド D に対して、関手 Fun^Lex_lax(D, Sp(C)) → Fun^Lex_lax(D, C) が同値である——これにより、Sp(C) が C 上のcofree安定∞-オペラッドであることが立証される。
• 関手 map(1,−): C^op → Sp は自然なlax対称モノイダル修正を備え、Fun^Lex_lax(C^op, Sp) 内で初期的である。
• スペクトルの∞-圏上の恒等関手 Sp → Sp は、Sp の正確かつlax対称モノイダル自己関手の中で初期的である。
• 関手 Ω^∞: Sp → S は Fun_lax(Sp, S) 内で初期的であり、Σ^∞_+: S → Sp は Fun_lax(S, Sp) 内で初期的である。
• Fun(C, D) のDay畳み込み対称モノイダル構造におけるテンソル単位は、E∞-代数の中で初期的であり、これにより対応する関手の初期性が導かれる。