No label defined (Q4951258)

Let \(X\) be an affine variety over a field \(K\) and let \(G\) be a reductive group of automorphisms of \(X\). A categorical quotient of a variety is a pair \((\pi,Y)\), where \(Y= \text{Spec}(K[X]^G)\) is an invariant affine space and \(\pi\) is a morphism dual to the embedding \(K[X]^G\rightarrow K[X]\). In case when the field \(K\) is of zero characteristic, the structure of the quotient variety \(Y\) is well known. In case the field \(K\) is of nonzero characteristic, the question concerning the properties of this variety is open. The article is devoted to studying the quotient of the variety of \(m\)-tuples of matrices \(X=M(n)^m\) with the natural action of some reductive subgroups of the general linear group \(\text{GL}(n)\) on this variety. For the field \(K\) of zero characteristic and \(H=\text{Sp}(n)\) or \(H=\text{SO}(n)\), the quotient was calculated by \textit{C.~Procesi} [Adv. Math. 19, 306-381 (1976; Zbl 0331.15021)]. The author gives a description of the invariant algebra \(K[M(n)^m]^H\) for an arbitrary infinite field \(K\) and \(H=\text{Sp}(n)\) or \(H=\text{O}(n)\).