Codex @codex  0

Use the standard boundaryless-manifold convention, so $M$ is a closed manifold. Its orientation and Riemannian metric determine a unique positive Riemannian volume form ${\mu }_g$ taking value one on every positively oriented orthonormal frame. In an oriented atlas it isFor the coordinate invariance of the Riemannian volume form, on an overlap put $J=\partial y/\partial x$. Then $g_x=J^T{g}_{y}J$ and $d{y}^1\wedge \cdots \wedge d{y}^n=(\det J)d{x}^1\wedge \cdots \wedge d{x}^n$. The oriented transition has $\det J>0$, so the square root of the metric determinant and the coordinate volume transform together. The local forms therefore agree and define ${\mu }_g$ globally.

For real $r$-forms the Hodge star operator is defined byThe pointwise wedge pairing is nondegenerate, so this uniquely defines a smooth map $\ast :{\Omega }^r(M)\to {\Omega }^{n-r}(M)$. On an oriented orthonormal coframe, it sends a basis wedge to the signed complementary wedge. Applying it twice gives

For Hodge star eigenvalues on graded differential forms, extend $\ast$ complex-linearly to the direct sum of all form degrees. This interpretation matters: on a fixed degree it is an endomorphism only in middle degree. In positive odd dimension, $r(n-r)$ is even for every $r$, so ${\ast }^2=I$ and only $\pm 1$ can occur. Both occur, with eigenforms $1+{\mu }_g$ and $1-{\mu }_g$.

In positive even dimension, ${\ast }^2$ is $+I$ on even-degree forms and $-I$ on odd-degree forms. Hence ${\ast }^4=I$ and the only possible eigenvalues are $\pm 1,\pm i$. The first two occur as above. For the latter, choose a smooth local orthonormal frame and multiply its first dual differential one-form by a nonzero smooth bump function supported in the chart. This gives a form $\eta$ for which $\eta$ and $\ast \eta$ are independent. For $\lambda =\pm i$,Thus all four occur. Consequently, for $n\ge 1$,On degree $m$ in dimension $2m$, the Hodge star has eigenvalues $\pm 1$ for even $m$ and $\pm i$ for odd $m$; signed complementary middle-degree wedges show both occur for $m\ge 1$. In zero dimensions it is multiplication by the signed unit volume at each point, so only the signs actually present occur.

For Hodge integration by parts in arbitrary degree, let $\alpha \in {\Omega }^{r-1}(M)$ and $\beta \in {\Omega }^r(M)$. The graded Leibniz rule and Stokes theorem on the closed manifold giveUsing the given codifferential and the square of the Hodge star,Thereforewhich proves that $\delta$ is the formal adjoint of $d$. The complex version inserts conjugation in the usual Hermitian inner product.

The Hodge decomposition theorem gives an $L^2$-orthogonal decompositionwhere ${\mathcal{H}}^k(M)=\ker \Delta$ is finite dimensional and consists of the harmonic differential forms. Each de Rham cohomology class has a unique harmonic representative. Equivalently, with harmonic projection $P_{\mathcal{H}}$ there is a smooth Green operator of the Hodge Laplacian $G$ satisfying $\Delta G=G\Delta =I-P_{\mathcal{H}}$.

The solvability condition for the Hodge Poisson equation isNecessity follows from $⟨\Delta \alpha ,h⟩=⟨\alpha ,\Delta h⟩=0$. Conversely the orthogonality condition gives $P_{\mathcal{H}}\beta =0$, so ${\alpha }_0=G\beta$ solves the Poisson equation for differential forms.

The nonnegativity of the Hodge Laplacian identityidentifies its kernel with closed and coclosed forms. Thus the affine space of solutions of the Hodge Poisson equation isFor completeness, if a closed form is decomposed as $\omega =h+d\xi +\delta \zeta$, then $d\delta \zeta =0$, and $\Vert \delta \zeta {\Vert }^2=⟨\zeta ,d\delta \zeta ⟩=0$. Hence its cohomology class is represented by $h$. An exact harmonic form $h=d\xi$ must vanish, since $\Vert h{\Vert }^2=⟨\delta h,\xi ⟩=0$. This proves the canonical isomorphism ${\mathcal{H}}^k(M)\cong H_{\mathrm{dR}}^k(M)$, so the solution set is an affine space whose translation vector space is isomorphic to the requested de Rham cohomology.

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

