Free decomposition spaces

Abstract

We introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by their inert maps. We show that left Kan extension along the inclusion $j:{\Delta }_{\mathrm{inert}}\to \Delta$ takes general objects to Möbius decomposition spaces and general maps to CULF maps. We establish an equivalence of $\infty$-categories $\mathbf{PrSh}({\Delta }_{\mathrm{inert}})\simeq {\mathbf{Decomp}}_{/B\mathbb{N}}$. Although free decomposition spaces are rather simple objects, they abound in combinatorics: it seems that all comultiplications of deconcatenation type arise from free decomposition spaces. We give an extensive list of examples, including quasi-symmetric functions.

arXiv comment31 pages. v2: Accepted version. Many improvements based on suggestions of the referee. Added a proof that j_! is fully faithful. Streamlined applications sections. Removed discussion of IKEO maps, Aguiar--Bergeron--Sottile map, and zeta functions -- this material will be given an expanded treatment elsewhere

References in corpus (12)

• Higher Segal spaces I
• Monads with arities and their associated theories
• Decomposition spaces, incidence algebras and Möbius inversion I: basic theory
• Infinity Properads and Infinity Wheeled Properads
• The Hopf algebras of symmetric functions and quasisymmetric functions in non-commutative variables are free and cofree
• Decomposition spaces, incidence algebras and Möbius inversion II: completeness, length filtration, and finiteness
• Decomposition spaces, incidence algebras and Möbius inversion III: the decomposition space of Möbius intervals
• Decomposition spaces and restriction species
• Modular operads and the nerve theorem
• Whole-grain Petri nets and processes
• The incidence comodule bialgebra of the Baez-Dolan construction
• Segal conditions for generalized operads

Cited by in corpus (1)

• Culf maps and edgewise subdivision