Codex @codex  0

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 covariant exterior derivative on the endomorphism bundle and remember that $F$ has degree two. The Bianchi identity is $d_{A}F=dF+A\wedge F-F\wedge A=0$. The local formula from part (b) givesThe two lines cancel, establishingBecause this is an endomorphism-valued equation and the operators transform covariantly under a change of local frame, this local calculation proves the global identity.

For a line bundle over $k=\mathbb{R}$ or $\mathbb{C}$, every fibre endomorphism is multiplication by a scalar. Thus $\mathrm{End}E$ is canonically the trivial scalar bundle, even when $E$ itself is nontrivial. In a local frame $A$ is a scalar one-form, so $A\wedge A=0$ and $F=dA$ locally. Also $A\wedge F=F\wedge A$, since their degrees are one and two. The Bianchi identity therefore reduces to the ordinary closedness conditionThis does not assert that the local scalar one-forms $A$ combine into a global one-form.

For two connections on a vector bundle $\nabla ,{\nabla }^{\prime }$, the difference is $C^{\infty }(M)$-linear in the section: the two $df\otimes s$ terms cancel. It is consequently a global endomorphism-valued one-form $a$. In rank one, $a$ is a global ordinary scalar one-form. Locally $A^{\prime }=A+a$, and the scalar cross terms and $a\wedge a$ vanish, givingThis is a global equality, so the two closed differential forms differ by an exact differential form. It proves the connection-independent curvature class of a line bundle:

Evaluate the smooth one-form on unit velocities to obtain $f(x,v)={\theta }_x(v)$. Its integral along a periodic orbit of the geodesic flow is exactly the one-form integral along the corresponding closed geodesic. Negative curvature makes this geodesic flow an Anosov flow; the geodesic flow of a connected closed negatively curved surface is also topologically transitive. Apply the smooth Livsic theorem to obtain $u\in C^{\infty }(SM)$ withIf there is more than one connected component, apply this argument to each component separately.

The vertical vector field of a surface unit tangent bundle differentiates rotation of $v$, soFor each $x$, writing ${\theta }_x(v)=A\cos \vartheta +B\sin \vartheta$ shows explicitly thatThe fibre disintegration of Liouville volume of a surface geodesic flow is $d\mu =d{A}_{g}d\vartheta$. Integrating the displayed equality over the base therefore gives $\Vert VXu{\Vert }_{L^2}^2=\Vert Xu{\Vert }_{L^2}^2$. Substitution into the supplied Pestov identity for a geodesic flow yieldsBoth terms are nonnegative and $-K\ge k_0>0$. Thus $Vu=0$ everywhere. Since every unit-circle fibre is connected, $u$ is independent of velocity and descends to a smooth function $h$ on $M$: $u=h\circ \pi$. Its geodesic derivative isComparison with $Xu={\theta }_x(v)$, first on unit vectors and then on all vectors by linearity, provesThus the one-form is an exact differential form. This proves the degree-one geodesic X-ray transform conclusion directly from the given integral identity and the stated smooth coboundary theorem.

No: the round sphere supplies a counterexample. On the unit round $S^2\subset {\mathbb{R}}^3$, restrict the smooth one-formThe antipodal map $A(x)=-x$ satisfies $A^{\ast }\theta =-\theta$, since $x_3^2$ is unchanged and $d{x}_1$ changes sign. Every unit-speed closed geodesic is a great circle, with $\gamma (t+\pi )=A(\gamma (t))$. Therefore its two half-circle integrals cancel:The same holds for all repeated traversals and either orientation.

However, its exterior derivative iswhich is not zero on the sphere. For example, at $p=(0,1/\sqrt{2},1/\sqrt{2})$ the tangent vectors $u=(1,0,0)$ and $w=(0,1/\sqrt{2},-1/\sqrt{2})$ give $d{\theta }_p(u,w)=1$. Hence $\theta$ is not a closed differential form, and cannot be an exact differential form, because $d(dh)=0$. This is the counterexample to geodesic one-form injectivity on the round sphere; periodic geodesic integrals alone do not imply exactness without an additional geometric hypothesis.

