Cotangent space

In differential geometry, the cotangent space is a vector space associated with a point $x$ on a smooth (or differentiable) manifold ${\mathcal {M}}$; one can define a cotangent space for every point on a smooth manifold. Typically, the cotangent space, $T_{x}^{*}\!{\mathcal {M}}$ is defined as the dual space of the tangent space at $x$, $T_{x}{\mathcal {M}}$, although there are more direct definitions (see below). The elements of the cotangent space are called cotangent vectors or tangent covectors.

Properties

All cotangent spaces at points on a connected manifold have the same dimension, equal to the dimension of the manifold. All the cotangent spaces of a manifold can be "glued together" (i.e. unioned and endowed with a topology) to form a new differentiable manifold of twice the dimension, the cotangent bundle of the manifold.

The tangent space and the cotangent space at a point are both real vector spaces of the same dimension and therefore isomorphic to each other via many possible isomorphisms. The introduction of a Riemannian metric or a symplectic form gives rise to a natural isomorphism between the tangent space and the cotangent space at a point, associating to any tangent covector a canonical tangent vector.

Formal definitions

Definition as linear functionals

Let ${\mathcal {M}}$ be a smooth manifold and let $x$ be a point in ${\mathcal {M}}$. Let $T_{x}{\mathcal {M}}$ be the tangent space at $x$. Then the cotangent space at $x$ is defined as the dual space of $T_{x}{\mathcal {M}}$:

$T_{x}^{*}\!{\mathcal {M}}=(T_{x}{\mathcal {M}})^{*}$

Concretely, elements of the cotangent space are linear functionals on $T_{x}{\mathcal {M}}$. That is, every element $\alpha \in T_{x}^{*}{\mathcal {M}}$ is a linear map

$\alpha :T_{x}{\mathcal {M}}\to F$

where $F$ is the underlying field of the vector space being considered, for example, the field of real numbers. The elements of $T_{x}^{*}\!{\mathcal {M}}$ are called cotangent vectors.

Alternative definition

In some cases, one might like to have a direct definition of the cotangent space without reference to the tangent space. Such a definition can be formulated in terms of equivalence classes of smooth functions on ${\mathcal {M}}$. Informally, we will say that two smooth functions f and g are equivalent at a point $x$ if they have the same first-order behavior near $x$, analogous to their linear Taylor polynomials; two functions f and g have the same first order behavior near $x$ if and only if the derivative of the function f − g vanishes at $x$. The cotangent space will then consist of all the possible first-order behaviors of a function near $x$.

Let ${\mathcal {M}}$ be a smooth manifold and let $x$ be a point in ${\mathcal {M}}$. Let Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle I_{x}} be the ideal of all functions in $C^{\infty }\!({\mathcal {M}})$ vanishing at $x$, and let Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle I_{x}^{2}} be the set of functions of the form Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\textstyle \sum _{i}f_{i}g_{i}} , where Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f_{i},g_{i}\in I_{x}} . Then Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle I_{x}} and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle I_{x}^{2}} are both real vector spaces and the cotangent space can be defined as the quotient space Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle T_{x}^{*}\!{\mathcal {M}}=I_{x}/I_{x}^{2}} by showing that the two spaces are isomorphic to each other.

This formulation is analogous to the construction of the cotangent space to define the Zariski tangent space in algebraic geometry. The construction also generalizes to locally ringed spaces.

The differential of a function

Let $M$ be a smooth manifold and let Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f\in C^{\infty }(M)} be a smooth function. The differential of $f$ at a point $x$ is the map

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} f_{x}(X_{x})=X_{x}(f)}

where $X_{x}$ is a tangent vector at $x$, thought of as a derivation. That is Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle X(f)={\mathcal {L}}_{X}f} is the Lie derivative of $f$ in the direction $X$, and one has Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} f(X)=X(f)} . Equivalently, we can think of tangent vectors as tangents to curves, and write

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} f_{x}(\gamma '(0))=(f\circ \gamma )'(0)}

In either case, Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} f_{x}} is a linear map on Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle T_{x}M} and hence it is a tangent covector at $x$.

