Fact-checked by Grok 2 weeks ago

Differential form

In mathematics, particularly in differential geometry and multivariable calculus, a differential form is an antisymmetric tensor field that generalizes the concept of a differential to higher dimensions, allowing for coordinate-independent definitions of integration over manifolds.^[1] Specifically, a differential k-form on an n-dimensional manifold is a smooth section of the k-th exterior power of the cotangent bundle, expressible locally as a sum of terms involving wedge products of coordinate differentials dxⁱ, with coefficients that are smooth functions; the number of independent components is given by the binomial coefficient C(n, k).^[1] For example, in three dimensions, a 1-form takes the shape f dx + g dy + h dz, where f, g, and h are smooth functions.^[2] The theory of differential forms was pioneered by the French mathematician Élie Cartan (1869–1951) in the early 1900s, building on earlier ideas from Grassmann algebra and exterior calculus to create a flexible framework for handling multivector quantities and their derivatives.^[3] Cartan's development integrated these forms into moving frame methods, enabling elegant treatments of local differential geometry problems, such as curvature and connections on manifolds.^[4] This approach contrasted with traditional vector calculus by emphasizing antisymmetry via the wedge product, which ensures that forms transform covariantly under coordinate changes and avoid the ambiguities of oriented volumes in Euclidean space.^[2] Central to the utility of differential forms is the exterior derivative, a linear operator d that maps a k-form to a (k+1)-form, satisfying d² = 0 and generalizing the gradient, curl, and divergence in a unified manner.^[1] Forms are integrated over oriented k-dimensional submanifolds—1-forms along curves, 2-forms over surfaces, and n-forms over n-dimensional volumes—facilitating change-of-variables theorems and orientation handling without explicit parametrization.^[2] The generalized Stokes' theorem states that for a k-form ω on a manifold M with boundary ∂M, ∫_M dω = ∫_∂M ω, encapsulating classical theorems like the fundamental theorem of calculus, Green's theorem, and the divergence theorem as special cases.^[2] This structure makes differential forms indispensable for de Rham cohomology, which classifies closed forms up to exact ones, revealing topological invariants of manifolds.^[5] Differential forms find broad applications beyond pure mathematics, including electromagnetism—where Maxwell's equations are expressed via the exterior derivative of a 2-form—and general relativity, where they describe spacetime curvature through connections and torsion.^[3] In physics, their antisymmetric nature naturally encodes oriented quantities like fluxes and circulations, while in geometry, they underpin the study of symplectic structures and characteristic classes.^[1] The formalism's elegance lies in its abstraction, reducing coordinate-dependent computations and highlighting intrinsic geometric properties.^[2]

Historical Development

Early Ideas in Vector Calculus

The development of vector calculus in the 19th century laid essential groundwork for the concepts underlying differential forms, with operators like the gradient, curl, and divergence acting as rudimentary analogs to 1-forms and operations akin to the exterior derivative. The gradient transformed a scalar potential into a vector indicating the direction of steepest ascent, effectively encoding directional change in a manner reminiscent of how a 1-form pairs with vectors to yield scalars. The curl, measuring the circulation or rotation around a point in a vector field, captured local twisting behavior, while the divergence quantified net outflow or inflow, both suggesting differential measures of field variation that prefigured more abstract exterior operations. These tools emerged within multivariable calculus to handle physical phenomena like fluid flow and electromagnetism, providing practical means to compute rates of change in three-dimensional Euclidean space.^[6] A pivotal precursor was William Rowan Hamilton's invention of quaternions in 1843, which offered a algebraic framework for manipulating vector quantities beyond scalars. Quaternions consisted of a scalar part and a vector part, with multiplication rules that decomposed into symmetric (dot product-like) and antisymmetric (cross product-like) components, enabling computations involving orientations and rotations central to later curl definitions. Hamilton extended these ideas in his 1844 paper "On Quaternions, or on a New System of Imaginary Quantities," applying them to geometric problems and influencing subsequent vector manipulations in physics. By the 1860s, Hamilton's collaborator Peter Guthrie Tait further popularized quaternions in treatises on mechanics, using them to express gradient and divergence operations in a unified, though cumbersome, notation.^[7]^[6] The modern vector calculus notation crystallized in the 1880s through the independent efforts of Josiah Willard Gibbs and Oliver Heaviside, who streamlined Hamilton's ideas into accessible tools for engineers and physicists. Gibbs introduced the del operator ∇ in his 1881 pamphlet "Elements of Vector Analysis," defining grad as ∇φ for scalar φ, div as ∇·F for vector F, and curl as ∇×F, thereby formalizing differential operations on fields. Heaviside, in his 1893 book Electromagnetic Theory, employed similar conventions to simplify Maxwell's equations, emphasizing div and curl for charge conservation and Faraday's law. These innovations built on earlier integral calculus, where line integrals—first conceptualized by Joseph-Louis Lagrange in 1760 for path-dependent quantities like work along curves—evolved into vector forms for circulation ∫F·dr. Surface integrals for flux ∫F·dS and volume integrals ∫div F dV followed in the mid-19th century, quantifying flow through areas and sources within regions, as seen in applications to hydrodynamics.^[7]^[6]^[8] Key unification came via integral theorems that linked these local operators to global integrals, foreshadowing Stokes' theorem in differential forms. Carl Friedrich Gauss proved the divergence theorem in 1813, stating that the outward flux through a closed surface equals the volume integral of the divergence inside, a result derived from earlier flux calculations in potential theory. George Green anticipated related ideas in his 1828 essay on electricity, where his theorem connected line integrals around boundaries to area integrals of curl-like terms in two dimensions. George Gabriel Stokes posed the general surface version in 1854, relating the surface integral of curl to the boundary line integral, with the divergence theorem emerging as its three-dimensional special case for volume-to-surface relations. These theorems, disseminated through 19th-century texts like those of James Clerk Maxwell, demonstrated how differential quantities integrated coherently but remained tied to specific dimensions.^[9]^[10] However, 19th-century vector calculus exhibited significant limitations, particularly its dependence on coordinate systems and confinement to three dimensions, hindering broader geometric applications. Component expressions for curl and cross products relied on right-handed orthonormal bases like Cartesian coordinates, making transformations cumbersome and obscuring intrinsic properties under coordinate changes. Moreover, the antisymmetric operations, such as the cross product, failed to extend naturally beyond three dimensions without ad hoc modifications, lacking a coordinate-free algebra for higher-dimensional spaces. This rigidity contrasted with the need for invariant descriptions in emerging relativity and differential geometry, prompting later axiomatic reforms.

Cartan's Formulation and Modern Exterior Calculus