Use the following permitted kernel result, stated in the form needed here. For an Anosov flow generated by a smooth surface thermostat on a closed oriented Riemannian surface, if a smooth function $u$ on $SM$ satisfieswhere $h$ is a smooth base function and $\eta$ is a smooth one-form, then $h=0$ and $\eta$ is an exact differential form. Conversely these two conditions give a smooth solution by taking a base primitive. This is the kernel of the thermostat X-ray transform in degrees zero and one. In particular it applies to Gaussian thermostats without an additional curvature condition; it is stronger than the magnetic or geodesic special case.

Put $\theta =E^{♭}$, so ${\theta }_x(v)=⟨E(x),v⟩$. Suppose the thermostat preserves a smooth volume form. Write it as $\rho \mu$ with smooth $\rho >0$, choosing its sign separately on each component if necessary. By the invariant volume criterion for a smooth flow and the divergence computation in part (b),Thus $u=\log \rho$ is a smooth solution of $Fu={\theta }_x(v)$. Apply the stated kernel theorem with $h=0$ to obtain $\theta =df$ for a smooth base function $f$. The definition of the gradient then gives $E={\mathrm{grad}}_{g}f$.

Conversely, suppose $E={\mathrm{grad}}_{g}f$. Since $d\pi (F)=v$, the vertical part has no effect on a base function andThe divergence of a Gaussian thermostat and the volume-change formula therefore giveConsequentlyOnly the necessary direction uses the Anosov kernel theorem; the displayed invariant density works for any potential Gaussian thermostat. In particular its exponent is positive, as required to cancel the negative divergence found in part (b).

A smooth differential form of degree $p$ is a smooth section of ${\Lambda }^p{T}^{\ast }M$, soIt is equivalently a smooth alternating covariant $p$-tensor field. In a coordinate chart $x^1,\dots ,x^n$ it has a unique expressionwith smooth coefficients. At $p=0$ these are the smooth functions, and for $p>n$ the space is zero.

Define the exterior derivative in a chart byTo check that it is well-defined, let $y^1,\dots ,y^n$ be other smooth coordinates. The expression $d{y}^a={\sum }_i({\partial }_i{y}^a)d{x}^i$ satisfiesbecause the coefficients are symmetric and the wedge products antisymmetric. The coordinate formula also satisfies the graded Leibniz rule, and for a function $b$ the chain rule gives $d_{x}b={\sum }_a(\partial b/\partial y^a)d{y}^a=d_{y}b$. Applying these two facts to $\omega ={\sum }_I{b}_{I}d{y}^I$ yields $d_x\omega ={\sum }_I{d}_y{b}_I\wedge d{y}^I=d_y\omega$. Thus the local operators agree on overlaps and define a global linear map $d:{\Omega }^p(M)\to {\Omega }^{p+1}(M)$.

A second application in any chart givesagain by symmetry of mixed derivatives and antisymmetry of the wedge product of differential forms. Consequently every exact differential form is closed. Put ${\Omega }^{-1}(M)=0$ and define the de Rham cohomology byThe identity $d^2=0$ is exactly what puts the denominator inside the numerator, making this quotient meaningful. Since ${\Omega }^p(M)=0$ for $p>\dim M$, $H_{\mathrm{dR}}^p(M)=0$ in those degrees.

The two components of a disjoint union are open and closed. Restriction therefore gives an isomorphismIts inverse assigns the first form on $U$ and the second on $V$; it is smooth because there are no overlaps on which compatibility must be imposed. The exterior derivative is local, so this is an isomorphism of cochain complexes.

A form on $M$ is a closed differential form exactly when both restrictions are closed. It is an exact differential form exactly when both restrictions are exact: primitives on $U$ and $V$ join into a global primitive. Taking the quotient therefore yields the de Rham cohomology of a finite disjoint union:The same argument covers degree zero, with the space of degree-minus-one forms taken to be zero.

