Cotangent space

In differential geometry, one can attach to every point x of a smooth (or differentiable) manifold a vector space called the cotangent space at x. Typically, the cotangent space is defined as the dual space of the tangent space at x, although there are more direct definitions (see below). The elements of the cotangent space are called cotangent vectors or tangent covectors.



All cotangent spaces 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 M be a smooth manifold and let x be a point in M. Let TxM be the tangent space at x. Then the cotangent space at x is defined as the dual space of TxM:

Tx*M = (TxM)*

Concretely, elements of the cotangent space are linear functionals on TxM. That is, every element α ∈ Tx*M is a linear map

α : TxMF

where F is the underlying field of the vector space being considered. In most cases, this is the field of real numbers. The elements of Tx*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 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. The cotangent space will then consist of all the possible first-order behaviors of a function near x.

Let M be a smooth manifold and let x be a point in M. Let Ix be the ideal of all functions in C(M) vanishing at x, and let Ix2 be the set of functions of the form \sum_i f_i g_i\,, where fi, giIx. Then Ix and Ix2 are real vector spaces and the cotangent space is defined as the quotient space Tx*M = Ix / Ix2.

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 f ∈ C(M) be a smooth function. The differential of f at a point x is the map

dfx(Xx) = Xx(f)

where Xx is a tangent vector at x, thought of as a derivation. That is X(f)=\mathcal{L}_Xf is the Lie derivative of f in the direction X, and one has df(X)=X(f). Equivalently, we can think of tangent vectors as tangents to curves, and write

dfx(γ′(0)) = (f o γ)′(0)

In either case, dfx is a linear map on TxM and hence it is a tangent covector at x.

We can then define the differential map d : C(M) → Tx*M at a point x as the map which sends f to dfx. Properties of the differential map include:

  1. d is a linear map: d(af + bg) = a df + b dg for constants a and b,
  2. d(fg)x = f(x)dgx + g(x)dfx,

The differential map provides the link between the two alternate definitions of the cotangent bundle given above. Given a function fIx (a smooth function vanishing at x) we can form the linear functional dfx as above. Since the map d restricts to 0 on Ix2 (the reader should verify this), d descends to a map from Ix / Ix2 to the dual of the tangent space, (TxM)*. One can show that this map is an isomorphism, establishing the equivalence of the two definitions.

The pullback of a smooth map

Just as every differentiable map f : MN between manifolds induces a linear map (called the pushforward or derivative) between the tangent spaces

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:

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:

(f^{*}\theta)(X_x) = \theta(f_{*}^{}X_x)

where θ ∈ Tf(x)*N and XxTxM. 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 dg) is given by

f^{*}\mathrm dg = \mathrm d(g \circ f).

That is, it is the equivalence class of functions on M vanishing at x determined by g o f.

Exterior powers

The k-th exterior power of the cotangent space, denoted Λk(Tx*M), is another important object in differential geometry. Vectors in the kth 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.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Cotangent bundle — In mathematics, especially differential geometry, the cotangent bundle of a smooth manifold is the vector bundle of all the cotangent spaces at every point in the manifold. It may be described also as the dual bundle to the tangent bundle.… …   Wikipedia

  • Cotangent complex — In mathematics the cotangent complex is a roughly a universal linearization of a morphism of geometric or algebraic objects. Cotangent complexes were originally defined in special cases by a number of authors. Luc Illusie, Daniel Quillen, and M.… …   Wikipedia

  • Tangent space — In mathematics, the tangent space of a manifold is a concept which facilitates the generalization of vectors from affine spaces to general manifolds, since in the latter case one cannot simply subtract two points to obtain a vector pointing from… …   Wikipedia

  • Vector space — This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… …   Wikipedia

  • Ringed space — In mathematics, a ringed space is, intuitively speaking, a space together with a collection of commutative rings, the elements of which are functions on each open set of the space. Ringed spaces appear throughout analysis and are also used to… …   Wikipedia

  • Zariski tangent space — In algebraic geometry, the Zariski tangent space is a construction that defines a tangent space, at a point P on an algebraic variety V (and more generally). It does not use differential calculus, being based directly on abstract algebra, and in… …   Wikipedia

  • Configuration space — Not to be confused with PCI Configuration Space. C space redirects here. For the art gallery, see C Space, Beijing. Contents 1 Configuration space in physics 2 Configuration spaces in mathematics 3 See also …   Wikipedia

  • Phase space — In mathematics and physics, a phase space, introduced by Willard Gibbs in 1901, is a space in which all possible states of a system are represented, with each possible state of the system corresponding to one unique point in the phase space. For… …   Wikipedia

  • Differentiable manifold — A nondifferentiable atlas of charts for the globe. The results of calculus may not be compatible between charts if the atlas is not differentiable. In the middle chart the Tropic of Cancer is a smooth curve, whereas in the first it has a sharp… …   Wikipedia

  • Atiyah–Singer index theorem — In the mathematics of manifolds and differential operators, the Atiyah–Singer index theorem states that for an elliptic differential operator on a compact manifold, the analytical index (closely related to the dimension of the space of solutions) …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”