[论文解读] The Dwyer-Kan model structure for enriched coloured PROPs

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

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

一句话总结

本文在组合性双幺半群模型范畴 𝒱 上的小彩色 PROPs 丰富范畴中建立了 Dwyer-Kan 模型结构，扩展了已知的丰富范畴和操作符的模型结构。关键结果是弱等价即为 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.

研究动机与目标

• 将 Dwyer-Kan 模型结构从丰富范畴和操作符扩展到更广泛的丰富彩色 PROPs 设置中。
• 为具有多个输入和输出的代数结构（如双代数和霍普夫代数）提供同伦理论框架。
• 将可换替换技术推广至 PROPs，实现此类结构上代数的同伦不变性。
• 确立 Dwyer-Kan 弱等价——在核心上诱导弱同伦等价、在映射空间上诱导同构——构成 𝒱-Prop 上组合性模型结构中的弱等价。

提出的方法

• 通过操作性双纤维化理论和纤维化同伦理论，在小 𝒱-丰富彩色 PROPs 范畴上定义模型结构。
• 引入共 A C-图（无环、定向、带标签图）以建模 PROPs 及其复合的底层组合结构。
• 定义两种关键图运算：H^G_xy（收缩两个节点及其公共内边）和 K^G_xy（水平复合），通过复合重构原始图。
• 证明依赖于：包含范畴（丰富范畴和丰富操作符）到丰富 PROPs 范畴的嵌入保持 Dwyer-Kan 弱等价结构。
• 利用组合性模型范畴的可及性和小性条件构建模型结构，确保可换替换的存在性。
• 通过操作性态射框架和图论分解验证模型范畴的公理，特别是提升和分解性质。

实验结果

研究问题

• RQ1 能否在组合性双幺半群模型范畴 𝒱 上的小 𝒱-丰富彩色 PROPs 范畴中构造 Dwyer-Kan 模型结构？
• RQ2 Dwyer-Kan 弱等价——作为同伦范畴中同构的推广——如何表征丰富彩色 PROPs 之间的等价性？
• RQ3 丰富范畴和丰富操作符的同伦理论在多大程度上可嵌入到丰富彩色 PROPs 的同伦理论中？
• RQ4 基范畴 𝒱 需满足何种条件，才能使 𝒱-Prop 上的模型结构为组合性且 Quillen 型？
• RQ5 如何利用保持无环性和标签结构的图运算来建模 PROPs 的复合？

主要发现

• 对于任意组合性双幺半群模型范畴 𝒱，小 𝒱-丰富彩色 PROPs 范畴上存在组合性 Dwyer-Kan 模型结构。
• 该模型结构中的弱等价正是 Dwyer-Kan 弱等价：诱导核心群胚上弱同伦等价、在同伦范畴的映射空间上诱导同构的映射。
• 该模型结构扩展了已知的丰富范畴和丰富操作符上的 Dwyer-Kan 模型结构，将它们的同伦理论统一于更广泛的 PROPs 框架之中。
• 该构造不仅适用于完整 PROPs，也适用于无常数和无增强的变体，表明其在子范畴中的稳健性。
• 证明依赖于将图分解为收缩与水平复合运算，确保模型结构满足必要的提升与分解公理。
• 该结果为研究 PROPs 上代数的同伦不变性提供了基础，尤其适用于双代数和霍普夫代数等无法仅由操作符建模的结构。