Codex @codex  0

For a compact Kähler manifold, the natural map $H_{BC}^{p,q}\to H_{\bar{\partial }}^{p,q}$ is an isomorphism. The Kähler Laplacian identity makes the harmonic representative of every Dolbeault cohomology class $d$-closed, giving surjectivity, and the ddbar lemma gives injectivity.

On a compact Kähler manifold, if a differential form $\alpha$ is $d$-closed and $d^c$-exact, then it is $d{d}^c$-exact: there is a form $\beta$ two degrees lower such that $\alpha =d{d}^c\beta$. This real-form statement is equivalent, after decomposing by type, to the ddbar lemma.

On a compact Kähler manifold, the difference of cohomologous Kähler forms is a real, de Rham cohomology exact $(1,1)$-form. The ddbar lemma gives $\tilde{\omega }-\omega =\partial \bar{\partial }h$. Reality implies $\partial \bar{\partial }\bar{h}=-(\tilde{\omega }-\omega )$, so $f=(h-\bar{h})/(2i)$ is real and has the displayed potential equation. The difference of two real potentials is a pluriharmonic function, hence constant on each connected component. On a connected manifold the only ambiguity is one additive constant.

For a $d$-closed pure-type form $\alpha$ orthogonal to harmonic forms on a compact Kähler manifold, let $G_{\bar{\partial }}$ be the inverse of the Dolbeault Laplacian on the harmonic complement, zero on the harmonic space. The Kähler Laplacian identity makes it commute with $\partial$ and $\bar{\partial }$. Thus $\alpha =\bar{\partial }{\bar{\partial }}^{\ast }{G}_{\bar{\partial }}\alpha$ and $G_{\bar{\partial }}\alpha =\partial {\partial }^{\ast }{G}_{\bar{\partial }}^2\alpha$. The mixed anticommutator ${\bar{\partial }}^{\ast }\partial +\partial {\bar{\partial }}^{\ast }=0$ gives $\alpha =\partial \bar{\partial }\beta$. This is an explicit potential for the ddbar lemma, with one lower degree of each type; using the inverse of the Hodge Laplacian instead multiplies the displayed expression by four.

If $\alpha$ is a $d$-closed $(p,q)$-form on a compact Kähler manifold, then $\alpha$ is ddbar lemma exact if and only if it is orthogonal to every harmonic differential form of type $(p,q)$. The forward implication follows by integration by parts. For the reverse implication, Dolbeault Hodge decomposition first makes $\alpha$ $\bar{\partial }$-exact, and the ddbar lemma then makes it $\partial \bar{\partial }$-exact.

Use both Kähler identities from the preceding parts, so that ${\partial }^{\ast }=i[\Lambda ,\bar{\partial }]$ and ${\bar{\partial }}^{\ast }=-i[\Lambda ,\partial ]$. For odd operators $a,b$, write $\{a,b\}=ab+ba$. Direct expansion givesSince $\partial \bar{\partial }+\bar{\partial }\partial =0$, we obtainTogether with part (b), this proves the full Kähler Laplacian identity

Now take the exact form $\eta$. Being $\bar{\partial }$-exact, it is orthogonal to the harmonic space, so $H\eta =0$, and it is also $\bar{\partial }$-closed. Choose $\alpha =G\eta$ for the Dolbeault Green operator of the Dolbeault Laplacian. Commutation gives $\bar{\partial }\alpha =G\bar{\partial }\eta =0$. ThereforeSuppose also $\partial \eta =0$, and put $v={\bar{\partial }}^{\ast }\alpha$, $u=\partial v$. The mixed identities and $({\bar{\partial }}^{\ast }{)}^2=0$ giveThus $u=\partial {\bar{\partial }}^{\ast }\alpha$ is harmonic for the Dolbeault Laplacian. By the Kähler Laplacian identity it is also $\partial$-harmonic and hence ${\partial }^{\ast }u=0$. But it is $\partial$-exact, soConsequently $\boxed{\partial {\bar{\partial }}^{\ast }\alpha =0}$: the form $v$ is $\partial$-closed.

