Cotangent bundle

Cotangent bundle
Name	Cotangent bundle
Domain	Differential geometry, Symplectic geometry, Mathematical physics
Introduced	19th century
Notable for	Phase space, Hamiltonian mechanics, Symplectic manifolds

Cotangent bundle The cotangent bundle is a fundamental construction in differential geometry that assigns to each point of a smooth manifold a dual vector space of linear functionals, forming a smooth manifold with rich geometric structure. It plays a central role in classical mechanics, symplectic geometry, microlocal analysis, and index theory, linking the work of figures such as Henri Poincaré, Sophus Lie, Élie Cartan, André Weil, and institutions like the Institute for Advanced Study and the École Normale Supérieure. The cotangent bundle serves as the canonical phase space in Hamiltonian formulations and underlies developments by researchers at places like Simons Foundation and projects associated with Clay Mathematics Institute.

Definition and basic properties

For a smooth n-dimensional manifold M, the cotangent bundle assigns to each x in M the dual space T_x^*M of the tangent space T_xM, producing a 2n-dimensional manifold commonly denoted by T^*M. The construction is functorial under diffeomorphisms studied by mathematicians from Bernhard Riemann to John Milnor and has a canonical projection π: T^*M → M analogous to constructions used in the work of Felix Klein and Évariste Galois for symmetry actions. Sections of the cotangent bundle are 1-forms; notable examples include the differential of functions considered by David Hilbert in variational problems and by Emmy Noether in symmetry principles. Properties such as local triviality and vector bundle operations are treated in textbooks influenced by authors at Princeton University Press and Cambridge University Press.

Local coordinates and canonical 1-form

In local coordinates (x^1,...,x^n) on M, the cotangent bundle acquires coordinates (x^i, p_i) where p_i represent fiber coordinates dual to ∂/∂x^i — a notation that appears in classical treatments by William Rowan Hamilton and later expositions by Vladimir Arnold. The canonical (tautological) 1-form θ on the cotangent bundle is defined pointwise by pairing a covector with the pushforward of vectors under π, a construction echoed in the methods of Élie Cartan and used in seminars at institutions like Institute for Advanced Study. In these coordinates θ = p_i dx^i, a local expression paralleling formulas in works associated with Noether Prize winners and used in lectures at Harvard University.

Symplectic structure and Liouville form

The exterior derivative of the canonical 1-form gives the standard symplectic form ω = dθ on T^*M, which is nondegenerate and closed, making the cotangent bundle a canonical example of a symplectic manifold emphasized by scholars linked to Courant Institute and studies supported by the National Science Foundation. The Liouville vector field, generating fiberwise dilations and related to flow constructions pursued by researchers at Max Planck Institute for Mathematics, satisfies ι_L ω = θ and underlies energy scaling arguments used in works by Andrey Kolmogorov and Mikhail Gromov. The Darboux theorem applied here yields local coordinates where ω has the standard form, a theme common to expositions in seminars at Massachusetts Institute of Technology and colloquia honoring Jean-Pierre Serre.

Functoriality and natural operations

The cotangent bundle construction is contravariantly functorial for smooth maps f: M → N, producing pullback maps on 1-forms and canonical relations studied by geometers affiliated with University of California, Berkeley and Imperial College London. Natural operations include pullback of covectors, pushforward via canonical relations, and fiberwise addition and scalar multiplication forming vector bundle morphisms used in treatments by authors from Oxford University Press. The graph of a closed 1-form defines a Lagrangian submanifold of T^*M, a viewpoint that ties into mirror symmetry programs at institutions like MPI for Mathematics in the Sciences and collaborations involving the Simons Center for Geometry and Physics.

Cotangent bundle of special manifolds

When M carries extra structure the cotangent bundle inherits complementary features: for a Riemannian manifold (studied in programs at ETH Zurich), the metric identifies T^*M with TM via the musical isomorphisms used in the research of Marston Morse and contemporaries at University of Cambridge. For complex manifolds linked to schools at Institut des Hautes Études Scientifiques, the holomorphic cotangent bundle becomes a canonical object in Hodge theory pursued by contributors to the Fields Medal-level work. In the presence of group actions studied by researchers at International Centre for Theoretical Physics, the cotangent lift yields Hamiltonian actions with moment maps relevant to results associated with Atiyah–Bott and moduli problems discussed at Banff International Research Station.

Applications in mechanics and geometry

T^*M serves as the phase space for Hamiltonian mechanics developed by William Rowan Hamilton and expanded in research by Poincaré and later contributors at Princeton University. Geodesic flows, action-angle coordinates in integrable systems studied at Kolkata Mathematical Institute, and semiclassical analysis in quantum mechanics at CERN use the cotangent bundle as the foundational arena. In microlocal analysis and the theory of Fourier integral operators—fields advanced by figures associated with Stanford University and Courant Institute—singular support and propagation of singularities live naturally in T^*M. The bundle also underpins modern approaches to quantization explored by teams at Perimeter Institute and collaborative efforts funded by the European Research Council.

Cohomology and characteristic classes of T^*M

Cohomological invariants of the cotangent bundle relate to de Rham cohomology and characteristic classes investigated in the context of index theorems proved by Atiyah–Singer and collaborators at University of Chicago. The Chern classes of the complexified cotangent bundle feature in studies of complex and algebraic varieties by researchers at Institut Henri Poincaré and connect to topological obstructions considered in seminars at Columbia University. In symplectic topology, invariants such as symplectic cohomology and Floer homology for cotangent bundles have been developed in collaborations involving Yakov Eliashberg and groups at California Institute of Technology, tying global geometric data to dynamics and quantization programs supported by agencies like the Simons Foundation.

Category:Symplectic manifolds