Flat families of affine lines are affine-line bundles

Abstract

By a fibration over a scheme S we mean a faithfully flat morphism X S of finite type, and one such morphism will be called an An-bundle over S if the S-scheme X is locally isomorphic to the affine n-space A 7 and S relative to the Zariski topology. The purpose of this note is to establish the following theorem.