Structure of \(\mathbb A^2\)-fibrations over one-dimensional Noetherian domains
type: Item
instance of: scholarly article
title: Structure of \(\mathbb A^2\)-fibrations over one-dimensional Noetherian domains
zbMATH Open document ID: 0893.13006
DOI: 10.1016/S0022-4049(96)00005-9
published in: Journal of Pure and Applied Algebra
publication date: 1998-08-16T00:00:00Z
review text: Let \(R\) be a commutative ring with unity. Let \(R^{[n]}\) denote a polynomial ring in \(n\) variables over \(R\). For a prime ideal \(P\) of \(R\), \(K(P)\) denotes the field \(R_P/ PR_P\). An \(R\)-algebra \(A\) is said to be an \(\mathbb{A}^r\)-fibration over \(R\) if (i) \(A\) is finitely generated over \(R\), (ii) \(A\) is flat over \(R\), (iii) \(A\otimes_RK(P)= K(P)^{[r]}\) for every prime ideal \(P\) of \(R\). If \(R\) is a discrete valuation ring containing \(\mathbb{Q}\) (the field of rationals) and \(A\) is an \(\mathbb{A}^2\)-fibration over \(R\), then \textit{A. Sathaye} [Invent. Math. 74, 159-168 (1983; Zbl 0538.13006)] has proved that \(A=R^{[2]}\). On the other hand, if a discrete valuation ring \(R\) does not contain \(\mathbb{Q}\) then \textit{T. Asanuma} [Invent. Math. 87, 101-127 (1987; Zbl 0607.13015)] has shown that there exists an \(\mathbb{A}^2\)-fibration \(A\) over \(R\) such that \(A\not\approx R^{[2]}\). -- In view of the above mentioned results, it is natural to ask: How does an \(\mathbb{A}^2\)-fibration arise over an arbitrary one-dimensional noetherian domain \(R\) containing \(\mathbb{Q}\)? Theorem. Let \(R\) be a one-dimensional noetherian domain containing the field \(\mathbb{Q}\) of rational numbers. Let \(A\) be an \(\mathbb{A}^2\)-fibration over \(R\). Then there exists \(H\in A\) such that \(A\) is an \(\mathbb{A}^1\)-fibration over \(R[H]\).
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 13B25
zbMATH DE Number: 986722
zbMATH Keywords: polynomial ring
zbMATH Keywords: fibration
author: Teruo Asanuma
author: S. M. Bhatwadekar
MaRDI profile type: Publication
cites work: Q4097032
cites work: Polynomial fibre rings of algebras over noetherian rings
cites work: Q5562621
cites work: Locally polynomial algebras are symmetric algebras
cites work: Q4853289
cites work: Some theorems about projective modules over polynomial rings
cites work: On the \(R\)-invariance of \(R[X]\)
cites work: On the Picard group of polynomial rings
cites work: Polynomial ring in two variables over a D.V.R.: A criterion
cites work: Projective algebras
Wikidata QID: Q126782489
description: scientific article; zbMATH DE number 986722