Codex @codex  0

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 de Rham cohomology class of a Kähler form is a Kähler class. Such classes form the Kähler cone. They have positive integral on every complex curve, and their top self-intersection is positive.

Let $M$ be compact and let ${\omega }_t$ be a smooth family of symplectic forms with constant de Rham cohomology class. Choose ${\sigma }_t$ smoothly so that ${\dot{\omega }}_t=d{\sigma }_t$, solveand let ${\varphi }_t$ be the flow of $X_t$. Thenso ${\varphi }_t^{\ast }{\omega }_t={\omega }_0$.

For a smooth manifold $M$ of dimension $n$, the tangent space $T_{p}M$ can be defined as the space of derivations at $p$: linear maps $v$ on germs of smooth real functions satisfying $v(fg)=f(p)v(g)+g(p)v(f)$. Equivalently, $v$ is the velocity of a smooth curve through $p$, with curves identified when their coordinate velocities agree. A chart $(x^1,\dots ,x^n)$ supplies the basis ${\partial }_i{|}_p$, so $v=v^i{\partial }_i{|}_p$.

The tangent bundle is the disjoint union $TM={\coprod }_{p\in M}{T}_{p}M$, with projection $\pi (v)=p$. Its smooth structure is defined by the local local trivializationsOn overlapping charts, the change of trivialization isThese are smooth changes of coordinates on a $2n$-dimensional smooth manifold, linear and invertible in each fibre. Thus $TM$ is a rank-$n$ vector bundle, and its projection is a submersion. Fibrewise addition, scalar multiplication and the zero section are smooth. A smooth section of a vector bundle $X:M\to TM$, satisfying $\pi \circ X={\mathrm{id}}_M$, is exactly a vector field; locally $X=X^i{\partial }_i$, with components transforming by the displayed Jacobian matrix. Its action on functions is a derivation, and the commutator of two such derivations is their Lie bracket.

The dual bundle of $TM$ is the cotangent bundle $T^{\ast }M$. Its smooth sections of a vector bundle are differential 1-forms, locally $\alpha ={\alpha }_{i}d{x}^i$. The coefficient transformation is the inverse transpose of that for tangent vectors, ensuring that $\alpha (X)$ is a well-defined smooth function. Tensoring these two bundles gives the tensor bundlesTheir sections of a vector bundle are tensor fields; their transition functions of a vector bundle are the corresponding tensor products of the tangent and cotangent transformations. For example, the bundle $\mathrm{End}(TM)=TM\otimes T^{\ast }M$ contains fields of linear endomorphisms, while $S^2{T}^{\ast }M$ contains symmetric bilinear fields. Taking alternating covariant tensors gives ${\Lambda }^k{T}^{\ast }M$, whose sections are differential forms. The wedge product, exterior derivative and pullback of a differential form make these bundles central to integration, Generalized Stokes theorem and de Rham cohomology.

A nowhere-vanishing section of ${\Lambda }^n{T}^{\ast }M$ chooses an orientation of a smooth manifold; such a section exists exactly when $M$ is orientable. Without an orientation of a smooth manifold, one can still integrate sections of the density bundle $|{\Lambda }^n{T}^{\ast }M|$, whose coordinate changes use the absolute Jacobian determinant. A Riemannian metric is a positive-definite section $g$ of $S^2{T}^{\ast }M$. It identifies $TM$ with $T^{\ast }M$ by the musical isomorphisms $X\mapsto g(X,\cdot )$ and gives the Riemannian volume densityOn an oriented smooth manifold, this density corresponds to a volume form.

Another organizing construction is the frame bundle $FM$. A frame over $p$ is a linear isomorphism $u:{\mathbb{R}}^n\to T_{p}M$, and the right action $u\cdot A=u\circ A$ makes $FM$ a principal bundle with general linear group $GL(n,\mathbb{R})$ as its structure group. Given a group representation $\rho :GL(n,\mathbb{R})\to GL(V)$, the associated bundle $FM{\times }_{\rho }V$ is obtained from pairs $(u,v)$ by the relation $(uA,v)\sim (u,\rho (A)v)$. The standard representation reconstructs $TM$; dual, tensor and exterior representations reconstruct the associated bundles described above. A Riemannian metric reduces the frame bundle to the orthonormal frame bundle, with orthogonal group $O(n)$ as structure group; an orientation of a smooth manifold reduces it further to the special orthogonal group $SO(n)$. A global section of $FM$ is a global frame, so it exists exactly when $M$ is a parallelizable manifold. Local triviality does not imply a global trivialization: the Hairy ball theorem prevents even one nowhere-zero vector field on $S^2$.

