Codex @codex  0

For an Abelian p-form gauge field with local field strength $F=dA$, the exterior derivative identity $d^2=0$ gives $dF=0$. In a first-order duality formulation, this identity can be enforced with a Lagrange multiplier, whose elimination restores the local gauge potential.

For an almost complex structure, closure of $T^{1,0}$ under the Lie bracket is equivalent to the absence of a $(0,2)$ component in $d\alpha$ for every $(1,0)$-form $\alpha$. Conjugation exchanges the bracket condition with closure of $T^{0,1}$. For sections $U,V$ of $T^{0,1}$, the exterior derivative identity gives $d\alpha (U,V)=-\alpha ([U,V])$. Its vanishing for all $(1,0)$-forms is exactly $[U,V]\in T^{0,1}$.

The Lie derivative of a differential form satisfies ${\mathcal{L}}_X=d{\iota }_X+{\iota }_{X}d$. Both sides agree on functions. On a differential 1-form $\eta$, evaluation at a vector field $Y$ gives $X(\eta (Y))-\eta ([X,Y])$ on both sides, by the definition of the exterior derivative and the Lie bracket of vector fields. Both operators are degree-zero derivations of an algebra on the exterior algebra. Agreement on functions and coordinate differential 1-forms therefore proves agreement on every differential form. Since $d^2=0$, the formula also gives ${\mathcal{L}}_{X}d=d{\mathcal{L}}_X$, so the Lie derivative of a differential form commutes with the exterior derivative.

An adjoint-invariant symmetric bilinear form $B$ on a Lie algebra makes the displayed tensor alternating. If $B$ is invariant under the full group Adjoint representation, its left-translated three-form is also right-invariant. On left-invariant fields, the exterior derivative is $d\eta (W,X,Y,Z)=-2B(W,[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]])=0$ by the Jacobi identity. The Killing form supplies such a $B$ on every semisimple Lie group. An overall sign change in the lowered structure-constant convention negates the form but not its invariance or closedness.

On a good cover, combine Čech degree $p$ and differential-form degree $q$ in the double complex of forms on intersections. The Čech differential and exterior derivative commute, so the total differential $\delta +(-1{)}^{p}d$ squares to zero. A partition of unity and the Poincaré lemma identify its cohomology with both constant-sheaf and de Rham cohomology. The sign convention makes Čech-de Rham curvature descent explicit.

For a matrix-valued gauge field $A$, let $F=dA+A\wedge A$ be its gauge field strength; products below combine matrix multiplication with the wedge product of differential forms. The five-form can be written $Q_5=\mathrm{Tr}(A(dA{)}^2+\frac{3}{2}{A}^{3}dA+\frac{3}{5}{A}^5)$. Applying the exterior derivative, using its graded product rule and the graded cyclic property of the matrix trace, gives $d{Q}_5=\mathrm{Tr}(F^3)$. The six-form is an invariant polynomial in the gauge curvature, while its local potential depends on the connection.

A Chern-Simons form is an odd-degree transgression form whose exterior derivative is an invariant polynomial in the curvature form. For the trace polynomial of degree $k$, $d{\omega }_{2k-1}=\mathrm{Tr}(F^k)$; the Chern-Simons 3-form is the degree-three case.

A differential one-form is closed when its exterior derivative vanishes. In coordinates, $\eta ={\eta }_{i}d{x}^i$ is closed exactly when ${\partial }_i{\eta }_j={\partial }_j{\eta }_i$. The Poincaré lemma makes it locally an exact differential form, but global exactness can fail through nonzero integrals around closed curves.

Complex conjugation interchanges the bidegrees of complex differential forms:It also interchanges the two type components of the exterior derivative, so $\bar{\partial }\bar{\alpha }=\overline{\partial \alpha }$ and $\partial \bar{\alpha }=\overline{\bar{\partial }\alpha }$.

The conjugate Dolbeault operator is the type-$(1,0)$ component of the exterior derivative: $\partial :{\mathcal{A}}^{p,q}\to {\mathcal{A}}^{p+1,q}$. Complex conjugation interchanges $\partial$ and $\bar{\partial }$. On a complex manifold, $d=\partial +\bar{\partial }$, ${\partial }^2={\bar{\partial }}^2=0$, and $\partial \bar{\partial }+\bar{\partial }\partial =0$.

For coordinates $x,y$ on a smooth manifold, fibre coefficients of a cotangent space element obey $b_j={\sum }_i{a}_i\partial x^i/\partial y^j$. Thus induced cotangent bundle charts change by $(x,a)\mapsto (y(x),b)$ with smooth, invertible, fibre-linear changes. The canonical one-form on a cotangent bundle satisfies ${\sum }_i{a}_{i}d{x}^i={\sum }_j{b}_{j}d{y}^j$, and differentiating proves invariance of its exterior derivative.

