A differential form is a mathematical object used to express integration over manifolds and describe physical quantities like flux.A differential form is an alternating multilinear map on tangent vectors at each point of a smooth manifold. A form of degree k (k-form) is designed for integration over k-dimensional submanifolds. The exterior derivative d raises the degree by 1 and has the key property d² = 0, generalizing the fact that 'the boundary of a boundary is empty'. The famous Stokes' theorem takes the compact form: ∫_M dω = ∫_∂M ω. In physics, the electromagnetic potential is a 1-form, the field strength is a 2-form, and Maxwell's equations are written as dF = 0, d*F = J.
The concept evolved gradually. In the 19th century, Green, Stokes, and Gauss gave disparate integral theorems. The decisive step was made by Élie Cartan in the 1920s, introducing the exterior derivative and the generalized Stokes' theorem. In 1931, Georges de Rham proved the isomorphism between cohomology built from forms and singular cohomology, linking analysis and topology. Subsequently, differential forms became the fundamental language of geometry and physics, from gauge theories to strings.
A form of degree k is a functional that takes k tangent vectors and returns a number, antisymmetric in its arguments. This allows measuring oriented volumes of k-dimensional parallelepipeds in the tangent space. The integral of a form over a submanifold is obtained by partitioning into small cells and summing the values on them. The exterior derivative generalizes curl, divergence, and gradient. The property d² = 0 leads to conservation laws: for example, in electrodynamics, dF = 0 implies the absence of magnetic charges, and d*F = J implies charge conservation. The Hodge star operator *, determined by the metric, maps k-forms to (n–k)-forms, which, for example, swaps electric and magnetic fields in vacuum.
Formulation of Maxwell's electromagnetism in an elegantly compact form; without them, it is impossible to describe gauge fields in particle physics and curved spacetime in general relativity.
Maxwell's equations, which describe all of classical electromagnetism, in the language of differential forms fit into two short lines: dF = 0 and d*F = J. The usual textbook notation takes up four bulky partial differential equations.
| s | variable | Complex argument of the L-function |
| n | variable | Summation index (positive integer) |
| χ | variable | Dirichlet character modulo some integer |
| ∑ | operator | Sum over positive integers — summation |
| f | variable | scalar function value — function value |
| x | variable | input vector — vector argument |
| Q | variable | quadratic coefficient matrix — quadratic coefficient matrix |
| b | variable | linear coefficient vector — linear coefficient vector |
| c | variable | constant term — constant term |
| T | operator | flips a matrix or vector over its diagonal — transpose operator |
| x | variable | x-coordinate of a point on the line — x coordinate metre |
| y | variable | y-coordinate of a point on the line — y coordinate metre |
| \phi | variable | angle of the normal to the line with respect to the x-axis — angle radian |
| p | variable | perpendicular distance from the origin to the line — distance metre |
| \cos | operator | computes the cosine of an angle — cosine |
| \sin | operator | computes the sine of an angle — sine |