A connection on a vector bundle differentiates its sections in tangent directions and defines parallel transport. For $TM$, the Levi-Civita connection is distinguished by compatibility with a Riemannian metric and vanishing torsion tensor. Its coefficients are not tensor components, because a coordinate change introduces second derivatives; the difference of two connections is a section of $T^{\ast }M\otimes \mathrm{End}(TM)$. The Riemann curvature tensor is a genuine tensor measuring the failure of covariant derivatives to commute.

Finally, a smooth map $f:M\to N$ gives the pullback tangent bundle $f^{\ast }TN$. Its sections are vector fields along a map, including the velocity of a curve and Jacobi fields along a geodesic. For an embedded submanifold $i:M\hookrightarrow N$, the derivative identifies $TM$ with a subbundle of $i^{\ast }TN$, and the quotient is the normal bundle. With an ambient Riemannian metric, the normal bundle is identified with the orthogonal complement of $TM$ in $i^{\ast }TN$; the second fundamental form records the normal component of the ambient derivative of tangent fields. These constructions connect the bundle description to both intrinsic and extrinsic differential geometry.

For a smooth complex vector bundle $E$, a connection is a complex-linear map $D:\Gamma (E)\to A^1(M;E)$ satisfying $D(fs)=df\otimes s+fDs$ for smooth complex functions $f$. Local trivializations supply flat local connections. A locally finite smooth partition of unity $({\rho }_i)$ subordinate to them gives $D={\sum }_i{\rho }_i{D}_i$; local finiteness makes the sum smooth and ${\sum }_i{\rho }_i=1$ gives the Leibniz rule. Thus connections on a vector bundle always exist on the usual paracompact smooth manifold.

Extend $D$ to bundle-valued forms by $D(\alpha \otimes s)=d\alpha \otimes s+(-1{)}^{\mathrm{deg}\alpha }\alpha \wedge Ds$. Squaring shows that $D^2(fs)=f{D}^{2}s$, so the curvature form is the endomorphism-valued two-form $\Theta =D^2$. With a row frame $e=(e_1,\dots ,e_r)$, write $De=eA$; for coefficient columns $s=ev$, $Ds=e(dv+Av)$. Applying $D$ again and using the graded Leibniz rule givesThe cross terms $-A\wedge dv$ and $A\wedge dv$ cancel. Hence the Cartan curvature matrix equation in this convention isFor a frame change $e^{\prime }=eg$, the connection matrix and curvature transform as $A^{\prime }=g^{-1}Ag+g^{-1}dg$ and ${\Theta }^{\prime }=g^{-1}\Theta g$. Trace is invariant under conjugation, so the local forms $\mathrm{Tr}\Theta$ patch into the global trace of vector-bundle curvature.

The induced determinant connection on $\det E={\Lambda }^{r}E$ iswhere the one-form factor of each $D{s}_j$ is placed in front of the section factors. In the local determinant frame $e_1\wedge \cdots \wedge e_r$, only the diagonal terms survive, so its connection form is $\mathrm{Tr}A$. Its curvature is $d\mathrm{Tr}A$. Sinceby pairing off-diagonal terms and using $A_{ii}\wedge A_{ii}=0$, we obtainIt is closed locally by $d^2=0$, and thus closed globally.

For two connections, $B=D_1-D_0$ is a global endomorphism-valued one-form: the derivative terms cancel in their Leibniz rules. In a local frame $A_1=A_0+B$, soTaking traces cancels the mixed terms, because both factors are one-forms, and cancels $\mathrm{Tr}(B\wedge B)$. Therefore the trace curvature transgression formula isThe right-hand side is globally exact, proving independence of the de Rham cohomology class without needing a sheaf-cohomology identification.

