Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness

DOI10.1016/J.AIM.2018.03.017zbMATH Open1403.18016arXiv1512.07577OpenAlexW2203626205MaRDI QIDQ1649360FDOQ1649360

Authors: Imma Gálvez-Carrillo, Joachim Kock, Andrew Tonks 

Publication date: 5 July 2018

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: This is the second in a trilogy of papers introducing and studying the notion of decomposition space as a general framework for incidence algebras and M"obius inversion, with coefficients in $infty$-groupoids. A decomposition space is a simplicial $infty$-groupoid satisfying an exactness condition weaker than the Segal condition. Just as the Segal condition expresses 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 simplicial nondegeneracy. For complete decomposition spaces we establish a general M"obius inversion principle, expressed as an explicit equivalence of $infty$-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 finiteness condition, local finiteness, ensures we can take homotopy cardinality to pass from the level of $infty$-groupoids to the level of vector spaces. These three conditions - completeness, locally finite length, and local finiteness - together define our notion of M"obius decomposition space, which extends Leroux's notion of M"obius 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"obius categories, such as the Fa`a di Bruno and Connes-Kreimer bialgebras. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces.

Full work available at URL: https://arxiv.org/abs/1512.07577

Recommendations

• Polynomial hull of a torus fibered over the circle
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
• Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
• Corrigendum to: ``Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness

zbMATH Keywords

incidence algebradecomposition space2-Segal spacehomotopy cardinalitylength filtrationMöbius inversion

Mathematics Subject Classification ID

Combinatorial identities, bijective combinatorics (05A19) Bialgebras (16T10) Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Algebraic aspects of posets (06A11)

Cites Work

• Title not available (Why is that?)
• On the foundations of combinatorial theory I. Theory of M�bius Functions
• Monads with arities and their associated theories
• Higher Topos Theory (AM-170)
• Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coalgebras and Bialgebras in Combinatorics
• Title not available (Why is that?)
• Categories de Möbius et fonctorialites: un cadre général pour l'inversion de Möbius
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Quasi-categories and Kan complexes
• Transformation groups and algebraic \(K\)-theory
• Higher dimensional algebra. VII: Groupoidification
• Hopf Algebras of Combinatorial Structures
• Finiteness obstructions and Euler characteristics of categories
• Title not available (Why is that?)
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Homotopy linear algebra
• Decomposition spaces and restriction species
• Categorification of Hopf algebras of rooted trees.
• Perturbative renormalisation for not-quite-connected bialgebras
• The isomorphism problem for incidence algebras of Möbius categories
• Notions of Möbius inversion
• Polynomial functors and combinatorial Dyson-Schwinger equations
• On the Möbius Algebra and the Grothendieck Ring of a Finite Category

Cited In (25)

• Quasi-2-Segal sets
• Whole-grain Petri nets and processes
• Faà di Bruno for operads and internal algebras
• Plethysms and operads
• A simplicial groupoid for plethysm
• Weak Cartesian properties of simplicial sets
• Title not available (Why is that?)
• 2-Segal spaces as invertible infinity-operads
• The G\'alvez-Kock-Tonks conjecture for locally discrete decomposition spaces
• Higher Segal spaces via higher excision
• The incidence comodule bialgebra of the Baez-Dolan construction
• Proto-exact categories of matroids, Hall algebras, and \(K\)-theory
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
• Möbius functions of directed restriction species and free operads, via the generalised Rota formula
• Polynomial functors and combinatorial Dyson-Schwinger equations
• Polynomial hull of a torus fibered over the circle
• Decomposition-space slices are toposes
• Tracelet Hopf algebras and decomposition spaces (extended abstract)
• Matrix operations in random permutation set
• Corrigendum to: ``Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
• Twisted arrow categories, operads and Segal conditions
• Yoneda lemma for simplicial spaces
• Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
• Antipodes of monoidal decomposition spaces

This page was built for publication: Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1649360)