A regularity theorem for deformations of a compact complex surface (Q1917961): Difference between revisions

Let \({\mathcal M}\) be a complex manifold, and \(f : {\mathcal M} \to D \subseteq \mathbb{C}^m \) a proper, holomorphic map, such that \(\text{rank} (J(f))_p = m\) for all \(p \in {\mathcal M}\). Then \({ \mathcal M}\) will correspond to a holomorphic family of compact, complex manifolds, fibered over \(D \). If \(Z \subset D\) is an analytic subset, such that the family \({\mathcal M} \backslash f^{-1} (Z)\) is locally trivial over \(D \backslash Z\), under what circumstances is \({\mathcal M}\) trivial? This question is related to the phenomenon of complex ``structure-jumping'' in Kodaira-Spencer Deformation Theory. We show that when \({\mathcal M} \backslash f^{-1} (Z)\) corresponds to a family such that for all \(t \in D \backslash Z\), \(f^{-1} (t)\) is either a holomorphic fiber bundle over \(\mathbb{C} P_1\) or a compact, complex surface having one of these as minimal model under a finite sequence of bimeromorphic transformations, then \(Z\) has complex codimension at least four in \(D\) implies \({\mathcal M}\) is trivial.