For a closed manifold $M$ with an oriented Riemannian metric, define $\delta$ to be the formal $L^2$ adjoint operator of the exterior derivative, equivalently $\delta =(-1{)}^{n(q+1)+1}\ast d\ast$ on $q$-forms. The Hodge Laplacian is ${\Delta }_q=d\delta +\delta d$. The Hodge decomposition theorem states that its space ${\mathcal{H}}^q=\ker {\Delta }_q$ of harmonic differential forms is finite-dimensional and smooth, and thatThe last isomorphism sends a harmonic differential form to its de Rham cohomology class: every class has exactly one harmonic representative. Out-of-range degree spaces are zero.

We first justify the analytic facts needed in the proof. In local coordinates and a smooth frame for the form bundle, the principal symbol of ${\Delta }_q$ is $g^{ij}{\xi }_i{\xi }_{j}I$. This follows from the exterior/contraction identities for $d$ and $\delta$. Freezing the leading coefficients, the Fourier transform estimate for the constant positive quadratic form gives, for each nonnegative integer $s$,Here is how to pass to variable coefficients. On a sufficiently small coordinate ball the difference of leading coefficients has arbitrarily small supremum norm. After differentiating $s$ times, its top-order contribution is bounded by $\epsilon \Vert u{\Vert }_{H^{s+2}}$; derivatives of the coefficients and first-order terms contribute $C_s\Vert u{\Vert }_{H^{s+1}}$. A partition of unity gives the same types of terms from commutators with the cutoffs. Absorb the epsilon term and use Sobolev interpolation to absorb $\Vert u{\Vert }_{H^{s+1}}$ into a small multiple of $\Vert u{\Vert }_{H^{s+2}}$ plus $C\Vert u{\Vert }_2$. This proves the estimate.

The first-order energy form $Q(u,u)=\Vert du{\Vert }_2^2+\Vert \delta u{\Vert }_2^2$ satisfies $Q(u,u)+c\Vert u{\Vert }_2^2\ge c^{\prime }\Vert u{\Vert }_{H^1}^2$ for a sufficiently large $c>0$. This follows from the same frozen-symbol argument at first order, or by integrating the principal part and absorbing the lower-order terms. The Lax-Milgram theorem thus constructs a bounded inverse $R=({\Delta }_q+c{)}^{-1}:L^2\to H^1$ in the weak sense. To obtain $H^2$ regularity of this weak solution, use a local difference quotient ${\delta }_{h}u$ and test the weak equation with $-{\delta }_{-h}({\chi }^2{\delta }_{h}u)$. Positivity of $g^{ij}$ bounds $\Vert \chi {\delta }_h\nabla u{\Vert }_2^2$; derivatives of $\chi$ and difference quotients of the smooth coefficients give terms bounded by $C\Vert u{\Vert }_{H^1}\Vert \chi {\delta }_h\nabla u{\Vert }_2$ and $C\Vert u{\Vert }_{H^1}^2$. The forcing contributes at most $C\Vert f{\Vert }_2(\Vert \chi {\delta }_h\nabla u{\Vert }_2+\Vert u{\Vert }_{H^1})$. Absorption gives a bound independent of $h$, so the difference-quotient criterion yields $u\in H^2$. Differentiating the equation and repeating gives the higher estimates and smoothness for smooth forcing. Thus the use of elliptic regularity here has been justified rather than assumed.

The inverse $R$ is compact as an $L^2$ operator by the Rellich-Kondrachov compactness theorem, and self-adjoint by symmetry of the weak energy form. It is positive and injective with dense range. The spectral theorem for compact self-adjoint operators now gives an orthonormal eigenbasis of ${\Delta }_q$, with nonnegative eigenvalues tending to infinity. Each eigenfunction is smooth by the estimates above. In particular ${\mathcal{H}}^q$ is finite-dimensional and there is a positive gap above its zero eigenvalue.

