Smoothly parameterized Čech cohomology of complex manifolds (Q1781395)

The authors consider a parametrized Čech cohomology in the following way. Let \(Z\) be a complex manifold, a given open covering \(\{ U_\xi\}_{\xi \in \Xi}\) where \(\Xi\) is a smooth manifold and define \(M = \{ \xi, z) \in \Xi \times Z | z \in U_\xi\}\) such that \(M\) is an open subset of \(\Xi \times Z\). Consider then submersions \(\eta, \tau\) of \(M\) into \(Z\) (respectively \(\Xi\)) obtained as restrictions of the natural projections to \(M\). The authors consider then, locally, functions partially holomorphic (i.e., smooth functions if \(\xi, z\), holomorphic in \(z\) for fixed) \(\xi\), denote by \(OE\) the respective sheaf of germs, by \(\Lambda_\Xi^p\) the bundle of \(p\)-forms in \(\Xi\) and let \(B^p = \tau^* \Lambda_\Xi^p\) (these are \(p\)-forms along the fibres of \(\eta\)). With the exterior derivative in \(\xi\)-variables (denoted \(d_\eta\)) one obtains a complex of sheaves, and one defines the \(p\)-smooth Čech cohomology as the cohomology (at the level \(p\)) of this complex. For this cohomology to coincide with the analytic cohomology \(H^p(Z, \mathcal{O})\) it is sufficient to suppose that \(M\) is a Cartan manifold in the sense of \textit{M. Jurchescu} [Lect. Notes Math. 743, 431--448 (1979; Zbl 0426.58002)]. This ensures that the partially holomorphic hull \(\hat K_M\) of a compact \(K\) in \(M\) is compact. Now, the authors prove (Th. 2.1.) that if \(Z\) is as above endowed with a smoothly parametrized open cover and \(M\) is Cartan with \(\eta\) having contractible fibres then \[ H^p (Z, \mathcal{O}) \simeq H^p (\Gamma (M, OE(B^0)) \] for any \(p\). Now, if \(M\) is a mixed manifold (in the sense of Jurchescu) it is known (Jurchescu, loc. cit) that \(H^q(M, OE) = 0 \; \forall q \geq 1\). More generally, if \(M\) is a mixed manifold, \(Z\) a complex manifold and \(\eta : M \to Z\) a partially holomorphic submersion we have (Th. 4.1.): there is a complex of sheaves on \(M\) \[ O \to OE (B^0) \mathop{\to}\limits^{d_\eta} OE (B^1) \to \ldots OE(B^p) \mathop{\to}\limits^{d_\eta} OE(B^{p + 1}) \to \ldots \] such that if \(M\) is a Cartan manifold and the fibres are contractible then \[ H^p (Z, \mathcal{O})\simeq H^p (\Gamma (M, OE (B^0)))\;\forall p.\tag{*} \] Here \(B^1\) is a bundle on \(M\) defined by the exact sequence \( 0 \to \eta^* \Lambda_Z^{1, 0} \to \Lambda_M^{1, 0} \to B^1 \to 0\), and \(B^p = \Lambda^p(B^1)\). If \(\nu : Z \to M\) is a smooth section of the submersion \(\eta : M \to Z\) then there is a mapping of complexes \(\Gamma (M, OE(B^0)) \to \Gamma (Z, \Sigma^{0, 0})\) which induces the isomorphims (*) if the hypothesis of Theorem 4.1 are satisfied. Theorem 4.1 is applied to tubes over non convex cones. For that the authors introduce the notion of \(s\)-convex tube. They prove that if \(Z = V + i \mathbb{R}^n\) is such a tube, and if \(M = \{ (\xi, z) \in \Xi \times Z\) s.t. \(z \in W_\xi \times i \mathbb{R}^n\}\), then \(M\) is a Cartan manifold and the natural projection \(\eta : M \to Z\) has contractible fibres. (Here \(\Xi\) is some connected smooth manifold which satisfies some condition related to the notion of \(s\)-convexity) As a corollary it follows that the analytic cohomology of an \(s\)-convex tube can be computed by smooth Čech cohomology. Some interesting examples are given. The last paragraph shows how the cohomology of the twistor space of a self-dual manifold can be described in this setting, and this may be used to invert the Penrose transform.