[論文レビュー] A Model Structure for Enriched Coloured Operads

Giovanni Caviglia|arXiv (Cornell University)|Jan 27, 2014

Advanced Topics in Algebra参考文献 27被引用数 17

ひとこと要約

本稿は、右プロパーでクーフリエント生成されたモノイド圏モデル圏 $ν$ に対して、その $ν$-豊密化彩色オペラッドの圏に標準的モデル構造を確立する。この構造は、このようなオペラッドを支配する対称オペラッドの適性を保証する条件下で成り立つ。主な貢献は定理 4.22 であり、この定理により、このモデル構造の存在が保証され、単体的オペラッドの既知の結果が回復されるとともに、衰弱的多項式モノイド論を用いて非対称および削減されたオペラッドへと拡張される。

ABSTRACT

We prove that, under certain conditions, the model structure on a monoidal model category $\mathcal{V}$ can be transferred to a model structure on the category of $\mathcal{V}$-enriched coloured (symmetric) operads. As a particular case we recover the known model structure on simplicial operads.

研究の動機と目的

• $ν$-豊密化圏から$ν$-豊密化彩色オペラッドへの標準的モデル構造の拡張。
• モデル構造が$ν$-Operに存在するための$ν$に関する十分条件の同定。
• 単体的彩色オペラッドにおける既知のモデル構造が特殊ケースとして回復されることの確認。
• 衰弱的多項式モノイドを用いて非対称および削減された彩色オペラッドへの結果の拡張。
• 構築されたモデル構造の右プロパティを証明すること。

提案手法

• 対称オペラッド $ω_C$ が$C$-彩色オペラッドを支配する自由-忘却随伴によって$ν$から$ν$-Operへのモデル構造を転送する。
• $ν$における適性オペラッドの理論を用いて、転送されたモデル構造の存在を保証する。
• バタニンとベルジャーによる衰弱的多項式モノイドの結果を非対称および削減されたオペラッドの取り扱いに適用する。
• 木に基づく群の作用の成分に分解することで、自由写像に沿った押し出しの順序数合成を通じてモデル構造を構成する。
• マーク付きの木の軌道分解を分析することで、生成基底被覆写像が局所的 $τ_1$-写像であることを証明する。
• 有限群の商が $T_1$-閉包含を保つことを利用し、関連図式圏における余極限に関する閉包性を検証する。

実験結果

リサーチクエスチョン

• RQ1 モノイド圏モデル圏 $ν$ に対して、どのような条件下で $ν$-豊密化彩色オペラッドに標準的モデル構造が存在するか。
• RQ2 $ν$-豊密化圏におけるモデル構造を $ν$-豊密化オペラッドへ一般化する方法は何か。
• RQ3 $ν$ に対してより弱い仮定が成り立つ場合でも、非対称および削減された彩色オペラッドへのモデル構造を拡張できるか。
• RQ4 衰弱的多項式モノイドは、$ν$-Oper を支配するオペラッドの適性を保証するために果たす役割は何か。
• RQ5 同じ仮定のもとで、$ν$-Oper における結果のモデル構造は右プロパーか。

主な発見

• 定理 4.22 により、任意の右プロパーでクーフリエント生成されたモノイド圏モデル圏 $ν$ に対して、対称オペラッド $ω_C$ の適性条件を満たす場合、$ν$-Oper に標準的モデル構造が存在することが保証される。
• $ν = \text{Set}^{Δ^{ ext{op}}}$ の場合、単体的彩色オペラッドにおけるモデル構造が特殊ケースとして回復される。
• 非対称および削減された彩色オペラッドに関しては、関連する多項式モノイドの衰弱性のおかげで、より弱い仮定のもとでモデル構造が存在することが保証される。
• 生成基底被覆写像が、有限群作用による木の軌道写像への分解を通じて、局所的 $τ_1$-写像であることが示された。
• 証明は、有限群作用による $T_1$-閉包含の商が $T_1$-閉のままであるという事実に依拠しており、関連図式圏における余極限に関する閉包性が保証される。
• 最終節で示されたように、同じ仮定のもとで、$ν$-Oper における結果のモデル構造は右プロパーである。