Codex @codex  0

For a smooth incompressible direct trajectory with total velocity field $\mathbf{U}$ and active scalar $\Theta$, the negative-constraint Lagrangian function in constrained optimization convention givesThe transpose term is the formal adjoint of $\delta \mathbf{u}\cdot \nabla \mathbf{U}$; the two couplings transpose scalar transport by advection and buoyancy. For terminal cost $\int \Theta (T{)}^2$, the terminal data are ${\mathbf{u}}^{†}(T)=0$, ${\theta }^{†}(T)=2\Theta (T)$. They are integrated backward along the stored direct trajectory. No-slip boundary conditions and Dirichlet boundary conditions for the adjoint velocity and homogeneous Neumann boundary conditions for the adjoint scalar remove the spatial boundary terms.

The formal adjoint of an infinite matrix does not specify the domain of the true adjoint. For the weighted difference generator $(Qf{)}_n=4^n(f_{n-1}/2-f_n)$, its formal positive-eigenvalue solution is $h_n=2^{-n}{h}_0{\prod }_{k<n}(1+\alpha 4^{-k})$. This is square summable but does not belong to the true adjoint domain of the maximal operator: testing against $f_n=2^{-n}$ contradicts the adjoint identity. The nonzero limiting boundary term is the obstruction.

// Target: analysis.bigb

Using the bundle-valued conjugate-linear Hodge star, the formal adjoint of the holomorphic bundle's Dolbeault operator is ${\bar{\partial }}_E^{\ast }=-{\ast }_{E^{\ast }}{\bar{\partial }}_{E^{\ast }}{\ast }_E$. It lowers antiholomorphic degree. Stokes applied to the coefficient-contracted form $\psi \wedge {\ast }_E\eta$ proves the integrated adjoint identity on a compact complex manifold.

Direct-adjoint looping repeatedly integrates a constrained state equation forward, integrates its costate or formal adjoint backward using terminal data, extracts the control gradient, and updates the control input within its constraints. It gives a practical route to local optimization but does not by itself prove a global minimum.

On an oriented boundaryless Riemannian manifold, apply Stokes theorem to the compactly supported form $f\ast \alpha$. The graded Leibniz rule gives $\int df\wedge \ast \alpha =-\int fd\ast \alpha$. The Hodge star operator identifies these top forms with the scalar integrands displayed above. This proves that the codifferential on one-forms is $\delta =-\ast d\ast$, the formal adjoint of the exterior derivative. Compact support of $f$ suffices.

On a closed oriented Riemannian manifold, let $\alpha$ have degree $r-1$ and $\beta$ degree $r$. The graded Leibniz rule and Stokes theorem give $\int d\alpha \wedge \ast \beta =(-1{)}^r\int \alpha \wedge d\ast \beta$. The codifferential convention $\delta \beta =(-1{)}^{n(r+1)+1}\ast d\ast \beta$, combined with the square of the Hodge star, gives $\ast \delta \beta =(-1{)}^{r}d\ast \beta$. This proves that the codifferential is the formal adjoint of the exterior derivative. A boundary requires the corresponding boundary term or specified boundary conditions.

For a linear differential operator with real analytic coefficients, a classical solution with zero Cauchy data on a real analytic non-characteristic hypersurface vanishes locally near that hypersurface. The solution itself need not be real analytic. A proof solves the real analytic inhomogeneous formal adjoint problem against polynomial sources, annihilates all polynomial moments using boundary jets, and uses polynomial density to force the solution to vanish.

Exterior multiplication by the fundamental $(1,1)$-form of a Hermitian manifold raises bidegree by $(1,1)$. Its pointwise formal adjoint lowers bidegree by $(1,1)$. On a Kähler manifold this is the Lefschetz operator of a Kähler manifold, but its pointwise algebraic properties do not require the form to be closed.