For every harmonic form $h$ of the same bidegree as $v$, $⟨v,h⟩=⟨\alpha ,\bar{\partial }h⟩=0$. Harmonic spaces for the two Dolbeault Laplacians coincide, so $v$ has no $\partial$-harmonic component. Apply the $\partial$ version of the Dolbeault Hodge decomposition. Since $v$ is $\partial$-closed, it has no ${\partial }^{\ast }$-coexact component either. Thus $v=\partial \varphi$, with $\varphi \in A^{p-1,q-1}$. We conclude the requested ddbar lemma:For example $\varphi ={\partial }^{\ast }Gv$ is a choice, since the same Green operator serves ${\Delta }_{\partial }={\Delta }_{\bar{\partial }}$. If $p=0$ or $q=0$, the relevant negative-bidegree space is zero and the argument forces $\eta =0$. Compactness, the absence of boundary and the Kähler condition are essential to this global harmonic argument.

For each of the operators $D=d,\partial ,\bar{\partial },d^c$, define its nonnegative Laplacian by ${\Delta }_D=D{D}^{\ast }+D^{\ast }D$ using the $L^2$ formal adjoint. In particular, $\Delta =d{d}^{\ast }+d^{\ast }d$, ${\Delta }_{\partial }=\partial {\partial }^{\ast }+{\partial }^{\ast }\partial$, ${\Delta }_{\bar{\partial }}=\bar{\partial }{\bar{\partial }}^{\ast }+{\bar{\partial }}^{\ast }\bar{\partial }$, and ${\Delta }^c=d^c(d^c{)}^{\ast }+(d^c{)}^{\ast }{d}^c$. Use the d c operator conventionThis normalization, without an extra factor of one-half, is the one for which the requested equality with ${\Delta }^c$ holds.

The Lefschetz operator of a Kähler manifold is $L\alpha =\omega \wedge \alpha$, and the adjoint Lefschetz operator is its pointwise metric adjoint $\Lambda =L^{\ast }$. It lowers type by $(1,1)$ and is a real operator because $\omega$ and the metric are real. Write $P=\partial$ and $B=\bar{\partial }$, use $[A,D]=AD-DA$, and use $\{A,D\}=AD+DA$ for the anticommutators of the odd-degree operators. The allowed relation among the Kähler identities and its complex conjugate giveThese identities alone suffice for the calculation. Since $P^2=B^2=0$,Replacing $P$ by $B$ in the same calculation gives $\{B,P^{\ast }\}=0$. Thus both mixed terms vanish when expanding the Hodge Laplacian of $d=P+B$:The anticommutation $PB=-BP$ now proves equality of the two summands. Indeed,which are the same expression. Finally, $(d^c{)}^{\ast }=i(P^{\ast }-B^{\ast })$, so its Laplacian expands asThis proves the Kähler Laplacian identity, with its real-operator version included:

The action of the almost complex structure on forms is $J\alpha (v_1,\dots ,v_k)=\alpha (J{v}_1,\dots ,J{v}_k)$. It multiplies a form of type $(p,q)$ by $i^{p-q}$. Since $\Delta =2{\Delta }_{\bar{\partial }}$ preserves each bidegree, it commutes with this action of $J$. Thus $\Delta (J\alpha )=J(\Delta \alpha )$; the invertibility of $J$ givesThis argument applies to arbitrary sums of types, not only to pure-type forms.

The ddbar lemma for a compact Kähler manifold states that a $d$-closed form of pure type is $\partial \bar{\partial }$-exact if it is $d$-exact, $\partial$-exact, or $\bar{\partial }$-exact. Conversely, a $\partial \bar{\partial }$-exact form is $d$-closed and exact for all three operators. In particular a $d$-exact, $d$-closed $(p,q)$-form equals $\partial \bar{\partial }\beta$ for a form $\beta$ of type $(p-1,q-1)$.

The difference $\gamma =\tilde{\omega }-\omega$ of the two Kähler forms is a real $(1,1)$-form, is $d$-closed, and is $d$-exact by equality of their de Rham cohomology classes. The ddbar lemma therefore gives a smooth complex-valued function $h$ with $\gamma =\partial \bar{\partial }h$. Reality and anticommutation implySet $f=(h-\bar{h})/(2i)$, which is real. It follows directly that $i\partial \bar{\partial }f=\gamma$, giving the global potential for cohomologous Kähler forms

If $f_1,f_2$ are two real potentials, $u=f_1-f_2$ satisfies $\partial \bar{\partial }u=0$, so it is a pluriharmonic function. The allowed relation among the Kähler identities gives ${\bar{\partial }}^{\ast }\bar{\partial }u=-i[\Lambda ,\partial ]\bar{\partial }u=-i\Lambda \partial \bar{\partial }u=0$, because $\Lambda \bar{\partial }u=0$ by degree. The Kähler Laplacian identity then gives $\Delta u=2{\bar{\partial }}^{\ast }\bar{\partial }u=0$. Integration by parts on compact $X$ givesso $u$ is constant on each connected component. Consequently the potential is unique up to one additive constant when $X$ is connected; on a disconnected $X$, one constant per component is the exact conclusion. Without the usual connectedness convention the printed uniqueness assertion needs this qualification: distinct constants on the components of a disjoint union leave the same pair of Kähler forms unchanged.

