Closed differential form
A differential form whose exterior derivative vanishes.
Let be a smooth manifold. A differential -form is closed if its exterior derivative vanishes:
The vector space of closed -forms is
Closed forms are the “cocycles” in the complex ; passing to cohomology by quotienting out exact forms yields the de Rham cohomology groups.
Basic facts
- Every exact form is closed: if , then because .
- Closedness is preserved by pullback: if is a smooth map and is closed on , then the pullback is closed on .
Examples
- Constant 1-forms on . In standard coordinates, each is closed because . Any constant-coefficient 1-form is also closed.
- Standard symplectic form on . With coordinates , the 2-form is closed since and satisfies the graded Leibniz rule.
- A closed but not exact 1-form on . On with coordinates , the 1-form is closed (it is the “angular” form). It is not exact on , which can be detected by integrating around the unit circle: the integral is nonzero, so cannot be globally on .