Differential identities and polynomial growth of the codimensions (Q6070285)

In the paper under review the authors consider finite dimensional associative algebras \(A\) over a field of characteristic 0 under the action of a Lie algebra \(L\) by derivations on \(A\); this is what the authors mean for \textit{\(A\) is an \(L\)-algebra} in the text. Indeed, in this setting we have a natural definition for \(L\)-polynomials identities of an associative algebra \(A\), too, i.e., the \textit{differential identities} of \(A\), and the main goal of the paper is to give a characterization of the ideal of differential identities of a certain algebra in a very specific case. More precisely, the authors study the differential identities of finite dimensional algebras having a polynomially bounded sequence of their codimensions. We recall if \(Id^L(A)\) is the ideal of differential identities of \(A\) and \(P_n\) denotes the \(S_n\)-module of multilinear differential polynomials, then the \textit{\(n\)-th differential codimension} of \(A\) is the dimension of the vector space (and \(S_n\)-module, too) \(P_n/(P_n\cap Id^L(A))\). Of course, \(P_n/(P_n\cap Id^L(A))\) admits an \(S_n\)-character called the \textit{\(n\)-th differential cocharacter} of \(A\). On the purpose, the authors characterize \(L\)-algebras having multiplicities of their cocharacter sequences bounded by a constant.