On algebras obtained by tensor product (Q536007): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2089958044 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0606105 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Koszul duality for operads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lie-admissible algebras and operads. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Class of Nonassociative Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Models for operads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4537718 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebras with one operation including Poisson and other Lie-admissible algebras / rank | |||
Normal rank |
Latest revision as of 01:57, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On algebras obtained by tensor product |
scientific article |
Statements
On algebras obtained by tensor product (English)
0 references
16 May 2011
0 references
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.)
0 references
quadratic operad
0 references
dual quadratic operad
0 references
algebra structure on the tensor product
0 references