A criterion for extending morphisms from open subsets of smooth fibrations of algebraic varieties

Abstract

Given a smooth morphism Y→S and a proper morphism P→S of algebraic varieties we give a sufficient condition for extending an S-morphism U→P, where U is an open subset of Y, to an S-morphism Y→P, analogous to Zariski’s main theorem.