On the subgroups of the symplectic group over an algebraically closed field (Q791656)

In connection with the general theme of investigation of the subgroup lattices of linear groups, the reviewer raised the following problem: describe (the lattice of) those subgroups of a given classical group of matrices over a ring which contain the subgroup formed by matrices with coefficients in a given subring [Problem 7.40 in The Kourovka Notebook (7th ed. 1980; Zbl 0448.20002), Transl., II. Ser., Am. Math. Soc. 121 (1983; Zbl 0512.20001)]. The author solves this problem for symplectic groups over certain fields. The symplectic group of degree \(2n\) over a field \(K\) is \[ \mathrm{Sp}_{2n}(K)=\{x\mid x\in \mathrm{GL}_{2n}(K),\; xfx^{\prime} =f\} \] where the prime denotes the matrix transposition, \(f=\begin{pmatrix} 0 & e_n \\ -e_n & 0 \end{pmatrix}\), and \(e_n\) is the identity matrix of degree \(n\). Let \(k\) be real closed field, and \(\bar k\) be its algebraic closure. It is proved in this article that \(gp(d_n)\cdot \mathrm{Sp}_{2n}(k)\) is the unique subgroup contained between the symplectic group \(\mathrm{Sp}_{2n}(k)\) and \(\mathrm{Sp}_{2n}(\bar k)\) where \(d_n\) is the diagonal matrix having on the first \(n\) and on the last \(n\) diagonal positions the elements \(i\) and \(-i\) respectively, \(i=\sqrt{-1}\).