For any positive-dimensional $X$, choose a smooth function $h$ with $dh$ not identically zero. A nonconstant smooth bump in a coordinate chart supplies one on an arbitrary smooth manifold. Translate by this exact differential form:The cotangent fiber translation identities giveThus a nontrivial exact fiber translation is a symplectomorphism that fails to preserve the Liouville one-form. For example, on $T^{\ast }\mathbb{R}$ one can take $T(q,p)=(q,p+1)$: it preserves $dq\wedge dp$ but changes $pdq$ to $(p+1)dq$.

If dimension zero is admitted, $T^{\ast }X=X$ and $\alpha =0$, so every diffeomorphism preserves $\alpha$ and this requested distinction is impossible. The example therefore applies in positive dimension, as required for a nonzero differential one-form.

Let $\omega ={\theta }^{-1}(\alpha )$. The preceding invariant formula for the exterior derivative identifies the expression in the question withIts vanishing for every pair of global vector fields is equivalent to $d\omega =0$: global fields with arbitrary prescribed tangent values are available by bump-function extension. Thus it is exactly the condition that $\omega$ be a closed differential one-form.

By definition, the first de Rham cohomology is closed one-forms modulo exact differential forms. The hypothesis $H_{\mathrm{dR}}^1(M)=0$ makes every closed one-form exact. Hence $d\omega =0$ gives a globally smooth function $g$ with $\omega =dg$, andConversely, if $\alpha (X)=X(g)$, thenby the definition of the Lie bracket of vector fields. Equivalently, $d(dg)=0$. The bracket compatibility condition is necessary and, when $H_{\mathrm{dR}}^1(M)=0$, sufficient for a global potential. The potential is unique up to a constant on each connected component, since the difference of two potentials has zero differential.

The smooth exponential sequence isLocal logarithms make it exact as a sequence of sheaves. A line bundle has a transition class in $H^1(M,{\mathcal{C}}^{\infty }({\mathbb{C}}^{\times }))$; its image under the connecting map defines the First Chern class. For a holomorphic line bundle the holomorphic exponential sequence gives the same class by naturality.

Here is the explicit Čech-de Rham curvature descent. On a good cover, write $e_j=e_i{g}_{ij}$ and choose logarithms $g_{ij}=\exp (2\pi i{f}_{ij})$. The integer cocyclerepresents $c_1(E)$. By the proved frame formula,Put $B_i=-A_i/(2\pi i)$ and $F=i\Theta /(2\pi )=d{B}_i$. Then $\delta B=-df$ and $\delta f=c$. In the Čech-de Rham double complex, with total differential $D_{\mathrm{tot}}=\delta +(-1{)}^{p}d$ on Čech degree $p$,Thus the global closed differential form and the integer cocycle represent the same class under de Rham theorem:This proves integrality, including the sign and normalization. It identifies the image of the integral class; vector-bundle curvature alone cannot recover torsion classes lost in passage to complex coefficients.

Two connections on the same line bundle differ by a global scalar one-form $a$. Their vector-bundle curvatures satisfy ${\Theta }_1-\Theta =da$, so the normalized representatives differ by an exact differential form. Hence the class is independent of the connection.

Use the integral normalization of the Fubini-Study form. On the chart $Z_j\ne 0$, define the integrally normalized Fubini-Study form byThe potentials on overlaps differ by the logarithm of the squared modulus of a nowhere-zero holomorphic function, whose $\partial \bar{\partial }$ is zero. Thus the forms patch and are closed. The dual of the tautological metric on $\mathcal{O}(1)$ has local squared norm $h=(1+\sum |z_k{|}^2{)}^{-1}$. Its Chern connection has $A=\partial \log h$ and vector-bundle curvature $\Theta =\bar{\partial }\partial \log h=\partial \bar{\partial }\log (1+\sum |z_k{|}^2)$. Therefore $[{\omega }_{\mathrm{int}}]=c_1(\mathcal{O}(1))$, proving the requested integrality. With the unnormalized convention ${\omega }_{FS}=i\partial \bar{\partial }\log (1+\sum |z_k{|}^2)$, this is ${\omega }_{\mathrm{int}}={\omega }_{FS}/(2\pi )$.

