Fiber bundle construction theoremIn mathematics, the fiber bundle construction theorem is a theorem which constructs a fiber bundle from a given base space, fiber and a suitable set of transition functions. The theorem also gives conditions under which two such bundles are isomorphic. The theorem is important in the associated bundle construction where one starts with a given bundle and surgically replaces the fiber with a new space while keeping all other data the same. Let X and F be topological spaces and let G be a topological group with a continuous left action on F.
Homotopy groupIn mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space. To define the n-th homotopy group, the base-point-preserving maps from an n-dimensional sphere (with base point) into a given space (with base point) are collected into equivalence classes, called homotopy classes.
Real projective spaceIn mathematics, real projective space, denoted \mathbb{RP}^n or \mathbb{P}_n(\R), is the topological space of lines passing through the origin 0 in the real space \R^{n+1}. It is a compact, smooth manifold of dimension n, and is a special case \mathbf{Gr}(1, \R^{n+1}) of a Grassmannian space. As with all projective spaces, RPn is formed by taking the quotient of Rn+1 ∖ under the equivalence relation x ∼ λx for all real numbers λ ≠ 0. For all x in Rn+1 ∖ one can always find a λ such that λx has norm 1.
Vector bundleIn mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space (for example could be a topological space, a manifold, or an algebraic variety): to every point of the space we associate (or "attach") a vector space in such a way that these vector spaces fit together to form another space of the same kind as (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over .
Bundle metricIn differential geometry, the notion of a metric tensor can be extended to an arbitrary vector bundle, and to some principal fiber bundles. This metric is often called a bundle metric, or fibre metric. If M is a topological manifold and pi : E → M a vector bundle on M, then a metric on E is a bundle map k : E ×M E → M × R from the fiber product of E with itself to the trivial bundle with fiber R such that the restriction of k to each fibre over M is a nondegenerate bilinear map of vector spaces.
Covering groupIn mathematics, a covering group of a topological group H is a covering space G of H such that G is a topological group and the covering map p : G → H is a continuous group homomorphism. The map p is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover in which H has index 2 in G; examples include the spin groups, pin groups, and metaplectic groups.
Quaternionic projective spaceIn mathematics, quaternionic projective space is an extension of the ideas of real projective space and complex projective space, to the case where coordinates lie in the ring of quaternions Quaternionic projective space of dimension n is usually denoted by and is a closed manifold of (real) dimension 4n. It is a homogeneous space for a Lie group action, in more than one way. The quaternionic projective line is homeomorphic to the 4-sphere. Its direct construction is as a special case of the projective space over a division algebra.
Spinor bundleIn differential geometry, given a spin structure on an -dimensional orientable Riemannian manifold one defines the spinor bundle to be the complex vector bundle associated to the corresponding principal bundle of spin frames over and the spin representation of its structure group on the space of spinors . A section of the spinor bundle is called a spinor field. Let be a spin structure on a Riemannian manifold that is, an equivariant lift of the oriented orthonormal frame bundle with respect to the double covering of the special orthogonal group by the spin group.
Lie group actionIn differential geometry, a Lie group action is a group action adapted to the smooth setting: G is a Lie group, M is a smooth manifold, and the action map is differentiable. TOC Let be a (left) group action of a Lie group G on a smooth manifold M; it is called a Lie group action (or smooth action) if the map is differentiable. Equivalently, a Lie group action of G on M consists of a Lie group homomorphism . A smooth manifold endowed with a Lie group action is also called a G-manifold.
Characteristic classIn mathematics, a characteristic class is a way of associating to each principal bundle of X a cohomology class of X. The cohomology class measures the extent the bundle is "twisted" and whether it possesses sections. Characteristic classes are global invariants that measure the deviation of a local product structure from a global product structure. They are one of the unifying geometric concepts in algebraic topology, differential geometry, and algebraic geometry.
