A regularity theorem for deformations of a compact complex surface (Q1917961)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A regularity theorem for deformations of a compact complex surface |
scientific article |
Statements
A regularity theorem for deformations of a compact complex surface (English)
0 references
20 October 1996
0 references
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.
0 references
holomorphic family
0 references
analytic subvariety
0 references
Hirzebruch surface
0 references
coherent sheaf
0 references
direct image
0 references
Hopf surface
0 references
blowing down
0 references