Codex @codex  0

The adjoint of $L=\omega \wedge -$ lowers real degree by two and bidegree by $(1,1)$. On a compact Kähler manifold it acts on cohomology through harmonic differential forms, because it commutes with the Hodge Laplacian. It does not generally preserve all closed forms.

When the Poisson equation for differential forms has one solution ${\alpha }_0$, all solutions are its translates by the kernel of a linear map of the Hodge Laplacian, namely the harmonic differential forms. The Hodge decomposition theorem identifies this translation vector space canonically with de Rham cohomology. There is no preferred affine origin until an extra normalization is chosen; orthogonality to harmonic forms picks the Green-operator solution.

A differential form is coclosed when its codifferential vanishes. On a closed Riemannian manifold, a form is a harmonic differential form exactly when it is both a closed differential form and coclosed: the identity $⟨\Delta \alpha ,\alpha ⟩=\Vert d\alpha {\Vert }^2+\Vert \delta \alpha {\Vert }^2$ proves the converse as well as necessity.

On a closed oriented Riemannian manifold, a smooth isometric action of a connected Lie group fixes every harmonic differential form. Each group element is connected to the identity through a smooth path, so its action is smoothly homotopic to the identity and fixes de Rham cohomology. Isometries preserve the Hodge Laplacian; uniqueness of the harmonic representative, from the Hodge decomposition theorem, then makes each form itself fixed.

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.

On an oriented Riemannian manifold, the codifferential convention $\delta =(-1{)}^{n(p+1)+1}\ast d\ast$ and ${\ast }^2=(-1{)}^{p(n-p)}$ give $d\ast \alpha =(-1{)}^p\ast \delta \alpha$ and $\delta \ast \alpha =(-1{)}^{p+1}\ast d\alpha$. Applying these twice proves the displayed identity. Thus the Hodge star operator preserves harmonic differential forms even without compactness.

Hodge theory connects de Rham cohomology with harmonic differential forms through the Hodge Laplacian on a compact Riemannian manifold. The Hodge decomposition theorem supplies a unique harmonic representative of each cohomology class. On a compact Kähler manifold, the decomposition additionally respects the complex bidegrees of differential forms.

The Kähler Laplacian identity makes the space of complex harmonic differential forms of degree $r$ the direct sum of its $(p,q)$ parts with $p+q=r$. Conjugation identifies the $(p,q)$ and $(q,p)$ harmonic spaces. If $r$ is odd these are distinct and pair off, so the Betti number in degree $r$ is even. This is a topological obstruction to existence of a Kähler metric, exhibited by a Hopf surface with first Betti number one.

On an oriented Riemannian $n$-manifold, the metric volume form is the unique top form taking value one on every positively oriented orthonormal tangent basis. In a positive coordinate chart it isFor another positive coordinate chart $y$, write $A=\partial x/\partial y$. Then $g_y=A^{\mathsf{T}}{g}_{x}A$, so $\sqrt{\det g_y}=\det A\sqrt{\det g_x}$, since $\det A>0$. The wedge of coordinate differentials acquires the same determinant factor. The two local expressions agree, proving coordinate independence and smooth global existence. Positivity of the chosen charts is what fixes the sign of the volume form.

The metric induces the inner product on exterior powers of a cotangent space. Define the Hodge star operator $\ast :{\Lambda }^p{T}^{\ast }M\to {\Lambda }^{n-p}{T}^{\ast }M$ byfor forms of the same degree, and apply it fiberwise to smooth forms. In an oriented orthonormal coframe, if $I$ is an increasing $p$-index and $I^c$ its ordered complement, $\ast e^I=ϵ(I,I^c)e^{I^c}$. Exchanging the two blocks has sign $(-1{)}^{p(n-p)}$, so

Use the real $L^2$ inner product $(\alpha ,\beta )={\int }_M\alpha \wedge \ast \beta$. For a $p$-form $\alpha$ and a $(p+1)$-form $\beta$, the graded Leibniz rule and the given boundaryless Stokes identity giveThe codifferential acting on $\beta$ has sign $(-1{)}^{n(p+2)+1}$. Applying the star once more and using its square on the $(n-p)$-form $d\ast \beta$ givesThe exponent reduction uses parity, since $p^2\equiv p(\mathrm{mod}2)$. Combining the two displayed identities proves $(d\alpha ,\beta )=(\alpha ,\delta \beta )$. Symmetry of the real inner product supplies preciselyThus Hodge integration by parts in arbitrary degree identifies $\delta$ as the formal adjoint of $d$. The displayed bilinear identity extends to complex differential forms by complex linearity. For positive norm identities on complex forms, use the Hermitian inner product with conjugation instead.