Finally let $e$ be a holomorphic frame for the holomorphic line bundle, with $h=\Vert e{\Vert }^2>0$. Define $De=e\partial \log h$, extending by the Leibniz rule. If $e^{\prime }=eg$ for a nowhere-zero holomorphic function $g$, then $h^{\prime }=|g{|}^{2}h$ andThis is exactly the line-bundle frame-change law for a connection, so the local definitions glue globally. Its $(0,1)$ part is the Dolbeault operator. Metric compatibility follows from $d\log h=\partial \log h+\bar{\partial }\log h$, or $dh=h(A+\overline{A})$ for $A=\partial \log h$. These conditions uniquely force this $A$, identifying the Chern connection. Since a scalar one-form wedges with itself to zero,This agrees with the local formula for the Chern connection on a line bundle; keeping the order of the two Dolbeault differentials fixes the sign.

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$.

Take $\varphi$ in the identity component ${\mathrm{Symp}}_0(M,\omega )$ and choose a smooth symplectic isotopy ${\varphi }_t$ from the identity to $\varphi$. Let its generating vector field be $X_t={\dot{\varphi }}_t\circ {\varphi }_t^{-1}$. Differentiating ${\varphi }_t^{\ast }\omega =\omega$ givesThus ${\eta }_t={\iota }_{X_t}\omega$ is a closed differential one-form. By the vanishing of the first de Rham cohomology, it is exact, so choose $H_t$ with ${\eta }_t=-d{H}_t$.

The primitives can be chosen smoothly in both $t$ and the point. On each connected component fix a base point $x_0$ and define $H_t(x)=-{\int }_{x_0}^x{\eta }_t$. Exactness makes this independent of the chosen path. In a coordinate neighbourhood of any point, use a fixed path to the neighbourhood's centre followed by a smoothly varying short path; this shows smooth dependence locally, and hence globally. One may subtract a time-dependent mean without changing the Hamiltonian vector field. Therefore the original symplectic isotopy is Hamiltonian, and $\varphi \in \mathrm{Ham}(M,\omega )$.

Here the usual description of ${\mathrm{Symp}}_0$ by smooth isotopies agrees with the topological identity component. To see the local path-connectedness behind that description, use a Weinstein neighborhood of the diagonal in $(M\times M,-\omega \oplus \omega )$. The graph of a symplectomorphism close to the identity corresponds to the graph of a small closed one-form on the diagonal. Multiplying that one-form by $t\in [0,1]$ gives Lagrangian graphs; for sufficiently small forms their first projections remain diffeomorphisms, so they give symplectomorphisms connecting the original map to the identity. These local paths, translated in the group and concatenated with smooth time reparametrizations, identify its connected and smooth-path components.

Conversely every Hamiltonian isotopy is symplectic by part (a), and connects its time-one map to the identity. Hence

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.

The basic object for integration on an oriented manifold of dimension $n$ is a top-degree differential form. In an orientation-preserving chart, write $\alpha =f(x)d{x}^1\wedge \cdots \wedge d{x}^n$. Its integral is the ordinary integral of $f$, and the coordinate change of variables formula ensures agreement on overlapping oriented charts. A partition of unity combines these local integrals into a global one, provided the form has compact support or satisfies appropriate convergence conditions. Reversing orientation reverses the integral. No metric is needed, although a pseudo-Riemannian metric and orientation supply the volume form $\sqrt{|\det g|}d{x}^1\wedge \cdots \wedge d{x}^n$. On a nonorientable manifold one instead integrates densities, or appropriately twisted top forms.

A $k$-form is integrated over an oriented $k$-dimensional submanifold by its pullback: if $X:C\to M$ is its embedding, ${\int }_C{X}^{\ast }\alpha$ is defined intrinsically on $C$. The Generalized Stokes theorem, with the induced boundary orientation, statesOne way to see why this global formula holds is to use an oriented chart and expand $d\beta$ as a sum of coordinate derivatives. The ordinary fundamental theorem of calculus gives the boundary contributions with their orientation signs. A partition of unity reduces the manifold to such charts; the artificial internal boundary contributions cancel, leaving only the actual boundary. Compactness or compact support controls the sums and the boundary at infinity.

