Decomposition spaces, incidence algebras and Möbius inversion II: completeness, length filtration, and finiteness
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/84103
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 part 2 of a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and Möbius inversion, with coefficients in 8-groupoids. A decomposition space is a simplicial 8-groupoid satisfying an exactness condition weaker than the Segal condition. Just as the Segal condition expresses up-to-homotopy composition, the new condition expresses decomposition.
In this paper, we introduce various technical conditions on decomposition spaces. The first is a completeness condition (weaker than Rezk completeness), needed to control non-degeneracy. For complete decomposition spaces we establish a general Möbius inversion principle, expressed as an explicit equivalence of 8-groupoids.
Next we analyse two finiteness conditions on decomposition spaces. The first, that of locally finite length, guarantees the existence of the important length filtration on the associated incidence coalgebra. We show that a decomposition space of locally finite length is actually the left Kan extension of a semi-simplicial space. The second condition, local finiteness, ensures we can take homotopy cardinality to pass from the level of 8-groupoids to the level of vector spaces.
These three conditions - completeness, locally finite length and local finiteness - together define our notion of Möbius decomposition space, which extends Leroux's notion of Möbius category (in turn a common generalisation of the locally finite posets of Rota et al. and of the finite decomposition monoids of Cartier-Foata), but which also covers many coalgebra constructions which do not arise from Möbius categories, such as the Fa\`a di Bruno and Connes-Kreimer bialgebras.
CitacióGalvez, M., Kock, J., Tonks, A. "Decomposition spaces, incidence algebras and Möbius inversion II: completeness, length filtration, and finiteness". 2015.
URL repositori externhttp://arxiv.org/abs/1512.07577
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1512.07577.pdf | 390,2Kb | Visualitza/Obre |