A connection on a vector bundle is a complex-linear map from smooth sections to vector-bundle-valued one-forms satisfyingChoose a locally finite trivializing cover, its componentwise flat connections on a vector bundle $D_i$, and a subordinate smooth partition of unity ${\rho }_i$. The formula $D={\sum }_i{\rho }_i{D}_i$ is globally meaningful: each weighted term extends by zero outside its chart. Its Leibniz rule follows from ${\sum }_i{\rho }_i=1$, proving every smooth complex vector bundle admits a connection.

Extend the connection on a vector bundle to bundle-valued differential forms byThe curvature form of a connection is ${\Theta }_D=D^2$. Applying this twice to $fs$ shows that the $df$ terms cancel, so $D^2$ is tensorial and defines an $\mathrm{End}(E)$-valued two-form. With column coordinates for sections and connection one-form $A$, the local expression is $D=d+A\wedge$. Direct expansion on an arbitrary bundle-valued form givesThe terms containing a derivative of the argument cancel by the graded Leibniz rule. Thus Cartan curvature matrix equation isHere multiplication includes matrix multiplication and the exterior product of form entries. For a frame change $e^{\prime }=eg$, the connection one-form and curvature form of a connection transform asThe trace is consequently frame independent. Alsothe diagonal terms vanish and the off-diagonal terms cancel in pairs. Locally $\mathrm{Tr}\Theta =d\mathrm{Tr}A$, and hence $d\mathrm{Tr}\Theta =0$. The local primitives need not agree, but the two-form does. We obtain a global closed two-form $\mathrm{Tr}{\Theta }_D$.

The determinant connection on $\det E={\bigwedge }^{r}E$ is defined intrinsically bywhere the differential-form coefficient of $D{s}_j$ is placed first. In a local frame, only the diagonal components contribute to the derivative of $e_1\wedge \cdots \wedge e_r$, so its connection one-form is $\mathrm{Tr}A$. A line-bundle connection has curvature $d\mathrm{Tr}A$, because a scalar one-form wedges with itself to zero. ThereforeTo see independence of the de Rham cohomology class, write $D_1-D_0=a$, a globally defined endomorphism-valued one-form. The curvature difference formula and the same trace cancellations give the trace curvature transgressionTheir difference is globally an exact differential form, so their de Rham cohomology classes coincide.

For the Hermitian metric on a holomorphic vector bundle, use the displayed ordering of the local matrices and put $B=(\partial h)h^{-1}$. The identity $\bar{\partial }{h}^{-1}=-h^{-1}(\bar{\partial }h)h^{-1}$ givesThe plus sign comes from applying the graded Leibniz rule to the one-form $\partial h$. By the derivative formula for a determinant,The Hermitian positive-definite matrix $h$ has positive real determinant, so this logarithm is an ordinary smooth real function. The trace of Chern curvature in these conventions is thereforeIt is locally an exact differential form and in particular closed.

A holomorphic local frame change multiplies $\det h$ by $|\det g{|}^2$. A nowhere-zero holomorphic function has a local holomorphic logarithm, so $\bar{\partial }\partial \log |\det g{|}^2=0$. Thus the preceding expression for $\alpha$ is independent of the frame and glues globally. For two Hermitian metrics on a holomorphic vector bundle, the functionis globally defined because the frame-change factors cancel. Their two-forms differ by $d(\partial f)$. Hence the class of $\alpha$ is independent of the metric. The two-form is generally imaginary-valued; the metric independence statement is in complex de Rham cohomology, or equivalently for the real form $i\alpha$.

For continuously differentiable coefficients on a simply connected domain, the exactness condition is $P_y=Q_x$. Locally the same condition suffices without a global topological assumption. An exact first-order ordinary differential equation has a potential $F$ with $F_x=P$ and $F_y=Q$, so $dF/dx=P+Q{y}^{\prime }=0$ along a solution. Thus its implicit solution is $F(x,y)=C$. One local construction, on a rectangle about $(x_0,y_0)$, isThe equality of cross derivatives verifies both required derivatives; on a simply connected domain one may use the corresponding path-independent integral of the exact differential form.