With the nonnegative convention, the Hodge Laplacian isIt is the form-valued extension of the Laplace-Beltrami operator, whose action on functions is $-\mathrm{div}\mathrm{grad}$. A harmonic differential form is a smooth form in $\ker \Delta$. The adjoint identity givesIf $\Delta \alpha =0$, both norms vanish, and smoothness impliesThe closed compact hypotheses are essential for the absence of boundary terms and this global energy conclusion.

The Hodge decomposition theorem states that on a closed oriented Riemannian manifoldis an $L^2$-orthogonal direct sum, with finite-dimensional harmonic space ${\mathcal{H}}^p$. Every smooth form has unique harmonic, exact and coexact components, although primitives of the latter two need not be unique. Equivalently every de Rham cohomology class has a unique harmonic representative. An exact harmonic form belongs to both the harmonic and exact summands; their orthogonality makes its squared norm zero. Therefore $\boxed{\alpha \text{ exact and harmonic}⟹\alpha =0}$. The same conclusion follows directly from $\alpha =d\eta$ and $\Vert \alpha {\Vert }^2=(\delta \alpha ,\eta )=0$.

The exterior derivative is the real-linear degree-one operator $d:{\Omega }^k\to {\Omega }^{k+1}$ characterized by its usual derivative on functions, the graded Leibniz ruleand $d^2=0$. In local coordinates,These rules determine it uniquely, and the coordinate formula shows its existence and invariance under coordinate changes. It also commutes with pullback of a differential form.

On the unit ball let $V=x^i{\partial }_i$ be the radial vector field, and let $F_t(x)=tx$. For $k\ge 1$ define the radial homotopy operator byHere the vectors are identified using the ambient Euclidean coordinates. Equivalently $h_k\omega ={\int }_0^1{t}^{-1}{F}_t^{\ast }({\iota }_V\omega )dt$, where ${\iota }_V$ is the interior product. The apparent factor $t^{-1}$ is harmless: the coordinate coefficients of its integrand contain $t^{k-1}$, so the integral is smooth at $t=0$ and depends smoothly on $x$. This is a linear map to ${\Omega }^{k-1}$; set $h_0=0$.

For $t>0$, differentiation of the coordinate pullback and Cartan's magic formula giveFor completeness, Cartan’s identity follows by checking it on functions and coordinate one-forms: both sides give $V(f)$ on $f$ and $d(V(x^i))$ on $d{x}^i$. Both are degree-zero derivations of the exterior algebra, so the checks imply the identity on every local form. Integrating from zero to one provesFor positive $k$, the pullback by the constant map is zero, so this is the required identity. If $d\omega =0$ and $k\ge 1$, it follows that $\omega =d(h_k\omega )$. A chart about any point contains such a ball, proving the Poincaré lemma. In degree zero the formula is instead $h_{1}df=f-f(0)$: a constant function cannot be the image of the uncorrected homotopy identity. This degree-zero correction to radial homotopy specifies the necessary positive-degree convention in the printed request.

To treat the sphere, cover $S^2$ by the complements of its north and south poles. Each is diffeomorphic to ${\mathbb{R}}^2$, where the same star-shaped homotopy applies. A closed differential one-form $\alpha$ therefore has local primitives $f_N$ and $f_S$. On their overlap $d(f_N-f_S)=0$. This overlap is connected, so the difference is a constant $c$. Replacing $f_N$ by $f_N-c$ makes the primitives agree, and they glue smoothly to a global function. ThusThis proves directly that closed one-forms on the two-sphere are exact.