Élie Cartan introduced the concept of differential forms in his 1899 paper "Sur certaines expressions différentielles et le problème de Pfaff," where he provided the first formal, symbolic definition of these objects as homogeneous polynomials in infinitesimal increments, enabling a coordinate-free approach to solving systems of partial differential equations, particularly Pfaffian systems.^[11] This work laid the foundation for exterior calculus by treating differential forms as tools independent of specific coordinate choices, allowing for intrinsic geometric descriptions of integrability conditions in multi-variable settings. Cartan's formulation emphasized the algebraic structure of these expressions, including their exterior multiplication, which anticipated the wedge product and facilitated the study of non-holonomic constraints without reliance on explicit coordinates.^[12] Building on this, Cartan developed the method of moving frames in the early 1900s, extending his differential forms to provide a general framework for local differential geometry on manifolds invariant under group actions. In his works on differential geometry, including those on spaces with affine connections developed in the 1920s, and subsequent developments through the 1920s, he generalized Pfaffian systems into broader exterior differential systems, incorporating higher-degree forms and their derivatives to analyze involutive structures and equivalence problems under continuous transformations.^[13] By the 1930s, Cartan's exterior calculus had matured into a powerful tool for studying generalized spaces, including Riemannian and Finsler geometries, where moving frames served as adaptable orthonormal bases co-moving with the geometry, ensuring all computations remained tensorial and coordinate-independent. This period saw the integration of exterior derivatives as structure equations, linking local frame adaptations to global manifold properties. A pivotal milestone in modern exterior calculus came with Georges de Rham's 1931 doctoral thesis "Sur l'analyse situs des variétés à n dimensions," which established the de Rham complex as the sequence of differential forms on a smooth manifold equipped with the exterior derivative operator, whose cohomology groups capture topological invariants via closed and exact forms.^[14] De Rham's work demonstrated the isomorphism between these cohomology groups and the singular cohomology of the manifold, solidifying the role of exterior calculus in bridging analysis and topology. In this intrinsic modern formulation, a k-form \omega at a point p on a manifold M is defined as an alternating multilinear map \omega: \bigwedge^k T_p M \to \mathbb{R}, where T_p M is the tangent space at p, providing a precise, basis-independent description that extends Cartan's symbolic ideas to abstract smooth manifolds.^[14]

Basic Definitions

Forms on Euclidean Space

In Euclidean space \mathbb{R}^n, a differential k-form, where $0 \leq k \leq n, is a mathematical object that generalizes the notions of scalars, vectors, and higher-dimensional analogs in a coordinate-independent way, but is concretely expressed using local coordinates. Formally, at each point p \in \mathbb{R}^n, a k-form \omega_p is an alternating multilinear map from the k-th power of the tangent space T_p \mathbb{R}^n \cong \mathbb{R}^n to \mathbb{R}, meaning \omega_p(v_1, \dots, v_k) = (-1)^\sigma \omega_p(v_{\sigma(1)}, \dots, v_{\sigma(k)}) for any permutation \sigma of the arguments, with the sign given by the parity of \sigma. A differential k-form \omega on an open subset U \subseteq \mathbb{R}^n is then a smooth assignment of such maps to each point in U.^[15]^[16] In coordinates (x^1, \dots, x^n) on \mathbb{R}^n, any k-form \omega on U can be uniquely expressed as

\omega = \sum_{1 \leq i_1 < i_2 < \dots < i_k \leq n} f_{i_1 \dots i_k} \, dx^{i_1} \wedge \dots \wedge dx^{i_k},

where each f_{i_1 \dots i_k}: U \to \mathbb{R} is a smooth function (the components of \omega), and dx^{i_1} \wedge \dots \wedge dx^{i_k} are the basic k-forms satisfying the alternating property: dx^i \wedge dx^j = - dx^j \wedge dx^i for i \neq j, and dx^i \wedge dx^i = 0. The multi-index notation I = (i_1 < \dots < i_k) compactly denotes the strictly increasing sequences, ensuring antisymmetry is built into the basis; the full sum over all ordered indices would include factors of \frac{1}{k!} to account for permutations, but the ordered form is standard for clarity. This representation leverages the fact that the space of k-forms at a point is isomorphic to the k-th exterior power \Lambda^k ((\mathbb{R}^n)^*), with dimension \binom{n}{k}.^[15]^[17]^[16] Examples illustrate the progression from lower to higher degrees. A $0-form is simply a smooth function f: U \to \mathbb{R}, as \Lambda^0 ((\mathbb{R}^n)^*) \cong \mathbb{R}, with evaluation \omega_p() = f(p). A $1-form is a covector field, written \omega = \sum_{i=1}^n f_i \, dx^i, which pairs with tangent vectors via \omega_p(v) = \sum f_i(p) v^i, generalizing directional derivatives or line element forms like ds^2 = dx^2 + dy^2 + dz^2 in \mathbb{R}^3. For k=2 in \mathbb{R}^3, a $2-form \omega = f_{xy} \, dx \wedge dy + f_{xz} \, dx \wedge dz + f_{yz} \, dy \wedge dz relates to the cross product: given a vector field \mathbf{F} = (F_x, F_y, F_z), the associated $2-form is \omega = F_x \, dy \wedge dz + F_y \, dz \wedge dx + F_z \, dx \wedge dy, satisfying \omega(u, v) = \mathbf{F} \cdot (u \times v) for vectors u, v \in \mathbb{R}^3, which captures oriented area or flux through parallelograms.^[2]^[16]^[18] The standard orientation on \mathbb{R}^n is induced by the volume n-form \mathrm{vol} = dx^1 \wedge \dots \wedge dx^n, which assigns positive volume to the standard basis parallelepiped and defines a consistent choice of "right-handed" bases via the alternation. This form is nowhere zero and serves as a reference for integrating over oriented domains in \mathbb{R}^n. These constructions on Euclidean space provide the foundation for extending differential forms to more general smooth manifolds via charts and tangent bundles.^[15]^[17]

Forms on Smooth Manifolds

On a smooth manifold M, the tangent space T_p M at a point p \in M is the vector space of all tangent vectors at p, which can be identified with derivations of the germ of smooth functions at p. The cotangent space T_p^* M is the dual vector space \mathrm{Hom}(T_p M, \mathbb{R}), consisting of all \mathbb{R}-linear functionals on T_p M.^[19] A differential k-form on M is defined intrinsically using the cotangent bundle. At each point p \in M, a k-form assigns an alternating multilinear map \omega_p: (T_p M)^k \to \mathbb{R}, meaning \omega_p is linear in each argument and \omega_p(v_1, \dots, v_k) = 0 if any two arguments are identical (with the sign change under odd permutations). The space of all such maps at p is the k-th exterior power \Lambda^k (T_p^* M), which is the quotient of the tensor power (T_p^* M)^{\otimes k} by the relations enforcing antisymmetry.^[20]^[19] The bundle of k-forms on M is the vector bundle \Lambda^k T^* M \to M, whose fiber over p is precisely \Lambda^k (T_p^* M). A differential k-form \omega is then a smooth section of this bundle, i.e., a smooth map \omega: M \to \Lambda^k T^* M such that the bundle projection \pi \circ \omega = \mathrm{id}_M. This means \omega smoothly assigns to each point p an element \omega_p \in \Lambda^k (T_p^* M), allowing evaluation \omega_p(v_1, \dots, v_k) for tangent vectors v_i \in T_p M. The collection of all such sections forms the space \Omega^k(M) of smooth k-forms on M. This construction is coordinate-free and global, extending the local notion of forms on Euclidean space to abstract manifolds.^[19]^[21] The exterior algebra bundle is the graded vector bundle \Lambda^* T^* M = \bigoplus_{k=0}^{\dim M} \Lambda^k T^* M \to M, where the fibers are the exterior algebras \Lambda^* (T_p^* M) equipped with the natural grading and algebraic structure. Sections of this bundle are smooth forms of all degrees, forming the space \Omega^*(M) = \bigoplus_k \Omega^k(M). This bundle structure ensures that differential forms transform consistently under changes of charts, preserving their intrinsic geometric meaning.^[20]^[19] In a local coordinate chart (U, (x^1, \dots, x^n)) on M, where n = \dim M, the cotangent basis elements dx^i_p \in T_p^* M (defined by dx^i_p(\partial/\partial x^j |_p) = \delta^i_j) induce a local basis for \Lambda^k (T_p^* M) given by dx^{i_1} \wedge \cdots \wedge dx^{i_k} for $1 \leq i_1 < \cdots < i_k \leq n. Any k-form \omega restricts to a section over U expressible as

