Homology of generalized partition posets

From MaRDI portal



Abstract: We define a poset of partitions associated to an operad. We prove that the operad is Koszul if and only if the poset is Cohen-Macaulay. In one hand, this characterisation allows us to compute the homology of the poset. This homology is given by the Koszul dual operad. On the other hand, we get new methods for proving that an operad is Koszul.


For an operad (it is a monoid in a monoidal category \(({\mathcal S}\text{-Mod},\circ ,1)\) of \({\mathcal S}\)-modules) finite partition posets are defined. A finite poset with exactly one minimal and exactly one maximal element such that maximal chains have the same length and its homology is concentrated in top dimension is called Cohen-Macauley. The main result says that an operad is Kozsul if and only if its posets are Cohen-Macauley. This characterization allows us to compute homology of Cohen-Macauley posets (the homology groups are isomorphic to the Kozsul dual cooperad) and provides combinatorial methods for recognization of Kozsul operads. Many examples illustrating these results are presented.




Cited in
(only showing first 100 items - show all)








This page was built for publication: Homology of generalized partition posets

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