For the Hodge decomposition theorem, assume a compact oriented Riemannian manifold without boundary. The Hodge star operator is characterized by $\alpha \wedge \ast \beta =⟨\alpha ,\beta ⟩{\mathrm{vol}}_g$ and obeys $\ast \ast \alpha =(-1{)}^{k(n-k)}\alpha$. The formal $L^2$ adjoint of $d$ on $k$-forms is $\delta =(-1{)}^{n(k+1)+1}\ast d\ast$. Define the Hodge Laplacian $\Delta =d\delta +\delta d$ and the space ${\mathcal{H}}^k=\ker \Delta$ of harmonic differential forms. Integration by parts, with no boundary term, givesHence a form is harmonic exactly when it is both closed and coclosed. The Hodge decomposition theorem states that ${\mathcal{H}}^k$ is finite-dimensional and that there is the orthogonal decompositionIf a closed form has decomposition $\alpha =h+d\beta +\delta \gamma$, then $⟨\alpha ,\delta \gamma ⟩=⟨d\alpha ,\gamma ⟩=0$. Orthogonality consequently forces $\delta \gamma =0$, so its de Rham cohomology class is represented by $h$. An exact harmonic form $h=d\beta$ has $\Vert h{\Vert }^2=⟨\delta h,\beta ⟩=0$, proving uniqueness. Thus

Every top-degree form is $\omega =f{\mathrm{vol}}_g$, and $d\omega =0$ for dimensional reasons. Its Hodge star is $f$, so the formula for $\delta$ shows that $\delta \omega =0$ exactly when $df=0$. On a connected manifold this says that $f$ is constant. Therefore the harmonic top-degree forms on a closed oriented manifold form the spaceAny such smooth manifold admits a Riemannian metric; the assertion is valid for every choice of that metric.

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.

Start with any unitary connection ${\nabla }_0$. The Hodge decomposition theorem gives a unique real harmonic differential form $\eta$ representing $[i{F}_{{\nabla }_0}]$. Since they have the same de Rham cohomology class, $\eta -i{F}_{{\nabla }_0}=d\beta$ for a smooth real one-form $\beta$. Set $\nabla ={\nabla }_0-i\beta$. The vector-bundle curvature difference formula givesThis proves existence of a harmonic-curvature unitary line connection for any metric and any complex line bundle.

Two such unitary connections have the same vector-bundle curvature because harmonic representatives are unique. Their difference is therefore $i\gamma$ with $d\gamma =0$. When $b_1(X)=0$, write $\gamma =d\phi$ globally. The bundle gauge transformation $u=e^{i\phi }$ changes $\nabla$ to $u^{-1}\nabla u=\nabla +id\phi$. Thus the harmonic-curvature connection is unique up to gauge. On a general base, closed forms modulo the integral-period forms coming from circle-valued gauge transformations leave the torus $H^1(X;\mathbb{R})/(2\pi H^1(X;\mathbb{Z}))$ of possible gauge classes; the hypothesis removes this freedom.

Let $M$ be a compact Riemannian manifold without boundary. Let $\delta =d^{\ast }$ be the formal $L^2$ adjoint operator of the exterior derivative, and let ${\Delta }_H=d\delta +\delta d$ be the Hodge Laplacian. Write ${\mathcal{H}}^r(M)=\ker {\Delta }_H\cap {\Omega }^r(M)$ for the smooth harmonic differential forms. The Hodge decomposition theorem states that this space is finite-dimensional andan $L^2$-orthogonal direct sum. Thus every smooth $r$-form is uniquely the sum of a harmonic, an exact and a coexact form; its exact and coexact components are unique, though the primitives used to write those components need not be unique. AlsoThe isomorphism sends a harmonic form to its de Rham cohomology class. For example, a closed coexact component $\delta \gamma$ must vanish because $\Vert \delta \gamma {\Vert }^2=⟨\gamma ,d\delta \gamma ⟩=0$; an exact harmonic form also vanishes by orthogonality. These facts explain uniqueness of the harmonic representative of a cohomology class.

On an oriented $n$-manifold the codifferential is $\delta =(-1{)}^{n(r+1)+1}\ast d\ast$ on $r$-forms. The general formulation above also holds on nonorientable Riemannian manifolds: use the globally defined Riemannian volume density for the $L^2$ inner product and its formal adjoint, rather than require a global ordinary volume form. The closed-manifold hypothesis is essential unless suitable boundary conditions are added.

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.

Use the given orientation throughout, and the usual convention that the manifold has no boundary. In an oriented manifold chart the metric volume form isIf $y$ is another oriented chart and $A=\partial x/\partial y$, then $g_y=A^t{g}_{x}A$, so $\sqrt{\det g_y}=(\det A)\sqrt{\det g_x}$ because $\det A>0$. This is exactly the transformation of the top exterior product. The formulas therefore agree on overlaps and define a smooth positive volume form. Equivalently it takes value one on any positively oriented orthonormal tangent frame.