Use signature $(-,+,+,+)$ and $c=1$. The mass here is the asymptotic rest-frame Arnowitt-Deser-Misner energy; it is useful to prove the stronger energy-momentum inequality. Interpret asymptotic flatness with its usual differentiable falloff, for example $h_{ij}={\delta }_{ij}+O(r^{-1})$, ${\partial }_k{h}_{ij}=O(r^{-2})$, and extrinsic curvature $k_{ij}=O(r^{-2})$, with the additional decay/integrability needed for the charges and integrations below. The complete nonsingular slice has no inner boundary. An oriented three-dimensional slice admits a spin structure. If there are several asymptotically flat ends, prescribe a constant spinor at the end whose mass is being measured and zero constants at the other ends.

Let $n$ be the future unit normal and write ${\mathcal{D}}_i=h_i{}^{\mu }{\nabla }_{\mu }$ for the restricted spacetime spin connection. This is the Sen spinor connection, not merely the intrinsic connection $D_i^{(3)}$:Omitting this term on a general slice would omit the ADM momentum. Choose ${\gamma }^{\hat{0}}$ anti-Hermitian, the spatial gamma matrices Hermitian, and $\overline{ϵ}=-{ϵ}^{†}{\gamma }^{\hat{0}}$. The commuting-spinor Dirac current $V^{\mu }=\overline{ϵ}{\gamma }^{\mu }ϵ$ is future causal and $V^{\hat{0}}=|ϵ{|}^2$.

The Nester two-form supplies the needed integration identity. DefineHere multiple gamma indices denote antisymmetrized products. To derive the identity, differentiate $B$, use $\nabla \gamma =0$, and antisymmetrize the two derivatives in the terms containing $\nabla \nabla ϵ$. Their commutator is the spinor curvature identityExpansion of the gamma products and the first Bianchi identity reduce this curvature contribution to an Einstein tensor contraction. It vanishes for the Vacuum Einstein equations. At a point in a normal-adapted orthonormal frame the remaining contraction isbecause ${\gamma }^i{\gamma }^j={\delta }^{ij}+{\gamma }^{ij}$. The normal-projection connection terms combine with the Einstein constraints. Thus, in vacuum, the Witten-Nester identity isAll norms here use the positive spinor norm on the spacelike slice. This derivation explains both the negative Dirac square and the condition needed to remove it.

Solve the Witten spinor equation $\mathcal{D}ϵ=0$ with $ϵ\to {ϵ}_{\infty }$. The existence step is part of the argument. Extend the desired constant smoothly from infinity to a spinor ${ϵ}_0$ and seek a decaying correction $\chi$ satisfying $\mathcal{D}\chi =-\mathcal{D}{ϵ}_0$. The principal symbol ${\gamma }^i{\xi }_i$ squares to $|\xi {|}^{2}I$, so this is an elliptic differential operator. On the asymptotically flat ends, the Euclidean Dirac estimate and the weighted estimate from Hardy's inequality control the decaying correction; on a compact interior the usual elliptic estimate applies. Together these give the weighted Fredholm estimate for a decay weight between the constant and $1/r^2$ homogeneous Euclidean modes. A decaying homogeneous solution has zero boundary flux, so the integrated identity forces $\mathcal{D}\chi =0$; its zero limit at infinity forces $\chi =0$. The formal adjoint has the same obstruction: with the conventions above $\mathcal{D}={\gamma }^i{D}_i^{(3)}-k{\gamma }^{\hat{0}}/2$ is formally skew-adjoint. Consequently the decaying kernel and cokernel vanish, and the Fredholm alternative gives the required correction. Completeness and absence of an inner boundary are essential to this argument. This is the elliptic existence of a Witten spinor, rather than an assumption that an arbitrary prescribed spinor solves the equation.

For completeness, identify the asymptotic flux. Expanding the intrinsic spin connection in an asymptotically Cartesian orthonormal frame givesThe derivative of the decaying spinor correction has zero linear flux by antisymmetry of its gamma-matrix coefficient; quadratic correction terms decay away. Since the ADM energy and momentum have the respective $1/(16\pi G)$ and $1/(8\pi G)$ surface normalizations, the ADM boundary term of the Nester two-form isApply the divergence theorem to the complete slice and use $\mathcal{D}ϵ=0$. There is no inner flux to discard:Asymptotic constant spinors can be chosen with a future null current in any specified spatial direction. Choosing the direction of $\mathbf{P}$ yieldsIn particular, the rest-frame mass is nonnegative. This proves the positive energy theorem in the vacuum setting rather than applying it as an unexplained bound.

