Graded identities for Kac-Moody and Heisenberg algebras with the Cartan grading (Q2074961)

The authors study graded identities for Kac-Moody algebras \(\mathfrak{g}(A)\) with a generalized diagonal Cartan matrix \(A=\operatorname{diag}(2,\ldots,2)\). Namely, they provide a basis for the graded identities of \(\mathfrak{g}(A)\) equipped with its natural grading, called the grading of Cartan type, over a infinite field of characteristic not 2. The authors also compute the graded codimensions for these algebras and provide a basis for the vector space of the multihomogeneous polynomials of any given multidegree in the relatively free algebra. As the base field is infinite one has a vector space basis of the relatively free algebra. As a consequence, the authors give an alternative proof of the result on graded polynomial identities for the Lie algebra \(sl_2(K)\) of \textit{P. Koshlukov} [Int. J. Algebra Comput. 18, No. 5, 825--836 (2008; Zbl 1157.16006)], and generalize it to characteristic two. Finally, the authors describe a basis of the graded identities for the Heisenberg algebra with its natural grading and over any field.