pith. sign in

arxiv: math/0511100 · v1 · pith:R32OPPL6new · submitted 2005-11-04 · 🧮 math.AC

Base change of invariant subrings

classification 🧮 math.AC
keywords otimesalgebraflatisomorphismactsaffinealgebraicallyassume
0
0 comments X
read the original abstract

Let $R$ be a Dedekind domain, $G$ an affine flat $R$-group scheme, and $B$ a flat $R$-algebra on which $G$ acts. Let $A \to B^G$ be an $R$-algebra map. Assume that $A$ is Noetherian. We show that if the induced map $K\otimes A\to (K\otimes B)^{K\otimes G}$ is an isomorphism for any algebraically closed field $K$ which is an $R$-algebra, then $S\otimes A\to (S\otimes B)^{S\otimes G}$ is an isomorphism for any $R$-algebra $S$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.