Abstract
The work is concerned with local exactness in the cohomology of the differential complex associated with a hypo-analytic structure on a smooth manifold. Only structures of the hypersurface type are considered, i.e., structures in which the rank of the characteristic set does not exceed one. Among them are the CR structures of real hypersurfaces in a complex manifold. The main theorem states anecessary condition for local exactness in dimensionq to hold. The condition is stated in terms of the natural homology associated with the differential complex, as inherited by the level sets of the imaginary part of an arbitrary solutionw whose differential spans the characteristic set at the central point. An intersection number, which generalizes the standard number in singular homology, is defined; the condition is that this number, applied to the intersection of the level sets ofImw with the hypersurfaceRew=0, vanish identically. In a CR structure, and in top dimension, this is shown to be equivalent to the property that the Levi form not be definite at any point—a property, that is likely to be also sufficient for local solvability.
Similar content being viewed by others
References
Andreotti, A., and Hill, C. D. E. E. Levi convexity and the Hans Lewy problem I. Ann. Scuola Norm. Sup. Pisa Sci. Fis. Mat.26, 325–363 (1972). E. E. Levi convexity and the Hans Lewy problem II. Ann. Scuola Norm. Sup. Pisa Sci. Fis. Mat.26, 747–806 (1972).
Baouendi, M. S., Chang C., and Treves, F. Microlocal analyticity and extension of CR functions. J. Diff. Geometry18, 331–391 (1983).
Baouendi, M. S., and Treves, F. A property of the functions and distributions annihilated by a locally integrable system of complex vector fields. Ann. Math.113, 387–421 (1981).
Cartan, H. Séminaires E.N.S. 1951/52.
Cordaro, P., and Hounie, J. On local solvability of underdetermined systems of vector fields. Am. J. Math.112, 243–270 (1990).
De Rham, G. Varietés différentiables. Paris 1955.
Godement, R. Topologie Algébrique et Théorie des Faisceaux. Paris: Hermann 1958.
Hörmander, L. Differential equations without solution. Math. Ann.140, 169–173 (1960).
Mendoza, G., and Treves, F. Local solvability in a class of overdetermined systems of linear PDE. Duke Math. J. (1991). To appear.
Nirenberg, L., and Treves, F. Solvability of a first-order partial differential equation. Comm. Pure Appl. Math.16, 331–351 (1963).
Schwartz, L. Théorie des distribution. 2nd ed. Paris: Hermann 1966.
Treves, F. Study of a model in the theory of complexes of pseudodifferential operators. Ann. Math.104, 269–324 (1976).
Treves, F. On the local integrability and local solvability of systems of vector fields. Acta Math.151, 1–48 (1983).
Treves, F. On the local solvability for top degree forms in hypo-analytic structures. Am. J. Math.,112, 403–421 (1990).
Treves, F. Hypo-analytic structures. Princeton, NJ: Princeton University Press 1991.
Author information
Authors and Affiliations
Additional information
Communicated by David Kinderlehrer
P.C. was partially supported by FAPESP Grant 87/1777-2; F.T. was partially supported by NSF Grant DMS-8603171.
Rights and permissions
About this article
Cite this article
Cordaro, P., Treves, F. Homology and cohomology in hypo-analytic structures of the hypersurface type. J Geom Anal 1, 39–70 (1991). https://doi.org/10.1007/BF02938114
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02938114