A differential form is a mathematical object used to express integration over manifolds and describe physical quantities like flux.Una forma diferencial es una aplicación multilineal alternante sobre vectores tangentes en cada punto de una variedad suave. Una forma de grado k (k-forma) está destinada a la integración sobre subvariedades k-dimensionales. El diferencial exterior d eleva el grado en 1 y tiene la propiedad clave d² = 0, que generaliza el hecho de que «la frontera de una frontera es vacía». El famoso teorema de Stokes toma la forma compacta: ∫_M dω = ∫_∂M ω. En física, el potencial electromagnético es una 1-forma, la intensidad del campo es una 2-forma, y las ecuaciones de Maxwell se escriben como dF = 0, d⋆F = J.
El concepto se desarrolló gradualmente. En el siglo XIX, Green, Stokes y Gauss dieron teoremas integrales dispersos. El paso decisivo lo dio Élie Cartan en los años 1920, introduciendo el diferencial exterior y el teorema de Stokes generalizado. En 1931, Georges de Rham demostró el isomorfismo entre las cohomologías construidas a partir de formas y las cohomologías singulares, vinculando análisis y topología. Posteriormente, las formas diferenciales se convirtieron en el lenguaje principal de la geometría y la física, desde las teorías de gauge hasta las cuerdas.
Una forma de grado k es un funcional que toma k vectores tangentes y devuelve un número, antisimétrico en los argumentos. Esto permite medir volúmenes orientados de paralelepípedos k-dimensionales en el espacio tangente. La integral de una forma sobre una subvariedad se obtiene mediante la subdivisión en pequeñas celdas y la suma de valores sobre ellas. El diferencial exterior generaliza el rotacional, la divergencia y el gradiente. La propiedad d² = 0 conduce a leyes de conservación: por ejemplo, en electrodinámica, de dF = 0 se sigue la ausencia de cargas magnéticas, y de d⋆F = J, la conservación de la carga. El operador de Hodge ⋆, definido por la métrica, transforma k-formas en (n–k)-formas, lo que, por ejemplo, intercambia los campos eléctrico y magnético en el vacío.
La formulación del electromagnetismo de Maxwell en una forma compacta y elegante; sin ellas es imposible describir los campos de gauge en física de partículas elementales y el espacio-tiempo curvado en la relatividad general.
Las ecuaciones de Maxwell, que describen todo el electromagnetismo clásico, en el lenguaje de las formas diferenciales caben en dos líneas cortas: dF = 0 y d⋆F = J. La notación habitual en los libros de texto ocupa cuatro engorrosas ecuaciones en derivadas parciales.
| s | variable | Complex argument of the L-function |
| n | variable | Summation index (positive integer) |
| χ | variable | Dirichlet character modulo some integer |
| ∑ | operador | Sum over positive integers — suma |
| f | variable | scalar function value — valor de la función |
| 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 | operador | 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 — ángulo radian |
| p | variable | perpendicular distance from the origin to the line — distancia metre |
| \cos | operador | computes the cosine of an angle — coseno |
| \sin | operador | computes the sine of an angle — seno |





