Ddbar lemma explained

In complex geometry, the

\partial \bar \partial lemma (pronounced ddbar lemma) is a mathematical lemma about the de Rham cohomology class of a complex differential form. The \partial \bar \partial -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 dd ^{c} -lemma, due to the use of a related operator $d^c\; =\; -\backslash frac(\backslash partial\; -\; \backslash bar\; \backslash partial)$, with the relation between the two operators being i\partial \bar \partial = dd ^{c} and so \alpha = dd ^{c} \beta .

Statement

The

\partial \bar \partial lemma asserts that if (X,\omega) is a compact Kähler manifold and \alpha \in \Omega ^{p,q} (X) is a complex differential form of bidegree (p,q) (with p,q\ge 1 ) whose class [\alpha] \in H ^{p + q} _{dR} (X, C ) is zero in de Rham cohomology, then there exists a form \beta\in \Omega ^{p-1,q-1} (X) of bidegree (p-1,q-1) such that

$$\backslash alpha\; =\; i\backslash partial\; \backslash bar\; \backslash partial\; \backslash beta,$$

where

\partial and \bar \partial are the Dolbeault operators of the complex manifold X .^[1]

ddbar potential

The form

\beta is called the \partial \bar \partial -potential of \alpha . The inclusion of the factor i ensures that i\partial \bar \partial is a real differential operator, that is if \alpha is a differential form with real coefficients, then so is \beta .

This lemma should be compared to the notion of an exact differential form in de Rham cohomology. In particular if

\alpha\in \Omega ^{k(X)} is a closed differential k-form (on any smooth manifold) whose class is zero in de Rham cohomology, then \alpha = d\gamma for some differential (k-1)-form \gamma called the d -potential (or just potential) of \alpha , where d is the exterior derivative. Indeed, since the Dolbeault operators sum to give the exterior derivative d = \partial + \bar \partial and square to give zero \partial ^{2} = \bar \partial ^{2} = 0 , the \partial \bar \partial -lemma implies that \gamma = \bar \partial \beta , refining the d -potential to the \partial \bar \partial -potential in the setting of compact Kähler manifolds.

Proof

The

\partial \bar \partial -lemma is a consequence of Hodge theory applied to a compact Kähler manifold.^{[2] [3]}

The Hodge theorem for an elliptic complex may be applied to any of the operators

d, \partial, \bar \partial and respectively to their Laplace operators \Delta _{d,} \Delta _{\partial} , \Delta _{\bar} . 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

d ^{*,} \partial ^{*,} \bar \partial ^{*} are the formal adjoints of d,\partial, \bar\partial with respect to the Riemannian metric of the Kähler manifold, respectively.^[4] These decompositions hold separately on any compact complex manifold. The importance of the manifold being Kähler is that there is a relationship between the Laplacians of d,\partial,\bar \partial and hence of the orthogonal decompositions above. In particular on a compact Kähler manifold

$$\backslash Delta\_d\; =\; 2\; \backslash Delta\_\; =\; 2\; \backslash Delta\_$$

which implies an orthogonal decomposition

$$\backslash mathcal\_d^k\; =\; \backslash bigoplus\_\; \backslash mathcal\_^\; =\; \backslash bigoplus\_\; \backslash mathcal\_^$$

where there are the further relations

l{H} ^{p,q} _{\partial} = \overline{ l{H} ^{q,p} _{\bar \partial} } relating the spaces of \partial and \bar \partial -harmonic forms.

As a result of the above decompositions, one can prove the following lemma.

The proof is as follows. Let

\alpha\in \Omega ^{p,q} (X) be a closed (p,q)-form on a compact Kähler manifold (X,\omega) . It follows quickly that (d) implies (a), (b), and (c). Moreover, the orthogonal decompositions above imply that any of (a), (b), or (c) imply (e). Therefore, the main difficulty is to show that (e) implies (d).

To that end, suppose that

\alpha is orthogonal to the subspace l{H} ^{p,q} _{\bar \partial} \subset \Omega ^{p,q} (X) . Then \alpha \in \operatorname{im} \bar \partial ⊕ \operatorname{im} \bar \partial ^{*} . Since \alpha is d -closed and d = \partial + \bar \partial , it is also \bar \partial -closed (that is \bar \partial \alpha = 0 ). If \alpha = \alpha' + \alpha'' where \alpha' \in \operatorname{im} \bar \partial and \alpha'' = \bar \partial ^{*} \gamma is contained in \operatorname{im} \bar \partial ^{*} then since this sum is from an orthogonal decomposition with respect to the inner product \langle - , - \rangle induced by the Riemannian metric,

