Algebras with affine fibres over an excellent ring (Q802676)

The author shows: Let D be a noetherian ring and p a prime ideal of D. For a D-algebra R, \(R\otimes_ Dk(p)\) is called the fibre ring of R over k(p), where k(p) stands for the residue field \(D_ p/pD_ p\). And R is called a pseudopolynomial D-algebra in n variables if the fibre ring \(R\otimes_ Dk(p)\) is isomorphic to a polynomial ring in n variables over k(p) for every prime ideal p of D. Theorem 4.4. Let D be an excellent normal semi-local domain and let R be a flat D-algebra satisfying the following conditions: (i) \(R\otimes_ Dk(p)\) is normal affine domain over k(p) for every prime ideal p of D; (ii) \(tr.\deg_{k(p)}R\otimes_ Dk(p)\) is constant independent of p. Then R is a normal domain which is finitely generated over D. Corollary 4.6. Let D be a noetherian semi-local ring and let R be a flat pseudopolynomial D-algebra. Then R is an affine ring over D.