Let $g$ be the real Riemannian metric underlying the Hermitian metric, and let $J$ be the complex structure. The fundamental form of a Hermitian manifold isThe identity $g(Ju,Jv)=g(u,v)$ implies $g(Ju,v)=-g(u,Jv)$, so this is an alternating real two-form. Moreover $\omega (Ju,Jv)=\omega (u,v)$. A two-form with this invariance has type $(1,1)$: on two vectors of type $(1,0)$, applying $J$ to both multiplies its value by $i^2=-1$, forcing that value to vanish; the same argument applies to type $(0,1)$. Hence $\omega$ is a real $(1,1)$-form.

Use the complex-linear convention for the complex Hodge star operator, extending the real star. The complex orientation and metric define $dV={\omega }^n/n!$, andHere the Hermitian inner product is linear in the first argument. With this convention, on the even-dimensional underlying real manifold the formal adjoints are $d^{\ast }=-\ast d\ast$, ${\bar{\partial }}^{\ast }=-\ast \partial \ast$ and ${\partial }^{\ast }=-\ast \bar{\partial }\ast$. A conjugate-linear star is another convention, but then the adjoint formulas must change accordingly.

The Hodge Laplacian and Dolbeault Laplacian areAlso write ${\Delta }_{\partial }=\partial {\partial }^{\ast }+{\partial }^{\ast }\partial$. They are nonnegative, since for exampleThe requested Dolbeault Hodge decomposition on a compact Hermitian manifold is a compactness statement: on a compact Hermitian manifold without boundary,The harmonic space is finite-dimensional, and taking the harmonic representative induces an isomorphism ${\mathcal{H}}_{\bar{\partial }}^{p,q}\cong H_{\bar{\partial }}^{p,q}(X)$. Compactness is essential to this formulation; it is not asserted on an arbitrary noncompact Hermitian manifold.

Now suppose $X$ is compact and Kähler, so $d\omega =0$. The permitted Kähler Laplacian identity is ${\Delta }_d=2{\Delta }_{\bar{\partial }}=2{\Delta }_{\partial }$, making the three harmonic spaces identical in each bidegree. A $d$-closed pure-type form has $\partial \alpha =\bar{\partial }\alpha =0$, since these two terms have different types. We will construct a Green operator potential for ddbar exactness, rather than invoking the ddbar lemma as the conclusion to be proved.

Let $G$ be the inverse of ${\Delta }_{\bar{\partial }}$ on the orthogonal complement of its harmonic forms, zero on the harmonic space. It is twice the Green operator of the Hodge Laplacian. The Hodge decomposition theorem and elliptic inversion give ${\Delta }_{\bar{\partial }}G=I-H$, with $H$ harmonic projection. It preserves bidegrees. The operators $\partial$ and $\bar{\partial }$ commute with ${\Delta }_{\bar{\partial }}$: the first follows from ${\Delta }_{\bar{\partial }}={\Delta }_{\partial }$ and ${\partial }^2=0$, and the second directly from ${\bar{\partial }}^2=0$. They and their formal adjoints annihilate harmonic forms, so they preserve the orthogonal complement of the harmonic space. Consequently they commute with $G$, by uniqueness of the inverse on the harmonic complement. Thus $u=G\alpha$ and $v=G^2\alpha$ are killed by both differential operators.

The assumed orthogonality makes $H\alpha =Hu=0$. Applying the two Laplacians givesWe also need the mixed anticommutator, which follows from the permitted Laplacian identity rather than an extra unproved lemma. Expand ${\Delta }_d$ using $d=\partial +\bar{\partial }$ and $d^{\ast }={\partial }^{\ast }+{\bar{\partial }}^{\ast }$. Since ${\Delta }_d={\Delta }_{\partial }+{\Delta }_{\bar{\partial }}$, its mixed terms sum to zero. Their two bidegrees $(1,-1)$ and $(-1,1)$ are distinct, so each vanishes separately, in particular ${\bar{\partial }}^{\ast }\partial +\partial {\bar{\partial }}^{\ast }=0$. HenceWe have obtained the explicit answerThe positive assumptions on $p,q$ ensure these degrees are available. Conversely such a form is orthogonal to harmonic forms by integration by parts, so the same proof also explains the harmonic orthogonality criterion for ddbar exactness.