\omega|_U = \sum_{1 \leq i_1 < \cdots < i_k \leq n} f_{i_1 \dots i_k} \, dx^{i_1} \wedge \cdots \wedge dx^{i_k},

where the coefficients f_{i_1 \dots i_k}: U \to \mathbb{R} are smooth functions. This coordinate expression mirrors the form on \mathbb{R}^n but is merely representational; the underlying section \omega remains independent of the specific chart choice, as different charts yield equivalent expressions via the chain rule and antisymmetry.^[21]^[22]

Algebraic and Differential Operations

Wedge Product and Exterior Algebra

The wedge product is a fundamental operation in the algebra of differential forms, allowing the combination of a p-form \alpha and a q-form \beta to produce a (p+q)-form \alpha \wedge \beta. This product is defined as the antisymmetrized tensor product, specifically \alpha \wedge \beta = \Alt(\alpha \otimes \beta), where \Alt is the alternation operator that applies the average over all permutations with the sign of the permutation to ensure antisymmetry.^[23] In coordinate bases, this manifests such that if \alpha = \sum a_{I} \, dx^{I} and \beta = \sum b_{J} \, dx^{J}, then \alpha \wedge \beta = \sum_{I,J} a_{I} b_{J} \, dx^{I} \wedge dx^{J}, with dx^{I} \wedge dx^{J} equal to the signed basis element dx^{K} for the sorted multi-index K combining I and J, or zero if there are repetitions.^[24] The wedge product satisfies several key algebraic properties that make it suitable for exterior calculus. It is bilinear, meaning (\lambda \alpha_1 + \mu \alpha_2) \wedge \beta = \lambda (\alpha_1 \wedge \beta) + \mu (\alpha_2 \wedge \beta) and similarly for the second factor, where \lambda, \mu are scalars.^[23] It is associative: (\alpha \wedge \beta) \wedge \gamma = \alpha \wedge (\beta \wedge \gamma) for forms \alpha, \beta, \gamma.^[23] The operation is graded anticommutative: \beta \wedge \alpha = (-1)^{pq} \alpha \wedge \beta.^[23] Additionally, the constant functions, regarded as $0-forms, serve as the unit element: f \wedge \alpha = \alpha \wedge f = f \alpha

for any &#36;0

-form f and form \alpha.^[25] These properties endow the space of differential forms with the structure of an exterior algebra \Lambda^* V over a vector space V, which is the graded algebra \bigoplus_{k=0}^{\dim V} \Lambda^k V equipped with the wedge product as multiplication.^[25] If \{e_i\} is a basis for V, then a basis for \Lambda^* V consists of the elements e^I = e_{i_1} \wedge \cdots \wedge e_{i_k} for multi-indices I = (i_1 < \cdots < i_k) and k \geq 0, with the empty product for k=0 being the unit $1. The [dimension](/page/Dimension) of \Lambda^* Vis2^{\dim V}$, reflecting the combinatorial choice of subsets for the basis elements.^[25] A concrete illustration occurs in three-dimensional Euclidean space with the standard basis $1-forms dx, dy, dz. Here, dx \wedge dy = - dy \wedge dx

, and the &#36;2

-form dx \wedge dy corresponds to an infinitesimal oriented area element in the xy-plane, with the sign convention encoding the orientation (right-handed versus left-handed).^[26] This antisymmetry ensures that wedging a form with itself yields zero, \alpha \wedge \alpha = 0 for odd-degree \alpha, preventing degenerate volumes.^[27]

Exterior Derivative

The exterior derivative d is an operator that maps a differential k-form to a differential (k+1)-form on a smooth manifold, generalizing the concepts of gradient, curl, and divergence from vector calculus to higher dimensions and arbitrary manifolds. For a k-form \omega expressed locally in coordinates as \omega = \sum_I f_I \, dx^I, where I is an ordered multi-index and f_I are smooth functions, the exterior derivative is defined by

d\omega = \sum_I df_I \wedge dx^I,

with df_I = \sum_j \frac{\partial f_I}{\partial x^j} dx^j. This local formula extends uniquely to a global operator that is independent of the choice of coordinates and satisfies the property of being exact for closed forms in certain contexts.^[28]^[29] Key properties of the exterior derivative include the nilpotency condition d^2 = 0, which implies that the second exterior derivative of any form vanishes, establishing d as a differential operator. It also satisfies the graded Leibniz (or product) rule: for a p-form \alpha and a

q\)-form

\beta$,

d(\alpha \wedge \beta) = d\alpha \wedge \beta + (-1)^p \alpha \wedge d\beta.

Furthermore, d is natural under smooth maps, meaning that for a diffeomorphism f: M \to N between manifolds, the pullback commutes with the exterior derivative: f^*(d\omega) = d(f^*\omega) for any form \omega on N. These properties ensure that d behaves consistently across coordinate changes and manifold mappings.^[30]^[22]^[31] For a 0-form, which is simply a smooth function f, the exterior derivative recovers the total differential:

df = \sum_i \frac{\partial f}{\partial x^i} \, dx^i,

corresponding to the gradient in Euclidean space. In three-dimensional Euclidean space, consider a 1-form \omega = \mathbf{A} \cdot d\mathbf{x} = A_1 \, dx + A_2 \, dy + A_3 \, dz associated with a vector field \mathbf{A}. Then,

d\omega = \left( \frac{\partial A_3}{\partial y} - \frac{\partial A_2}{\partial z} \right) dy \wedge dz + \left( \frac{\partial A_1}{\partial z} - \frac{\partial A_3}{\partial x} \right) dz \wedge dx + \left( \frac{\partial A_2}{\partial x} - \frac{\partial A_1}{\partial y} \right) dx \wedge dy,

