The new Neumann operator associated with deformations of strongly pseudo convex domains and its application to deformation theory (Q1064438)

Let N be a complex manifold with complex dimension \(\geq 5\) and \(\Omega\) a strongly pseudoconvex subdomain of N. The author proves the existence of a versal family of deformations (in the sense of Kuranishi) of \(\Omega\). A subcomplex (\({\mathcal E}_ p,{\bar \partial}_ p)\) of the Dolbeault complex \((\Gamma ({\bar \Omega},T'N\otimes \Lambda^ p(T''N)^*),{\bar \partial}^{(p)}_{T'N})\) is defined; the author proves that the cohomology group of \((\Gamma ({\bar \Omega},T'N\otimes \Lambda^ p(T''N)^*),{\bar \partial}^{(p)}_{T'N})\) can be reduced to the cohomology group of ((\({\mathcal E}_ p,{\bar \partial}_ p)\). A new a priori estimate for the complex (\({\mathcal E}_ p,{\bar \partial}_ p)\) is established. This leads to a Hodge decomposition theorem; a Neumann operator and a harmonic operator are defined. The Neumann operator preserves a boundary condition. Then the author proves a priori estimates for this Neumann operator. He defines a subspace \({\mathcal E}'\!_ 1\) of \({\mathcal E}_ 1\) and a finite-dimensional sub-vector space \({\mathcal H}\) of \({\mathcal E}'\!_ 1\) with \({\mathcal H}\to^{\sim}Ker {\bar \partial}^{(1)}_{T'N}/Im {\bar \partial}_{T'N}.\) The completion of \({\mathcal E}'\!_ 1\) with respect to the norm \(\| \| '\!_{(0,m)}\) is a Hilbert space \({\mathcal A}^ m.\) Now the versal family of deformations of the strongly pseudo-convex domain \(\Omega\) \(\subset N\) can be constructed. Theorem: If dim \(\Omega\geq 5\) and \(H^ 2(\Omega,T'N)=0\), there exists an \({\mathcal E}'\!_ 1\)-valued \({\mathcal A}^ m\)-class element \(\phi\) (t), parametrized complex analytically by a neighborhood U of 0 in \({\mathcal H}\) with the following properties: (1) \(\phi\) (0)\(=0\); (2) \({\bar \partial}^{(1)}_{T'N}\phi (t)+R_ 2(\phi (t))=0\); (3) the linear term of \(\phi\) (t) is equal to \(\beta_ 1t_ 1+...+\beta_ qt_ q\), where \(\beta_ 1,...,\beta_ q\) is a basis in \({\mathcal H}\) and \(t_ 1,...,t_ q\) are local coordinates in U (m sufficiently large, \(m\geq n+2)\). The author remarks that the assumption \(H^ 2(\Omega,T'N)=0\) is not essential.