TY - JOUR

T1 - Decomposition Spaces and Restriction Species

AU - Galvez-Carrillo, Imma

AU - Kock, Joachim

AU - Tonks, Andrew

N1 - Funding Information:
This work was supported by [MTM2012-38122-C03-01, MTM2013-42178-P, 2014-SGR-634, MTM2015-69135-P, MTM2016-76453-C2-2-P (AEI/FEDER, UE), and 2017-SGR-932 to I.G-C.]; [MTM2013-42293-P, MTM2016-80439-P (AEI/FEDER, UE), and 2017-SGR-1725 to J.K.]; [MTM2013- 42178-P and MTM2016-76453-C2-2-P (AEI/FEDER, UE) to A.T.]
Publisher Copyright:
© 2018 The Author(s) 2018. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com.

PY - 2020/11/1

Y1 - 2020/11/1

N2 - 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 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.

AB - 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 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.

UR - http://www.scopus.com/inward/record.url?scp=85097459571&partnerID=8YFLogxK

U2 - 10.1093/imrn/rny089

DO - 10.1093/imrn/rny089

M3 - Article

AN - SCOPUS:85097459571

SN - 1073-7928

VL - 2020

SP - 7558

EP - 7616

JO - International Mathematics Research Notices

JF - International Mathematics Research Notices

IS - 21

ER -