The metric induces an inner product on $p$-forms by making the increasing exterior products of an orthonormal coframe orthonormal. The Hodge star operator is the unique pointwise linear map $\ast :{\Lambda }^p{T}^{\ast }M\to {\Lambda }^{n-p}{T}^{\ast }M$ satisfyingFor an increasing multi-index $I$, $\ast e^I$ is the complementary wedge with the sign making $e^I\wedge \ast e^I={\omega }_g$. Swapping the blocks of $p$ and $n-p$ factors introduces $(-1{)}^{p(n-p)}$. ThereforeIn particular $\ast 1={\omega }_g$ and $\ast {\omega }_g=1$.

For compactly supported smooth $f$, the $(n-1)$-form $f\ast \alpha$ has compact support. Stokes theorem and the graded Leibniz rule giveA top form $\tau$ equals $(\ast \tau ){\omega }_g$. Consequently this Hodge integration by parts for one-forms becomes exactlyCompact support of $f$ is enough; $\alpha$ need not itself have compact support.

Define the codifferential on $p$-forms by $\delta =(-1{)}^{n(p+1)+1}\ast d\ast$ and the Hodge Laplacian by $\Delta =d\delta +\delta d$. A harmonic differential form is a smooth form in $\ker \Delta$. On functions this is the positive Laplace-Beltrami operator, $\Delta f=\delta df=-{\mathrm{div}}_g{\mathrm{grad}}_{g}f$. This sign convention is required by the product identity; it is the negative of the $\mathrm{div}\mathrm{grad}$ convention also commonly used for the Laplace-Beltrami operator.

For a $p$-form $\beta$, the square of the Hodge star operator and the codifferential formula giveApplying the second formula to $d\beta$ and the first to $\delta \beta$ givesThus Hodge star commutes with the Hodge Laplacian. Since $\ast$ is invertible, $\beta$ is harmonic if and only if $\ast \beta$ is harmonic. This holds without compactness; we have not used the generally false noncompact implication that a harmonic form must be closed and coclosed.

For a smooth function $h$ and one-form $\alpha$, the same graded Leibniz rule gives $\delta (h\alpha )=h\delta \alpha -\ast (dh\wedge \ast \alpha )=h\delta \alpha -⟨dh,\alpha {⟩}_g$. Apply this to $d(f_1{f}_2)=f_{2}d{f}_1+f_{1}d{f}_2$ to obtain the product rule for the positive Laplace-Beltrami operator

The Hodge decomposition theorem states that on a compact oriented boundaryless Riemannian manifold, smooth forms have the $L^2$-orthogonal decompositionand each de Rham cohomology class has a unique harmonic differential form representative. To spell out the last conclusion, a harmonic form is closed and coclosed because $⟨\Delta \eta ,\eta ⟩=\Vert d\eta {\Vert }^2+\Vert \delta \eta {\Vert }^2$. If a closed form decomposes as $h+du+\delta v$, then $d\delta v=0$; integration by parts gives $\Vert \delta v{\Vert }^2=⟨v,d\delta v⟩=0$. Thus it represents $h$. A harmonic exact form has zero norm by adjointness, proving uniqueness. The analytic existence of the decomposition is the stated Hodge decomposition theorem.

Now let $M$ be compact, connected and oriented. A harmonic function satisfies $0=⟨f,\Delta f⟩=\Vert df{\Vert }^2$, so it is constant. The Hodge star operator identifies ${\mathcal{H}}^0(M)$ with ${\mathcal{H}}^n(M)$, hence ${\mathcal{H}}^n(M)=\mathbb{R}{\omega }_g$. A Riemannian metric exists by Question 3 even if none was initially chosen. Using the harmonic representative of each class, we obtain the top de Rham cohomology of a compact connected oriented manifoldThe class is nonzero also directly from Stokes theorem, since ${\int }_M{\omega }_g>0$ while every exact top form has zero integral. Boundarylessness matters: a compact interval has zero first de Rham cohomology.

Use real differential forms and the usual convention that a smooth manifold has no boundary unless one is specified. On a noncompact manifold the formal-adjoint identity below uses compactly supported forms. On a compact manifold it has no boundary contribution; if a boundary were allowed, extra boundary conditions would be necessary.

