[論文レビュー] The Dwyer-Kan model structure for enriched coloured PROPs

Giovanni Caviglia|arXiv (Cornell University)|Oct 5, 2015

Advanced Topics in Algebra参考文献 37被引用数 3

ひとこと要約

この論文は、結合的モノイダルモデルカテゴリ 𝒱 に値をとる小規模な色付き PROP の圏に Dwyer-Kan モデル構造を確立し、既知の enriched 圈や operad のモデル構造を拡張する。主な結果は、弱同値が Dwyer-Kan 同値であること—つまり、コア群作用に弱ホモトピー同値を誘導し、ホモトピー圏におけるマッピング空間に同型を与える—ことであり、複数の入力と出力をもつ代数的構造のためのホモトピー論的枠組みを提供する。

ABSTRACT

Coloured PROPs are a generalisation of coloured operads. In this article, we prove the existence of a Dwyer-Kan model structure on the category of small coloured PROPs enriched in a (sufficiently nice) monoidal model category V. This model structure extends the known Dwyer-Kan model structures on the categories of (small) V-enriched categories and V-enriched coloured operads.

研究の動機と目的

• enriched 圈や operad における Dwyer-Kan モデル構造を、より広範な enriched 色付き PROPs の設定へと拡張すること。
• バイアリズムやホップ代数などの複数の入力と出力をもつ代数的構造のためのホモトピー論的枠組みを提供すること。
• PROPs に一般化された cofibrant replacement 技法を提供し、それらの構造上の代数のホモトピー不変性を可能にすること。
• Dwyer-Kan の弱同値—ホモトピー圏におけるコアに弱ホモトピー同値を誘導し、マッピング空間に同型を与える—が、𝒱-Prop 上の結合的モデル構造における弱同値をなすことを確立すること。

提案手法

• 論文は、operadic bifibration 理論と fiberwise homotopy theory を用いて、小規模な 𝒱- enriched 色付き PROPs の圏におけるモデル構造を定義することで構成を進める。
• PROPs の組合せ論的構造とその合成をモデル化するため、coa C-グラフ（非巡回的、向き付け、ラベル付）の概念を導入する。
• 2つの主要なグラフ作用素 H^G_xy（2つのノードとその共通する内部辺を縮約する）と K^G_xy（水平合成）を定義し、これらを合成することで元のグラフを再構成する。
• 証明は、enriched 圈や enriched operad の圏から enriched PROPs の圏への包含が、Dwyer-Kan の弱同値構造を保存することを示すことに依拠する。
• モデル構造は、結合的モデルカテゴリの可アクセス性および小規模性条件を用いて構成され、cofibrant replacement の存在を保証する。
• 論文は、operadic morphism フレームワークとグラフ論的分解を用いて、モデル圏の公理（特に、上昇性と分解性）を検証する。

実験結果

リサーチクエスチョン

• RQ1 結合的モノイダルモデルカテゴリ 𝒱 に対して、小規模な 𝒱- enriched 色付き PROPs の圏に Dwyer-Kan モデル構造を構成できるか？
• RQ2 Dwyer-Kan の弱同値—ホモトピー圏における同型を一般化する—は、enriched 色付き PROPs 間の同値関係をどのように特徴づけるか？
• RQ3 enriched 圈と enriched operad のホモトピー論は、enriched 色付き PROPs のホモトピー論へどの程度埋め込まれるか？
• RQ4 ベースカテゴリ 𝒱 にどのような条件を課すと、𝒱-Prop 上のモデル構造が結合的かつ Quillen になるか？
• RQ5 非巡回性とラベル構造を保つグラフ作用素を用いて、PROPs の合成をどのようにモデル化できるか？

主な発見

• 任意の結合的モノイダルモデルカテゴリ 𝒱 に対して、小規模な 𝒱- enriched 色付き PROPs の圏に結合的 Dwyer-Kan モデル構造が存在する。
• このモデル構造における弱同値は、正確に Dwyer-Kan の弱同値である—つまり、コア群作用に弱ホモトピー同値を誘導し、ホモトピー圏におけるマッピング空間に同型を与える—ものである。
• このモデル構造は、enriched 圈や enriched operad における既知の Dwyer-Kan モデル構造を拡張し、それらのホモトピー論をより広範な PROP フレームワーク内で統合する。
• 構成は、完全な PROPs に限らず、定数を含まない・増分を含まない亜カテゴリに対しても有効であり、サブカテゴリ全体にわたる堅牢性を示している。
• 証明は、グラフの縮約と水平合成作用素への分解に依拠し、モデル構造が必要な上昇性および分解性公理を満たすことを保証する。
• この結果は、特にオペラッドでは表現できないバイアリズムやホップ代数のような構造における、PROPs 上の代数のホモトピー不変性を研究する基盤を提供する。