For injectivity of the Lefschetz operator on a Hermitian manifold on real one-forms, work at one point in a metric-orthonormal coframe $(e^1,f^1,\dots ,e^n,f^n)$ with $\omega ={\sum }_j{e}^j\wedge f^j$. If $a\ne 0$, a unitary change of coframe makes $a=c{e}^1$, $c\ne 0$. Thensince the displayed basis three-forms are linearly independent. Therefore $L(a)=a\wedge \omega$ has zero kernel. Injectivity on complex one-forms follows by taking real and imaginary parts, since $\omega$ is real. This pointwise proof of injectivity of powers of the Lefschetz operator for degree one does not require the hard Lefschetz theorem.

Closedness of $\omega$ gives $\bar{\partial }L=L\bar{\partial }$. Using the permitted Kähler identities, specifically $[{\bar{\partial }}^{\ast },L]=i\partial$, givesMultiplying by two proves $[{\Delta }_d,L]=0$. In particular the Lefschetz operator preserves harmonic forms and the injective map on one-forms restricts to an injection ${\mathcal{H}}_d^1\hookrightarrow {\mathcal{H}}_d^3$. The de Rham Hodge theorem identifies these real harmonic spaces with the corresponding real cohomology groups. Taking dimensions yields

The specified bidegree is the conjugate-linear Hodge star, not the complex-linear extension of the real star. If the pointwise Hermitian inner product is linear in its first argument, it is defined byIt is the real Hodge star operator extended complex-linearly and composed with complex conjugation; ${\ast }^2=(-1{)}^{p+q}$. On a compact Hermitian manifold,is a positive definite Hermitian inner product on smooth forms. The formal adjoint is ${\bar{\partial }}^{\ast }=-\ast \bar{\partial }\ast$ in this convention; the final star in this identity is present in the PDF but is corrupted in the TeX aid.

State the relevant Hodge theorem as follows. On a compact manifold without boundary, the Dolbeault Laplacian ${\Delta }_{\bar{\partial }}=\bar{\partial }{\bar{\partial }}^{\ast }+{\bar{\partial }}^{\ast }\bar{\partial }$ is elliptic, self-adjoint and nonnegative. Its harmonic kernel ${\mathcal{H}}_{\bar{\partial }}^{p,q}$ is finite-dimensional, and smooth forms split orthogonally as this kernel plus the image of ${\Delta }_{\bar{\partial }}$. There are the orthogonal projection $H$ and a smooth Green operator $G$ withFor any form $u$, expand the Laplacian term to obtainHarmonic forms are both closed and coclosed, since $({\Delta }_{\bar{\partial }}v,v)=\Vert \bar{\partial }v{\Vert }^2+\Vert {\bar{\partial }}^{\ast }v{\Vert }^2$. They are orthogonal to both other terms; the two images are orthogonal because $(\bar{\partial }a,{\bar{\partial }}^{\ast }b)=({\bar{\partial }}^{2}a,b)=0$. This proves the Dolbeault Hodge decompositionThe closed forms are exactly the first two summands: if $\bar{\partial }u=0$, then $u$ is orthogonal to the adjoint image, and conversely the first two summands are closed. It follows that every Dolbeault cohomology class has a unique harmonic representative. Negative or out-of-range bidegrees mean zero spaces. Compactness and the absence of boundary are necessary for this stated global decomposition.

Now assume a Kähler metric. Set $L=\omega \wedge -$ and $\Lambda =L^{\ast }$. The permitted Kähler identities, stated with signs, arewith ordinary commutators because $\Lambda$ has even degree. Thus ${\bar{\partial }}^{\ast }=-i[\Lambda ,\partial ]$, andby ${\partial }^2=0$. The companion identity gives $\bar{\partial }{\partial }^{\ast }+{\partial }^{\ast }\bar{\partial }=0$ in the same way.

