[论文解读] Decomposition spaces, incidence algebras and Möbius inversion

Maria Immaculada Gálvez Carrillo, Joachim Kock+1 more|arXiv (Cornell University)|Apr 11, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 49被引用 15

一句话总结

本文引入了分解空间——满足弱化塞加条件的单纯无穷群胚——作为关联代数与莫比乌斯反演的通用框架，统一了经典理论与同伦论方法。证明了莫比乌斯区间构成一个分解空间，从而产生一个包含通用莫比乌斯函数的普遍霍普夫代数，将莫比乌斯范畴的概念扩展至经典设定之外。

ABSTRACT

We introduce the notion of decomposition space as a general framework for incidence algebras and Mobius inversion: it is a simplicial infinity-groupoid satisfying an exactness condition weaker than the Segal condition, which expresses decomposition. We work on the objective level of homotopy linear algebra with coefficients in infinity-groupoids, developed along the way. To any (complete) decomposition space there is associated an incidence (co)algebra (with coefficients in infinity-groupoids), shown to satisfy a sign-free version of the Mobius inversion principle. Examples of decomposition spaces beyond Segal spaces are given by the Waldhausen S-construction and by Schmitt restriction species. Imposing certain homotopy finiteness conditions yields the notion of Mobius decomposition space, an extension of the notion of Mobius category of Leroux. We take a functorial viewpoint throughout, emphasising conservative ULF functors, and show that most reduction procedures in the classical theory are examples of this notion, and in particular that many are examples of decalage of decomposition spaces. Our main theorem concerns the Lawvere-Menni Hopf algebra of Mobius intervals, which contains the universal Mobius function (but does not come from a Mobius category): we establish that Mobius intervals form a decomposition space, which is in some sense universal. NOTE: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call it unital 2-Segal space. Our theory is quite orthogonal to theirs.

研究动机与目标

• 通过引入作为同伦论框架的分解空间，将关联代数与莫比乌斯反演推广至经典偏序集之外。
• 在无穷群胚系数下发展关联（共）代数理论，实现无符号的莫比乌斯反演。
• 通过同伦有限的分解空间扩展莫比乌斯范畴的概念，定义莫比乌斯分解空间。
• 证明经典关联理论中的约化程序自然地表现为分解空间的去中心化（decalage）操作。
• 确立劳弗尔-门尼霍普夫代数（Lawvere-Menni Hopf algebra）作为莫比乌斯区间源于一个普遍分解空间。

提出的方法

• 将分解空间定义为满足弱精确性条件的单纯无穷群胚，推广塞加空间（Segal spaces）。
• 利用无穷群胚系数的同伦线性代数，从分解空间构造关联（共）代数。
• 通过同伦有限性条件定义莫比乌斯分解空间，将勒罗克斯（Leroux）的莫比乌斯范畴推广至同伦设定。
• 使用保守的ULF函子，将关联理论中的约化程序形式化为分解空间上的去中心化操作。
• 通过其普遍性质证明莫比乌斯区间范畴构成一个分解空间。
• 通过实现为该分解空间的关联代数，确立通用莫比乌斯函数。

实验结果

研究问题

• RQ1 能否通过高阶范畴结构将关联代数与莫比乌斯反演推广至偏序集之外？
• RQ2 经典关联理论中的约化程序与去中心化等范畴构造之间有何关系？
• RQ3 劳弗尔-门尼霍普夫代数（Lawvere-Menni Hopf algebra）的莫比乌斯区间是否存在一个普遍结构？
• RQ4 能否通过分解空间将莫比乌斯范畴的概念扩展至同伦论设定？
• RQ5 保守ULF函子在统一关联理论构造中扮演何种角色？

主要发现

• 莫比乌斯区间范畴构成一个分解空间，为莫比乌斯反演提供了普遍框架。
• 劳弗尔-门尼霍普夫代数作为该普遍分解空间的关联代数而出现，包含通用莫比乌斯函数。
• 分解空间推广了塞加空间，并支持系数为无穷群胚的关联（共）代数。
• 经典关联理论中的约化程序被证明是分解空间去中心化操作的实例。
• 莫比乌斯分解空间通过同伦有限性条件定义，将勒罗克斯的莫比乌斯范畴推广至同伦设定。
• 该理论在同伦线性代数框架内实现了莫比乌斯反演原理的无符号版本。