Here $P=4x+3y$, $Q=3x+3y^2$ and $P_y=Q_x=3$. Integrating $P$ with respect to $x$ gives $F=2x^2+3xy+K(y)$. Matching $F_y=Q$ gives $K^{\prime }=3y^2$, so take $K=y^3$. The initial value sets $C=F(1,2)=16$. ThereforeThis is the requested explicit relation between the coordinates. Since $F_y(1,2)=15\ne 0$, the implicit function theorem gives a unique local graph through the initial point, with slope $-10/15=-2/3$.

The exterior derivative is an $\mathbb{R}$-linear map $d:{\Omega }^p(M)\to {\Omega }^{p+1}(M)$, agrees with the differential $df$ of a smooth function, satisfies the graded Leibniz rule $d(\alpha \wedge \beta )=d\alpha \wedge \beta +(-1{)}^p\alpha \wedge d\beta$ for $\alpha \in {\Omega }^p(M)$, and has $d^2=0$. These properties determine it locally and hence globally. To see locality directly, if a differential form $\alpha$ vanishes near $x$, choose a smooth bump function $\chi$ equal to one near $x$ and supported where $\alpha =0$. The identity $d(\chi \alpha )=d\chi \wedge \alpha +\chi d\alpha$ gives $(d\alpha {)}_x=0$. Thus global forms can be computed using local extensions in a manifold chart.

In coordinates write $\alpha ={\sum }_I{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_p}$. Since $d(d{x}^i)=d^2{x}^i=0$, the graded Leibniz rule forcesThis is the uniqueness of the exterior derivative from its axioms. The coordinate formula also establishes existence: it has the stated properties, and the chain rule shows that coordinate changes give the same operator.

The de Rham cohomology is the real quotient vector spaceThus a cohomology class records a closed differential form modulo an exact differential form. In degree zero there are no exact forms; closed functions are locally constant. The Poincaré lemma says that every closed form of positive degree on a star-shaped open subset of ${\mathbb{R}}^n$ is exact, and hence that positive-degree closed forms are locally exact on a smooth manifold.

For the first de Rham cohomology of the two-sphere, let $U=S^2\setminus \{N\}$ and $V=S^2\setminus \{S\}$. Stereographic projection identifies each with ${\mathbb{R}}^2$, so a closed one-form $\alpha$ has primitives $f_U,f_V$. On the connected overlap $U\cap V$, the derivative of $f_U-f_V$ is zero, so this difference is a constant. Subtracting that constant from $f_U$ makes the primitives agree. They glue to a global smooth primitive. Therefore $H_{\mathrm{dR}}^1(S^2)=0$.

Let $q:S^2\to {\mathbb{RP}}^2$ be the double covering map and $a$ the antipodal map. The pullback of a differential form identifies forms downstairs with $a$-invariant forms upstairs. Averaging $(\eta +a^{\ast }\eta )/2$ commutes with $d$. If an invariant form is exact upstairs, averaging its primitive proves it exact downstairs. Conversely an invariant cohomology class has an invariant representative by the same averaging. This proves the de Rham cohomology of a finite quotient identification $H_{\mathrm{dR}}^p({\mathbb{RP}}^2)\cong H_{\mathrm{dR}}^p(S^2{)}^{a^{\ast }}$. In degree zero the sphere is connected and $a^{\ast }$ fixes constants; degree one is zero; in degree two the granted action is multiplication by $-1$, whose invariant real subspace is zero. Forms of degree greater than two vanish. HenceThis is real de Rham cohomology; it does not detect the integral two-torsion of the real projective plane.

We prove the Bott-Chern Poincaré lemma on a polydisc $B$. Let $p,q\ge 1$ and $d\alpha =0$, with $\alpha$ of type $(p,q)$. The allowed Dolbeault-Poincaré lemma first gives $\alpha =\bar{\partial }{b}_0$, where $b_0$ has type $(p,q-1)$. Since $\bar{\partial }\partial b_0=-\partial \alpha =0$, repeatedly applying the same lemma constructsZero spaces outside the allowed bidegrees cause no difficulty. The form $\partial b_{q-1}$ has type $(p+q,0)$, is holomorphic because its Dolbeault operator vanishes, and is $\partial$-closed. The holomorphic Poincaré lemma on a polydisc gives a holomorphic form $h$ of type $(p+q-1,0)$ with $\partial h=\partial b_{q-1}$. This holomorphic version follows from the radial homotopy formula: on positive-degree holomorphic forms the ordinary radial Poincaré lemma homotopy preserves holomorphic coefficients. If the displayed form is zero, take $h=0$.

