Deformation rigidity for projective manifolds and isotriviality of smooth families

TL;DR

This paper proves that smooth projective families with semiample canonical bundle fibers are globally isotrivial, establishing a new criterion and extending deformation rigidity results for complex manifolds.

Contribution

It demonstrates that semiample canonical line bundles imply global biholomorphic triviality in smooth families, and introduces a new isotriviality criterion.

Findings

All fibers are biholomorphic to the same projective manifold when the canonical bundle is semiample.

Birational isotriviality is equivalent to isotriviality under semiample canonical bundle assumptions.

A new Parshin-Arakelov type isotriviality criterion is established.

Abstract

Let $\pi\cln X\to \Delta^m$ be a proper smooth K\"ahler morphism from a complex manifold $X$ to the unit polydisc $\Delta^m$. Suppose the fibers over the complement of a proper analytic subset are biholomorphic to a fixed projective manifold $S$. If the canonical line bundle of $S$ is semiample, then we show that all fibers over $\Delta^m$ are biholomorphic to $S$. As an application, we obtain that for smooth families where the canonical line bundle of the generic fiber is semiample, birational isotriviality is equivalent to isotriviality. Moreover, we establish a new Parshin-Arakelov type isotriviality criterion.