### Current browse context:

math.CT

### Change to browse by:

### References & Citations

# Mathematics > Category Theory

# Title: Decomposition Spaces, Incidence Algebras and Möbius Inversion

(Submitted on 11 Apr 2014 (v1), last revised 24 Dec 2015 (this version, v5))

Abstract: We introduce the notion of decomposition space as a general framework for incidence algebras and M\"obius 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\"obius 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\"obius decomposition space, an extension of the notion of M\"obius 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\"obius intervals, which contains the universal M\"obius function (but does not come from a M\"obius category): we establish that M\"obius 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.

## Submission history

From: Joachim Kock [view email]**[v1]**Fri, 11 Apr 2014 19:46:45 GMT (177kb)

**[v2]**Mon, 30 Jun 2014 18:21:01 GMT (184kb)

**[v3]**Tue, 17 Mar 2015 17:07:25 GMT (204kb)

**[v4]**Mon, 13 Jul 2015 04:47:35 GMT (206kb)

**[v5]**Thu, 24 Dec 2015 12:58:25 GMT (211kb)

Link back to: arXiv, form interface, contact.