Quantitative aspect of the stabilization theorem (Q1966262)

Let \(k\) be an algebraically closed field of characteristic zero. Denote by \(\text{Alg}_n\) the space of all structure constants corresponding to \(n\)-dimensional \(k\)-algebras and by \(\text{Skew}_n\), \(\text{Lie}_n\) the subspaces corresponding to skew-commutative and Lie algebras, respectively. The group \(\text{GL}(n,k)\) acts on these spaces. There exists a natural embedding \(\text{Alg}_n\to \text{Alg}_{n+1}\) sending an \(n\)-dimensional algebra \(A\) to \(A\oplus k\). Let \(\text{Alg}_{\infty}\) be the direct limit of this diagram. A degeneration \(B\) of an algebra \(A\in \text{Alg}_n\) is an element of the orbit of \(A\) under the action of \(\text{GL}(k)\) in \(\text{Alg}_{\infty}\). It is shown that \(B\) is stably isomorphic to an algebra \(B'\) belonging to an orbit of \(A\oplus k^n\) under the action of \(\text{GL}(2n,k)\). Let \(p_n\) be the least positive integer \(p\) such that any algebra in an orbit of \(A\oplus k^m\) where \(\dim A\leq n\), belongs in fact to an orbit of \(A\oplus k^p\). Similarly one can define \(p^{\text{Lie}}_n\). It is shown that \(p^{\text{Lie}}_n=n-1\), if \(n=1,2,4\) and \(p^{\text{Lie}}_n=n\) otherwise. Fixing an algebra \(A\) one can define \(p_n(A)\). Suppose that \(A\) is a skew-commutative \(k\)-algebra and \(\dim A^2\geq\dim\text{Ann }A\), where \(\text{Ann }A\) is the set of all elements \(x\in A\) such that \(xA=Ax=0\). Then \(\max_np_n(A)=\dim A^2-\dim\text{Ann }A\).