Correspondence between some metabelian varieties and left nilpotent varieties (Q2200958)

Let \(_2 \mathcal N\) denote the variety of \textit{left nilpotent} algebras of index two, that is the variety of algebras satisfying the identity \(x(yz) \equiv 0\) in the class of absolutely free algebras. The exponent of the codimension growth of subvarieties of such type can be non-integral (namely, an example with the exponent 7/2 was constructed) [\textit{M. V. Zaĭtsev} and \textit{S. P. Mishchenko}, Mosc. Univ. Math. Bull. 63, No. 1, 25--31 (2008; Zbl 1199.17001); translation from Vestn. Mosk. Univ., Ser. I 2008, No. 1, 25--31 (2008)]. It was shown that there are no varieties of left nilpotent algebras of index two with the codimension growth such that \(c_ n (V) \le Cn^\alpha\) with \(1 < \alpha < 2\) and \(2 < \alpha < 3\). [\textit{S. Mishchenko} and \textit{A. Valenti}, J. Algebra 518, 321--342 (2019; Zbl 1459.17002)]. Now the authors construct a correspondence between left nilpotent algebras of index two and commutative metabelian algebras or anticommutative metabelian algebras and prove that the codimensions sequences of the corresponding algebras coincide up to a constant. This allows them to transfer the above results concerning varieties of left nilpotent algebras of index two to varieties of commutative or anticommutative metabelian algebras.