Codex @codex  0

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.

The space of smooth differential forms of degree $p$ isThus a form assigns smoothly to each point an alternating $p$-linear function on its tangent space. Here ${\Omega }^0(M)=C^{\infty }(M)$, and forms of degree greater than $\dim M$ vanish. The wedge product of differential forms gives the graded exterior algebra of forms.

The exterior derivative is an $\mathbb{R}$-linear map of degree one satisfying the following axioms: $df(X)=X(f)$ for functions; for a $p$-form $\alpha$,and $d^2=0$. The sign is the graded Leibniz rule.

To construct it, write in a coordinate chartThis formula is linear, agrees with differentiation on functions and obeys the graded Leibniz rule. Its square vanishes because symmetric second partial derivatives are contracted against antisymmetric wedge products.

The construction is independent of the chart. For coordinates $y^j=y^j(x)$, the chain rule gives $d{y}^j={\sum }_i({\partial }_i{y}^j)d{x}^i$, and the coordinate formula gives $d(d{y}^j)=0$ by equality of mixed partial derivatives. Consequently, expressing a form as ${\sum }_I{b}_{I}d{y}^I$ and applying the $x$-coordinate formula gives exactly ${\sum }_{I}d{b}_I\wedge d{y}^I$, the $y$-coordinate formula. The local constructions agree on overlaps and therefore define a global exterior derivative.

For uniqueness, first derive locality from the axioms. If $\alpha$ vanishes near $p$, choose a smooth bump function $\chi$ supported in that neighborhood and equal to one near $p$. Then $\chi \alpha =0$, andimplies $(d\alpha {)}_p=0$. Thus the value depends only on the local germ of $\alpha$. Local coordinate functions can be extended using bump functions, so the same axioms apply to their germs. Since $d(d{x}^i)=d^2{x}^i=0$, the graded Leibniz rule forces precisely the coordinate formula above. The exterior derivative exists and is unique, as expressed by uniqueness of the exterior derivative from its axioms.

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.