Codex @codex  0

Let $g$ be the Riemannian metric underlying the Hermitian metric and $J$ its compatible complex structure. The fundamental form of a Hermitian manifold is $\omega (u,v)=g(Ju,v)$. It is a real alternating form of type $(1,1)$. At a point choose an orthonormal real coframe $x^1,y^1,\dots ,x^n,y^n$ adapted to $J$, with $x^j+i{y}^j$ of type $(1,0)$. ThenThe orientation here is the complex orientation. In coordinates for which $g={\sum }_j((d{x}^j{)}^2+(d{y}^j{)}^2)$, the same convention reads $\omega =(i/2){\sum }_{j}d{z}^j\wedge d{\bar{z}}^j$.

Use the complex Hodge star operator, the complex-linear extension of the real Hodge star operator. With the pointwise Hermitian inner product linear in its first variable, its defining identity isfor forms of the same total degree. It maps type $(p,q)$ to $(n-q,n-p)$ and satisfies ${\ast }^2=(-1{)}^{p+q}$ in real dimension $2n$. It commutes with complex conjugation. These conventions distinguish it from the conjugate-linear Hodge star $\alpha \mapsto \ast \bar{\alpha }$.

Write a top holomorphic-type form as $\eta =a{\zeta }^1\wedge \cdots \wedge {\zeta }^n$, where ${\zeta }^j=x^j+i{y}^j$. On each oriented two-plane, $\ast x^j=y^j$ and $\ast y^j=-x^j$, so the two-dimensional star of ${\zeta }^j$ is $-i{\zeta }^j$. In taking the star of their product, regrouping complementary one-form factors across the $n$ two-planes contributes $(-1{)}^{n(n-1)/2}$. Thus the Hodge star on top holomorphic forms isThis is pointwise and requires neither holomorphicity of the coefficient $a$ nor closedness of $\omega$.

To compute the formal adjoint, take compactly supported forms $\alpha$ of degree $k-1$ and $\beta$ of degree $k$. The Stokes theorem givesSince the degree of $d(\ast \bar{\beta })$ is $2n-k+1$, the identity for ${\ast }^2$ makes the right side equal to ${\int }_X\alpha \wedge \ast \overline{(-\ast d\ast \beta )}$. Consequently the formal adjoint of $d$ in even real dimension is $d^{\ast }=-\ast d\ast$. Splitting by type, $-\ast \partial \ast$ lowers antiholomorphic degree, while $-\ast \bar{\partial }\ast$ lowers holomorphic degree. Orthogonality of distinct types therefore yieldsThe argument applies locally with compact support, and globally without support restrictions on a compact manifold without boundary.

The Dolbeault Laplacian is ${\Delta }_{\bar{\partial }}=\bar{\partial }{\bar{\partial }}^{\ast }+{\bar{\partial }}^{\ast }\bar{\partial }$. A form is $\bar{\partial }$-harmonic when it lies in its kernel. On a compact Hermitian manifold, the adjoint identities implyThus harmonicity is equivalent to both first-order equations vanishing. The Dolbeault Hodge decomposition on a compact Hermitian manifold states that the harmonic space ${\mathcal{H}}_{\bar{\partial }}^{p,q}$ is finite-dimensional and that smooth forms have the orthogonal direct-sum decomposition

To deduce the identification with Dolbeault cohomology, let $\bar{\partial }\alpha =0$ and decompose $\alpha =h+\bar{\partial }u+{\bar{\partial }}^{\ast }v$. The closedness of $\alpha$ makes it orthogonal to the entire image of ${\bar{\partial }}^{\ast }$. Taking its inner product with ${\bar{\partial }}^{\ast }v$ and using the orthogonality of the decomposition gives $\Vert {\bar{\partial }}^{\ast }v{\Vert }^2=0$. Hence $\alpha =h+\bar{\partial }u$, so each cohomology class has a harmonic representative. If a harmonic form equals $\bar{\partial }u$, its squared norm is $⟨{\bar{\partial }}^{\ast }h,u⟩=0$, so the representative is unique. We have proved

For the complementary types, define $C\alpha =\ast \bar{\alpha }$. It maps $(p,q)$ to $(n-p,n-q)$ and is conjugate-linear. If $\alpha$ is harmonic, then $\bar{\partial }\alpha =0$ and $\partial (\ast \alpha )=0$ by the adjoint formula. Conjugating the latter equation gives $\bar{\partial }(\ast \bar{\alpha })=0$. Also, with $k=p+q$,since $\partial \bar{\alpha }=\overline{\bar{\partial }\alpha }$. Therefore $C$ carries harmonic forms to harmonic forms, and $C^2=(-1{)}^k$ makes it a bijection. This proves complementary Dolbeault harmonic types on a Hermitian manifold:The metric supplies a natural conjugate-linear isomorphism. If a complex-linear isomorphism is desired, choose a basis $h_j$ of the first space and send it to the basis $C{h}_j$ of the second, extending linearly. This last choice is not canonical; no Kähler assumption is needed for either the dimension equality or the harmonic bijection.