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. This may be generalized to categories with more structure than smooth manifolds, such as complex manifolds, or (in the form of cotangent sheaf) algebraic varieties or schemes. In the smooth case, any Riemannian metric or symplectic form gives an isomorphism between the cotangent bundle and the tangent bundle, but they are not in general isomorphic in other categories.
There are several equivalent ways to define the cotangent bundle. One way is through a diagonal mapping Δ and germs.
Let M be a smooth manifold and let M×M be the Cartesian product of M with itself. The diagonal mapping Δ sends a point p in M to the point (p,p) of M×M. The image of Δ is called the diagonal. Let be the sheaf of germs of smooth functions on M×M which vanish on the diagonal. Then the quotient sheaf consists of equivalence classes of functions which vanish on the diagonal modulo higher order terms. The cotangent sheaf is defined as the pullback of this sheaf to M:
By Taylor's theorem, this is a locally free sheaf of modules with respect to the sheaf of germs of smooth functions of M. Thus it defines a vector bundle on M: the cotangent bundle.
Smooth sections of the cotangent bundle are called (differential) one-forms.
A smooth morphism of manifolds, induces a pullback sheaf on M. There is an induced map of vector bundles .
The tangent bundle of the vector space is , and the cotangent bundle is , where denotes the dual space of covectors, linear functions .
Given a smooth manifold embedded as a hypersurface represented by the vanishing locus of a function with the condition that the tangent bundle is
where is the directional derivative . By definition, the cotangent bundle in this case is
where Since every covector corresponds to a unique vector for which for an arbitrary
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 one-form θ called the tautological one-form, discussed below. The exterior derivative of θ is a symplectic 2-form, out of which a non-degenerate 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.
The cotangent bundle carries a canonical one-form θ also known as the symplectic potential, Poincaré1-form, or Liouville1-form. This means that if we regard T*M as a manifold in its own right, there is a canonical section of the vector bundle T*(T*M) over T*M.
This section can be constructed in several ways. The most elementary method uses local coordinates. Suppose that xi are local coordinates on the base manifold M. In terms of these base coordinates, there are fibre coordinates pi : a one-form at a particular point of T*M has the form pi dxi (Einstein summation convention implied). So the manifold T*M itself carries local coordinates (xi, pi) where the x's are coordinates on the base and the p's are coordinates in the fibre. The canonical one-form is given in these coordinates by
Intrinsically, the value of the canonical one-form in each fixed point of T*M is given as a pullback. Specifically, suppose that π : T*M→M is the projection of the bundle. Taking a point in Tx*M is the same as choosing of a point x in M and a one-form ω at x, and the tautological one-form θ assigns to the point (x, ω) the value
That is, for a vector v in the tangent bundle of the cotangent bundle, the application of the tautological one-form θ to v at (x, ω) is computed by projecting v into the tangent bundle at x using dπ : T(T*M) →TM and applying ω to this projection. Note that the tautological one-form is not a pullback of a one-form on the base M.
The cotangent bundle has a canonical symplectic 2-form on it, as an exterior derivative of the tautological one-form, the symplectic potential. Proving that this form is, indeed, symplectic can be done by noting that being symplectic is a local property: since the cotangent bundle is locally trivial, this definition need only be checked on . But there the one form defined is the sum of , and the differential is the canonical symplectic form, the sum of .
If the manifold represents the set of possible positions in a dynamical system, then the cotangent bundle can be thought of as the set of possible positions and momenta. For example, this is a way to describe the phase space of a pendulum. The state of the pendulum is determined by its position (an angle) and its momentum (or equivalently, its velocity, since its mass is constant). The entire state space looks like a cylinder, which is the cotangent bundle of the circle. The above symplectic construction, along with an appropriate energy function, gives a complete determination of the physics of system. See Hamiltonian mechanics and the article on geodesic flow for an explicit construction of the Hamiltonian equations of motion.
In differential geometry, the cotangent space is a vector space associated with a point on a smooth manifold ; one can define a cotangent space for every point on a smooth manifold. Typically, the cotangent space, is defined as the dual space of the tangent space at , , although there are more direct definitions. The elements of the cotangent space are called cotangent vectors or tangent covectors.
In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, , equipped with a closed nondegenerate differential 2-form , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system.
A tangent bundle is the collection of all of the tangent spaces for all points on a manifold, structured in a way that it forms a new manifold itself. Formally, in differential geometry, the tangent bundle of a differentiable manifold is a manifold which assembles all the tangent vectors in . As a set, it is given by the disjoint union of the tangent spaces of . That is,
In mathematics and physics, a tensor field is a function assigning a tensor to each point of a region of a mathematical space or of the physical space. Tensor fields are used in differential geometry, algebraic geometry, general relativity, in the analysis of stress and strain in material object, and in numerous applications in the physical sciences. As a tensor is a generalization of a scalar and a vector, a tensor field is a generalization of a scalar field and a vector field that assigns, respectively, a scalar or vector to each point of space. If a tensor A is defined on a vector fields set X(M) over a module M, we call A a tensor field on M. Many mathematical structures called "tensors" are also tensor fields. For example, the Riemann curvature tensor is a tensor field as it associates a tensor to each point of a Riemannian manifold, which is a topological space.
In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since become fundamental concepts in many branches of mathematics and physics, such as string theory, Chern–Simons theory, knot theory, Gromov–Witten invariants. Chern classes were introduced by Shiing-Shen Chern.
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the tangent bundle is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a vector bundle of rank 1.
In mathematics, a frame bundle is a principal fiber bundle associated with any vector bundle . The fiber of over a point is the set of all ordered bases, or frames, for . The general linear group acts naturally on via a change of basis, giving the frame bundle the structure of a principal -bundle.
In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle satisfying a condition called 'complete non-integrability'. Equivalently, such a distribution may be given as the kernel of a differential one-form, and the non-integrability condition translates into a maximal non-degeneracy condition on the form. These conditions are opposite to two equivalent conditions for 'complete integrability' of a hyperplane distribution, i.e. that it be tangent to a codimension one foliation on the manifold, whose equivalence is the content of the Frobenius theorem.
In mathematics, an almost complex manifold is a smooth manifold equipped with a smooth linear complex structure on each tangent space. Every complex manifold is an almost complex manifold, but there are almost complex manifolds that are not complex manifolds. Almost complex structures have important applications in symplectic geometry.
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.
In differential geometry, a field in mathematics, a Poisson manifold is a smooth manifold endowed with a Poisson structure. The notion of Poisson manifold generalises that of symplectic manifold, which in turn generalises the phase space from Hamiltonian mechanics.
In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below.
In mathematics and physics, a Hamiltonian vector field on a symplectic manifold is a vector field defined for any energy function or Hamiltonian. Named after the physicist and mathematician Sir William Rowan Hamilton, a Hamiltonian vector field is a geometric manifestation of Hamilton's equations in classical mechanics. The integral curves of a Hamiltonian vector field represent solutions to the equations of motion in the Hamiltonian form. The diffeomorphisms of a symplectic manifold arising from the flow of a Hamiltonian vector field are known as canonical transformations in physics and (Hamiltonian) symplectomorphisms in mathematics.
In mathematics, the tautological one-form is a special 1-form defined on the cotangent bundle of a manifold In physics, it is used to create a correspondence between the velocity of a point in a mechanical system and its momentum, thus providing a bridge between Lagrangian mechanics and Hamiltonian mechanics.
In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.
In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding.
In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : E → X is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle.
In the field of mathematics known as differential geometry, a generalized complex structure is a property of a differential manifold that includes as special cases a complex structure and a symplectic structure. Generalized complex structures were introduced by Nigel Hitchin in 2002 and further developed by his students Marco Gualtieri and Gil Cavalcanti.
In mathematics, more precisely in differential geometry, a soldering of a fiber bundle to a smooth manifold is a manner of attaching the fibers to the manifold in such a way that they can be regarded as tangent. Intuitively, soldering expresses in abstract terms the idea that a manifold may have a point of contact with a certain model Klein geometry at each point. In extrinsic differential geometry, the soldering is simply expressed by the tangency of the model space to the manifold. In intrinsic geometry, other techniques are needed to express it. Soldering was introduced in this general form by Charles Ehresmann in 1950.
In algebraic geometry, given a morphism f: X → S of schemes, the cotangent sheaf on X is the sheaf of -modules that represents S-derivations in the sense: for any -modules F, there is an isomorphism