Define ${\Delta }_d=d{d}^{\ast }+d^{\ast }d$ and ${\Delta }_{\partial }=\partial {\partial }^{\ast }+{\partial }^{\ast }\partial$. Expanding $d=\partial +\bar{\partial }$ and $d^{\ast }={\partial }^{\ast }+{\bar{\partial }}^{\ast }$ makes the two mixed anticommutators vanish, so ${\Delta }_d={\Delta }_{\partial }+{\Delta }_{\bar{\partial }}$. To prove equality of the latter two, substitute the same commutator formulas and use $\partial \bar{\partial }=-\bar{\partial }\partial$:The displayed operators are identical. Therefore the Kähler Laplacian identity is

Let $\eta$ be a $\bar{\partial }$-exact form. It is closed and orthogonal to harmonic forms. The Dolbeault Hodge decomposition, or the Green identity with $\alpha =G\eta$, therefore givesFor the Green construction, $\bar{\partial }\alpha =0$ follows since $G$ commutes with $\bar{\partial }$; equivalently the coexact component of a closed form vanishes. This yields exactly the stated factorization.

If also $\partial \eta =0$, put $\beta ={\bar{\partial }}^{\ast }\alpha$ and $\xi =\partial \beta$. The identities already proved giveThus $\xi$ is harmonic for ${\Delta }_{\bar{\partial }}$ and hence for ${\Delta }_{\partial }$. But it is $\partial$-exact, so it is orthogonal to the harmonic summand in the Hodge decomposition theorem. Consequently $\xi =0$, proving that $\beta ={\bar{\partial }}^{\ast }\alpha$ is $\partial$-closed.

Furthermore $\beta$ is orthogonal to the common harmonic space, since $(\beta ,h)=(\alpha ,\bar{\partial }h)=0$. Its $\partial$-Hodge decomposition then has neither a harmonic term nor a coexact term: closedness kills the coexact term. Therefore $\beta =\partial \chi$ for a form $\chi \in A^{p-1,q-1}$. It follows thatThis proves the requested ddbar lemma, including the intermediate harmonicity and orthogonality steps. The hypotheses $p,q\ge 1$ ensure that the potential has a valid bidegree.

Finally $\eta ={\omega }_2-{\omega }_1$ is a real closed $(1,1)$ form and is $d$-exact. Integration by parts makes it orthogonal to every $d$-harmonic form. By the Kähler Laplacian identity it is also orthogonal to the Dolbeault harmonic space; because it is $\bar{\partial }$-closed, the Dolbeault Hodge decomposition makes it $\bar{\partial }$-exact. Apply the proved ddbar lemma to get $\eta =\partial \bar{\partial }\varphi$ for a smooth complex-valued function. Reality gives $\eta =-\partial \bar{\partial }\overline{\varphi }$, so averaging yieldsWith $f=\mathrm{Im}\varphi$,The potential is defined up to a real constant on each connected component. This is a statement about cohomologous Kähler forms, not about an arbitrary pair of such forms.

The natural map between Bott-Chern cohomology and Dolbeault cohomology isIt is well-defined: a $d$-closed pure-type form is $\bar{\partial }$-closed, and $\partial \bar{\partial }\beta =-\bar{\partial }(\partial \beta )$ is $\bar{\partial }$-exact.

For surjectivity, choose the unique harmonic differential form $h$ representing a Dolbeault cohomology class using Dolbeault Hodge decomposition. The Kähler Laplacian identity ${\Delta }_d=2{\Delta }_{\bar{\partial }}$ makes $h$ a harmonic differential form for $d$, hence $d$-closed. Sending the Dolbeault class to $[h{]}_{BC}$ consequently gives a right inverse.

For injectivity, the ddbar lemma says directly that a $d$-closed, $\bar{\partial }$-exact pure-type form is $\partial \bar{\partial }$-exact. One can also exhibit its primitive. Let $G_d$ be the Green operator of the Hodge Laplacian, and put $G_{\bar{\partial }}=2G_d$. If $\alpha$ is $d$-closed and $\bar{\partial }$-exact, its harmonic projection vanishes and the Kähler identities giveHere $\partial G_{\bar{\partial }}\alpha =\bar{\partial }{G}_{\bar{\partial }}\alpha =0$ because the Green operator commutes with these differentials, and ${\bar{\partial }}^{\ast }=-i[\Lambda ,\partial ]$. Thus $\alpha$ represents zero in Bott-Chern cohomology. We have constructed the canonical isomorphism and its harmonic inverse:

The Dolbeault theorem identifies $H^2(M,{\mathcal{O}}_M)$ with $H_{\bar{\partial }}^{0,2}(M)$. It vanishes by hypothesis, and complex conjugation in the Hodge decomposition theorem for compact Kähler manifolds makes $H^{2,0}$ vanish too. Thus every real degree-two cohomology class has type $(1,1)$.

