Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Cotangent bundle
Summary
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 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 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.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.