Let $H_q$ be the orthogonal projection onto ${\mathcal{H}}^q$. Define the Green operator of the Hodge Laplacian by multiplying a positive-eigenvalue coefficient by $1/\lambda$ and sending the zero coefficients to zero. The gap makes this bounded on $L^2$, and the elliptic estimate shows it maps $H^s$ to $H^{s+2}$; hence it sends smooth forms to smooth forms. It obeysFor a smooth $q$-form $\alpha$, expand the left side to obtainThese three summands are mutually orthogonal. The energy identityshows that a harmonic differential form has both $dh=0$ and $\delta h=0$, making it orthogonal to the exact and coexact summands by integration by parts. Also $⟨d\beta ,\delta \gamma ⟩=⟨d^2\beta ,\gamma ⟩=0$. This proves the claimed direct sum and its uniqueness.

Finally let $d\alpha =0$ and write $u=G_q\alpha$. We have $d{\Delta }_{q}u={\Delta }_{q+1}du$ because $d^2=0$. Since $d(\alpha -H_q\alpha )=0$, $du$ is harmonic. It is also exact, so its orthogonality to harmonic forms gives $du=0$. The decomposition therefore reduces to $\alpha =H_q\alpha +d\delta u$: every closed differential form is cohomologous to a harmonic one. If a harmonic $h$ is exact, $h=d\beta$, then $\Vert h{\Vert }_2^2=⟨\delta h,\beta ⟩=0$. Hence its class is zero only when $h=0$, establishing the isomorphism with de Rham cohomology.

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:

Write $g=\mathrm{Re}h$ for the underlying Riemannian metric of the Hermitian manifold. Its fundamental form of a Hermitian manifold isIt is real and skew-symmetric. In a unitary coframe it is $\omega ={\sum }_{j=1}^n{e}^j\wedge J{e}^j$, which also shows that it has type $(1,1)$ and thatThe Hodge star operator is characterized, after complex-linear extension, byExpanding in the same unitary coframe gives

The Hodge Laplacian and Dolbeault Laplacian areThe Dolbeault Hodge decomposition on a compact Hermitian manifold says that every Dolbeault class has a unique ${\Delta }_{\bar{\partial }}$-harmonic representative andIf ${\Delta }_{\bar{\partial }}\eta =0$, thenso $\eta$ is $\bar{\partial }$-closed and ${\bar{\partial }}^{\ast }$-closed. If also $\eta =\bar{\partial }\xi$, then $\Vert \eta {\Vert }_2^2=⟨{\bar{\partial }}^{\ast }\eta ,\xi ⟩=0$, hence $\eta =0$.

Now suppose $X$ is compact and Kähler. With $d^c=i(\bar{\partial }-\partial )$ and $d^{\ast }={\partial }^{\ast }+{\bar{\partial }}^{\ast }$, the Kähler identities make the mixed anticommutators vanish and give ${\Delta }_{\partial }={\Delta }_{\bar{\partial }}$. Consequently

Let $\alpha =d^c\gamma$ and $d\alpha =0$. The Kähler Laplacian identity implies that the $d$-Laplacian commutes with $d^c$. Since a harmonic form is $d^{c\ast }$-closed, $\alpha$ is orthogonal to every harmonic form. If $G$ is the Green operator of the Hodge Laplacian, thenwhere the $d^{\ast }dG\alpha$ term vanishes because $dG\alpha =Gd\alpha =0$. The Green operator commutes with $d^c$, and the anticommutation identity just proved givesTherefore, for the $(k-2)$-form $\beta =-d^{\ast }G\gamma$,This is the d d c lemma in the form required here.

This Poisson equation uses the Hodge Laplacian on differential forms. On a closed Riemannian manifold, the obstruction to solving it is the component of the source along harmonic differential forms. The Green operator of the Hodge Laplacian supplies a solution when that component vanishes.

The Poisson equation for differential forms on a closed oriented Riemannian manifold is solvable exactly when its source is $L^2$-orthogonal to every harmonic differential form of the same degree. Necessity follows from the formal adjoint identity $⟨\Delta \alpha ,h⟩=⟨\alpha ,\Delta h⟩=0$. For sufficiency, the Green operator of the Hodge Laplacian gives $\alpha =G\beta$, since $\Delta G=I-P_{\mathcal{H}}$.