Matrix invariants over an infinite field of finite characteristic (Q1335958)

Let \(K\) be an infinite field of characteristic \(p\). The author shows that Procesi's theorem remains true for \(p > n^2 - 1\). Define the Poincaré series \[ X_{m, n, p} (t_1, \dots, t_m) = \sum_{\alpha_1, \dots, \alpha_m} \dim T^{\alpha_1,\dots, \alpha_m}_{m, n, p} \cdot t^{\alpha_1}_1 \cdots t^{\alpha_m}_m, \] where \(T^{\alpha_1, \dots, \alpha_m}_{m, n, p}\) is a homogeneous component of \(T_{m, n, p}\) of degree \((\alpha_1, \dots, \alpha_m)\). The author demonstrates that \(X_{m, n, p} \equiv X_{m, n, 0}\) for all \(p\). If, dealing with Procesi conjecture, it is confined to polynomials \(f\) with integer coefficients, then the ring \(\widetilde {T}_{m, n, 0}\) generated by the corresponding elements is a \(\mathbb{Z}\)-form of the ring \(T_{m, n, 0}\). Denote the natural epimorphism \(\widetilde {T}_{m, n, 0} \to T_{m, n, p}\) by \(\pi\). Then the coincidence of Poincaré series implies that the Procesi conjecture is equivalent to the equality \(\text{ker }\pi = p\widetilde {T}_{m, n, 0}\).