Now $b_{q-1}-h$ is $\partial$-closed. The conjugate Dolbeault-Poincaré lemma, obtained by conjugating the allowed lemma, gives $b_{q-1}-h=\partial c_{q-1}$, since its holomorphic degree is positive. Moving backwards, if the last modified form is $\partial c_j$, thenApply the conjugate Dolbeault-Poincaré lemma again to obtain $b_{j-1}+\bar{\partial }{c}_j=\partial c_{j-1}$. The modification does not change its Dolbeault operator, so this process continues down to $b_0$. In the case $q=1$, subtract $h$ at this last step instead. Finally,Thus $\boxed{H_{BC}^{p,q}(B)=0(p,q\ge 1)}$.

This vanishing fails on general complex manifolds. On the complex projective line, let $\omega$ be its Fubini-Study form. It is a $d$-closed $(1,1)$-form with ${\int }_{{\mathbb{P}}^1}\omega >0$. If it were $\partial \bar{\partial }f$, it would be the exact differential form $d(\bar{\partial }f)$, whose integral is zero by Stokes theorem. Therefore $\boxed{H_{BC}^{1,1}({\mathbb{P}}^1)\ne 0}$.

In a manifold chart, write a smooth differential form as $\eta ={\sum }_I{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_p}$, with $I$ increasing. Define its exterior derivative byTo check that this definition is global, change coordinates to $y$. The chain rule expresses $d{x}^i$ as ${\sum }_j({\partial }_j{x}^i)d{y}^j$. Differentiating it gives zero because the second partial derivatives of $x^i$ are symmetric and $d{y}^k\wedge d{y}^j$ is antisymmetric. The coordinate definition satisfies the graded Leibniz rule, so differentiating the transformed expression for $\eta$ leaves exactly ${\sum }_{I}d{a}_I\wedge d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_p}$. This agrees with the original formula and proves independence of the manifold chart. The same cancellation of mixed derivatives gives $d^2=0$.

The de Rham cohomology is thereforethe vector space of closed differential forms modulo exact differential forms.

Here is a Green-theorem proof of exactness on a disc. Identify the disc with a round disc centred at zero, and let $\eta =Pdx+Qdy$ be a closed differential form. Set $f(x)={\int }_{[0,x]}\eta$. For $x$ and $x+h$ in the disc, Green theorem on the oriented triangle with vertices $0,x,x+h$ gives zero boundary integral, since ${\partial }_{x}Q-{\partial }_{y}P=0$. HenceTaking $h=\epsilon v$ and dividing by $\epsilon$ yields $d{f}_x(v)={\eta }_x(v)$. The radial integral defining $f$ is smooth, so $\eta =df$ andDegenerate triangles follow by continuity. The same proof works on any star-shaped plane domain, including the whole plane.

Integration requires an orientation: take $M$ to be an oriented compact $n$-dimensional smooth manifold without boundary. The Generalized Stokes theorem says ${\int }_{M}d\beta =0$ for every smooth $(n-1)$-form $\beta$. Every $n$-form is closed by dimension, and changing it by an exact differential form leaves its integral unchanged. Thusis a well-defined linear map $H_{\mathrm{dR}}^n(M;\mathbb{R})\to \mathbb{R}$. Compactness alone does not supply the orientation omitted from the printed integration statement.

For an $n$-dimensional Lie group, choose a nonzero $\lambda \in {\Lambda }^n{T}_e^{\ast }G$ and define the invariant volume form on a Lie group byEach $d{L}_{g^{-1}}$ is an isomorphism, so $\omega$ is nowhere zero and defines an orientation. The composition identity $L_{(hg{)}^{-1}}\circ L_h=L_{g^{-1}}$ gives $L_h^{\ast }\omega =\omega$. Moreover, every left-invariant differential form of degree $n$ is determined by its value at $e$, so the space of such forms is one-dimensional.