On algebras obtained by tensor product (Q536007): Difference between revisions

Given a Lie algebra \({\mathfrak g}\) and a commutative associative algebra \(A\) both over a field \(k\), the tensor product \(A\otimes_k{\mathfrak g}\) is a Lie algebra for the current bracket \[ [a\otimes X,b\otimes Y]=ab\otimes [X,Y]. \] This fact has a generalization to operads in the following sense. Given a quadratic operad \({\mathcal P}\), denote by \({\mathcal P}^!\) its quadratic dual in the sense of \textit{V. Ginzburg} and \textit{M. Kapranov}, [``Koszul duality for operads'', Duke Math. J. 76, No.~1, 203--272 (1994; Zbl 0855.18006)]. Ginzburg and Kapranov show in loc. cit. that for a \({\mathcal P}\)-algebra \(A\) and a \({\mathcal P}^!\)-algebra \(B\) over \(k\), the tensor product \(A\otimes_k B\) has a natural Lie algebra structure. The above special case arises for \({\mathcal P}={\mathcal L}ie\), because \({\mathcal P}^!={\mathcal C}om\). In the article under review, the authors extend this scheme to other operads. Namely, given a quadratic operad \({\mathcal P}\) with one (generating) binary operation, the main result is the construction of a quadratic operad \(\widetilde{\mathcal P}\) such that tensor products \(A\bigotimes_k B\) of a \({\mathcal P}\)-algebra \(A\) and a \(\widetilde{\mathcal P}\)-algebra \(B\) are naturally \({\mathcal P}\)-algebras and such that \(\widetilde{\mathcal P}\) is maximal with respect to this property. (The maximality condition serves to exclude trivial anwers to the problem.)