A criterion for extending morphisms from open subsets of smooth fibrations of algebraic varieties (2405.06369v1)

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