No label defined (Q4947159)

Let \(C_n\) be the affine scheme of all associative commutative multiplications on an \(n\)-dimensional vector space \(V_n\), and \(A_n\) be the affine scheme of those multiplications on \(V_n\) which determine commutative nilpotent algebras of class 3, and let \(C_n^{\text{red}}\) and \(A_n^{\text{red}}\) be the corresponding reduced schemes. From the article by \textit{I.~R.~Shafarevich} [Leningr. Math. J. 2, No. 6, 1335--1351 (1991; Zbl 0743.13009)], it is known that an arbitrary component \(A_{n,r}\) of \(A_n^{\text{red}}\) is determined by the number \(r=\dim N^2\) for a generic algebra \(N\) in \(A_{n,r}\). The main problem is to determine a condition on \(r\) for the component \(A_{n,r}\) to coincide with a proper component of \(C_n\). The author proves some ``descent'' theorem. It follows that, under certain conditions, for sufficiently small number \(r\), the component \(A_{n,r}\) coincides with a proper component of \(C_n\).