Free decomposition spaces

Publication date 20 October 2022

Symmetric functions and generalizations (05E05) Connections of Hopf algebras with combinatorics (16T30) Simplicial sets, simplicial objects (18N50) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Simplicial sets and complexes in algebraic topology (55U10)

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 c o l o n D e l t a_{o p e r a t o r n a m e i n e r t} o D e l t a

takes general objects to M"obius decomposition spaces and general maps to CULF maps. We establish an equivalence of

i n f t y

-categories

m a t h b f P r S h (D e l t a_{o p e r a t o r n a m e i n e r t}) s i m e q m a t h b f {D e c o m p}_{/ B m a t h b b 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. We show that the Aguiar--Bergeron--Sottile map to the decomposition space of quasi-symmetric functions, from any M"obius decomposition space

X

, factors through the free decomposition space of nondegenerate simplices of

X

, and offer a conceptual explanation of the zeta function featured in the universal property of

o p e r a t o r n a m e Q S y m

.

This page was built for publication: Free decomposition spaces

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