On locally quasi \(\mathbb A^*\) algebras in codimension-one over a Noetherian normal domain
type: Item
instance of: scholarly article
title: On locally quasi \(\mathbb A^*\) algebras in codimension-one over a Noetherian normal domain
zbMATH Open document ID: 1219.14070
author: Neena Gupta
author: S. M. Bhatwadekar
published in: Journal of Pure and Applied Algebra
publication date: 2011-05-23T00:00:00Z
review text: Let \(R\) be a Noetherian ring and let \(A\) be an \(R\)-algebra. Let \(P\) be a prime ideal of \(R\). One says that \(A\) is \(\mathbb{A}^1\) over \(R\) at \(P\), if \(A_P\) is isomorphic as an \(R_P\)-algebra to \(R_P[X]\) for an indeterminate \(X\). Similarly, it is an \(\mathbb{A}^*\) if it is isomorphic to \(R_P[X,x^{-1}]\). It is a quasi \(\mathbb{A}^*\) if it is isomorphic to \(R_p[X,(aX+b)^{-1}]\) (at least when \(R\) is a domain) with \(a\neq 0\) and \(a,b\) comaximal in \(R\). The \(\mathbb{A}^1\) case has been extensively studied and one of the seminal works in this direction is due to \textit{P.~Russell} and \textit{A.~Sathaye} [J. Alg. 57, 151--166 (1979; Zbl 0411.13011)]. The first author of the paper under review has made several contributions in this direction and initiated work on \(\mathbb{A}^*\) and quasi \(\mathbb{A}^*\) fibrations. The authors prove the following two theorems. Theorem A. Let \((R,\mathfrak{m})\) be a Noetherian normal local domain and \(A\) a faithfully flat algebra over \(R\) which is quasi \(\mathbb{A}^*\) at every height at most one primes of \(R\). Then \(A\) is a quasi \(\mathbb{A}^*\) algebra if and only if \(A\) is finitely generated over \(R\) if and only if \(R/\mathfrak{m}\subsetneq A/\mathfrak{m}A\). Moreover, if \(R\) is complete and \(A\) is Noetherian, then the above equivalent conditions are satisfied. Theorem B. Let \(R\) be a Noetherian normal domain and \(A\) a faithfully flat \(R\)-algebra which is \(\mathbb{A}^*\) at all primes of height at most one in \(R\). Then \(A=\oplus_{n\in\mathbb{Z}} I^nu^n\) for an invertible ideal \(I\) of \(R\).
reviewed by: N. Mohan Kumar
Mathematics Subject Classification ID: 14R25
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 13E15
zbMATH DE Number: 5899131
zbMATH Keywords: \(\mathbb{A}^1\) fibrations
zbMATH Keywords: \(\mathbb{A}^*\) fibrations
zbMATH Keywords: quasi \(\mathbb{A}^*\) fibrations
MaRDI profile type: Publication
full work available at URL: j.jpaa.2011.02.013
OpenAlex ID: W2008313150
cites work: On \(\mathbb A^*\)-fibrations
cites work: On algebras which are locally \(\mathbb A^1\) in codimension-one
cites work: Some results on codimension-one \(\mathbb A^{1}\)-fibrations
cites work: Q5670698
cites work: On finding and cancelling variables in k[X,Y,Z]
cites work: Flat Modules Over Commutative Noetherian Rings
DOI: 10.1016/J.JPAA.2011.02.013
description: scientific article; zbMATH DE number 5899131