Group actions of some subgroups of parabolic subgroups

From MaRDI portal





The author is interested in the structure of invariant rings and invariant fields of special linear actions in the following situation: Given an \(n\)-dimensional vector space \(V\) over a finite field \(K\) and a flag \(V=V_0\supset V_1\supset\dots \supset V_r=\{0\}\) of subspaces, invariant under a parabolic subgroup \(P\subset GL(V)\). Given also a subgroup \(G\subset P\) which contains the unipotent radical of \(P\) such that the image of the canonical representation \(G\to GL(V_0/V_1\times V_1/V_2\times\dots \times V_{r-1})\) splits into a direct product \(G_1\times\dots \times G_r\) with \(G_i\subset GL(V_{i-1}/V_i)\). If the invariant rings \(K[V_{i-1}/V_i]^{G_i}\), \(1\leq i\leq r\), are polynomial rings (resp. complete intersections, resp. Gorenstein, resp. Cohen-Macaulay), is this also true for \(K[V]^G\)? The author gives an affirmative answer to this question. If \(K[V_{i-1}/V_i]\) is a free module over \(K[V_{i-1}/V_i]^{G_i}\), \(1\leq i\leq r\), then \(K[V]\) is a free \(K[V]^G\)-module. Moreover he shows that the invariant field \(K(V)^G\) is rational over \(K\) if the fields \(K(V_i)^{G_i}\) are rational over \(K\) for \(1\leq i\leq r\).











This page was built for publication: Group actions of some subgroups of parabolic subgroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1814980)