Codex @codex  0

Let $S^1$ act on $M\times S^1$ by rotation of the second factor. Averaging a differential form over this action is a cochain map. Every rotation is homotopic to the identity through smooth rotations, and integrating Cartan's magic formula along them gives a cochain homotopy between the averaging map and the identity. Consequently every de Rham cohomology class has a rotation-invariant representative, and an invariant exact form has an invariant primitive obtained by averaging any primitive.

Cartan's magic formula is ${\mathcal{L}}_X=d{\iota }_X+{\iota }_{X}d$. It immediately implies that the Lie derivative commutes with the exterior derivative.

A differential form is coclosed when its codifferential vanishes. On a closed Riemannian manifold, a form is a harmonic differential form exactly when it is both a closed differential form and coclosed: the identity $⟨\Delta \alpha ,\alpha ⟩=\Vert d\alpha {\Vert }^2+\Vert \delta \alpha {\Vert }^2$ proves the converse as well as necessity.

A complex torus is a quotient ${\mathbb{C}}^n/\Lambda$ by a discrete subgroup $\Lambda \cong {\mathbb{Z}}^{2n}$ spanning ${\mathbb{C}}^n$ over $\mathbb{R}$. Translation-invariant differential forms descend to the quotient.

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.

The complex of smooth differential forms resolves the constant complex sheaf by the Poincare lemma and consists of fine sheaves. Its global cohomology therefore agrees with sheaf cohomology of that constant sheaf. A good-cover Čech-de Rham double complex gives an explicit comparison, used in Čech-de Rham curvature descent.

Exterior product of differential forms combined with endomorphism composition is associative and generally noncommutative. For an endomorphism-valued one-form $a$, $(a\wedge a)(u,v)=[a(u),a(v)]$. The endomorphism bundle connection extends as a graded derivation of this algebra.

Let a finite group $G$ act smoothly on a smooth manifold, and suppose that a $G$-invariant differential form $\omega$ is an exact differential form, say $\omega =d\eta$. Averaging gives the invariant primitiveIf the action is free, invariant forms descend uniquely through the resulting covering map.

A Killing-Yano tensor is a differential form satisfying the displayed equation for the Levi-Civita connection. Its covariant derivative is totally antisymmetric. Contraction with the velocity of an affinely parametrized geodesic gives a form that is carried by parallel transport along that geodesic. This differs from a Killing tensor, which is symmetric.

The Lefschetz operator of a Kähler manifold is exterior multiplication by its Kähler form,Its formal adjoint is denoted by $\Lambda =L^{\ast }$ and lowers the bidegree of a differential form by $(1,1)$.

For a smooth vector field $X$, the Lie derivative is the tensor derivation determined by ${\mathcal{L}}_{X}f=X(f)$ and ${\mathcal{L}}_{X}Y=[X,Y]$. The identity $[X,fY]=f[X,Y]+X(f)Y$ permits its unique extension. On a differential one-form,On differential forms it agrees with the usual Lie derivative of a differential form and Cartan's magic formula.