An integrality theorem of Grosshans over arbitrary base ring

DOI10.1007/S00031-013-9241-XMaRDI QIDQ742495zbMATH OpenOpenAlexFDO

Authors Wilberd van der Kallen

Publication date 18 September 2014

Published in Transformation Groups (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.3271

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Group actions on varieties or schemes (quotients) (14L30)

Abstract: We revisit a theorem of Grosshans and show that it holds over arbitrary commutative base ring $k$. One considers a split reductive group scheme $G$ acting on a $k$-algebra $A$ and leaving invariant a subalgebra $R$. If $R^U=A^U$ then the conclusion is that $A$ is integral over $R$.

Review text

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

Recommendations

• scientific article; zbMATH DE number 4137903
• Integrality Over Fixed Rings
• Some results on Gröbner bases over commutative rings
• The Gross–Kohnen–Zagier theorem over totally real fields
• On Gröbner bases and Krull dimension of residue class rings of polynomial rings over integral domains
• A Characterization of Gorenstein Rings and Grothendieck's Conjecture
• Integral Grothendieck-Riemann-Roch theorem
• A theorem on units of integral group rings
• Analogs of Gröbner bases in polynomial rings over a ring
• On generalized integral representations over Dedekind rings

Cites work

• Algebraic homogeneous spaces and invariant theory
• Contractions of the actions of reductive algebraic groups in arbitrary characteristic
• Geometric reductivity over arbitrary base
• scientific article; zbMATH DE number 2019767 (Why is no real title available?)
• scientific article; zbMATH DE number 3377452 (Why is no real title available?)
• Power reductivity over an arbitrary base.
• Schémas en groupes. II: Groupes de type multiplicatif, et structure des schémas en groupes généraux. Exposés VIII à XVIII. Séminaire de Géométrie Algébrique du Bois Marie 1962/64 (SGA 3) dirigé par Michel Demazure et Alexander Grothendieck. Revised reprint
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(4)

• Reductivity properties over an affine base
• A theorem of Gilmer and the canonical universal splitting ring
• scientific article; zbMATH DE number 4137903 (Why is no real title available?)
• Power reductivity over an arbitrary base.

This page was built for publication: An integrality theorem of Grosshans over arbitrary base ring

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