Resolutions of operads via Koszul (bi)algebras (Q2139563): Difference between revisions

For any bialgebra \(H\), the category of associative algebras in the category of \(H\)-modules is isomorphic to the category of algebras over an operad \(\mathrm{Ass}_H\) which is described in this paper. This operad is generally not quadratic. When \(H\) is Koszul (as an algebra), then a minimal model of \(\mathrm{Ass}_H\) is described, involving only the coproduct of \(H\) and the Koszul model of \(H\). It is also shown how to construct a Gröbner basis of \(\mathrm{Ass}_H\) from a Gröbner basis of \(H\). Links are made with homotopy theory when \(H\) is the mod-2 Steenrod algebra.