This immediately explains how closed differential forms yield conservation laws. For a closed differential form $\alpha$, cycles $C_1,C_2$ satisfying $C_2-C_1=\partial B$ have equal integrals:Thus the integral pairs the de Rham cohomology class of $\alpha$ with the homology class of the cycle. An exact differential form integrates to zero on every closed cycle. A closed form need not be exact, and nonzero periods measure the global obstruction. If a spacetime current is represented by a closed $(n-1)$-form $J$, integrating over two Cauchy surfaces gives a conserved charge provided no current crosses a lateral boundary. A nonzero boundary flux must be retained in the Stokes calculation rather than silently discarded.

For a genuinely topological current, closure can follow identically from the field geometry, without the equations of motion. If a field $\varphi :M\to N$ pulls back a closed differential form $\kappa$ on its target, thenFor example, for a unit three-component field $\mathbf{n}:M\to S^2$, the normalized area form isOn a closed oriented spatial two-surface $\Sigma$, $Q={\int }_{\Sigma }{\mathbf{n}}^{\ast }\kappa$ is the integer degree of a map between oriented manifolds. Smooth evolution is a homotopy and conserves this topological charge. Singularities or flux through a spatial boundary can permit the charge to change. This is the pullback-volume representation of a topological current.

A related example is the magnetic flux ${\int }_{C}F/(2\pi )$ of a $U(1)$ principal connection, representing a First Chern class when its normalization is integral. Nonzero flux on a closed cycle requires nontrivial global bundle data or singular sources: if a single smooth global potential exists with $F=dA$, the flux on every closed cycle vanishes. This distinction is important when local differential equations are used to infer global conservation or quantization.

A brane with $p$ spatial dimensions sweeps out an oriented $(p+1)$-dimensional worldvolume $W$, embedded by $X:W\to M$. Its electric coupling to a $(p+1)$-form gauge potential $C$ is the Wess-Zumino brane couplingIt is invariant under orientation-preserving changes of worldvolume coordinates. Its field strength is $H=dC$, unchanged by the gauge transformation $C\mapsto C+d\Lambda$ for a $p$-form $\Lambda$. Since the pullback of a differential form commutes with the exterior derivative, its gauge variation isTherefore a closed brane has a gauge-invariant coupling under these transformations. For a noncompact worldvolume, support or decay conditions must also eliminate contributions at infinity.

For an open brane, the variation does not vanish automatically. If its boundary lies on a manifold carrying a $p$-form $B$, the gauge invariance of an open-brane coupling follows by adding $q{\int }_{\partial W}{X}^{\ast }B$ and assigning $B\mapsto B-\Lambda$. The two boundary variations cancel exactly with the induced orientation. Alternatively one may restrict the gauge parameter to have vanishing pullback at the boundary, if that is the chosen physical boundary condition. A particle has $p=0$ and couples by $q\int A$; a string has $p=1$ and couples to a two-form; a membrane has $p=2$ and couples to a three-form.

Finally, a gauge potential need not be globally a single differential form. Patchwise potentials and their overlap data define its global holonomy. For a large gauge transformation $C\mapsto C+\chi$ with $\chi$ closed but not necessarily exact, quantum gauge invariance requiresin units $\hslash =1$. This connects the coupling to integral periods and charge quantization. The local Stokes argument and these global period conditions are complementary: closure controls continuous conservation, while global topology controls which charges and gauge transformations are allowed.

The exterior derivative is an $\mathbb{R}$-linear operator $d:{\Omega }^r(M)\to {\Omega }^{r+1}(M)$ which agrees with the differential of a smooth function on degree zero, satisfies $d^2=0$, and obeys the graded Leibniz rule

For the uniqueness of the exterior derivative from its axioms, first note that these axioms force locality. If $\alpha$ vanishes near $p$, choose a smooth bump function $\chi$ equal to one near $p$ and supported where $\alpha =0$. Then $0=d(\chi \alpha )=d\chi \wedge \alpha +\chi d\alpha$ gives $d\alpha (p)=0$. Thus $d\alpha (p)$ depends only on the form near $p$.