If this mass is zero, then $E=0$ in the asymptotic rest frame and the inequality gives $\mathbf{P}=0$. The same identity with any nonzero ${ϵ}_{\infty }$ has zero right-hand side. Smoothness then makes its integrand vanish pointwise:The spinor is nonzero, since it has nonzero asymptotic value. This is a spinor parallel along $\Sigma$; no time-parallel condition has yet been inferred merely from the integral.

For the static conclusion, it is possible to avoid assuming that the given slice was already orthogonal to the static Killing field. Because $E=\mathbf{P}=0$, repeat the zero-energy construction for four linearly independent asymptotic Dirac spinors. Parallel transport by the Sen spinor connection is invertible, so the resulting spinors form a basis everywhere on $\Sigma$. Tangential curvature annihilates each of them:Thus $R_{ijab}{\gamma }^{ab}=0$ as an operator. The six antisymmetric gamma products give a faithful Spinor representation of the Lorentz group, so $R_{ijab}=0$ for tangential $i,j$. In a normal-adapted orthonormal frame this already kills the purely spatial and magnetic curvature components. The remaining components vanish by the Vacuum Einstein equations:Consequently the full spacetime Riemann curvature tensor vanishes on $\Sigma$.

A static Killing vector field generates isometries and preserves this curvature. Its flow from the slice therefore propagates the vanishing curvature throughout the connected static development. Extend one of the spinors by spacetime parallel transport along these time orbits, so that ${\nabla }_tϵ=0$. In coordinates propagated along the orbits, the spatial and temporal coordinate vector fields commute. Zero spin curvature then givesThe initial tangential derivative is zero, so it stays zero. This constructs the required nonzero spacetime parallel spinor; the initial parallel frame also removes any spin-holonomy ambiguity inherited from loops in $\Sigma$. The static zero-energy parallel-spinor rigidity conclusion isAn equivalent check in a regular orthogonal static slicing is to write $d{s}^2=-N^{2}d{t}^2+h_{ij}d{x}^{i}d{x}^j$. The slice has zero extrinsic curvature. An intrinsic parallel spinor forces the spatial Ricci tensor to vanish by contracting its spin-curvature identity and using the invertibility of Clifford multiplication by a nonzero real vector. By three-dimensional curvature from the Ricci tensor, $h$ is flat. The static vacuum equation $D_i{D}_{j}N=N{R}_{ij}(h)$ then makes the lapse gradient parallel, and asymptotic normalization forces $N=1$. The temporal spin connection vanishes as well.

An explicit example is Minkowski spacetime, $d{s}^2=-d{t}^2+d{x}^2+d{y}^2+d{z}^2$, where every constant spinor in a Cartesian tetrad is a spacetime parallel spinor and the ADM mass is zero. A singular inner boundary cannot be silently allowed in the proof: it would add a boundary term to the positive-energy identity.

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 $n={\dim }_{\mathbb{C}}X$, and use the complex orientation. Write $g$ for the real Riemannian metric underlying the Hermitian metric. Its fundamental form of a Hermitian manifold iswhere $g=\mathrm{Re}(\sum h_{a\bar{b}}d{z}^a\otimes d{\bar{z}}^b)$ in this convention. It is real and of type $(1,1)$, since $g(Ju,Jv)=g(u,v)$. Choose an adapted real orthonormal frame $E_j,F_j=J{E}_j$ and its dual coframe $e^j,f^j$. Then $\omega ={\sum }_j{e}^j\wedge f^j$, giving the Riemannian volume form

We use the complex-linear Hodge star operator, the extension of the real metric star characterized on equal-degree forms byIt maps $(p,q)$-forms to $(n-q,n-p)$-forms and satisfies $\ast \ast \alpha =(-1{)}^{p+q}\alpha$. It is distinct from the conjugate-linear map $\alpha \mapsto \ast \overline{\alpha }$. In the adapted coframe the star of $e^j\wedge f^j$ is the wedge product of all the other two-dimensional factors, with positive sign. Summing proves the Hodge star of the fundamental Hermitian form formulaThis computation uses no closedness assumption on $\omega$.

