Harmonic form
An exterior differential form on a Riemannian manifold satisfying the equation , where is the Laplace operator corresponding to the Riemannian metric on and is the adjoint of the exterior differential . If has compact support, its harmonicity is equivalent to . The harmonic forms of degree on form a vector space, , over the field . If the Riemannian manifold is compact, is finite-dimensional, being the kernel of the elliptic operator . Since a harmonic form is closed, de Rham's theorem generates a natural mapping of the space into the real cohomology space of degree of . It follows from the Hodge theorem that this mapping is an isomorphism. In particular, harmonic functions, i.e. harmonic forms of degree zero, are constant on a connected compact manifold.
Harmonic forms on a compact Riemannian manifold are invariant with respect to any connected group of isometries of this manifold; for a symmetric space the space coincides with the space of -forms which are invariant with respect to the largest connected group of isometries.
A parallel theory of harmonic forms exists for Hermitian manifolds (cf. Hermitian structure) . A harmonic form on a Hermitian manifold is a complex form lying in the kernel of the Laplace–Beltrami operator (cf. Laplace–Beltrami equation). The harmonic forms of type constitute the space over . If is compact, is finite-dimensional and is naturally isomorphic to the Dolbeault cohomology space. If is a Kähler manifold, these two definitions of harmonic forms are really identical, since . In such a case
and
Let be the Kähler form on , let be the operator of interior multiplication by , let be the operator adjoint to , and let be the space of primitive harmonic forms of type , i.e. forms for which . The following equation is valid for and :
For a compact Kähler manifold the space is identical with the space of holomorphic forms (cf. Holomorphic form) of degree . In particular,
The study of harmonic functions and forms on Riemann surfaces originates with B. Riemann, whose existence theorems were fully proved at the beginning of the 20th century. The theory of harmonic forms on compact Riemannian manifolds was first presented by W.V.D. Hodge [1].
Various generalizations of the theory of harmonic forms were subsequently given. Let there be given a locally flat (analytic) vector bundle on a Riemannian (Hermitian) manifold , and let there be given a Euclidean (Hermitian) metric on the fibres of . By suitably generalizing the Laplace (Laplace–Beltrami) operator [4], [8], it is possible to define the spaces () of harmonic forms with values in (cf. Differential form). If is compact, these spaces are finite-dimensional and isomorphic to the corresponding cohomology spaces of de Rham and Dolbeault, which can in turn be interpreted in terms of sheaf cohomology. In the case of locally flat bundles these cohomology spaces are also closely connected with the cohomology spaces of the group . If is not compact, the space of square-integrable harmonic forms is isomorphic to the homology space of the complex of square-integrable forms [2]. If is a domain with smooth boundary and compact closure in a Kähler manifold , it is also possible to consider the space of harmonic forms of type , with values in an analytic vector bundle over , smooth in and continuous on . If is strictly pseudo-convex, this space is finite-dimensional and is isomorphic to the Dolbeault cohomology space corresponding to over .
Harmonic forms are a powerful tool in the study of the cohomology of real and complex manifolds and of cohomology spaces of discrete groups. The theory of harmonic forms yields fundamental cohomological properties of compact Kähler manifolds and, in particular, of projective algebraic varieties [1], [4], [5]. Harmonic forms can be used to establish a connection between the curvature of a compact Riemannian manifold and the triviality of some of its cohomology groups [6], [7]. Similar connections have also been obtained in complex analytic geometry [4], [5] and in the theory of discrete transformation groups [8].
References
[1] | W.V.D. Hodge, "The theory and application of harmonic integrals" , Cambridge Univ. Press (1952) |
[2] | G. de Rham, "Differentiable manifolds" , Springer (1984) (Translated from French) |
[3a] | L. Schwartz, "Equaciones diferenciales parciales elipticas" , Univ. Nac. Colombia (1973) |
[3b] | L. Schwartz, "Variedades analiticas complejas" , Univ. Nac. Colombia (1956) |
[4] | R.O. Wells jr., "Differential analysis on complex manifolds" , Springer (1980) |
[5] | S.S. Chern, "Complex manifolds without potential theory" , Springer (1979) |
[6] | S.I. Goldberg, "Curvature and homology" , Acad. Press (1962) |
[7] | K. Yano, S. Bochner, "Curvature and Betti numbers" , Princeton Univ. Press (1953) |
[8] | Y. Matsushima, S. Murakami, "On vector bundle valued harmonic forms and automorphic forms on symmetric Riemannian manifolds" Ann. of Math. , 78 (1963) pp. 365–416 |
[9a] | J.J. Kohn, "Harmonic integrals on strongly pseudoconvex manifolds I" Ann. of Math. , 78 (1963) pp. 112–148 |
[9b] | J.J. Kohn, "Harmonic integrals on strongly pseudoconvex manifolds II" Ann. of Math. , 79 (1964) pp. 450–472 |
Harmonic form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Harmonic_form&oldid=14757