In a coordinate chart write $\alpha ={\sum }_I{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_r}$. Since $d(d{x}^i)=d^2{x}^i=0$, the axioms forceThis also proves existence. Define $d$ by that formula in each chart. The product rule for partial derivatives gives the graded Leibniz rule, and symmetry of mixed partial derivatives against antisymmetry of the wedge product of differential forms gives $d^2=0$. On overlaps it still agrees with the differential of every function, by the chain rule, so the preceding uniqueness argument in the second coordinate system makes the formulas agree. They therefore glue to a global exterior derivative.

For a differential one-form $\omega ={\sum }_i{a}_{i}d{x}^i$, the exterior derivative of a one-form evaluated on vector fields follows directly:In $X(\omega (Y))-Y(\omega (X))$, the additional terms are ${\sum }_i{a}_i[X(Y^i)-Y(X^i)]=\omega ([X,Y])$, where the bracket is the Lie bracket of vector fields. Hence

The de Rham cohomology iswith zero denominator in degree zero. The Poincaré lemma states that a closed differential form of positive degree on a star-shaped open subset of Euclidean space is an exact differential form; consequently every closed positive-degree form is locally exact on a smooth manifold.

For the suspension isomorphism for top de Rham cohomology of spheres, put $U=S^n\setminus \{\text{south pole}\}$ and $V=S^n\setminus \{\text{north pole}\}$. Both are diffeomorphic to ${\mathbb{R}}^n$, while $W=U\cap V$ deformation retracts onto the equatorial $S^{n-1}$. The Mayer--Vietoris sequence for de Rham cohomology comes from the short exact sequence of cochain complexesThe final map is surjective: a partition of unity ${\chi }_U+{\chi }_V=1$ lets a form $\eta$ on $W$ be lifted by extending ${\chi }_V\eta$ to $U$ and $-{\chi }_U\eta$ to $V$ by zero. The Poincaré lemma makes $H^{n-1}(U),H^{n-1}(V),H^n(U),H^n(V)$ vanish when $n>1$. Exactness givesIf $j:S^{n-1}\hookrightarrow W$ is the equatorial inclusion, homotopy invariance of de Rham cohomology makes $j^{\ast }$ an isomorphism. Thereforeis injective, indeed an isomorphism. Concretely, choose local primitives $d{\alpha }_U=\omega {|}_U$, $d{\alpha }_V=\omega {|}_V$, and send $[\omega ]$ to $[j^{\ast }({\alpha }_U-{\alpha }_V)]$. Their difference is closed; changing either primitive changes it by an exact form, so this agrees with the cohomological construction.

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.

Use the convention $\nabla =d+A$ with anti-Hermitian connection one-forms. For a unitary complex line bundle, $A$ is locally an $i\mathbb{R}$-valued one-form and $F_{\nabla }=dA$, since the Lie algebra is abelian. Under a change of unitary frame, the vector-bundle curvature transforms by conjugation, which is trivial for $U(1)$. Hence $F_{\nabla }$ is a globally defined imaginary-valued two-form, and $i{F}_{\nabla }$ is an ordinary real two-form. Equivalently, $\mathrm{End}(L)$ has its canonical scalar trivialization, so no nontrivial coefficient bundle remains.

Locally $d{F}_{\nabla }=d^{2}A=0$, and these equalities patch globally. If another unitary connection is ${\nabla }^{\prime }=\nabla +i\beta$ for a global real one-form $\beta$, thenThus the real vector-bundle curvature is closed and its de Rham cohomology class is independent of the unitary connection.

With the First Chern class normalization $c_1(L{)}_{\mathbb{R}}=[i{F}_{\nabla }/(2\pi )]$, the transverse section also identifies this class as $\mathrm{PD}[\Sigma ]$. Indeed, the complex orientation of each normal disk makes the section wind positively once around a transverse zero. The Euler class of the underlying oriented plane bundle counts these zeros with their induced orientation, and equals $c_1(L)$. This records the role of the section and orientation hypotheses; connection independence itself did not require choosing a section.

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 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: