On codimension-one \(\mathbb A^1\)-fibration with retraction (Q412540): Difference between revisions

Let \(R\) be a noetherian domain with quotient field \(K\). A finitely generated flat \(R\)-algebra \(B\) is called an \({\mathbb{A}}^1\)-fibration over \(R\) if \(B\otimes_R k(P)\) is isomorphic with a polynomial \(k(P)=R_P/PR_P\)-algebra in one variable for each \(P\in \mathrm{Spec}R\). Suppose that \(\mathrm{char}R=0\) and \(A\) is a noetherian flat \(R\)-algebra with a retraction \(A\rightarrow R\) such that \(A\otimes_R K\) is a polynomial \(K\)-algebra in one variable and \(A\otimes_R k(P)\) is a domain for each height one prime ideal \(P\) of \(R\). Then \(A\) is an \({\mathbb{A}}^1\)-fibration over \(R\) and if \(R\) is seminormal then \(A\cong \mathrm{Sym}_R(I)\) for some invertible ideal \(I\) of \(R\). This extends a result of the second author [J. Math. Kyoto Univ. 35, No. 3, 377--385 (1995; Zbl 0861.14015)].