\(\mathbb{Z}\)-graded identities of the Lie algebras \(U_1\) (Q6170771)

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.