Reference articles on history, science, culture and more
Surprise meSurprise meSubscribe
Encyclopedia

One-form

Differential form of degree one or section of a cotangent bundle

Wikipedia contributorsAdapted for Fathomly · View authors
4 min read
Source updated September 14, 2026

In differential geometry, a one-form (or covector field) on a differentiable manifold is a differential form of degree one. One-forms are dual to vector fields on the same manifold, in the sense that a one-form pairs naturally with a vector field to produce a real valued function, or with a tangent vector at a point to produce a real number.

The simplest example of a one-form is the differential of a function df for a smooth function f. The natural pairing means that if v is a tangent vector at a point p, and \alpha is a one-form, then \alpha (v) is a scalar. For the differential of a function, df(v) is the directional derivative, or the rate at which f is changing, at p and along v.

A one-form defines a covector, also called a linear functional, at each point on the manifold. One-forms are generally assumed to vary smoothly from point to point on the manifold, or on a region of the manifold, meaning that they produce smooth functions when paired with smooth vector fields. One-forms generate the exterior algebra of differential forms, and the differential of a function naturally extends to the exterior derivative: the exterior derivative of a one-form is a two-form, of a two-form is a three-form, and so on.

One-forms are widely used in differential geometry. Their duality with vector fields makes them suited to encode algebraic conditions on vector fields, and conditions such as integrability of systems of vector fields are often simpler to formulate in terms of one-forms, together with the exterior derivative. One forms are also used in differential geometry to encode other tensors, such as the metric tensor; a selected basis of one-forms is called a coframe, and special coframes are widely used throughout Riemannian and pseudo-Riemannian geometry.

01Definition and local coordinate description

Formally, a one form is a smooth section of the cotangent bundle. Equivalently, a one-form on a manifold M is a smooth mapping of the total space of the tangent bundle of M to \mathbb {R} whose restriction to each fibre is a linear functional on the tangent space. Let U be an open subset of M and p\in U. Then {\begin{aligned}\omega :U&\rightarrow \bigcup _{p\in U}T_{p}^{*}(M)\\p&\mapsto \omega _{p}\in T_{p}^{*}(M)\end{aligned}} defines a one-form \omega. \omega _{p} is a covector.

Often one-forms are described locally, particularly in local coordinates. In a local coordinate system, a one-form is a linear combination of the differentials of the coordinates: \alpha _{x}=f_{1}(x)\,dx_{1}+f_{2}(x)\,dx_{2}+\cdots +f_{n}(x)\,dx_{n}, where the f_{i} are smooth functions. From this perspective, a one-form has a covariant transformation law on passing from one coordinate system to another. Thus a one-form is an order 1 covariant tensor field.

02Examples

A simple non-trivial differential one-form is the "change in angle" form d\theta . This is defined as the derivative of the angle "function" \theta (x,y) (which is only defined up to an additive constant), which can be explicitly defined in terms of the atan2 function. Taking the derivative yields the following formula for the total derivative: {\begin{aligned}d\theta &=\partial _{x}\left(\operatorname {atan2} (y,x)\right)dx+\partial _{y}\left(\operatorname {atan2} (y,x)\right)dy\\&=-{\frac {y}{x^{2}+y^{2}}}dx+{\frac {x}{x^{2}+y^{2}}}dy\end{aligned}} While the angle "function" cannot be continuously defined on the whole plane, the function atan2 is discontinuous along the negative x-axis, the formula for the derivative smoothly defines a one-form everywhere except at the origin, reflecting the fact that infinitesimal (and indeed local) changes in angle can be defined everywhere except the origin. Integrating this derivative along a path gives the total change in angle over the path, and integrating over a closed loop gives the winding number times 2\pi .

In the language of differential geometry, this derivative is a one-form on the punctured plane. It is closed (its exterior derivative is zero) but not exact, meaning that it is not the derivative of a 0-form (that is, a function): the angle \theta is not a globally defined smooth function on the entire punctured plane. In fact, this form generates the first de Rham cohomology of the punctured plane. This is the most basic example of such a form, and it is fundamental in differential geometry.

03Differential of a function

Let U\subseteq \mathbb {R} be open (for example, an interval (a,b)), and consider a differentiable function f:U\to \mathbb {R} , with derivative f'. The differential df assigns to each point x_{0}\in U a linear map from the tangent space T_{x_{0}}U to the real numbers. In this case, each tangent space is naturally identifiable with the real number line, and the linear map \mathbb {R} \to \mathbb {R} in question is given by scaling by f'(x_{0}). This is the simplest example of a differential (one-)form.

04Systems of one-forms

A system of multiple one-forms is often used to express structural information on manifolds. Systems of one-forms are often expressed as one-forms with values in a vector space. When that vector space has extra structure, such as a Lie algebra, that structural information acts as a linear approximation to a corresponding curved or deformed structure on the manifold.

The prototypical example of this application is a connection one-form. A connection one-form takes values in a Lie algebra corresponding to the infinitesimal, or linearized, structure on the manifold. For example, the Levi-Civita connection on a Riemannian manifold is a one-form taking values in the orthogonal Lie algebra. Writing down a particular connection one-form on a manifold usually requires a choice of coframe, or gauge. This choice can be eliminated by packaging together all relevant coframes into a principal bundle, in which case the connection one-form becomes a one-form on a higher-dimensional manifold that is independent of gauge choices.

Watch videos about One-formExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article “One-form”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.

Continue exploring

Related topics

Differential form

In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, volumes, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan.

Inner product space

In mathematics, an inner product space is a real or complex vector space endowed with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in ⟨ a , b ⟩ {\displaystyle \langle a,b\rangle } .

Reciprocal lattice

Reciprocal lattice is a concept associated with solids with translational symmetry which plays a major role in many areas such as X-ray and electron diffraction as well as the energies of electrons in a solid. It emerges from the Fourier transform of the lattice associated with the arrangement of the atoms.