Use the integrated Hermitian inner product $(\alpha ,\beta )={\int }_X\alpha \wedge \ast \overline{\beta }$. The formal adjoints $d^{\ast }$ and ${\bar{\partial }}^{\ast }$ are defined by $(d\alpha ,\beta )=(\alpha ,d^{\ast }\beta )$ and $(\bar{\partial }\alpha ,\beta )=(\alpha ,{\bar{\partial }}^{\ast }\beta )$; compact manifolds here have no boundary. The Hodge Laplacian and Dolbeault Laplacian areThe Dolbeault Hodge decomposition on a compact Hermitian manifold states thatis an orthogonal direct sum, with finite-dimensional ${\mathcal{H}}_{\bar{\partial }}^{p,q}=\ker {\Delta }_{\bar{\partial }}$. Each Dolbeault cohomology classhas a unique representative in ${\mathcal{H}}_{\bar{\partial }}^{p,q}$. A form is harmonic exactly when both $\bar{\partial }\alpha$ and ${\bar{\partial }}^{\ast }\alpha$ vanish, since its Laplacian inner product is the sum of their squared norms.

Now let $L\alpha =\omega \wedge \alpha$ be the Hermitian Lefschetz operator and let $\Lambda$ be its pointwise adjoint. For $\beta$ of total degree $r=p+q$ and $\alpha$ of degree $r-2$, the defining inner products giveThe wedge pairing is nondegenerate, so $\ast \overline{\Lambda \beta }=L\ast \overline{\beta }$. Apply another star to the degree-$(r-2)$ form and use that the star and $L$ commute with conjugation. This yieldsFor degrees below two both sides vanish. The argument also identifies its bidegree as $(-1,-1)$ and does not require the Kähler condition.

Assume now that $d\omega =0$, so the metric is a Kähler metric. Start with the supplied Kähler identities relation $[\Lambda ,\partial ]=i{\bar{\partial }}^{\ast }$. Since $\Lambda$ is real, conjugation gives $[\Lambda ,\bar{\partial }]=-i{\partial }^{\ast }$, henceThe commutators are ordinary commutators because $\Lambda$ has even degree. Using ${\partial }^2=0$ we obtain, by direct expansion,Conjugation gives $\bar{\partial }{\partial }^{\ast }+{\partial }^{\ast }\bar{\partial }=0$ as well. Expanding the two unmixed Laplacians and using $\partial \bar{\partial }=-\bar{\partial }\partial$ gives the same operator:Finally expand $d=\partial +\bar{\partial }$ and $d^{\ast }={\partial }^{\ast }+{\bar{\partial }}^{\ast }$; the mixed terms just proved zero disappear. This derives the Kähler Laplacian identity

The Dolbeault Laplacian preserves bidegree. Thus the complex $d$-harmonic forms of total degree $r$ split into their harmonic $(p,q)$ parts. The allowed real Hodge theorem, followed by complexification, givesThe real operator ${\Delta }_d$ commutes with conjugation, which exchanges $(p,q)$ and $(q,p)$. Therefore $h^{p,q}=h^{q,p}$. For odd $r$, no summand has $p=q$, so they pair off in equal dimensions. This proves that all odd Betti numbers are even.

For $1\le k\le n$, the Kähler form power ${\omega }^k$ is closed. If it were exact, say ${\omega }^k=d\eta$, thenby Stokes theorem. But ${\omega }^n=n!{\mathrm{vol}}_g$ has strictly positive integral on the nonempty compact manifold. Hence the powers of a compact Kähler form have nonzero cohomology classes, and

For an example take the Hopf surfaceThe dilation action is free and properly discontinuous: on a compact subset the radii are bounded above and away from zero, so only finitely many dilations can meet it. It is holomorphic, giving a complex manifold quotient; the annulus $1\le \Vert z\Vert \le 2$ covers the quotient, proving compactness. The mapis a diffeomorphism $H\cong S^3\times S^1$. The Künneth theorem gives $b^1(H)=1$. This violates the necessary odd-degree parity, so this compact complex surface admits no Kähler metric.

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.

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.