1512.07573v4.pdf (616.22 kB)
Download file

Decomposition spaces, incidence algebras and Möbius inversion I: Basic theory

Download (616.22 kB)
journal contribution
posted on 15.02.2019, 09:56 by I Gálvez-Carrillo, J Kock, A Tonks
This is the first in a series of papers devoted to the theory of decomposition spaces, a general framework for incidence algebras and Möbius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences of ∞-groupoids. A decomposition space is a simplicial ∞-groupoid satisfying an exactness condition, weaker than the Segal condition, expressed in terms of active and inert maps in [Figure presented]. Just as the Segal condition expresses composition, the new exactness condition expresses decomposition, and there is an abundance of examples in combinatorics. After establishing some basic properties of decomposition spaces, the main result of this first paper shows that to any decomposition space there is an associated incidence coalgebra, spanned by the space of 1-simplices, and with coefficients in ∞-groupoids. We take a functorial viewpoint throughout, emphasising conservative ULF functors; these induce coalgebra homomorphisms. Reduction procedures in the classical theory of incidence coalgebras are examples of this notion, and many are examples of decalage of decomposition spaces. An interesting class of examples of decomposition spaces beyond Segal spaces is provided by Hall algebras: the Waldhausen S•-construction of an abelian (or stable infinity) category is shown to be a decomposition space. In the second paper in this series we impose further conditions on decomposition spaces, to obtain a general Möbius inversion principle, and to ensure that the various constructions and results admit a homotopy cardinality. In the third paper we show that the Lawvere–Menni Hopf algebra of Möbius intervals is the homotopy cardinality of a certain universal decomposition space. Two further sequel papers deal with numerous examples from combinatorics. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov [17] who call them unital 2-Segal spaces. Our theory is quite orthogonal to theirs: the definitions are different in spirit and appearance, and the theories differ in terms of motivation, examples, and directions.

Funding

The first author was partially supported by grants MTM2012-38122-C03-01, MTM2013-42178-P, 2014-SGR-634, MTM2015-69135-P, MTM2016-76453-C2-2-P (AEI/FEDER, UE), and 2017-SGR-932, the second author by MTM2013-42293-P, MTM2016-80439-P (AEI/FEDER, UE), and 2017-SGR-1725, and the third author by MTM2013-42178-P and MTM2016-76453-C2-2-P (AEI/FEDER, UE).

History

Citation

Advances in Mathematics, 2018, 331, pp. 952-1015

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Mathematics

Version

AM (Accepted Manuscript)

Published in

Advances in Mathematics

Publisher

Elsevier for Academic Press

issn

0001-8708

eissn

1090-2082

Acceptance date

23/02/2018

Copyright date

2018

Available date

20/06/2019

Publisher version

https://www.sciencedirect.com/science/article/pii/S0001870818301038?via=ihub

Notes

The file associated with this record is under embargo until 12 months after publication, in accordance with the publisher's self-archiving policy. The full text may be available through the publisher links provided above.

Language

en

Usage metrics

Categories

Keywords

Exports