On \(\mathbb A^*\)-fibrations (Q1567650)

The authors proves several interesting results about minimal sufficient fibre conditions for finitely generated flat algebras over Noetherian integral domains. In their main theorem they suppose that the generic fibre \(K\otimes_R A\) is a Laurent polynomial ring in one variable over \(K\) and that the fibre ring \(k(P)\otimes_R A\) is geometrically integral but not \({\mathbb{A}}^1\) over \(k(P)\) for every prime \(P\) of height one. It is proved that \(A\) is a \({\mathbb Z}\)-graded algebra isomorphic to \(R[IT,I^{-1}T^{-1}]\), with \(I\) an invertible ideal in \(R\). The proof is based on the representation of a flat algebra over an integral domain with quotient field \(K\) as \(\bigoplus_{n\in{\mathbb Z}}I^nT^n \subseteq K[T,T^{-1}]\) and on the consideration of the theorem over Krull domains. There are also discussed appropriate examples.