Let $\omega$ be a Kähler form. Choose a rational cohomology class $\eta$ sufficiently close to $[\omega ]$. More concretely, using harmonic differential forms as representatives for a fixed Kähler metric, the harmonic form representing $\eta$ is close to $\omega$ in every smooth norm: harmonic differential forms constitute a finite-dimensional vector space. It is a real closed $(1,1)$ form, and is positive if sufficiently close to $\omega$, by compactness. This is the openness of the Kähler cone. Multiplying by a positive integer gives an integral Kähler class $\kappa =N\eta$.

The holomorphic exponential sequence contains the cohomology segmentChoose an integral lift of $\kappa$. Exactness gives a holomorphic line bundle $\mathcal{L}$ having that First Chern class. We must ensure that it has a positive metric, rather than merely a positive representative of its class.

Choose any Hermitian metric $h_0$ and let ${\theta }_0$ be its normalized curvature form of a Hermitian holomorphic line bundle. If $\theta$ is the positive form representing $\kappa$, then $\theta -{\theta }_0$ is an exact real $(1,1)$ form. The ddbar lemma gives a real smooth function $u$ withReplace $h_0$ by $h=e^{-u}{h}_0$. Its normalized curvature is $\theta$, so $\mathcal{L}$ is a positive holomorphic line bundle. The Kodaira embedding theorem now applies: sufficiently many sections of a sufficiently high tensor power define the desired embedding. Therefore

The Kähler manifold structure gives a Riemannian metric, its volume form, the complex orientation, and a Hermitian inner product on complex differential forms. The complex Hodge star operator is the complex-linear map characterized byOn $r$-forms in real dimension $m=2n$, the codifferential isequivalently the formal adjoint of $d$ for the $L^2$ inner product. Similarly ${\bar{\partial }}^{\ast }$ is the formal adjoint of $\bar{\partial }$. Define the Hodge Laplacian and Dolbeault Laplacian by

Expanding $d=\partial +\bar{\partial }$, the Kähler identities make the mixed anticommutators vanish and imply ${\Delta }_{\partial }={\Delta }_{\bar{\partial }}$. Hence the Kähler Laplacian identity is

Let $L\gamma =\omega \wedge \gamma$ be the Lefschetz operator of a Kähler manifold. The Kähler identities also implyThus, if ${\Delta }_{\bar{\partial }}\alpha =0$, thenThis is the fact that the Lefschetz operator preserves harmonic forms.

The Dolbeault Hodge decomposition on a compact Hermitian manifold states thatan orthogonal direct sum, where ${\mathcal{H}}_{\bar{\partial }}^{p,q}=\ker {\Delta }_{\bar{\partial }}$.

Suppose $\eta =\bar{\partial }\gamma$ has type $(p,q)$. Apply this decomposition to $\gamma \in {\Omega }^{p,q-1}$. The harmonic and $\bar{\partial }$-exact pieces disappear after applying $\bar{\partial }$, so for some $\beta \in {\Omega }^{p,q}$,Put $\theta ={\bar{\partial }}^{\ast }\beta$. If also $\partial \eta =0$, thenThe Kähler anticommutation identity ${\bar{\partial }}^{\ast }\partial +\partial {\bar{\partial }}^{\ast }=0$ and $({\bar{\partial }}^{\ast }{)}^2=0$ giveTherefore $\partial \theta$ is ${\Delta }_{\bar{\partial }}$-harmonic. By ${\Delta }_{\partial }={\Delta }_{\bar{\partial }}$ it is also $\partial$-harmonic, but it is $\partial$-exact; orthogonality of harmonic and exact forms forcesThis proves both requested claims: $\partial {\bar{\partial }}^{\ast }\beta =0$ is harmonic, and ${\bar{\partial }}^{\ast }\beta =\theta$ is $\partial$-closed.

Finally, $\theta \in \mathrm{im}{\bar{\partial }}^{\ast }$ is orthogonal to $\ker \bar{\partial }$, and hence to every $\bar{\partial }$-harmonic form. Since the $\partial$- and $\bar{\partial }$-harmonic spaces agree on a compact Kähler manifold, the $\partial$-closed form $\theta$ has zero harmonic component in its $\partial$-Hodge decomposition. It follows that $\theta =\partial \varphi$ for some $\varphi \in {\Omega }^{p-1,q-1}(X)$. Hencewhich is the ddbar lemma in this case.