We can then define the differential map Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} :C^{\infty }(M)\to T_{x}^{*}(M)} at a point $x$ as the map which sends $f$ to Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} f_{x}} . Properties of the differential map include:

1. Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} } is a linear map: Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} (af+bg)=a\mathrm {d} f+b\mathrm {d} g} for constants $a$ and $b$,
2. Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} (fg)_{x}=f(x)\mathrm {d} g_{x}+g(x)\mathrm {d} f_{x}}

The differential map provides the link between the two alternate definitions of the cotangent space given above. Since for all Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f\in I_{x}^{2}} there exist $g_{i},h_{i}\in I_{x}$ such that Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\textstyle f=\sum _{i}g_{i}h_{i}} , we have,

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\begin{array}{rcl}\mathrm {d} f_{x}&=&\sum _{i}\mathrm {d} (g_{i}h_{i})_{x}\\&=&\sum _{i}(g_{i}(x)\mathrm {d} (h_{i})_{x}+\mathrm {d} (g_{i})_{x}h_{i}(x))\\&=&\sum _{i}(0\mathrm {d} (h_{i})_{x}+\mathrm {d} (g_{i})_{x}0)\\&=&0\end{array}}

So that all function in Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle I_{x}^{2}} have differential zero, it follows that for every two functions Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f\in I_{x}^{2}} , Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle g\in I_{x}} , we have Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} (f+g)=\mathrm {d} (g)} . We can now construct an isomorphism between $T_{x}^{*}\!{\mathcal {M}}$ and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle I_{x}/I_{x}^{2}} by sending linear maps $\alpha$ to the corresponding cosets Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \alpha +I_{x}^{2}} . Since there is a unique linear map for a given kernel and slope, this is an isomorphism, establishing the equivalence of the two definitions.

The pullback of a smooth map

Just as every differentiable map Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f:M\to N} between manifolds induces a linear map (called the pushforward or derivative) between the tangent spaces

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f_{*}^{}\colon T_{x}M\to T_{f(x)}N}

every such map induces a linear map (called the pullback) between the cotangent spaces, only this time in the reverse direction:

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f^{*}\colon T_{f(x)}^{*}N\to T_{x}^{*}M.}

The pullback is naturally defined as the dual (or transpose) of the pushforward. Unraveling the definition, this means the following:

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle (f^{*}\theta )(X_{x})=\theta (f_{*}^{}X_{x}),}

where $\theta \in T_{f(x)}^{*}N$ and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle X_{x}\in T_{x}M} . Note carefully where everything lives.

If we define tangent covectors in terms of equivalence classes of smooth maps vanishing at a point then the definition of the pullback is even more straightforward. Let $g$ be a smooth function on $N$ vanishing at $f(x)$. Then the pullback of the covector determined by $g$ (denoted Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \mathrm {d} g} ) is given by

Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle f^{*}\mathrm {d} g=\mathrm {d} (g\circ f).}

That is, it is the equivalence class of functions on $M$ vanishing at $x$ determined by Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle g\circ f} .

Exterior powers

The $k$-th exterior power of the cotangent space, denoted Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle \Lambda ^{k}(T_{x}^{*}{\mathcal {M}})} , is another important object in differential and algebraic geometry. Vectors in the $k$-th exterior power, or more precisely sections of the $k$-th exterior power of the cotangent bundle, are called differential $k$-forms. They can be thought of as alternating, multilinear maps on $k$ tangent vectors. For this reason, tangent covectors are frequently called one-forms.

References

• Abraham, Ralph H.; Marsden, Jerrold E. (1978), Foundations of mechanics, London: Benjamin-Cummings, ISBN 978-0-8053-0102-1
• Jost, Jürgen (2005), Riemannian Geometry and Geometric Analysis (4th ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-25907-7
• Lee, John M. (2003), Introduction to smooth manifolds, Springer Graduate Texts in Mathematics, 218, Berlin, New York: Springer-Verlag, ISBN 978-0-387-95448-6
• Misner, Charles W.; Thorne, Kip; Wheeler, John Archibald (1973), Gravitation, W. H. Freeman, ISBN 978-0-7167-0344-0