$$\backslash langle\; \backslash alpha$$, \alpha\rangle = \langle \alpha, \alpha \rangle = \langle \alpha, \bar \partial^* \gamma \rangle = \langle \bar \partial \alpha, \gamma \rangle = 0

or in other words

\|\alpha''\| ^{2} = 0 and \alpha'' = 0 . Thus it is the case that \alpha = \alpha'\in \operatorname{im} \bar \partial . This allows us to write \alpha = \bar \partial η for some differential form η \in \Omega ^{p,q-1} (X) . Applying the Hodge decomposition for \partial to η ,

$$\backslash eta\; =\; \backslash eta\_0\; +\; \backslash partial\; \backslash eta\text{'}\; +\; \backslash partial^*\; \backslash eta$$

where

η _{0} is \Delta _{\partial} -harmonic, η '\in \Omega ^{p-1,q-1} (X) and η '' \in \Omega ^{p+1,q-1} (X) . The equality \Delta _{\bar} \partial = \Delta _{\partial} implies that η _{0} is also \Delta _{\bar} -harmonic and therefore \bar \partial η _{0} = \bar \partial ^{*} η _{0} = 0 . Thus \alpha = \bar \partial \partial η ' + \bar \partial \partial ^{*} η '' . However, since \alpha is d -closed, it is also \partial -closed. Then using a similar trick to above,

$$\backslash langle\; \backslash bar\; \backslash partial\; \backslash partial^*\; \backslash eta$$, \bar \partial \partial^* \eta\rangle = \langle \alpha, \bar \partial \partial^* \eta \rangle = - \langle \alpha, \partial^* \bar \partial \eta \rangle = - \langle \partial \alpha, \bar \partial \eta \rangle = 0,

also applying the Kähler identity that

\bar \partial \partial ^{*} = - \partial ^{*} \bar \partial . Thus \alpha = \bar \partial \partial η ' and setting \beta = i η ' produces the \partial \bar \partial -potential.

Local version

A local version of the

\partial \bar \partial -lemma holds and can be proven without the need to appeal to the Hodge decomposition theorem. It is the analogue of the Poincaré lemma or Dolbeault–Grothendieck lemma for the \partial \bar \partial operator. The local \partial \bar \partial -lemma holds over any domain on which the aforementioned lemmas hold.

The proof follows quickly from the aforementioned lemmas. Firstly observe that if

\alpha is locally of the form \alpha = i\partial \bar \partial \beta for some \beta then d\alpha = d(i\partial \bar \partial \beta) = i (\partial + \bar \partial)(\partial \bar \partial \beta) = 0 because \partial ^{2} = 0 , \bar \partial ^{2=0} , and \partial \bar \partial = - \bar \partial \partial . On the other hand, suppose \alpha is d -closed. Then by the Poincaré lemma there exists an open neighbourhood U of any point p\in X and a form \gamma\in \Omega ^{p+q-1} (U) such that \alpha = d \gamma . Now writing \gamma = \gamma' + \gamma'' for \gamma'\in \Omega ^{p-1,q} (X) and \gamma'' \in \Omega ^{p,q-1} (X) note that d\alpha = (\partial + \bar \partial) \alpha = 0 and comparing the bidegrees of the forms in d\alpha implies that \bar \partial \gamma' = 0 and \partial \gamma'' = 0 and that \alpha = \partial \gamma' + \bar \partial \gamma'' . After possibly shrinking the size of the open neighbourhood U , the Dolbeault–Grothendieck lemma may be applied to \gamma' and \overline{\gamma''} (the latter because \overline{ \partial \gamma''} = \bar \partial (\overline{\gamma''}) = 0 ) to obtain local forms η ', η ''\in \Omega ^{p-1,q-1} (X) such that \gamma' = \bar \partial η ' and \overline{\gamma''} = \bar \partial η '' . Noting then that \gamma'' = \partial \overline{ η ''} this completes the proof as \alpha = \partial \bar \partial η ' + \bar \partial \partial \overline{ η ''} = i\partial \bar \partial \beta where \beta = - i η ' + i \overline{ η ''} .

Bott–Chern cohomology

The Bott–Chern cohomology is a cohomology theory for compact complex manifolds which depends on the operators

\partial and \bar \partial , and measures the extent to which the \partial \bar \partial -lemma fails to hold. In particular when a compact complex manifold is a Kähler manifold, the Bott–Chern cohomology is isomorphic to the Dolbeault cohomology, but in general it contains more information.

The Bott–Chern cohomology groups of a compact complex manifold are defined by

$$H\_^(X)\; =\; \backslash frac.$$

Since a differential form which is both

\partial and \bar \partial -closed is d -closed, there is a natural map H ^{p,q} _{BC} (X) \to H ^{p + q} _{dR} (X, C ) from Bott–Chern cohomology groups to de Rham cohomology groups. There are also maps to the \partial and \bar \partial Dolbeault cohomology groups H ^{p,q} _{BC} (X) \to H ^{p,q} _{\partial} (X), H ^{p,q} _{\bar \partial} (X) . When the manifold X satisfies the \partial \bar \partial -lemma, for example if it is a compact Kähler manifold, then the above maps from Bott–Chern cohomology to Dolbeault cohomology are isomorphisms, and furthermore the map from Bott–Chern cohomology to de Rham cohomology is injective.^[5] As a consequence, there is an isomorphism

$$H\_^(X,\backslash mathbb)\; =\; \backslash bigoplus\_\; H\_^(X)$$

whenever

X satisfies the \partial \bar \partial -lemma. In this way, the kernel of the maps above measure the failure of the manifold X to satisfy the lemma, and in particular measure the failure of X to be a Kähler manifold.

Consequences for bidegree (1,1)

The most significant consequence of the

\partial \bar \partial -lemma occurs when the complex differential form has bidegree (1,1). In this case the lemma states that an exact differential form \alpha\in \Omega ^{1,1} (X) has a \partial \bar \partial -potential given by a smooth function f\in C ^{infty} (X, C ) :

$$\backslash alpha\; =\; i\backslash partial\; \backslash bar\; \backslash partial\; f.$$

In particular this occurs in the case where

\alpha = \omega is a Kähler form restricted to a small open subset U \subset X of a Kähler manifold (this case follows from the local version of the lemma), where the aforementioned Poincaré lemma ensures that it is an exact differential form. This leads to the notion of a Kähler potential, a locally defined function which completely specifies the Kähler form. Another important case is when \alpha = \omega - \omega' is the difference of two Kähler forms which are in the same de Rham cohomology class [\omega] = [\omega'] . In this case [\alpha] = [\omega] - [\omega'] = 0 in de Rham cohomology so the \partial \bar \partial -lemma applies. By allowing (differences of) Kähler forms to be completely described using a single function, which is automatically a plurisubharmonic function, the study of compact Kähler manifolds can be undertaken using techniques of pluripotential theory, for which many analytical tools are available. For example, the \partial \bar \partial -lemma is used to rephrase the Kähler–Einstein equation in terms of potentials, transforming it into a complex Monge–Ampère equation for the Kähler potential.

ddbar manifolds

Complex manifolds which are not necessarily Kähler but still happen to satisfy the

\partial \bar \partial -lemma are known as \partial \bar \partial -manifolds. For example, compact complex manifolds which are Fujiki class C satisfy the \partial \bar \partial -lemma but are not necessarily Kähler.

See also

• Poincaré lemma
• Dolbeault–Grothendieck lemma

External links

• Web site: Jean-Pierre . Demailly . Personal page at Grenoble, including publications.

Notes and References

1. Book: 9781571462343. Analytic Methods in Algebraic Geometry . Demailly . Jean-Pierre . 2012. Somerville, MA: International Press..
2. Book: Gauduchon . P. . Calabi's extremal Kähler metrics: An elementary introduction. Elements of Kähler geometry . 2010. Preprint .
3. Book: 10.4171/025. Lectures on Kähler Manifolds . 2006 . Ballmann . Werner . 978-3-03719-025-8. European mathematical society.
4. Book: Huybrechts, D.. 10.1007/b137952. Complex Geometry . Universitext . 2005 . 3-540-21290-6. Berlin: Springer.
5. 10.1007/s00222-012-0406-3. On the \partial \bar \partial -Lemma and Bott-Chern cohomology . 2013 . Angella . Daniele . Tomassini . Adriano . Inventiones Mathematicae . 192 . 71–81 . 253747048 . 1402.1954 .