On invariants of some maximal subgroups of finite classical groups (Q2880071)

Let \(F_q\) be the finite field with \(q\) elements, \(V\) be a vector space of finite dimension over \(F_q\). If \(G\) is a subgroup of \(GL(V)\), the purpose of this paper is to study whether the fixed field \(F_q(V)^G\) (resp. the fixed ring \(F_q[V]^G\)) is purely transcendental over \(F_q\) (resp. a polynomial ring over \(F_q\)).NEWLINENEWLINEThe subgroups \(G\) of \(GL(V)\) considered in this paper are of four types :NEWLINENEWLINE (1) (\(GL_k(F_q),GL_m(F_q)\)) (page 150),NEWLINENEWLINE (2) (\(GL_d(F_q),Sp_{2n-2d}(F_q)\)) (page 154),NEWLINENEWLINE (3) (\(Sp_{2d}(F_q),Sp_{2n-2d}(F_q)\)) (page 155),NEWLINENEWLINE (4) \(Sp_{2d}(F_q) \wr S_m\) (page 157).NEWLINENEWLINEThe rationality of \(F_q(V)^G\) for the above four types is proved. Moreover, except for the group in (4), it is shown that the ring \(F_q[V]^G\) is a polynomial ring, and therefore the fixed field \(F_q(V)^G\) is rational.NEWLINENEWLINEReviewer's remark: The reviewer would like to remark that the results for groups in (1) and (3) follow from results of the reviewer's paper [``Group actions of some subgroups of parabolic subgroups'', J. Algebra 185, No. 1, 175--183 (1996; Zbl 0877.14033)]. A related result of group actions for wreath products can be found in Theorem 1.7 of a paper by the reviewer and \textit{B. Plans} [``Reduction theorems for Noether's problem'', Proc. Am. Math. Soc. 137, No. 6, 1867--1874 (2009; Zbl 1177.12006)].