For a smooth map $\varphi :M^{\prime }\to M$ and a connection on a vector bundle $E\to M$, the curvature form of a connection on the pullback vector bundle satisfiesas an endomorphism of $E_{\varphi (p)}$. In a frame of a vector bundle written as a row, with section components written as columns, the connection one-form is $\Omega$ and its curvature form of a connection is $d\Omega +\Omega \wedge \Omega$. The pullback connection has matrix ${\varphi }^{\ast }\Omega$; commutation of the pullback of a differential form with the exterior derivative and wedge product of differential forms proves the identity. No pushforward to an ambient vector field is required: $d\varphi (X)$ is a vector field along a map.

There are no exact forms in degree zero. A smooth function has zero exterior derivative precisely when it is locally constant, so $H_{\mathrm{dR}}^0(M)$ is the space of locally constant functions. On a connected nonempty smooth manifold, it is $\mathbb{R}$. An overlapping cover by two connected open subsets therefore does not give the direct-sum formula for de Rham cohomology of a finite disjoint union: restriction sends a constant to equal constants on both pieces.

Restriction of differential forms to the finitely many open and closed components gives an isomorphism of cochain complexes ${\Omega }^{\ast }(⨆M_j)\cong {⨁}_j{\Omega }^{\ast }(M_j)$. Piecewise forms glue because there are no overlaps, and the exterior derivative acts componentwise. Taking the quotient of closed differential forms by exact differential forms proves the displayed de Rham cohomology isomorphism. For an infinite disjoint union, forms and cohomology give products instead.

For a free smooth action of a finite group $G$ on a smooth manifold $M$, the quotient projection inducesInvariant differential forms descend uniquely through local inverse branches of the covering map. Averaging by $|G{|}^{-1}{\sum }_{g\in G}{g}^{\ast }$ commutes with the exterior derivative, produces invariant representatives of invariant classes, and produces an invariant primitive for every invariant exact form. Hence taking invariant forms and taking invariant cohomology give the same result over the real numbers.

Choose a closed one-form $\nu$ on $S^1$ with integral one and let $p:M\times S^1\to M$ be projection. Every rotation-invariant $k$-form is uniquelyThe exterior derivative acts componentwise. Averaging therefore proves thatis the displayed isomorphism.

A differential form is a smooth field of alternating multilinear maps that can be integrated over an appropriately oriented manifold of matching dimension. A one-form measures a directed displacement; a two-form measures an oriented area element. The point is to express what is being accumulated along a curve or over a surface without tying the answer to one set of coordinates. This makes line integrals, surface integrals, and the integral theorems of vector calculus parts of one construction.

For a concrete one-form, take $\alpha =xdy$ in the plane. Travel from $(0,0)$ to $(1,1)$ along the bottom and then the right edge of the unit square. The horizontal leg contributes zero because $dy=0$; the vertical leg has $x=1$ and contributes ${\int }_0^{1}dy=1$. Taking the left and then the top edge instead gives zero: the vertical leg has $x=0$, and the horizontal leg again has $dy=0$. The two paths have the same endpoints but different integrals.

Now replace $\alpha$ with the exact differential $\beta =d(xy)=ydx+xdy$. Both paths give $1$, because integrating an exact differential along a curve gives the endpoint difference of its potential. Here that difference is $xy{|}_{(1,1)}-xy{|}_{(0,0)}=1$. This is the fundamental theorem of calculus applied to a function along a parametric curve, and is the basic reason conservative vector fields have path-independent work.

The exterior derivative records the local obstruction in the first example: $d(xdy)=dx\wedge dy$. The Generalized Stokes theorem turns the difference between the two path integrals into the integral of this two-form over the square, whose oriented area is $1$. Interior edges cancel when adjoining pieces are added; only the outer boundary survives. That cancellation connects a local calculation with a global measurement.

More precisely, a degree-$k$ differential form assigns to each point $p$ a multilinear scalar-valued function of $k$ tangent vectors at $p$. Interchanging two arguments changes its sign. A one-form is therefore a covector field, while a two-form vanishes on a pair of parallel vectors. Degree zero simply means a smooth function. The space ${\Omega }^k(M)$ is a vector space; the wedge product of differential forms combines degrees, and the exterior derivative raises degree by one.

The usefulness goes beyond bookkeeping. Pullbacks of a differential form supply the right transformation law automatically under a coordinate change. The Generalized Stokes theorem unifies the fundamental theorem of calculus, Green theorem, Stokes theorem, and divergence theorem. Meanwhile, the distinction between closed differential forms and exact differential forms detects holes through de Rham cohomology. Reyer Sjamaar develops these connections in sections 5.4 and 9.3 of his university notes. ^[ref].

For a real-valued smooth function on a smooth manifold, its differential of a smooth map is a differential one-form: $d{f}_p$ maps a tangent vector to the directional derivative of the function. In local coordinates, $df={\sum }_i({\partial }_{i}f)d{x}^i$. The exterior derivative extends this operation from functions to higher-degree differential forms.