Let M be a smooth manifold of dimension n. For each p∈M, the tangent space TpM is a real vector space, and its dual space
Tp∗M:=(TpM)∗
is the cotangent space at p.
Definition (cotangent bundle). The cotangent bundle of M is the disjoint union
T∗M:=p∈M⨆Tp∗M,
together with the projection map π:T∗M→M sending a covector α∈Tp∗M to its base point p.
Smooth structure / vector bundle structure. The set T∗M carries a canonical smooth manifold structure of dimension 2n such that:
- π:T∗M→M is a smooth map, and each fiber π−1(p)=Tp∗M is a vector space of dimension n.
- For every smooth chart (U,x) on M, with coordinates x=(x1,…,xn), there is a smooth trivialization
ΦU:π−1(U)→U×Rn defined as follows: each α∈Tp∗M (with p∈U) can be written uniquely as α=i=1∑nai(dxi)p, and then ΦU(α)=(p,(a1,…,an)).
- On overlaps U∩V, the induced transition functions are smooth and linear in the fiber variables, so π:T∗M→M is a smooth vector bundle of rank n (the dual bundle of the tangent bundle).
Smooth sections of T∗M are exactly differential 1-forms, i.e. the case k=1 of a differential k-form.
Examples
- Euclidean space. For M=Rn with standard coordinates, each TpRn≅Rn canonically, hence Tp∗Rn≅(Rn)∗. Using the standard basis dx1,…,dxn, one gets a global trivialization
T∗Rn≅Rn×(Rn)∗≅R2n.
- The circle. For M=S1, the cotangent bundle is a rank-1 vector bundle and is trivial:
T∗S1≅S1×R. Concretely, in the angle coordinate θ, every covector at p∈S1 is of the form adθ∣p for a unique a∈R.
- Lie groups. If G is a Lie group, then for each g∈G, left translation Lg:G→G identifies TeG with TgG. Dualizing, Tg∗G is identified with Te∗G≅g∗ where g is the Lie algebra of G. This yields a (non-canonical but natural) trivialization T∗G≅G×g∗.