An integrality theorem of Grosshans over arbitrary base ring (Q742495)

Let \(k\) be an algebraically closed field (of arbitrary characteristic), let \(G\) be a reductive algebraic group over \(k\) acting rationally on a commutative \(k\)-algebra \(A\), and let \(U\) be the unipotent radical of a Borel subgroup of \(G\). Then \textit{F. D. Grosshans} proved in [Invent. Math. 107, No. 1, 127--133 (1992; Zbl 0778.20018)] that the algebra \(A\) is integral over \(G \cdot A^U\), the smallest \(k\)-subalgebra of \(A\) which is \(G\)-stable and contains \(A^U\). In this paper, the author goes one step further by generalizing Grosshans Theorem over an arbitrary base ring, i.e., when \(k\) is a (non necessarily Noetherian) commutative ring and \(G\) is a split reductive algebraic group scheme over \(k\) (see Theorem 6). The main tool to prove this result, already used implicitly by \textit{F. D. Grosshans} [loc. cit.], is the property for a split reductive algebraic group scheme to be \textit{power reductive}; this was proved by \textit{V. Franjou} and the author in [Doc. Math., J. DMV Extra Vol., 171--195 (2010; Zbl 1213.20044)].