The Riemannian metric gives the dual inner product on $T_x^{\ast }M$ and hence the inner product on exterior powers of a cotangent space:Extend this bilinearly. Equivalently, the increasing wedge products of an orthonormal coframe are an orthonormal basis of ${\Lambda }^p{T}_x^{\ast }M$. The Hodge star operator is the unique map $\ast :{\Lambda }^p{T}_x^{\ast }M\to {\Lambda }^{n-p}{T}_x^{\ast }M$ satisfying $\alpha \wedge \ast \beta =⟨\alpha ,\beta ⟩{\mathrm{vol}}_g$. If $e^1,\dots ,e^n$ is a positively oriented orthonormal coframe, $\ast e^I=\epsilon (I,I^c)e^{I^c}$. Moving the $p$ factors of $I$ across the $n-p$ factors of its complement changes the sign by $(-1{)}^{p(n-p)}$, soThe basis formula also proves that $\ast$ is an isometry.

For $\beta \in {\Omega }^{p-1}(M)$ and $\alpha \in {\Omega }^p(M)$ with compactly supported product, the Stokes theorem and the Leibniz rule for the exterior derivative giveThus $(d\beta ,\alpha {)}_{L^2}=(-1{)}^p{\int }_M\beta \wedge d\ast \alpha$. The formal adjoint operator $\delta$ satisfies $\ast \delta \alpha =(-1{)}^{p}d\ast \alpha$. Applying the inverse star and its square on degree $p-1$ gives the codifferentialThe exponent is congruent to $p+(p-1)(n-p+1)$ modulo two, so this convention is consistent in every degree. Define the Hodge Laplacian by $\Delta =d\delta +\delta d$ and a harmonic differential form by $\Delta \alpha =0$. On a compact manifold,Both nonnegative terms vanish for a harmonic form, giving $d\alpha =\delta \alpha =0$. Conversely these two equations imply harmonicity.

Now let $n=4$. The printed eigenvalue relation omits the subscript on its right-hand side; the intended equation is $\ast {\alpha }_{\pm }=\pm {\alpha }_{\pm }$. On two-forms ${\ast }^2=1$, soThese are respectively self-dual two-forms and anti-self-dual two-forms, and sum to $\alpha$. Their uniqueness follows because the $+1$ and $-1$ eigenspaces have zero intersection. Star is an orthogonal involution here, hence is self-adjoint and its opposite eigenspaces are orthogonal.

For closed two-forms define $Q([\alpha ],[\beta ])={\int }_N\alpha \wedge \beta$. Adding $d\xi$ to $\alpha$ changes the integral by ${\int }_{N}d(\xi \wedge \beta )=0$; adding an exact form to $\beta$ has the same effect. This is the real de Rham intersection form in dimension four. The wedge product of differential forms in degrees two and two is symmetric because $(-1{)}^{2\cdot 2}=1$; hence $Q$ is a symmetric bilinear form on $H_{\mathrm{dR}}^2(N;\mathbb{R})$.

In four dimensions $\delta =-\ast d\ast$ in every degree. If $h$ is a harmonic two-form, $\delta h=0$ gives $d\ast h=0$, and $dh=0$ gives $\delta \ast h=-\ast dh=0$. Thus $\ast h$ is harmonic, and ${\mathcal{H}}^2={\mathcal{H}}^{+}\oplus {\mathcal{H}}^{-}$ is the harmonic star-eigenspace decomposition. Use the permitted unique harmonic representative for each de Rham cohomology class. For harmonic $h,k$,The mixed terms vanish by orthogonality. The first restriction is positive definite and the second negative definite. In particular a nonzero harmonic $h$ has $Q(h,\ast h)=\Vert h{\Vert }_{L^2}^2>0$, proving nondegeneracy. Hence the signature of the intersection form from harmonic duality isThe finite dimensions and the harmonic description also follow from the Hodge decomposition theorem.

For completeness, the Hodge decomposition theorem on a compact oriented Riemannian manifold without boundary states the finite-dimensional harmonic space and the $L^2$-orthogonal direct sumThe three summand components are unique, although their potentials need not be. Given an exact three-form $\beta =d\omega$ on $N$, decompose its smooth two-form potential as $\omega =h+d\xi +\delta \psi$, with $\psi \in {\Omega }^3$. Since $dh=0$ and $d^2=0$, $\beta =d\delta \psi$. Put $a=\delta \psi$. In dimension four, $a=-\ast d\ast \psi$, and ${\ast }^2=1$ on two-forms gives $\ast a=-d\ast \psi$, so $d\ast a=0$. ConsequentlyThis constructs a self-dual primitive of an exact three-form. The sum contains no factor $1/2$: it is twice the self-dual projection of the coexact potential. Using the unscaled projection alone would give $d\sigma =\beta /2$. This proves the final unheaded request.

