One-form (differential geometry)

In differential geometry, a one-form (or covector field) on a differentiable manifold is a differential form of degree one, that is, a smooth section of the cotangent bundle.^[1] Equivalently, a one-form on a manifold Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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.^[2] Symbolically,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha : TM \rightarrow {\R},\quad \alpha_x = \alpha|_{T_xM}: T_xM \rightarrow {\R} ,} where $\alpha _{x}$ is linear.

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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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.

Examples

The most basic non-trivial differential one-form is the "change in angle" form Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle d\theta.} This is defined as the derivative of the angle "function" Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} 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{align}} While the angle "function" cannot be continuously defined – the function atan2 is discontinuous along the negative Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} -axis – which reflects the fact that angle cannot be continuously defined, this derivative is continuously defined 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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.

Differential of a function

Let $U\subseteq \mathbb {R}$ be open (for example, an interval Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (a, b)} ), and consider a differentiable function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f: U \to \R,} with derivative Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f'.} The differential Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle df} assigns to each point Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0\in U} a linear map from the tangent space Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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 Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f'(x_0).} This is the simplest example of a differential (one-)form.