Differential Identities and Varieties of Almost Polynomial Growth

Abstract

Let V be an L-variety of associative L-algebras, i.e., algebras where a Lie algebra L acts on them by derivations, and let c(n)(L) (V), n >= 1, be its Lcodimension sequence. If V is generated by a finite-dimensional L-algebra, then such a sequence is polynomially bounded only if V does not contain UT2, the 2 x 2 upper triangular matrix algebra with trivial L-action, and UT2 epsilon where L acts on UT2 as the 1-dimensional Lie algebra spanned by the inner derivation epsilon induced by e11. In this paper we completely classify all the L-subvarieties of var(L)(UT2) and var(L)(UT2 epsilon) by giving a complete list of finite-dimensional L-algebras generating them.