Shafarevich's conjecture for families of hypersurfaces over function fields

Abstract: Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in $\mathbb{P}{\mathbb C}^{n+1}$. We prove that the finiteness is uniform in $\mathcal{S}$ and we give examples where the result is sharp. We also prove similar results for certain complete intersections in $\mathbb{P}{\mathbb C}^{n+1}$ of higher codimension and more generally for algebraic varieties whose moduli space admits a period map that satisfies the infinitesimal Torelli theorem.