\((a,b)\)-algebras up to homotopy (Q982745): Difference between revisions

For a graded algebra \(\mathcal A\) of type \(\mathcal P\) with a binary multiplication (e.g., an associative multiplication or a Lie bracket) and equipped with a differential \(d\), one can define the notion of algebra of type \(\mathcal P\) up to homotopy and construct the corresponding enveloping algebra of \(\mathcal A\) which carries information about homological and cohomological complexes associated with the type of algebras and their modules. When \(\mathcal A\) has two multiplicative operations with certain relations of compatibility, the construction of the enveloping algebra up to homotopy is more complicated. In particular, the complexes of Poisson and Gerstenhaber require to compose structures of a cocommutative cofree coalgebra and of a cofree Lie coalgebra associated with each algebra. Working over the corresponding operads, one associates also the structure of \({\mathcal P}_{\infty}\)-algebra in the Poisson case and of \({\mathcal G}_{\infty}\)-algebra in the Gerstenhaber case. The purpose of the paper under review is to unify the constructions of algebras up to homotopy for Poisson and Gerstenhaber algebras. The author defines the structure of \((a,b)\)-algebra up to homotopy. For an algebra with the structure of a commutative and a differential graded Lie algebra and for two shifts degree given by \(a\) and \(b\), he presents an explicit construction of the associated algebra up to homotopy and clarifies the relationship between \((a,b)\)-algebras and algebras over the operad of little \(n+1\)-dimensional cubes. The Gerstenhaber and Poisson cases are obtained for \(a=0\), \(b=-1\) and \(a=b=0\), respectively.