which generalizes the curl of \mathbf{A} as a 2-form. The divergence of \mathbf{A} is obtained by applying d to the corresponding 2-form (via the Hodge dual), yielding (\nabla \cdot \mathbf{A}) \, dx \wedge dy \wedge dz as a 3-form. This illustrates how d unifies the gradient (from 0-forms), curl (from 1-forms), and divergence (from 2-forms) into a single antisymmetric framework suitable for higher dimensions. This unification extends naturally to manifolds, where the exterior derivative provides a coordinate-free way to differentiate forms while preserving orientation and antisymmetry.^[30]^[32]

Geometric Interpretations

Pullback and Change of Coordinates

The pullback operation provides a way to induce differential forms on one manifold from those on another via smooth maps, enabling the study of how forms behave under transformations. Given smooth manifolds M and N, a smooth map \phi: M \to N, and a k-form \omega \in \Omega^k(N), the pullback \phi^* \omega is the k-form on M defined pointwise by

(\phi^* \omega)_p(v_1, \dots, v_k) = \omega_{\phi(p)}(d\phi_p v_1, \dots, d\phi_p v_k),

where p \in M and v_1, \dots, v_k \in T_p M.^[21] This construction is well-defined because the right-hand side is C^\infty in p and multilinear in the v_i, and it extends the familiar pullback for functions by setting \phi^* f = f \circ \phi for f: N \to \mathbb{R}.^[21] The pullback possesses several algebraic and differential properties that highlight its naturality in the category of smooth manifolds. It is compatible with the wedge product, satisfying \phi^*(\alpha \wedge \beta) = \phi^* \alpha \wedge \phi^* \beta for forms \alpha, \beta on N.^[21] Additionally, it commutes with the exterior derivative: \phi^* (d\omega) = d (\phi^* \omega).^[21] These ensure that pullback acts as a homomorphism of graded algebras and a chain map on the de Rham cohomology complexes. Naturality follows from the functorial property (\psi \circ \phi)^* = \phi^* \circ \psi^* for composable smooth maps \phi: M \to N and \psi: N \to P.^[21] In the context of change of coordinates, the pullback reveals the coordinate-independent nature of differential forms. For a diffeomorphism \phi: M \to N, which locally resembles a coordinate transformation, \phi^* \omega expresses \omega in the coordinates of M, with components transforming via the inverse Jacobian matrix of \phi.^[33] This contravariant transformation law—unlike the covariant one for vector fields—preserves the intrinsic geometric and topological properties of the form, such as orientation and integrability, regardless of the chosen coordinate system. For a coordinate change given by old coordinates x^i = \phi^i(y) (mapping from new y-coordinates to old x-coordinates), the pullback of the standard volume form dx^1 \wedge \cdots \wedge dx^n under \phi is \det(d\phi) \, dy^1 \wedge \cdots \wedge dy^n, where d\phi = \partial x / \partial y accounts for the oriented volume scaling.^[33]

Relation to Vector Fields and Tensors

Differential 1-forms on a smooth manifold M are covector fields, assigning to each point p \in M a linear functional on the tangent space T_p M. This structure allows a 1-form \omega to pair with a vector field X on M, yielding a smooth function \omega(X): M \to \mathbb{R} defined by \omega(X)(p) = \langle \omega_p, X_p \rangle for each p \in M, where \langle \cdot, \cdot \rangle denotes the duality pairing between T_p^* M and T_p M.^[34] This pairing extends the classical dot product in Euclidean space to general manifolds, facilitating computations like directional derivatives.^[35] For higher-degree forms, the interior product provides a natural interaction with vector fields. Given a k-form \omega and a vector field X, the interior product i_X \omega (also denoted \iota_X \omega) is a (k-1)-form satisfying (i_X \omega)(Y_1, \dots, Y_{k-1}) = \omega(X, Y_1, \dots, Y_{k-1}) for vector fields Y_1, \dots, Y_{k-1}.^[17] This operator acts as an antiderivation on the exterior algebra of forms, meaning it is a derivation of degree -1 that is skew-symmetric: for forms \alpha, \beta, i_X (\alpha \wedge \beta) = (i_X \alpha) \wedge \beta + (-1)^{\deg \alpha} \alpha \wedge (i_X \beta).^[22] In local coordinates, if \omega = \sum_{i_1 < \cdots < i_k} \omega_{i_1 \dots i_k} \, dx^{i_1} \wedge \cdots \wedge dx^{i_k}, then i_X \omega = \sum_{j=1}^k (-1)^{j-1} X^{i_j} \omega_{i_1 \dots \hat{i_j} \dots i_k} \, dx^{i_1} \wedge \cdots \wedge \widehat{dx^{i_j}} \wedge \cdots \wedge dx^{i_k}, where X = \sum X^i \partial_i.^[30] On a Riemannian manifold (M, g), the metric tensor g induces musical isomorphisms that identify tangent vectors with covectors and vice versa. The flat map \flat: TM \to T^*M sends a vector v \in T_p M to the 1-form v^\flat \in T_p^* M defined by v^\flat(w) = g_p(v, w) for w \in T_p M, while the sharp map \sharp: T^*M \to TM is its inverse, given by \alpha^\sharp(v) = g_p(\alpha^\sharp, v) for \alpha \in T_p^* M.^[36] These isomorphisms extend to higher forms via the metric, enabling the identification of k-forms with k-vector fields in certain contexts. In particular, the Riemannian volume form, an n-form on an n-dimensional oriented manifold, is constructed as \mathrm{vol}_g = \sqrt{\det(g_{ij})} \, dx^1 \wedge \cdots \wedge dx^n in local coordinates \{x^i\}, where g_{ij} are the components of g, ensuring that \mathrm{vol}_g(e_1, \dots, e_n) = 1 for any positively oriented orthonormal basis \{e_i\}.^[37]^[38] From a tensorial perspective, a k-form on M is a smooth section of the bundle of totally antisymmetric (0,k)-tensors, meaning it is a multilinear map \omega_p: (T_p M)^k \to \mathbb{R} that is linear in each argument and satisfies \omega_p(v_{\sigma(1)}, \dots, v_{\sigma(k)}) = \operatorname{sgn}(\sigma) \omega_p(v_1, \dots, v_k) for any permutation \sigma \in S_k.^[35] The space of k-forms at p, denoted \Lambda^k(T_p^* M), is thus the quotient of the tensor power (T_p^* M)^{\otimes k} by the subspace generated by antisymmetrized tensors, with the wedge product inducing the alternation. This antisymmetry distinguishes forms from general tensors, ensuring coordinate-independent expressions for quantities like fluxes and oriented volumes.^[39]^[40]

Integration Theory

Integration on Oriented Domains

