On the minimal degree of the \(*\)-polynomial identities for the matrix algebra of order \(6\) with symplectic involution (Q1373434)

Studying \(*\)-polynomial identities of an algebra \(R\) with involution \(*\) over a field \(K\), \(\text{char }K\neq2\), one considers identities in the sets of symmetric and skew-symmetric variables \(X\) and \(Y\), and assumes that the polynomial \(f(x_1,\ldots,x_p,y_1,\ldots,y_q)\) from the free algebra \(K\langle X\cup Y\rangle\) is a \(*\)-polynomial identity for \(R\) if \(f(s_1,\ldots,s_p,a_1,\ldots,a_q)=0\) for all \(s_i,a_j\in R\) such that \(s_i^*=s_i\), \(a_j^*=-a_j\). One of the important problems on the identities of matrices with involution is to find the minimal degree of the identities in symmetric variables for the matrix algebra \(M_{2n}(K)\) with the symplectic involution defined by \(\left(\begin{smallmatrix} A&B\\ C&D\end{smallmatrix}\right)^*=\left(\begin{smallmatrix} D^t&-B^t\\ -C^t&A^t\end{smallmatrix}\right)\), where \(A,B,C,D\) are \(n\times n\) matrices, \(^t\) states for the ususal transpose and \(\text{char }K=0\). The complete answer is known for \(n\leq 2\) only. In the general case, the best known lower bound is that the minimal degree is greater than \(2n+1\) established recently by \textit{V. Drensky, A. Giambruno} [Boll. Unione Mat. Ital., VII. Ser., A 9, 471-482 (1995; Zbl 0862.16015)]. The main result of the paper under review is to make one more step in the case \(n=3\) and to show that the matrix algebra \(M_6(K)\) with symplectic involution satisfies no identities of degree 8 in symmetric variables. The approach of the author is based on the knowledge of the ordinary polynomial identities of degree 8 for \(M_3(K)\), representation theory of the general linear group and computer calculations with Mathematica.