Tangent and Cotangent Bundles — Mathematics Knowledge System

Overview

The tangent bundle TM of a smooth manifold M is the disjoint union of all tangent spaces T_pM, assembled into a smooth manifold of dimension 2n. It is the natural home of velocity vectors of curves and the domain of vector fields. The dual construction, the cotangent bundle T*M, is the disjoint union of cotangent spaces T_p*M and is the natural home of differential 1-forms. Together, these bundles encode the first-order calculus of M and form the foundation for tensor analysis, Riemannian geometry, and symplectic mechanics.

Intuition

Imagine standing on a curved surface — at each point you have a flat plane of directions you can move in (the tangent plane). The tangent bundle glues all these planes together smoothly. A vector field assigns a tangent vector to every point, like a wind pattern on a globe. The cotangent bundle is the dual: at each point you have linear functionals that measure the 'rate of change' in any direction. In Hamiltonian mechanics, positions live on a configuration manifold Q, velocities live in TQ, and momenta (the dual quantities) live in T*Q.

Formal Definition

Definition

The tangent bundle TM is defined as TM = ⊔_{p∈M} T_pM with a natural smooth structure making π: TM → M a smooth vector bundle of rank n. In local coordinates (x¹, …, xⁿ) on U ⊆ M, the induced coordinates on π⁻¹(U) are (x¹, …, xⁿ, v¹, …, vⁿ) where the vⁱ are the components of the tangent vector.

TM = \bigsqcup_{p \in M} T_p M

Tangent bundle as disjoint union

T_pM = \left\{ \gamma'(0) : \gamma: (-\varepsilon, \varepsilon) \to M,\; \gamma(0) = p \right\}

Tangent space at p via equivalence classes of curves

\left\{ \frac{\partial}{\partial x^1}\Big|_p, \ldots, \frac{\partial}{\partial x^n}\Big|_p \right\}

Local basis of T_pM in coordinates (x¹,...,xⁿ)

T^*M = \bigsqcup_{p \in M} T_p^*M, \quad T_p^*M = (T_pM)^*

Cotangent bundle

\{dx^1|_p, \ldots, dx^n|_p\}

Local basis of T_p*M, dual to ∂/∂xⁱ|_p

Properties

TM is a smooth 2n-manifold

\dim TM = 2n \text{ when } \dim M = n

Canonical projection

\pi: TM \to M, \quad \pi(p, v) = p \text{ is a smooth surjective submersion}

Tangent map (pushforward)

\text{If } f: M \to N \text{ is smooth, then } df = f_*: TM \to TN, \quad df_p: T_pM \to T_{f(p)}N

Liouville 1-form on T*M

\theta = \sum_{i} p_i\, dq^i \in \Omega^1(T^*M)

Worked Examples

1
S¹ ⊆ ℝ² consists of points (cos θ, sin θ). The tangent space at each point is 1-dimensional, spanned by the velocity vector of the circle.
$T_{(\cos\theta,\sin\theta)} S^1 = \mathrm{span}\{(-\sin\theta, \cos\theta)\}$
2
Each tangent space is a copy of ℝ, so TS¹ is a rank-1 vector bundle over S¹.
$TS^1 \cong S^1 \times \mathbb{R}$
3
This bundle is trivial — it has a global non-vanishing section (the unit tangent vector field). So TS¹ is diffeomorphic to the cylinder S¹ × ℝ.

✓ Answer

TS¹ ≅ S¹ × ℝ (the trivial line bundle over S¹), diffeomorphic to the infinite cylinder.

Practice Problems

Mediumfree response

What is the tangent space T_pM if M is an open subset of ℝⁿ and p ∈ M?

Hardproof writing

Prove that the canonical 1-form θ on T*M is characterised by the property f*(θ_M) = α for any 1-form α: M → T*M viewed as a section, where f = α.

Common Mistakes

Common Mistake

Confusing a tangent vector with a position vector

Tangent vectors at p ∈ M live in T_pM, not in M itself. On ℝⁿ these coincide numerically, but on a general manifold they are distinct objects.

Common Mistake

Assuming TM is always trivial

TM is trivial (parallelizable) only for special manifolds like ℝⁿ, S¹, S³, S⁷, and Lie groups. Most manifolds have non-trivial tangent bundles.

Quiz

Historical Background

The notion of a tangent vector as an equivalence class of curves goes back to Riemann and was made precise by Élie Cartan. The bundle perspective — packaging all tangent spaces into a single smooth manifold — was systematised in the 1950s through the work of Whitney, Ehresmann, and Steenrod on fibre bundles. Norman Steenrod's 1951 book The Topology of Fibre Bundles established the categorical framework. The cotangent bundle rose to prominence through Hamiltonian mechanics, where T*M serves as the phase space of a classical mechanical system.

1945
Eilenberg and Steenrod begin axiomatising fibre bundles; cotangent bundle recognised as the natural phase space
Samuel Eilenberg, Norman Steenrod
1951
Steenrod publishes The Topology of Fibre Bundles, systematising bundle theory
Norman Steenrod
1966
Milnor and Stasheff lecture notes on characteristic classes use tangent bundles centrally
John Milnor, James Stasheff

Summary

The tangent bundle TM = ⊔_p T_pM is a smooth 2n-manifold; each fibre T_pM is an n-dimensional real vector space.
A smooth map f: M → N induces the pushforward df: TM → TN, the natural derivative between manifolds.
The cotangent bundle T*M = ⊔_p T_p*M carries the tautological 1-form θ; ω = dθ is the canonical symplectic form.
Vector fields are sections of TM; differential 1-forms are sections of T*M.
Whether TM is trivial is a topological question; the hairy ball theorem shows TS² is non-trivial.

References

BookLee, J. M. — Introduction to Smooth Manifolds, 2nd ed., Springer, 2013, Chapters 3, 11
BookMilnor, J. and Stasheff, J. — Characteristic Classes, Princeton University Press, 1974
WebsiteWikipedia — Tangent bundle
WebsitenLab — tangent bundle