The integration of a differential k-form over an oriented k-dimensional domain in Euclidean space is defined locally using coordinate charts that respect the orientation. For an oriented domain U \subset \mathbb{R}^n of dimension k with a k-form \omega = \sum_I f_I \, dx^I, where I ranges over increasing multi-indices of length k, the integral is given by \int_U \omega = \int_U \sum_I f_I \, dx^I, computed as the standard multiple integral over the coordinate representation, with the orientation ensuring the Jacobian determinant is positive to fix the sign of the integral.^[16] This local definition extends consistently across overlapping charts because the pullback under orientation-preserving transitions preserves the integral value.^[41] For submanifolds defined by parametrizations, the integral over an oriented submanifold \phi(D), where \phi: D \to \mathbb{R}^n is a smooth orientation-preserving map from an oriented domain D \subset \mathbb{R}^k, is computed via the pullback: \int_{\phi(D)} \omega = \int_D \phi^* \omega.^[16] Here, \phi^* \omega is a k-form on D that, in coordinates, becomes \sum_I f_I(\phi(u)) \det(D\phi(u)) \, du^I for u \in D, reducing the computation to a standard iterated integral over D.^[42] On compact oriented manifolds without boundary, global integration of compactly supported forms uses partitions of unity to decompose the form into sums over chart domains, ensuring the total integral is well-defined and independent of the atlas.^[41] Representative examples illustrate these concepts. For a 1-form \omega = P \, dx + Q \, dy on \mathbb{R}^2, the line integral over an oriented curve \gamma: [a,b] \to \mathbb{R}^2 parametrized by \gamma(t) = (x(t), y(t)) is \int_\gamma \omega = \int_a^b \left( P(\gamma(t)) x'(t) + Q(\gamma(t)) y'(t) \right) dt, which measures work done by the associated vector field along the path, with the orientation of \gamma determining the direction of traversal.^[31] Similarly, for a 2-form \omega = F \, dy \wedge dz + G \, dz \wedge dx + H \, dx \wedge dy on \mathbb{R}^3, the surface integral over an oriented surface S = \phi(D) with \phi(u,v) = (x(u,v), y(u,v), z(u,v)) computes as \int_S \omega = \int_D \left[ F(\phi) \left( \frac{\partial(y,z)}{\partial(u,v)} \right) + G(\phi) \left( \frac{\partial(z,x)}{\partial(u,v)} \right) + H(\phi) \left( \frac{\partial(x,y)}{\partial(u,v)} \right) \right] du \, dv, corresponding to the flux of the vector field (F, G, H) through S, where the orientation fixes the "positive" normal via the right-hand rule.^[43] Top-dimensional forms on an oriented n-manifold relate directly to measures by inducing oriented densities. An n-form \omega = f \, dx^1 \wedge \cdots \wedge dx^n on an oriented n-dimensional domain defines the integral \int_U \omega = \int_U f \, dx^1 \cdots dx^n, where the absolute value |\omega| yields a positive volume measure invariant under orientation-reversing changes, while the signed version respects the orientation for applications like signed volumes.^[44] This connection allows differential forms to generalize Lebesgue integration on manifolds, providing a coordinate-independent framework for volumes and densities.^[34]

Stokes' Theorem and de Rham Complex

Stokes' theorem provides a fundamental relation between the integration of a differential form and its exterior derivative over an oriented manifold with boundary. For a compact oriented n-dimensional manifold M with boundary \partial M and a smooth (n-1)-form \omega on M, the theorem states

\int_M d\omega = \int_{\partial M} \omega,

where the orientation on \partial M is induced by that on M. This generalizes classical integral theorems such as the fundamental theorem of calculus and the divergence theorem to arbitrary dimensions and smooth manifolds. The de Rham complex arises naturally from iterated applications of the exterior derivative operator d on the spaces of differential forms over a smooth manifold M. It is the cochain complex

\Omega^0(M) \xrightarrow{d} \Omega^1(M) \xrightarrow{d} \cdots \xrightarrow{d} \Omega^n(M),

where \Omega^k(M) denotes the space of smooth k-forms on M and n = \dim M, with d^2 = 0. A form \omega \in \Omega^k(M) is closed if d\omega = 0, i.e., \omega \in \ker d_k, and exact if \omega = d\eta for some \eta \in \Omega^{k-1}(M), i.e., \omega \in \mathrm{im}\, d_{k-1}. The closed forms form a subspace of \Omega^k(M), while the exact forms form a subspace of the closed forms.^[14] The k-th de Rham cohomology group of M is the quotient

H^k_{dR}(M) = \frac{\ker d_k}{\mathrm{im}\, d_{k-1}},

which measures the failure of closed k-forms to be exact. These groups form a graded algebra under the wedge product and are diffeomorphism invariants of M. Moreover, de Rham's theorem establishes that H^k_{dR}(M) \cong H_k(M; \mathbb{R}), the k-th singular homology group with real coefficients, implying that de Rham cohomology depends only on the underlying topological structure of M.^[14] Stokes' theorem extends beyond smooth oriented manifolds to more general settings, such as integration over singular chains or currents. In the theory of currents, a current is a continuous linear functional on the space of compactly supported differential forms that satisfies a locality condition; the boundary of a current T is defined by \partial T(\omega) = T(d\omega) for test forms \omega. The generalized Stokes' theorem then asserts \langle T, d\omega \rangle = \langle \partial T, \omega \rangle, enabling integration over non-smooth domains like rectifiable sets or varifolds while preserving the core relation between boundaries and derivatives.^[45]

Advanced Extensions

Forms on Fiber Bundles

