Decomposition spaces in Combinatorics
From MaRDI portal
Publication:6281372
arXiv1612.09225MaRDI QIDQ6281372FDOQ6281372
Authors: Imma Gálvez-Carrillo, Joachim Kock, Andrew Tonks 
Publication date: 29 December 2016
Abstract: A decomposition space (also called unital 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses (up to homotopy) composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In the present contribution, after establishing a formula for the section coefficients, we survey a large supply of examples, emphasising the notion's firm roots in classical combinatorics. The first batch of examples, similar to binomial posets, serves to illustrate two key points: (1) the incidence algebra in question is realised directly from a decomposition space, without a reduction step, and reductions are often given by CULF functors; (2) at the objective level, the convolution algebra is a monoidal structure of species. Specifically, we encounter the usual Cauchy product of species, the shuffle product of L-species, the Dirichlet product of arithmetic species, the Joyal-Street external product of q-species and the Morrison `Cauchy' product of q-species, and in each case a power series representation results from taking cardinality. The external product of q-species exemplifies the fact that Waldhausen's S-construction on an abelian category is a decomposition space, yielding Hall algebras. The next class of examples includes Schmitt's chromatic Hopf algebra, the Fa`a di Bruno bialgebra, the Butcher-Connes-Kreimer Hopf algebra of trees and several variations from operad theory. Similar structures on posets and directed graphs exemplify a general construction of decomposition spaces from directed restriction species. We finish by computing the M"obius function in a few cases, and commenting on certain cancellations that occur in the process of taking cardinality, substantiating that these cancellations are not possible at the objective level.
Combinatorial identities, bijective combinatorics (05A19) Combinatorics of partially ordered sets (06A07) Bialgebras (16T10) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Homotopy theory (55Pxx) Category theory; homological algebra (18-XX)
This page was built for publication: Decomposition spaces in Combinatorics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6281372)
