Z-graded identities of the Lie algebras U₁

From MaRDI portal
Publication:6170771



Abstract: Let K be an infinite field of characteristic different from two and let U1 be the Lie algebra of the derivations of the algebra of Laurent polynomials K[t,t−1]. The algebra U1 admits a natural mathbbZ-grading. We provide a basis for the graded identities of U1 and prove that they do not admit any finite basis. Moreover, we provide a basis for the identities of certain graded Lie algebras with a grading such that every homogeneous component has dimension leq1, if a basis of the multilinear graded identities is known. As a consequence of this latter result we are able to provide a basis of the graded identities of the Lie algebra W1 of the derivations of the polynomial ring K[t]. The mathbbZ-graded identities for W1, in characteristic 0, were described in cite{FKK}. As a consequence of our results, we give an alternative proof of the main result, Theorem 1, in cite{FKK}, and generalize it to positive characteristic. We also describe a basis of the graded identities for the special linear Lie algebra slq(K) with the Pauli gradings where q is a prime number.


Let \(U_1\) denote the Lie algebra of derivations of the Laurent polynomial algebra \(K[t,t^{-1}]\) over an infinite field \(K\) of characteristic different from two. The Lie algebra \(U_1\) is \(\mathbb{Z}\)-graded: for \(n\in \mathbb{Z}\) the degree \(n\) homogeneous component of \(U_1\) is spanned by \(t^{n+1}d/dt\). The main result of the present paper gives a basis of the \(\mathbb{Z}\)-graded identities of \(U_1\). Moreover, it is proved that \(U_1\) has no finite basis of graded identities. More generally, it is shown that if \(L\) is a Lie algebra graded by an abelian group, such that each non-zero homogeneous component of \(L\) is one-dimensional, then all graded identities of \(L\) follow from its multilinear graded identities. As an application of this result a basis of the graded identities of the Lie algebra \(W_1\) of derivations of the polynomial algebra \(K[t]\) is given, providing a new proof of the statement known before in characteristic zero, and extending it to positive characteristic. The authors describe also a basis of the graded identities for the special linear Lie algebra \(sl_q(K)\) endowed with the Pauli grading, where \(q\) is a prime number. Note that a basis of the ordinary polynomial identities of \(W_1\) or \(U_1\) is not known, and there are only a few known results about graded identities of Lie algebras.











This page was built for publication: \(\mathbb{Z}\)-graded identities of the Lie algebras \(U_1\)

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