The Cotangent Bundle of a differentiable manifold $M$ is the disjoint union of the cotangent spaces at all points in $M$, denoted $T^\ast M$.
Table of Contents

Definition
Formally,
$$T^*M = \bigcup_{p \in M} T_p^\ast M$$
Smooth sections of the cotangent bundle are (differential) oneforms.
Properties
TODO
This section has been left to be completed at a later date. You can help by editing it.
Applications
The cotangent bundle is itself a differentiable manifold, of double the dimension of $M$. It plays a central role in the study of differential forms and symplectic geometry, and is a cornerstone of modern theoretical physics.
Taylor's Theorem
In mathematical analysis, the Cotangent Bundle plays a significant role in understanding the Taylor expansion of functions. Given a function $f:M \to \mathbb{R}$ on a manifold $M$, the derivatives of $f$ at a point can be interpreted as elements of the cotangent space. The Taylor expansion can be understood as an expression of $f$ in terms of a local coordinate system in the cotangent bundle, providing a geometric picture of approximations and tangent linearizations.
Spectral Analysis
Spectral analysis studies the decomposition of functions and operators into basic components, and the cotangent bundle is vital in this context. The Cotangent Bundle can be equipped with a natural symplectic structure that connects to the study of pseudodifferential operators and Fourier integral operators. This facilitates the analysis of partial differential equations and spectral properties of operators, linking the geometry of the cotangent bundle to functional analysis and quantum mechanics.
Sheaf Theory
In algebraic geometry, the cotangent bundle has profound connections to Sheaf Theory. The cotangent sheaf, a sheaf of modules associated with the cotangent bundle, encodes the infinitesimal behavior of functions on a scheme or manifold. It plays a pivotal role in deformation theory, allowing the study of how geometric objects vary in families. The study of cotangent bundles and their associated sheaves has led to powerful results in algebraic geometry, including the duality theorems and the study of singularities.
Dynamics
Main article: Phase space
Since the Cotangent bundle $X = T^*M$ is a vector bundle, it can be regarded as a manifold in its own right. Because at each point the tangent directions of $M$ can be paired with their dual covectors in the fiber, $X$ possesses a canonical oneform $\theta$ called the tautological oneform, discussed below.
The exterior derivative of $\theta$ is a symplectic 2form, out of which a nondegenerate volume form can be built for $X$. For example, as a result $X$ is always an orientable manifold (the tangent bundle $TX$ is an orientable vector bundle).
A special set of coordinates can be defined on the cotangent bundle; these are called the canonical coordinates. Because cotangent bundles can be thought of as symplectic manifolds, any real function on the cotangent bundle can be interpreted to be a Hamiltonian; thus the cotangent bundle can be understood to be a phase space on which Hamiltonian mechanics plays out.
See also
 Tangent bundle
 Phase space
 Hamiltonian
 Morse theory
 Floer homology
 Symplectic geometry
 Symplectic manifold
