[论文解读] Algebras over infinity-operads

Gijs Heuts|arXiv (Cornell University)|Oct 8, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用 19

一句话总结

本文通過樹狀集合上的纖化纏結叢，引入了∞-操作律上代數的內在定義，將Lurie的Grothendieck構造推廣至∞-操作律。它建立了樹狀集合X上的纖化纏結叢∞-範疇與相關單純操作律hcτ_d(X)上的代數∞-範疇之間的等價關係，為∞-操作律代數提供了同倫協調的框架。

ABSTRACT

We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets and extends Lurie's definition of a coCartesian fibration of simplicial sets. We show how, for a dendroidal set X, the coCartesian fibrations over X fit together to form an infinity-category coCart(X). Using a generalization of the Grothendieck construction, we prove that coCart(X) is equivalent to the infinity-category of algebras in infinity-categories over the simplicial operad associated to X. This equivalence can be restricted to give an equivalence between algebras taking values in infinity-groupoids (or equivalently, spaces) and the infinity-category of so-called left fibrations over X.

研究动机与目标

• 發展一種完全基於樹狀集合形式化的∞-操作律上代數的內在定義。
• 將Lurie的纖化纏結叢理論從單純集合推廣至樹狀集合，從而實現對操作律結構的高階範疇論處理。
• 建立樹狀集合X上的纖化纏結叢∞-範疇與單純操作律hcτ_d(X)-代數∞-範疇之間的∞-範疇等價關係。
• 將Grothendieck構造推廣至∞-操作律，提供纖化叢與代數結構之間的同倫協調對應關係。

提出的方法

• 引入樹狀集合上的纖化纏結叢概念，推廣Lurie在單純集合上的纖化纏結叢理論。
• 利用標記樹狀集合上的模型結構，定義樹狀集合X上纖化纏結叢的∞-範疇，記為coCart(X)。
• 構造一個從coCart(X)到單純操作律hcτ_d(X)-代數∞-範疇的「直化」函子，推廣經典的Grothendieck構造。
• 利用具有標記內射填充態射與纖化纏結等價的標記樹狀集合模型結構，形式化同倫框架。
• 應用推廣的Grothendieck構造，證明coCart(X)與∞-範疇中hcτ_d(X)-代數的∞-範疇之間存在等價關係。
• 將等價關係限制於X上的左纖化叢，證明其與取值於∞-群叢（空間）的代數之間的等價性。

实验结果

研究问题

• RQ1 如何在樹狀集合形式化中完全內在地定義∞-操作律上的代數？
• RQ2 分類樹狀集合X上纖化纏結叢的∞-範疇結構是什麼？
• RQ3 能否透過樹狀集合將Grothendieck構造從∞-範疇推廣至∞-操作律？
• RQ4 樹狀集合X上纖化纏結叢與相關單純操作律hcτ_d(X)之間是否存在同倫理論等價？
• RQ5 X上的左纖化叢與取值於∞-群叢的代數之間有何關係？

主要发现

• 樹狀集合X上纖化纏結叢的∞-範疇coCart(X)定義良好，並透過標記樹狀集合上的纖化纏結模型結構形成∞-範疇。
• ∞-操作律Grothendieck構造引發了∞-範疇的等價關係：coCart(X) ≃ Alg_hcτ_d(X)(Cat_∞)，建立了纖化叢與代數之間的基礎對應關係。
• 該構造可限制於X上的左纖化叢，與取值於∞-群叢的代數之間形成等價關係，推廣了∞-範疇上的經典直化理論。
• 標記樹狀集合上的模型結構被證明是左正則且可組合的，支持對纖化叢的同倫分析。
• 樹狀集合的直化函子被構造並證明是自伴等價的一部分，推廣了Lurie對∞-範疇的直化理論。
• 該等價關係在X上自然成立，且構造與樹狀集合圖的範疇中的餘極限與同倫極限相容。