[論文レビュー] $\infty$-Operads as Analytic Monads

David Gepner, Rune Haugseng+1 more|arXiv (Cornell University)|Dec 18, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 42被引用数 9

ひとこと要約

この論文は、∞-operads が解析的モノイドと同値であることを示すことにより、∞-operads の新しいモデルを確立している—解析的モノイドとは、カルテジアンで、sifted 合併と弱く可縮可能な極限を保存するモノイドである。多項式函手と初期代数の∞-圏的道具立てを用いて、著者たちは∞-圏における解析的モノイドの圏が、既に確立された∞-operads のモデルであるdendroidal Segal空間の圏と同値であることを証明し、結果として∞-operads がそれらの自由代数モノイドによって特徴づけられることを示している。

ABSTRACT

We develop an $\infty$-categorical version of the classical theory of polynomial and analytic functors, initial algebras, and free monads. Using this machinery, we provide a new model for $\infty$-operads, namely $\infty$-operads as analytic monads. We justify this definition by proving that the $\infty$-category of analytic monads is equivalent to that of dendroidal Segal spaces, known to be equivalent to the other existing models for $\infty$-operads.

研究の動機と目的

• 多項式函手および解析的函手、初期代数、自由モノイドの∞-圏的理論を構築すること。
• 正確なホモトピー的意味において「解析的」であるという性質を持つモノイドに基づく、∞-operads の新しいモデルを提供すること。
• ∞-圏における解析的モノイドの圏が、標準的な∞-operads のモデルであるdendroidal Segal空間の圏と同値であることを証明すること。
• ∞-operads が、対称モノイド上でのカルテジアンである解析的モノイドとして正確に特徴づけられることを示すこと。
• 集合上の古典的ジョイアルの結果を∞-圏的設定に一般化すること。

提案手法

• 空間のスパンによって定義される、∞-圏的多項式函手（endofunctors）としての理論を構築すること。
• sifted 合併と広いプルバックを保存する多項式函手を解析的函手として定義すること。
• ラムベックの補題のホモトピー的版を用いて、解析的自己函手の初期代数を構成すること。
• 解析的自己函手の初期代数として自由モノイドを構成し、木を用いた明示的記述を与えること。
• (∞,2)-圏における同伴関手とlax変換の理論を用いて、モノイドと随伴関手の関係を確立し、同値性を構築すること。
• 自由モノイドの普遍性と対称列の構造を用いて、解析的モノイドとdendroidal Segal空間の間の同値性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 ∞-operads は、特定のホモトピー的性質を持つモノイドとして同値に記述可能か？
• RQ2 古典的多項式函手および解析的函手の理論の∞-圏的類似は何か？
• RQ3 初期代数を用いて∞-圏的設定で自由モノイドをどのように構成できるか？
• RQ4 ∞-operads の自由モノイドとして現れるモノイドはどのように特徴づけられるか？
• RQ5 解析的モノイドの∞-圏と、dendroidal Segal空間による標準的モデルとの間に、正確な同値性が存在するか？

主な発見

• ∞-圏における解析的モノイドの圏は、既に確立された∞-operads のモデルであるdendroidal Segal空間の圏と同値である。
• ∞-operad はその自由代数モノイドと同値であり、このモノイドは解析的—つまりカルテジアンで、sifted 合併と弱く可縮可能な極限を保存する—性質を有する。
• 解析的函手に備わるモノイド構造は、その背後にある対称列に備わるoperad 構造から自然に生じる。
• 解析的自己函手の自由モノイドは、その自己函手の初期代数として構成され、木を用いた明示的記述が可能である。
• Sym(X) ≃ ∐ₙ Xⁿ/ₕΣₙ で与えられる対称モノイド Sym は、解析的モノイドが定義される基底モノイドであり、Sym 上でのカルテジアン性が∞-operads を特徴づける。
• 自由モノイドの普遍性と(∞,2)-圏における同伴関手の理論を用いて、解析的モノイドとdendroidal Segal空間の間の同値性が確立された。