Structure of \(\mathbb A^*\)-fibrations over one-dimensional seminormal semilocal domains (Q1818870): Difference between revisions

If \(R\) is a Noetherian domain, a finite generated flat \(R\)-algebra \(A\) is said to be an \(\mathbb{A}^1\)-fibration (respectively, an \(\mathbb{A}^*\)-fibration) over \(R\) if for each prime ideal \(P\) of \(R\), the fibre ring \(k(P) \otimes_RA\) is isomorphic to \(k(P)[X]\) (respectively, \(k(P) [X,X^{-1}])\) where \(X\) is an indeterminate. It is known that if \(R\) is Noetherian, seminormal and semilocal, then any \(\mathbb{A}^1\)-fibration over \(R\) is isomorphic to \(R[X]\), and that if \(R\) is Noetherian, normal and semilocal, then any \(\mathbb{A}^*\)-fibration over \(R\) is isomorphic to \(R[X,X^{-1}]\). In this paper a structure theorem is given for \(\mathbb{A}^*\)-fibrations \(A\) over a one-dimensional Noetherian seminormal semilocal domain \(R\), and it is shown that such an \(R\)-algebra \(A\) is isomorphic to \(R[X,X^{-1}]\) if and only if \(\text{Spec}(A)\) is isomorphic to an open subscheme of \(\text{Spec} (R[T])\). An example is given of a nontrivial \(\mathbb{A}^*\)-fibration over a one-dimensional Noetherian seminormal semilocal domain \(R\).