Group actions of some subgroups of parabolic subgroups (Q1814980)

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\).