In complex geometry, the lemma (pronounced ddbar lemma) is a mathematical lemma about the de Rham cohomology class of a complex differential form. The -lemma is a result of Hodge theory and the Kähler identities on a compact Kähler manifold. Sometimes it is also known as the -lemma, due to the use of a related operator , with the relation between the two operators being and so .
The lemma asserts that if is a compact Kähler manifold and is a complex differential form of bidegree (p,q) (with ) whose class is zero in de Rham cohomology, then there exists a form of bidegree (p-1,q-1) such that
where and are the Dolbeault operators of the complex manifold .
The form is called the -potential of . The inclusion of the factor ensures that is a real differential operator, that is if is a differential form with real coefficients, then so is .
This lemma should be compared to the notion of an exact differential form in de Rham cohomology. In particular if is a closed differential k-form (on any smooth manifold) whose class is zero in de Rham cohomology, then for some differential (k-1)-form called the -potential (or just potential) of , where is the exterior derivative. Indeed, since the Dolbeault operators sum to give the exterior derivative and square to give zero , the -lemma implies that , refining the -potential to the -potential in the setting of compact Kähler manifolds.
The -lemma is a consequence of Hodge theory applied to a compact Kähler manifold.
The Hodge theorem for an elliptic complex may be applied to any of the operators and respectively to their Laplace operators . To these operators one can define spaces of harmonic differential forms given by the kernels:
The Hodge decomposition theorem asserts that there are three orthogonal decompositions associated to these spaces of harmonic forms, given by
where are the formal adjoints of with respect to the Riemannian metric of the Kähler manifold, respectively. These decompositions hold separately on any compact complex manifold.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In mathematics, a complex differential form is a differential form on a manifold (usually a complex manifold) which is permitted to have complex coefficients. Complex forms have broad applications in differential geometry. On complex manifolds, they are fundamental and serve as the basis for much of algebraic geometry, Kähler geometry, and Hodge theory. Over non-complex manifolds, they also play a role in the study of almost complex structures, the theory of spinors, and CR structures.
In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let M be a complex manifold. Then the Dolbeault cohomology groups depend on a pair of integers p and q and are realized as a subquotient of the space of complex differential forms of degree (p,q). Let Ωp,q be the vector bundle of complex differential forms of degree (p,q).
In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil.
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
A classical theorem of Frankel for compact Kahler manifolds states that a Kahler S-1-action is Hamiltonian if and only if it has fixed points. We prove a metatheorem which says that when the Hodge theory holds on non-compact manifolds, Frankel's theorem st ...
In this thesis we compute motivic classes of hypertoric varieties, Nakajima quiver varieties and open de Rham spaces in a certain localization of the Grothendieck ring of varieties. Furthermore we study the p-adic pushforward of the Haar measure under a ...
In this paper we determine the motivic class---in particular, the weight polynomial and conjecturally the Poincar'e polynomial---of the open de Rham space, defined and studied by Boalch, of certain moduli of irregular meromorphic connections on the trivia ...