[論文レビュー] The genuine operadic nerve

Peter Bonventre|arXiv (Cornell University)|Apr 2, 2019

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

ひとこと要約

この論文は、真の等長的単体的オペラッドと $G$-対称モノイド的 $Ω$-圏の間を結ぶ関手である真のオペラッド的ナーヴを導入する。これはLurieのオペラッド的ナーヴを等長的設定に一般化したものであり、真の等長的枠組みにおけるファイブレーション的オペラッドが $G$-対称モノイド的 $Ω$-圏に正確に対応することを確立し、両者の文脈におけるオペラッドの代数の間の比較関手を構成することで、ホモトピー的構造を保存する。

ABSTRACT

We construct a generalization of the operadic nerve, providing a translation between the equivariant simplicially enriched operadic world to the parametrized $\infty$-categorical perspective. This naturally factors through genuine equivariant operads, a model for "equivariant operads with norms up to homotopy". We introduce the notion of an op-fibration of genuine equivariant operads, extending Grothendieck op-fibrations, and characterize fibrant operads as the image of genuine equivariant symmetric monoidal categories. Moreover, we show that under the operadic nerve, this image is sent to $G$-symmetric monoidal $G$-$\infty$-categories. Finally, we produce a functor comparing the notion of algebra over an operad in each of these two contexts.

研究の動機と目的

• 古典的なオペラッド的ナーヴを等長的設定に拡張し、群作用とノーム写像を統合すること。
• 真のオペラッド的オプファイブレーションを定義し、一般化されたGrothendieckオプファイブレーションを等長的文脈に拡張すること。
• 真のオペラッド的ナーヴがファイブレーション的真の等長的等長的オペラッドを $G$-対称モノイド的 $Ω$-圏に写すことの証明。
• 単体的および $Ω$-カテゴリー的枠組みにおけるオペラッドの代数の間の比較関手の構成。
• 真の等長的単体的オペラッドと $G$-対称モノイド的 $Ω$-圏の間のホモトピー論的同値性の確立。

提案手法

• 真の等長的オペラッドの作用素の圏を用いて、Lurieのオペラッド的ナーヴの一般化として真のオペラッド的ナーヴを構成する。
• 古典的なGrothendieckオプファイブレーションを真の等長的オペラッドの文脈に拡張し、オプファイブレーションの概念を導入する。
• 真の等長的オペラッドの作用素の圏を用いて、有限点付き $G$-集合の圏上の単体的圏を定義する。
• 作用素の圏にホモトピー的整合ナーヴを適用し、$Ω$-オペラッドを構成する。このオペラッドが $G$-対称モノイド的 $Ω$-圏であることが示される。
• 真の等長的単体的オペラッドの代数と、その真のオペラッド的ナーヴによる像の代数との間の比較写像を確立する。
• ホモトピー的整合ナーヴとその左随伴を用いて、代数の $Ω$-圏間の関手を構成する。

実験結果

リサーチクエスチョン

• RQ1 古典的なオペラッド的ナーヴは、どのように等長的構造とノーム写像を統合するように一般化できるか？
• RQ2 真の等長的オペラッドの文脈におけるファイブレーションの正しい概念は何か？ そしてそれは $G$-対称モノイド的 $Ω$-圏とどのように関係するか？
• RQ3 真の等長的単体的オペラッドの代数は、その真のオペラッド的ナーヴによる像の代数とどのように関係するか？
• RQ4 作用素の圏は等長的設定において果たす役割は何か？ そして真のオペラッド的ナーヴの構成を支えるにはどう寄与するか？
• RQ5 単体的および $Ω$-カテゴリー的モデルの等長的ホモトピー論における代数の $Ω$-圏の間で、比較関手を構成できるか？

主な発見

• 真のオペラッド的ナーヴは、ファイブレーション的真の等長的オペラッドを $G$-対称モノイド的 $Ω$-圏に写し、2つのホモトピー的枠組みを結ぶブリッジを確立する。
• 真の等長的対称モノイド的圏が真のオペラッド的ナーヴのもとで写される像は、正確に $G$-対称モノイド的 $Ω$-圏である。
• 真の等長的単体的オペラッドの代数と、その真のオペラッド的ナーヴによる像の代数の間には、自然な比較関手が存在する。
• 構成は代数のホモトピー的構造を保存し、比較写像はホモトピー的整合ナーヴとその左随伴の随伴関係から誘導される。
• 真のオペラッド的ナーヴは非等長的状況におけるオペラッド的ナーヴと整合性があり、$G$ が自明なときLurieの構成が回復される。
• この方法により、真の等長的単体的オペラッドのモデルカテゴリと $G$-対称モノイド的 $Ω$-圏のモデルカテゴリの間で、ホモトピー的に同値なQuillen同値が確立される。