Invariants of universal enveloping algebras of relatively free Lie algebras (Q1972035)

Let \(F_m(\mathfrak M)\) be the relatively free algebra of rank \(m\geq 2\) in the nonlocally nilpotent variety \(\mathfrak M\) of Lie algebras over an infinite field of any characteristic. The authors study the problem of finite generation of the algebra of invariants of a cyclic linear group \(G=\langle g\rangle\) of finite order invertible in the base field, acting on the universal enveloping algebra \(U(F_m(\mathfrak M))\). The main results are as follows. Theorem 1: If \(g\) has eigenvalues of different multiplivative orders then the algebra of invariants \(U(F_m(\mathfrak M))^G\) is not finitely generated. Denote by \(\mathfrak N_c\mathfrak A\) the variety of nilpotent of class \(c\)-by abelian Lie algebras. Theorem 2: Let the base field be infinite and all eigenvalues of \(g\) have the same multiplicative order. Suppose that \(\mathfrak M\subset \mathfrak N_c\mathfrak A\). Then the algebra of invariants \(U(F_m(\mathfrak M))^G\) is finitely generated.