Cotangent bundleIn 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.
Line bundleIn 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. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner.
Projective bundleIn mathematics, a projective bundle is a fiber bundle whose fibers are projective spaces. By definition, a scheme X over a Noetherian scheme S is a Pn-bundle if it is locally a projective n-space; i.e., and transition automorphisms are linear. Over a regular scheme S such as a smooth variety, every projective bundle is of the form for some vector bundle (locally free sheaf) E. Every vector bundle over a variety X gives a projective bundle by taking the projective spaces of the fibers, but not all projective bundles arise in this way: there is an obstruction in the cohomology group H2(X,O*).
Spin structureIn differential geometry, a spin structure on an orientable Riemannian manifold (M, g) allows one to define associated spinor bundles, giving rise to the notion of a spinor in differential geometry. Spin structures have wide applications to mathematical physics, in particular to quantum field theory where they are an essential ingredient in the definition of any theory with uncharged fermions. They are also of purely mathematical interest in differential geometry, algebraic topology, and K theory.
Dual bundleIn mathematics, the dual bundle is an operation on vector bundles extending the operation of duality for vector spaces. The dual bundle of a vector bundle is the vector bundle whose fibers are the dual spaces to the fibers of . Equivalently, can be defined as the Hom bundle that is, the vector bundle of morphisms from to the trivial line bundle Given a local trivialization of with transition functions a local trivialization of is given by the same open cover of with transition functions (the inverse of the transpose).
Vertical and horizontal bundlesIn mathematics, the vertical bundle and the horizontal bundle are vector bundles associated to a smooth fiber bundle. More precisely, given a smooth fiber bundle , the vertical bundle and horizontal bundle are subbundles of the tangent bundle of whose Whitney sum satisfies . This means that, over each point , the fibers and form complementary subspaces of the tangent space . The vertical bundle consists of all vectors that are tangent to the fibers, while the horizontal bundle requires some choice of complementary subbundle.
Tautological one-formIn 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 (on the manifold ). The exterior derivative of this form defines a symplectic form giving the structure of a symplectic manifold. The tautological one-form plays an important role in relating the formalism of Hamiltonian mechanics and Lagrangian mechanics.
Linear algebraLinear algebra is the branch of mathematics concerning linear equations such as: linear maps such as: and their representations in vector spaces and through matrices. Linear algebra is central to almost all areas of mathematics. For instance, linear algebra is fundamental in modern presentations of geometry, including for defining basic objects such as lines, planes and rotations. Also, functional analysis, a branch of mathematical analysis, may be viewed as the application of linear algebra to spaces of functions.
Group schemeIn mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance.
Associated bundleIn mathematics, the theory of fiber bundles with a structure group (a topological group) allows an operation of creating an associated bundle, in which the typical fiber of a bundle changes from to , which are both topological spaces with a group action of . For a fiber bundle F with structure group G, the transition functions of the fiber (i.e., the cocycle) in an overlap of two coordinate systems Uα and Uβ are given as a G-valued function gαβ on Uα∩Uβ.