Differential forms on the total space E of a smooth fiber bundle \pi: E \to M with typical fiber F are smooth sections of the exterior bundle \Lambda^\bullet T^*E, just as on any manifold. To incorporate the bundle structure, a connection on the bundle induces a decomposition of the tangent bundle TE = HE \oplus VE, where VE = \ker d\pi is the vertical subbundle tangent to the fibers and HE is the orthogonal (or complementary) horizontal subbundle.^[46] This splitting extends to the cotangent bundle and the exterior algebra, allowing differential forms on E to be bigraded into horizontal and vertical components via the wedge product: a p-form \omega \in \Omega^p(E) decomposes as \omega = \sum_{i+j=p} \omega_{i,j}, where \omega_{i,j} has horizontal degree i and vertical degree j, annihilating vectors with total degree exceeding these. Integration along the fibers provides a way to descend forms from E to the base M. For a fiber bundle with compact oriented fibers of dimension n, and a differential (k+n)-form \omega \in \Omega^{k+n}(E), the fiber integral \int_\pi \omega \in \Omega^k(M) is defined locally in trivializations E|_U \cong U \times F by \left( \int_\pi \omega \right)_x (\xi_1, \dots, \xi_k) = \int_F \omega_{(x,y)} (\tilde{\xi}_1, \dots, \tilde{\xi}_k, \partial_{y_1}, \dots, \partial_{y_n})\, dy, where \tilde{\xi}_i are horizontal lifts and the integral is over the oriented fiber; this is independent of trivialization and extends globally. It satisfies the projection formula: for \alpha \in \Omega^l(M), \int_E \pi^* \alpha \wedge \omega = \int_M \alpha \wedge \left( \int_\pi \omega \right), which ensures compatibility with the de Rham cohomology of the bundle sequence. In principal G-bundles, this framework is exemplified by connection forms. A connection 1-form \omega \in \Omega^1(P, \mathfrak{g}) on a principal bundle P \to M is vertical-valued in the Lie algebra \mathfrak{g}, satisfies \omega(\xi^\#) = \xi for fundamental vector fields \xi^\#, and is G-equivariant: R_g^* \omega = \mathrm{Ad}_{g^{-1}} \omega.^[46] The induced horizontal subspaces define the decomposition, and the curvature 2-form \Omega = d\omega + \frac{1}{2} [\omega, \omega] \in \Omega^2(P, \mathfrak{g}) is horizontal, equivariant, and its fiber integral \int_\pi \Omega (suitably projected) yields characteristic classes on M, such as Chern or Pontryagin classes via Chern-Weil theory. In symplectic geometry, fiber integration arises in prequantization: for a symplectic manifold (M, \omega) with integral class [\omega]/2\pi \in H^2(M; \mathbb{Z}), there exists a principal U(1)-bundle P \to M with connection 1-form \theta whose curvature \Omega = d\theta = \pi^* \omega, enabling the construction of a prequantum line bundle whose sections carry a Hermitian structure for quantization.

Currents and Generalized Forms

In the theory of geometric measure theory, currents provide a distributional framework for extending the concept of differential forms to irregular geometric objects, such as submanifolds with singularities or varifolds. A k-current on a manifold M is defined as a continuous linear functional T: \mathcal{D}^k(M) \to \mathbb{R}, where \mathcal{D}^k(M) denotes the space of smooth k-forms on M with compact support, equipped with the topology of uniform convergence of the forms and all their derivatives on compact sets.^[47] This dual pairing generalizes integration over smooth submanifolds, allowing T(\omega) to represent the "mass" or "flux" of a generalized k-dimensional object against a test form \omega, even when the underlying support is not smooth.^[45] The continuity condition ensures that currents behave well under limits, enabling compactness theorems essential for minimization problems in geometry.^[47] The boundary operator on currents extends the classical Stokes' theorem to this generalized setting. For a (k+1)-current T and a test form \omega \in \mathcal{D}^{k+1}(M), the boundary \partial T is the k-current defined by \partial T(\omega) = T(d\omega), where d is the exterior derivative.^[45] This definition satisfies \partial^2 T = 0 and allows integration by parts over currents: if S is a (k+1)-current with boundary \partial S = T, then S(d\omega) = T(\omega) for suitable \omega.^[47] In this way, currents form a chain complex that parallels the de Rham complex but accommodates weak or singular boundaries.^[45] Specific classes of currents illustrate their versatility. A Dirac current associated to a point p \in M is the 0-current \delta_p given by \delta_p(f) = f(p) for a 0-form (smooth function) f with compact support; this generalizes the Dirac delta distribution to zero-dimensional integration.^[45] More generally, rectifiable currents capture integration over countably k-rectifiable sets—sets that can be covered by countably many Lipschitz images of \mathbb{R}^k—equipped with an integer-valued multiplicity function \theta and an approximate tangent k-plane field \tau. For such a current T, T(\omega) = \int_E \langle \omega_x, \vec{\tau}(x) \rangle \theta(x) \, d\mathcal{H}^k(x), where E \subset M is the rectifiable set, \vec{\tau}(x) orients the tangent plane, and \mathcal{H}^k is the k-dimensional Hausdorff measure; this allows modeling surfaces with multiplicity, such as multiple sheets or boundaries with integer coefficients.^[47] Integral rectifiable currents, where \theta takes integer values and both T and \partial T have finite mass, form a key subclass used in Plateau's problem for area-minimizing surfaces.^[45] Zero-dimensional currents have a particularly direct interpretation in terms of measures. Every 0-current on M corresponds to a Radon measure \mu on M, defined by T(f) = \int_M f \, d\mu for f \in \mathcal{D}^0(M) = C_c^\infty(M), where Radon measures are locally finite Borel measures that are inner regular with respect to compact sets.^[45] Conversely, any Radon measure induces a 0-current via this integration, bridging classical measure theory with the current framework and enabling the study of point masses or singular distributions as boundaries of higher-dimensional currents.^[47]

Applications

In Physics and Electromagnetism

Differential forms provide a coordinate-free framework for formulating classical field theories in physics, particularly in electromagnetism, fluid dynamics, and general relativity, where they naturally encode symmetries and conservation laws. In electromagnetism, the electromagnetic field is represented by the Faraday 2-form F, defined as the exterior derivative of the vector potential 1-form A, so F = dA. This formulation immediately implies the source-free Maxwell equation dF = 0, reflecting the closed nature of the field strength under the Bianchi identity. The remaining Maxwell equations, incorporating sources, are expressed as d \star F = J, where \star is the Hodge star operator and J is the current 3-form, unifying the differential form approach with the divergence and curl equations in a manifestly covariant manner.^[3] In fluid dynamics, differential forms facilitate the description of velocity and related quantities in a geometrically intrinsic way. The velocity field can be represented as a 1-form v, and the vorticity, which measures local rotation, is given by the exterior derivative dv, a 2-form that captures the curl of the velocity vector in a coordinate-independent fashion. This perspective highlights conservation laws, such as the advection of vorticity along fluid streamlines in ideal flows, and extends to more complex phenomena like helicity preservation in three-dimensional incompressible fluids. In general relativity, differential forms integrate seamlessly with the spacetime metric, which acts as an isomorphism between tangent and cotangent spaces, enabling the definition of musical isomorphisms to raise and lower indices. The metric also induces the volume form on the manifold, given by \sqrt{|g|} \, dx^1 \wedge \cdots \wedge dx^n, where g is the determinant of the metric tensor, providing a natural measure for integrating scalars and forms over curved spacetimes. This volume form is essential for formulating action principles and conservation laws in a diffeomorphism-invariant way.^[48] The use of differential forms in these physical contexts offers significant advantages, including manifest covariance under Lorentz transformations in electromagnetism and special relativity, or under general diffeomorphisms in curved spacetimes like general relativity. This coordinate-free structure simplifies proofs of invariance and facilitates computations in non-Cartesian coordinates, enhancing the geometric insight into physical laws without reliance on specific bases.^[49]

In Geometric Measure Theory and Topology

In geometric measure theory, differential forms play a crucial role in calibrating minimal surfaces, providing a framework to identify area-minimizing submanifolds through the concept of calibrated geometries. A calibration is a closed differential form φ of degree k such that for any k-dimensional tangent plane ξ to a Riemannian manifold, the comass of φ on ξ is at most 1, and equality holds for certain oriented planes. Submanifolds where the induced form pulls back to φ exactly are then area-minimizing within their homology class, as the integral of φ over the submanifold equals its volume. This approach, introduced by Harvey and Lawson, has been instrumental in constructing and classifying minimal submanifolds in various ambient spaces, such as complex projective spaces.^[50] Monotonicity formulas in geometric measure theory further leverage differential forms and currents to establish regularity properties of minimal surfaces. For an integral current T representing a minimal surface, the monotonicity formula asserts that the normalized mass ratio Θ(T, p, r) = (1/r^{m}) ∫_{B_r(p)} d‖T‖ is non-decreasing in r, where m is the dimension of T and B_r(p) is a ball centered at p. This formula, derived using the first variation of the mass functional and properties of differential forms, implies that the density Θ(T, p) exists at every point p and provides bounds on the singular set. Currents, as generalized forms with finite mass, extend this to non-smooth settings, enabling the study of varifolds and stationary currents. The result originates from Allard's analysis of varifold first variations. Differential forms underpin de Rham cohomology, which computes topological invariants like Betti numbers by analyzing closed forms modulo exact ones. The k-th Betti number b_k(M) is the dimension of the k-th de Rham cohomology group H^k_{dR}(M), measuring the number of independent k-dimensional holes in a manifold M. For the n-sphere S^n, de Rham cohomology yields b_0(S^n) = 1 and b_n(S^n) = 1, with all other b_k = 0, reflecting its simple connectivity except in the top dimension. On the 2-torus T^2, the Betti numbers are b_0 = 1, b_1 = 2, and b_2 = 1, capturing the two independent 1-cycles (meridians) and the overall orientation. This computational power stems from de Rham's original formulation linking differential forms to homology. Applications of differential forms extend to Poincaré duality, realized through integration that pairs cohomology classes with homology. On a compact oriented n-manifold M without boundary, Poincaré duality establishes an isomorphism H^k_{dR}(M) ≅ H_{n-k}(M; ℝ), where integration of a closed k-form over an (n-k)-cycle yields the pairing. This links differential forms directly to homology groups, enabling the computation of intersection numbers and dual invariants via form integrals. The duality, first articulated by Poincaré, finds its analytic expression in de Rham theory. Isoperimetric inequalities in geometric measure theory also employ differential forms through the coarea formula, which decomposes volumes into level sets. For a Lipschitz map u: ℝ^n → ℝ^m and an integrable function f, the coarea formula states ∫{ℝ^n} f(x) J^m u(x) dx = ∫{ℝ^m} [∫_{u^{-1}(y)} f(x)/J^m u(x) dℋ^{n-m}(x)] dℋ^m(y), where J^m u is the m-Jacobian. This facilitates proofs of isoperimetric bounds by relating the volume of a set to the areas of its slices, as in Almgren's frequency-based inequalities for minimal surfaces. The formula, developed by Federer, underpins sharp estimates like those for the perimeter of level sets in Sobolev spaces.

References

[1]
Differential k-Form -- from Wolfram MathWorld
A differential -form is a tensor of tensor rank that is antisymmetric under exchange of any pair of indices. The number of algebraically independent components ...
[2]
Linear Algebra, Part 7: Differential forms (Mathematica)
In this section we study differential one-forms (or more simply one-forms) and two-forms, which will become the objects that can be integrated along curves and ...
[3]
[PDF] Differential Forms in Electromagnetics
... Elie Cartan (1869–1951) finally developed the theory of differential forms based on the outer product of the Grassmann algebra in the early 1900s. It was ...
[4]
[PDF] From Triangles to Manifolds
Jan 26, 1979 · Elie Cartan used the exterior differential calculus most efficiently in local problems of differential geometry and partial differential ...<|control11|><|separator|>
[5]
[PDF] Contents
The theory of differential forms was first developed in the early twentieth century by Elie Cartan, and this theory naturally led to de Rham cohomology, which ...
[6]
(PDF) A History of Vector Analysis - ResearchGate
Aug 6, 2025 · ... main systems of vector analysis had been created. and received substantial attention: the systems of Hamilton, Grassmann, and Gibbs-Heaviside,.
[7]
[PDF] A History of Vector Analysis
This section treats the creation and development of the quaternion system from 1843 to 1866, the year after Hamilton had died and the year in which his most ...
[8]
History of line integral. - Mathematics Stack Exchange
May 1, 2012 · Joseph-Louis Lagrange first developed the concept of line integration in 1760, motivated by understanding the kinematics of wire.
[9]
[PDF] A History of the Divergence, Green's, and Stokes' Theorems
Green's Theorem can be described as the two-dimensional case of the Divergence Theorem, while Stokes' Theorem is a general case of both the Divergence Theorem ...
[10]
[PDF] The History of Stokes' Theorem - Harvard Mathematics Department
... Stokes' theorem is the special case where w is a 1-form in 3-space; and the divergence theorem is the special case where w is a. 2-form in 3-space. Finally ...
[11]
[PDF] Sur certaines expressions différentielles et le problème de Pfaff
Le problème de Pfaffa été l'objet de nombreux travaux. Je n'ai pas l'intention de les passer tous en revue (^); les plus saillants sont ceux. de Pfaff ...Missing: quelques | Show results with:quelques
[12]
Élie Cartan (1869 - 1951) - Biography - MacTutor
Élie Cartan worked on continuous groups, Lie algebras, differential ... In this paper Cartan gave the first formal definition of a differential form.Missing: title | Show results with:title
[13]
ELIE JOSEPH CARTAN 1869—1951 - ScienceDirect.com
He developed a theory of moving frames, which generalizes the kinematical theory of Darboux. He then defined non-holonomic spaces, of which a Riemannian space ...
[14]
[PDF] Sur l'analysis situs des variétés à n dimensions - Numdam
I .es propriétés à*Analysis situs étudiées ici sont celles qui se rattachent aux systèmes de variétés orientées ou champs d'intégration et aux.
[15]
[PDF] NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON Rn
Apr 14, 2016 · Let Ωk(U) denote the set of k-forms on a subset U ∈ Rn, and let V be a coordinate. neighborhood of p in X.
[16]
[PDF] Differential Forms and Integration - UCLA Mathematics
The concept of a closed form corresponds to that of a conservative force in physics (and an exact form corresponds to the concept of having a potential function) ...
[17]
[PDF] Differential Forms - MIT Mathematics
Feb 1, 2019 · define differential forms by simply commenting that they're expressions of this type. We'll begin this chapter, however, with the following ...
[18]
Differential Forms in a Nutshell - ggr - Oregon State University
May 16, 2013 · Differential forms are integrands, the things one integrates. So dx is a differential form (a 1-form) ... Euclidean space. Orthonormal Frames. We ...
[19]
[PDF] 218BC Introduction to Manifolds and Geometry - UCI Mathematics
Given a smooth manifold M, a differential k-form on M is smooth section of the kth ... Lee, Introduction to smooth manifolds, second ed., Graduate Texts in.<|control11|><|separator|>
[20]
[PDF] Differential Geometry - DPMMS
In other words, given any alternating multilinear map α : V r → R, α factors ... smooth section of the bundle Λr (T∗ (M)) →. M, where 0 ≤ r ≤ n, and by ...
[21]
[PDF] 1. Differential forms on smooth manifolds Definition 1.1. Let M n be a ...
I are smooth. We denote the set of all smooth k-form on M by Ωk(M). We'll denote by Ω∗(M) the collection of all forms of all degrees i.e. ∪kΩk(M). Note that Ω0( ...
[22]
[PDF] notes on differential forms - The University of Chicago
Mar 1, 2016 · Smooth manifolds and functions. Let U ⊂ Rn be open. A map ϕ : U → Rm is smooth if the coordinate functions are continuous and admit continuous ...
[23]
Wedge Product -- from Wolfram MathWorld
The wedge product is the product in an exterior algebra. If alpha and beta are differential k-forms of degrees p and q, respectively, then alpha ^ beta=(-1)^( ...
[24]
[PDF] Chapter 5 Differential Forms - McGill Physics
Feb 5, 2019 · So the wedge product defines a noncommutative product of forms. Notice that this is different from the ordinary tensor product: ω ⊗ φ( v, w) ...
[25]
exterior algebra - PlanetMath
Mar 22, 2013 · ... wedge product, is an antisymmetric variant of the tensor product ... exterior algebra of V V , if every linear map f:V→A− f : V → A - ...
[26]
Exterior Algebra -- from Wolfram MathWorld
The product on this algebra is then the wedge product of forms. The exterior algebra for a vector space V is constructed by forming monomials u , v ^ w , x ...
[27]
[PDF] Lecture 28: Putting it all together 1 Vector integral theorems
... dx intuitively represents an infinitesimal oriented area; a triple wedge product like dx∧dy ∧dz intuitively represents an infinitesimal oriented volume.
[28]
[PDF] 2 Vector Fields & Differential Forms
The standard area form is the object dx ∧ dy which takes two vector fields u1. ∂. ∂x. + u2. ∂. ∂y and v = v1. ∂. ∂x. + v2. ∂. ∂y and returns the determinant dx ...
[29]
Exterior Derivative -- from Wolfram MathWorld
Thinking of a function as a zero-form, the exterior derivative extends linearly to all differential k-forms using the formula. (2)Missing: properties | Show results with:properties
[30]
[PDF] lecture 22: the exterior derivative
¶ The exterior derivative: A local definition. Now we define the exterior derivative for differential forms. ... ¶ Properties of the exterior derivative.
[31]
[PDF] lecture 1: differential forms
Definition: A smooth 1-form φ on Rn is a real-valued function on the set. of all tangent vectors to Rn, i.e., φ : TRn → R.
[32]
[PDF] Differential Forms Lecture Notes Liam Mazurowski
Differential forms are a certain class of objects that can be integrated. Hence to understand differential forms it's helpful to start with the simplest ...
[33]
[PDF] Differential Forms and Stokes' Theorem Jerrold E. Marsden
Exterior Derivative. DThe exterior derivative dα of a k-form α is the. (k + 1)-form determined by the following properties: 12. Page 36. Exterior Derivative.
[34]
2.4 The pullback of a one-form
The notion of pullback allows us to easily calculate how one-forms change under changes of coordinates, such as going from Cartesian to polar coordinates in ...
[35]
[PDF] Differential forms - webspace.science.uu.nl
Actually, an instance of this operation is the restriction to submanifolds that we have just described- which corresponds to pull-backs via the inclusion map.
[36]
[PDF] 6 Differential forms
w = a dy^dz+b dz^dx+c dx^dy, with A = (a,b,c) : U ! R3. Use the definition of the exterior differential above to compute the resulting 3-form dw. (d) Relate ...
[37]
[PDF] 1 Differential Forms - CMS, Caltech
In particular, covector fields are referred to as 1-forms and “look” much like vector fields. Another common special case is the 0-form, which can be thought ...
[38]
[PDF] MATH 215C: Differential Geometry Introduction 1 April 3, 2023
Jun 7, 2023 · musical isomorphism: given a Riemannian manifold (M, g), we can construct a bundle isomorphism g : TM → T∗M where g(v) : TpM → R maps w 7 ...
[39]
[PDF] 240AB Differential Geometry - UCI Mathematics
5.2 The musical isomorphisms . ... Another important fact is that we can integrate top-dimensional differential forms on a compact manifold.
[40]
[PDF] riemannian geometry, spring 2013, homework 8 - UChicago Math
metric determines a volume form pointwise on M, and therefore (globally) an n-form ω called “the volume form on M”. Let x1, ··· ,xn be local coordinates on ...
[41]
[PDF] Introduction to Differential Forms in Tensor Calculus
Abstract. The purpose of this paper is to introduce differential forms in the study of tensor calculus. The reader should have general knowledge of vector ...
[42]
[PDF] notes on differential forms. part 3: tensors
Apr 15, 2016 · But k-forms are made for integrating over k-manifolds, and integration means measuring volume. So the k-tensors of interest should behave ...
[43]
[PDF] Integration on Manifolds - MIT OpenCourseWare
define integration of top differential forms on oriented manifolds,. i.e., ones equipped with an atlas of charts in which transition maps have a positive ...
[44]
[PDF] Integration of Differential Forms
Differential forms provide a convenient setting for integration on manifolds, using the pull-back of a form, and change of variable formula.
[45]
[PDF] Differential Forms Crash Course
Nov 13, 2024 · Let us move to the surface integral (the flux integral) and how to frame it in terms of differential forms. For 2-forms,. 4. Page 5. we need to ...
[46]
[PDF] integration.pdf - Stanford Math Department
In this sense, via the method of integration of differential forms we see that Riemannian manifolds always admit a canonical measure (even in the absence of an ...<|control11|><|separator|>
[47]
Geometric Measure Theory - SpringerLink
Free delivery 14-day returnsBook Title: Geometric Measure Theory · Authors: Herbert Federer · Editors: B. · Series Title: Classics in Mathematics · Publisher: Springer Berlin, Heidelberg.
[48]
[PDF] Introduction to connections on principal fibre bundles
This representation of a connection as a differential form is called a connection 1-form, but we need a few more definitions before we can describe it fully: ...
[49]
Normal and Integral Currents - jstor
In work to be published separately2, the theory of integral currents has been applied to the study of continuous maps of finite area from a compact k-manifold ...
[50]
Maxwell electromagnetic theory from a viewpoint of differential forms
Aug 31, 2008 · In this paper, we discuss the Maxwell equations in terms of differential forms, both in the 3-dimensional space and in the 4-dimensional space-time manifold.
[51]
[PDF] arXiv:2207.08499v2 [gr-qc] 1 Dec 2022
Dec 1, 2022 · Diffeomorphism invariance dictates that the unique volume form that we can use to integrate is the one associated with the metric tensor, i.e.<|control11|><|separator|>
[52]
[PDF] Differential Forms vs Geometric Algebra - arXiv
Jul 25, 2024 · Differential forms is a highly geometric formalism for physics used from field theories to General Relativity (GR) which has been a great.
[53]
Calibrated geometries | Acta Mathematica
Lawson, Jr., H. B. &Osserman, R., Non-existence, non-uniqueness and irregularity of solutions to the minimal surface system.Acta Math., 139 (1977), 1–17.