[論文レビュー] Enriched $\infty$-operads

Hongyi Chu|arXiv (Cornell University)|Jan 1, 2019

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

ひとこと要約

この論文は、特定のインデキシングカテゴリ上のプレシェーブとして定義される拡張された ∞-オペラッドを導入し、Barwick の完全セガールオペラッドを一般化する。このモデルを拡張されたドンドロイダルセガール空間と比較することで、ホモトピー理論におけるリクラケーション定理を証明し、良い対称モノイダルモデル圏に値をとる ∞-オペラッドのホモトピー理論が、厳密に拡張されたオペラッドのそれと同値であることを示す。これにより、既存のモデルが単体的拡張オペラッドと統一される。

ABSTRACT

We introduce enriched $\infty$-operads as certain presheaves which generalize Barwick's complete Segal operads. The simple structure of the indexing categories allows us to define algebras between enriched $\infty$-operads. By comparing this presheaf model with an enriched version of Moerdijk-Cisinski's dendroidal Segal spaces, we then prove a rectification theorem which states that the homotopy theory of $\infty$-operads enriched in a nice symmetric monoidal model category is equivalent to that of strictly enriched operads. From this we can easily infer that all established models for $\infty$-operads are equivalent to simplicially enriched operads. The talk is based on joint work with Rune Haugseng.

研究の動機と目的

• インデキシングカテゴリの構造を一般化したプレシェーブとして、Barwick の完全セガールオペラッドを一般化する拡張された ∞-オペラッドを導入すること。
• これらのインデキシングカテゴリの単純さを活かして、拡張された ∞-オペラッド間の代数を自然に定義すること。
• 良い対称モノイダルモデル圏に値をとる ∞-オペラッドのホモトピー理論と、厳密に拡張されたオペラッドのそれとの間のホモトピー論的同値性を確立すること。
• すべての既存の ∞-オペラッドモデルが、リクラケーションによって単体的拡張オペラッドと同値であることを示すこと。

提案手法

• セガールオペラッドの構造を一般化したインデキシングカテゴリ上のプレシェーブとして、拡張された ∞-オペラッドをモデル化すること。
• インデキシングカテゴリの単純さを活かして、整合的な方法で拡張された ∞-オペラッド間の代数を定義すること。
• 比較モデルとして、Moerdijk-Cisinski のドンドロイダルセガール空間の拡張版を構成すること。
• 拡張された ∞-オペラッドのモデル圏と厳密に拡張されたオペラッドのモデル圏との間のクイレン同値を確立すること。
• リクラケーション技術を適用して、この同値性のもとでホモトピー論的性質が保存されることを示すこと。
• 同値性を活用して、すべての既知の ∞-オペラッドモデルが単体的拡張オペラッドと同値であることを導出すること。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー的構造を保ちつつ、どのようにして ∞-オペラッドを対称モノイダルモデル圏に拡張できるか？
• RQ2 代数の自然な定義を可能にする、適切なプレシェーブ理論的モデルは何か？
• RQ3 良い対称モノイダルモデル圏に値をとる拡張された ∞-オペラッドのホモトピー理論は、その厳密に拡張された類似物とどの程度同値であるか？
• RQ4 ドンドロイダルセガール空間との比較を用いて、拡張された ∞-オペラッドに対するリクラケーション定理を確立できるか？
• RQ5 このリクラケーション枠組みによって、すべての既存の ∞-オペラッドモデルが単体的拡張オペラッドと同値であるか？

主な発見

• 拡張された ∞-オペラッドは、構造的インデキシングカテゴリ上のプレシェーブとしてうまくモデル化され、Barwick の完全セガールオペラッドを一般化している。
• インデキシングカテゴリの単純さのおかげで、拡張された ∞-オペラッド間の代数の定義が自然に可能である。
• リクラケーション定理により、良い対称モノイダルモデル圏に値をとる ∞-オペラッドのホモトピー理論と、厳密に拡張されたオペラッドのそれとの間のクイレン同値性が確立された。
• この同値性から、すべての既知の ∞-オペラッドモデルが単体的拡張オペラッドと同値であることが導かれる。
• 拡張されたドンドロイダルセガール空間との比較が、リクラケーション結果を証明するための重要な技術的ブリッジを提供している。
• この枠組みにより、さまざまな既存の ∞-オペラッドモデルが、一貫性のある拡張プレシェーブ理論的基盤の下で統一された。