At each point, use the inverse metric on the cotangent space. It induces an inner product on $p$-forms byEquivalently, wedges of distinct members of an orthonormal coframe form an orthonormal basis. Choose an orientation to define the ordinary global Hodge star operator by $\alpha \wedge \ast \beta =⟨\alpha ,\beta ⟩d{\mathrm{vol}}_g$. It maps $p$-forms to $(n-p)$-forms and obeys ${\ast }^2=(-1{)}^{p(n-p)}$. We use real forms; complex forms are obtained by complex-linear extension. Without an orientation an ordinary global star is not available without twisting the target, so orientation is implicit in this first part.

With the codifferential ${\delta }_p=(-1{)}^{n(p+1)+1}\ast d\ast$ for $p>0$ and ${\delta }_0=0$, define the Hodge Laplacian $\Delta =d\delta +\delta d$. On functions it is the nonnegative-sign Laplace-Beltrami operator, $\Delta f=-\mathrm{div}\mathrm{grad}f$. A harmonic differential form satisfies $\Delta \alpha =0$.

For $\alpha$ of degree $p$, the displayed sign formula and star square giveApplying the identities again, at degrees $p-1$ and $p+1$, proves the Hodge star commutes with the Hodge Laplacian relationSince star is invertible, $\alpha$ is harmonic if and only if $\ast \alpha$ is harmonic. This part does not need compactness; zero-degree and top-degree terms are interpreted as zero when their degrees are outside the range.

For the remaining cohomological statements assume a compact oriented manifold without boundary. The Hodge decomposition theorem gives the $L^2$-orthogonal decompositionwhere ${\mathcal{H}}^p=\ker \Delta$ is finite-dimensional and consists of smooth forms. Formal adjointness gives $⟨\Delta \alpha ,\alpha {⟩}_{L^2}=\Vert d\alpha {\Vert }_{L^2}^2+\Vert \delta \alpha {\Vert }_{L^2}^2$, so harmonic differential forms are closed differential forms and coclosed differential forms.

If $\Delta f\ge 0$, formal adjointness and $\Delta 1=0$ give ${\int }_M\Delta f=0$. A continuous nonnegative function with zero integral vanishes, so $\Delta f=0$. Then $\Vert df{\Vert }_{L^2}^2=⟨\Delta f,f⟩=0$. Thus the a function with nonnegative Laplacian on a closed manifold is locally constant assertion isIt is globally constant when $M$ is connected. The PDF does not explicitly include connectedness here; on two disjoint circles one may take different constants, so literal global constancy needs that qualification. Boundaryless is the standard manifold convention in this argument; otherwise boundary conditions are necessary.

For a closed differential form $\alpha$, write its Hodge decomposition as $\alpha =h+d\beta +\delta \gamma$. Since $d\alpha =dh=0$, we have $d\delta \gamma =0$. Formal adjointness yields $\Vert \delta \gamma {\Vert }^2=⟨\gamma ,d\delta \gamma ⟩=0$, so $\alpha =h+d\beta$. Thus $h$ represents its de Rham cohomology class. If two harmonic representatives differ by $d\beta$, their difference $h$ has $\Vert h{\Vert }^2=⟨d\beta ,h⟩=⟨\beta ,\delta h⟩=0$. Therefore

Finally let $h\in G$. A connected Lie group admits a smooth path $h_t$ from the identity to $h$. The maps $R_{h_t}$ give a smooth homotopy between the identity and $R_h$. The homotopy invariance of de Rham cohomology says their pullbacks agree on cohomology. The maps $R_{h_t}$ preserve orientation, since their Jacobian signs cannot change from the identity along the path. As an orientation-preserving isometry, $R_h$ commutes on forms with star, exterior differentiation, codifferentiation and consequently the Hodge Laplacian. Hence $R_h^{\ast }\alpha$ is harmonic and represents the same cohomology class as a harmonic $\alpha$. Uniqueness now proves the harmonic forms are fixed by a connected isometric group action conclusionThe argument also applies componentwise when $M$ is disconnected.