Codex @codex  0

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.

Let $\omega$ be the Kähler form associated with the metric. The Lefschetz operator of a Kähler manifold and adjoint Lefschetz operator areHere the adjoint is taken with respect to the pointwise Hermitian inner product on complexified forms, or equivalently the global $L^2$ inner product. It lowers degree by two and bidegree by $(1,1)$. In terms of the Hodge star operator, $\Lambda ={\ast }^{-1}L\ast$.

Since $d\omega =0$, $dL=Ld$, so $L$ takes closed differential forms to closed differential forms and exact differential forms to exact differential forms. This already gives its action on de Rham cohomology. For both operators together, use the Kähler identities: $L$ commutes with the Hodge Laplacian, and taking adjoints shows that $\Lambda$ does too. Thus both preserve harmonic differential forms.

When $M$ is compact, the Hodge decomposition theorem identifies $H^k(M,\mathbb{C})$ with its space of harmonic $k$-forms. If $h_{\alpha }$ is the unique harmonic differential form representing $[\alpha ]$, defineThe resulting forms are harmonic and therefore closed, and uniqueness of $h_{\alpha }$ makes these definitions independent of the initial representative. The cohomological definition of $\Lambda$ uses harmonic differential forms as representatives: $\Lambda$ need not take an arbitrary closed form to a closed form.

A form is harmonic whenAdjointness givesTherefore $\Delta \alpha =0$ implies $d\alpha =0$ and $\delta \alpha =0$; the converse follows immediately from the definition of $\Delta$.

The Hodge decomposition theorem states in particular that every de Rham cohomology class has a unique harmonic representative. Hence

For the stated flat metric and orientation,Because the metric coefficients and the coordinate one-forms are constant, the Hodge Laplacian acts coefficientwise:Thus a harmonic one-form $\alpha ={\sum }_i{\alpha }_{i}d{x}^i$ has harmonic coefficient functions. Every harmonic function on the compact connected torus is constant by the maximum principle for harmonic functions. HenceThe Hodge decomposition theorem now gives

An orientation selects the positive ordered bases in each tangent space. On an oriented $n$-dimensional Riemannian manifold, the Riemannian volume form ${\omega }_g$ is the unique smooth $n$-form satisfyingfor every positively oriented orthonormal frame. In positively oriented local coordinates,

The metric induces an inner product on the bundle ${\Lambda }^p{T}^{\ast }M$ of $p$-forms. The Hodge star operator is the unique linear mapsuch thatfor all $p$-forms $\alpha ,\beta$. With the codifferential $\delta$, the Laplace-Beltrami operator on differential forms is

The Hodge decomposition theorem says that on a compact oriented Riemannian manifold,an $L^2$-orthogonal direct sum, where ${\mathcal{H}}^p(M)=\ker \Delta$ is the finite-dimensional space of harmonic $p$-forms. Every de Rham cohomology class has exactly one harmonic representative.

On $p$-forms in dimension $n$, the defining identity for the Hodge star operator givesFor $n=4$ and $p=2$, therefore, ${\ast }^2=1$. For every $\alpha \in {\Omega }^2(N)$ defineThen $\ast {\alpha }_{+}={\alpha }_{+}$, $\ast {\alpha }_{-}=-{\alpha }_{-}$, and $\alpha ={\alpha }_{+}+{\alpha }_{-}$. The two eigenspaces of the involution $\ast$ have zero intersection, which proves uniqueness. They are respectively the spaces of self-dual and anti-self-dual two-forms.

Now suppose $N$ is compact and let $\beta$ be an exact three-form, say $\beta =d\theta$. Apply the Hodge decomposition theorem to the two-form $\theta$:Set $a=\delta \psi$. Then $da=d\theta =\beta$ and $\delta a={\delta }^2\psi =0$. For a two-form in dimension four, $\delta =-\ast d\ast$, so $d\ast a=0$. The self-dual formsatisfiesThus every exact three-form is the exterior derivative of a self-dual two-form.

On a compact oriented smooth manifold $N$ of dimension four without boundary, set $Q([\alpha ],[\beta ])={\int }_N\alpha \wedge \beta$ for closed real two-forms. The Stokes theorem makes the expression independent of representatives, and the even degrees make it symmetric. It is the real de Rham cohomology version of the intersection form. The Hodge decomposition theorem and Hodge star operator express it as $Q(h,k)=(h,\ast k{)}_{L^2}$ on harmonic representatives.

On a compact oriented Riemannian manifold of dimension four without boundary, every exact three-form has a self-dual two-form primitive. Write $\beta =d\omega$ and use the Hodge decomposition theorem to split $\omega =h+d\xi +\delta \psi$. Then $\beta =d\delta \psi$. For $a=\delta \psi$, the codifferential identity $\delta =-\ast d\ast$ and the fact ${\ast }^2=1$ on two-forms give $\ast a=-d\ast \psi$, so $d\ast a=0$. Thus $\sigma =a+\ast a$ satisfies $\ast \sigma =\sigma$ and $d\sigma =\beta$. It is twice the self-dual projection of $a$, rather than the projection itself.

For a compact connected oriented boundaryless $n$-dimensional smooth manifold, choose a Riemannian metric. Harmonic functions are constant because $⟨f,\Delta f⟩=\Vert df{\Vert }^2$, and Hodge star commutes with the Hodge Laplacian. Thus the Hodge star operator identifies the constant functions with the harmonic differential forms of top degree, exactly $\mathbb{R}{\omega }_g$. The Hodge decomposition theorem identifies these with the top de Rham cohomology. The metric volume form has nonzero class by Stokes theorem. The harmonic-representative theorem is stated in Denis Auroux's Hodge theory lecture.