2014/04/11 by Imma Gálvez-Carrillo, Joachim Kock, Gálvez-Carrillo, Imma +3
Mathematics · #06A11 #16T10 #18-XX #18G30 #55Pxx #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #Combinatorics (math.CO) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.1404.3202
openalex publication_date 2014/04/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We introduce the notion of decomposition space as a general framework for incidence algebras and Möbius 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 Möbius 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 Möbius decomposition space, an extension of the notion of Möbius 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 Möbius intervals, which contains the universal Möbius function (but does not come from a Möbius category): we establish that Möbius 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.