×

\(\overline\partial\)-coherent sheaves on complex manifolds. (Faisceaux \(\overline\partial\)-cohérents sur les variétés complexes.) (French) Zbl 1110.32003

The author generalizes in a natural but highly nontrivial way a classification result of J.-L. Koszul and B. Malgrange [Arch Math. 9, 102–109 (1958; Zbl 0083.16705)] which says that a differential vector fiber bundle over a complex manifold, admitting a connexion of type \((0, 1)\), \(\partial\) such that \(\overline\partial^2 = 0\) has a structure of holomorphic vector bundle. Let \((X, J)\) be a complex manifold, \(J\) the tensor of the almost complex structure, supposed to be integrable. Let \({\mathcal E}_X\) be the sheaf of \(C^\infty\) (complex valued) functions in \(X\), \({\mathcal E}_X^{0, q}\) the sheaf of \((0, q)\) forms and \(\partial_j\) the \((0, 1)\) component of the differential. Consider on \(X\) a sheaf \({\mathcal G}\) of \({\mathcal E}_X\)-modules, endowed with a connection \(\overline\partial : {\mathcal G} \otimes_{{\mathcal E}_X} {\mathcal E}_X^{0, 1}\) of type \((0, 1)\) with \(\overline\partial^2 = 0\); if \({\mathcal G}\) admits local \({\mathcal E}\)-resolutions of finite length, then \({\mathcal G}\) is called a \(\bar\partial\)-coherent sheaf.
The main result is: The sheaf of the \({\mathcal O}_X\)-module \(\operatorname{Ker}\overline\partial \subset {\mathcal G}\) is an analytic coherent sheaf, \({\mathcal G} = (\operatorname{Ker}\overline\partial)\). \({\mathcal E}_X \simeq (\operatorname{Ker}\overline\partial)\otimes_{{\mathcal O}_X} {\mathcal E}_X\) and the \(\overline\partial\)-connection coincides (modulo a canonical isomorphism) with the natural extension \(\overline\partial_{\ker\overline\partial}\) associated with the coherent sheaf \(\ker\overline\partial\). We have also that for any finite local \(\mathcal{E}\)-resolution of \(\mathcal{G}\) over an open set \(U \subset X\), with morphisms \(\varphi_k\), the sets \(Z_l (\varphi_k) = \{ x \in U\), \(\text{rank}_{{\mathcal C}} \varphi_k(x) \leq l\}\) are analytic sets for any integer \(l \geq 0\) and \(k = 1, \dots, m\) (\(m=\) the length of the resolution). The important fact is that there is an exact equivalence between the category of analytic coherent sheaves and the category of \(\bar\partial\)-coherent sheaves. The essential point here is that the ring of germs of \(C^\infty\) complex valued functions is \({\mathcal O}_X\)-faithfully flat (\({\mathcal O}_X=\) sheaf of germs of holomorphic functions).
The proof has several steps. The first step is to find an local expression of the integrability condition \(\overline\partial^2 = 0\), which is realized through a recursion procedure. Then the author introduces the notion of recalibration, which generalize the notion of change of gauge for the local forms of an integrable connection of \((0, 1)\) type on locally free sheaf. The third step consists in a formulation of the differential form of the local expression. In fact, the difficulty consists in showing that for any local resolution of the sheaf \({\mathcal G}\) one can find, in the neighborhood of any point of the open set on which the local resolution is defined, another local resolution where elements are holomorphic matrices. This is shown to be equivalent to the existence of solution of a certain quasilinear differential system. Finally, after a suitable choice of norm for the Leray-Koppelman operator of the ball of radius \(r\), the author uses a Nash-Moser scheme (rapidly converging) which solves the existence problem for the differential system considered above. This requires a very careful analysis in order to obtain the precise estimates which ensure the convergence of the procedure. An application of the main results is a method (caled \(\overline\partial\)-stability) which allows to find analytic structures by \(C^\infty\)-deformation of other analytic structures.

MSC:

32C35 Analytic sheaves and cohomology groups
35N10 Overdetermined systems of PDEs with variable coefficients

Citations:

Zbl 0083.16705
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Demailly, J.P.: Complex analytic and differential geometry, available at http://www-fourier.ujf-grenoble.fr.
[2] Gilbarg, D., Trudinger, N.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin Heidelberg New York (1997) · Zbl 1042.35002
[3] Griffiths, P.A., Harris, J.: Principles of algebraic geometry, Wiley, New York (1978) · Zbl 0408.14001
[4] Harvey R., Polkin J. (1979). Fundamental solutions in complex analysis I. II. Duke Math. J. 46, 253–340 · Zbl 0441.35043 · doi:10.1215/S0012-7094-79-04613-1
[5] Henkin, G.M., Leiterer, J.: Theory of Functions on Complex Manifolds. Birkhäuser, Boston (1984)
[6] Hörmander, L.: An Introduction to Complex Analysis in Several Variables, vol 7, 3rd edn. North-Holand Math. Libr., Amsterdam, (1966) · Zbl 0138.06203
[7] Kobayashi, S.: Differential Geometry of Complex Vector Bundles, Pub. Math. Soc. Japan 15 (Kanô Memorial Lectures 5). Iwanami Shoten Publishers and Princeton University Press. (1987) · Zbl 0708.53002
[8] Koszul J-L., Malgrange B. (1958). Sur certaines structures fibrées complexes. Arch. Math, IX, 102–109 · Zbl 0083.16705 · doi:10.1007/BF02287068
[9] Malgrange, B.: Ideals of Differentiable Functions. Oxford University Press Oxford (1966) · Zbl 0177.17902
[10] Moser J.K. (1961). A new technique for the construction of solutions of nonlinear differential equations. Proc. Natl. Acad. Sci. USA 47, 1824–1831 · Zbl 0104.30503 · doi:10.1073/pnas.47.11.1824
[11] Moser J.K. (1966). A rapidly convergent iteration method and nonlinear differential equations I,II. Ann. Scuola Norm. Sup. Pisa 20, 499–535 · Zbl 0144.18202
[12] Range, M.: Holomorphic Functions and Integral Reppresentations In Several Complex Variables. Springer, Berlin Heidelberg New York (1986) · Zbl 0591.32002
[13] Webster S.M. (1989). A new proof of the Newlander–Nirenberg theorem. Math. Z. 201, 303–316 · Zbl 0651.32004 · doi:10.1007/BF01214897
[14] Webster S.M. (1989). On the proof of Kuranishi’s embedding theorem. Ann. Inst. Henri Poincaré, Nouv Serie., B (Anal. non linéaire) 6, 183–207 · Zbl 0679.32020
[15] Wells, R.O.: (1980) Differential analysis on complex manifolds, Graduate Texts in Mathematics, vol 65, 2nd edn. Springer, Berlin, Heidelberg New York (1980) · Zbl 0435.32004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.