Decomposition spaces and restriction species

Abstract

We show that Schmitt's restriction species (such as graphs, matroids, posets, etc.) naturally induce decomposition spaces (a.k.a. unital 2-Segal spaces), and that their associated coalgebras are an instance of the general construction of incidence coalgebras of decomposition spaces. We introduce the notion of directed restriction species that subsume Schmitt's restriction species and also induce decomposition spaces. Whereas ordinary restriction species are presheaves on the category of finite sets and injections, directed restriction species are presheaves on the category of finite posets and convex maps. We also introduce the notion of monoidal (directed) restriction species, which induce monoidal decomposition spaces and hence bialgebras, most often Hopf algebras. Examples of this notion include rooted forests, directed graphs, posets, double posets, and many related structures. A prominent instance of a resulting incidence bialgebra is the Butcher-Connes-Kreimer Hopf algebra of rooted trees. Both ordinary and directed restriction species are shown to be examples of a construction of decomposition spaces from certain cocartesian fibrations over the category of finite ordinals that are also cartesian over convex maps. The proofs rely on some beautiful simplicial combinatorics, where the notion of convexity plays a key role. The methods developed are of independent interest as techniques for constructing decomposition spaces.

44 pages. This is the last of six papers that formerly constituted the long manuscript arXiv:1404.3202

References in corpus (10)

• Decomposition spaces, incidence algebras and Möbius inversion I: basic theory
• Decomposition spaces, incidence algebras and Möbius inversion II: completeness, length filtration, and finiteness
• Renormalization and computation I: motivation and background
• Decomposition spaces, incidence algebras and Möbius inversion III: the decomposition space of Möbius intervals
• Homotopy linear algebra
• $\infty$-Operads as Analytic Monads
• Polynomial functors and combinatorial Dyson-Schwinger equations
• Faà di Bruno for operads and internal algebras
• Hall monoidal categories and categorical modules
• The universal Hall bialgebra of a double 2-Segal space

Cited by in corpus (7)

• Simplicial spaces, lax algebras and the 2-Segal condition
• Whole-grain Petri nets and processes
• Incidence bicomodules, Möbius inversion, and a Rota formula for infinity adjunctions
• The incidence comodule bialgebra of the Baez-Dolan construction
• Free decomposition spaces
• The Gálvez-Kock-Tonks conjecture for locally discrete decomposition spaces
• Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)