Decomposition spaces, incidence algebras and Möbius inversion I: basic theory
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/84102
Tipus de documentReport de recerca
Data publicació2015-12
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
ProjecteGEOMATRIA ALGEBRAICA, SIMPLECTICA, ARITMETICA Y APLICACIONES (MINECO-MTM2012-38122-C03-01)
GEOMETRIA Y TOPOLOGIA DE VARIEDADES, ALGEBRA Y APLICACIONES (MINECO-MTM2015-69135-P)
GEOMETRIA Y TOPOLOGIA DE VARIEDADES, ALGEBRA Y APLICACIONES (MINECO-MTM2015-69135-P)
Abstract
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 8-groupoids. A decomposition space is a simplicial 8-groupoid satisfying an exactness condition, weaker than the Segal condition, expressed in terms of generic and free maps in ¿. Just as the Segal condition expresses up-to-homotopy composition, the new condition expresses decomposition, and there is an abundance of examples coming from 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 8-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. We treat a few examples of decomposition spaces beyond Segal spaces, the most interesting being that of Hall algebras: the Waldhausen S·-construction of an abelian (or stable infinity) category is shown to be a decomposition space.
Descripció
arXiv:1512.07573 [math.CT]
CitacióGalvez, M., Kock, J., Tonks, A. "Decomposition spaces, incidence algebras and Möbius inversion I: basic theory". 2015.
URL repositori externhttp://arxiv.org/abs/1512.07573
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1512.07573.pdf | 519,1Kb | Visualitza/Obre |