Abstract:A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In this 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 2 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. 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. 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à di Bruno bialgebra, the Butcher-Connes-Kreimer Hopf algebra of trees and variations from operad theory. Similar structures on posets and directed graphs exemplify a general construction of decomposition spaces from directed restriction species. An appetiser on decomposition spaces of symmetric functions is included. We finish by computing the Möbius 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.

Coxeter groups and Billey-Postnikov decompositions

Parabolic double cosets in Coxeter groups

Bipolar Coxeter groups

Decompositions de groupes par produit direct et groupes de Coxeter

On a decomposition of $p$-adic Coxeter orbits

Gauss Decomposition with Prescribed Semisimple Part in Quadratic Groups

Decomposition spaces in Combinatorics

The decomposition of permutation module for infinite Chevalley groups II

On the combinatorics of $B \times B$-orbits on group compactifications

Vanishing of Schubert Coefficients

Computations for Coxeter arrangements and Solomon's descent algebra: Groups of rank three and four

Bimodule coefficients, Riesz transforms on Coxeter groups and strong solidity

Cluster structures in Schubert varieties in the Grassmannian

Schubert geometry and combinatorics

Deformations of permutation representations of Coxeter groups

Indecomposable direct summands of cohomologies of curves

Computing the equivariant Brauer group

Applications of Homogeneous Fiber Bundles to the Schubert Varieties

On Bott--Samelson rings for Coxeter groups

Inner products of deep level Deligne--Lusztig representations of Coxeter type

Coxeter Decompositions of Bounded Hyperbolic Pyramids and Triangular Prisms