In 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. Given an open cover {Ui} of X and a set of continuous functions
defined on each nonempty overlap, such that the cocycle condition
holds, there exists a fiber bundle E → X with fiber F and structure group G that is trivializable over {Ui} with transition functions tij.
Let E′ be another fiber bundle with the same base space, fiber, structure group, and trivializing neighborhoods, but transition functions t′ij. If the action of G on F is faithful, then E′ and E are isomorphic if and only if there exist functions
such that
Taking ti to be constant functions to the identity in G, we see that two fiber bundles with the same base, fiber, structure group, trivializing neighborhoods, and transition functions are isomorphic.
A similar theorem holds in the smooth category, where X and Y are smooth manifolds, G is a Lie group with a smooth left action on Y and the maps tij are all smooth.
The proof of the theorem is constructive. That is, it actually constructs a fiber bundle with the given properties. One starts by taking the disjoint union of the product spaces Ui×F
and then forms the quotient by the equivalence relation
The total space E of the bundle is T/~ and the projection π : E → X is the map which sends the equivalence class of (i, x, y) to x. The local trivializations
are then defined by
Let E → X a fiber bundle with fiber F and structure group G, and let F′ be another left G-space. One can form an associated bundle E′ → X with a fiber F′ and structure group G by taking any local trivialization of E and replacing F by F′ in the construction theorem. If one takes F′ to be G with the action of left multiplication then one obtains the associated principal bundle.
In differential geometry, a Riemannian manifold or Riemannian space(M, g) is a real, smooth manifold M equipped with a positive-definite inner product gp on the tangent space TpM at each point p. A common convention is to take g to be smooth, which means that for any smooth coordinate chart (U, x) on M, the n2 functions
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X : to every point x of the space X we associate a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X, which is then called a vector bundle over X.
In mathematics, and particularly topology, a fiber bundle is a space that is locally a product space, but globally may have a different topological structure. Specifically, the similarity between a space and a product space is defined using a continuous surjective map, , that in small regions of behaves just like a projection from corresponding regions of to . The map , called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space is known as the total space of the fiber bundle, as the base space, and the fiber.
In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product of a space with a group . In the same way as with the Cartesian product, a principal bundle is equipped with
In mathematics, a frame bundle is a principal fiber bundle F(E) associated to any vector bundle E. The fiber of F(E) over a point x is the set of all ordered bases, or frames, for Ex. The general linear group acts naturally on F(E ) via a change of basis, giving the frame bundle the structure of a principal GL(k, R)-bundle.
In mathematics, a foliation is an equivalence relation on an n-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension p, modeled on the decomposition of the real coordinate space Rn into the cosets x + Rp of the standardly embedded subspace Rp. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear, differentiable, or analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class Cr it is usually understood that r ≥ 1. The number p is called the dimension of the foliation and q = n − p is called its codimension.
In mathematics, the theory of fiber bundles with a structure 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 in an overlap of two coordinate systems Uα and Uβ are given as a G-valued function gαβ on Uα∩Uβ. One may then construct a fiber bundle F′ as a new fiber bundle having the same transition functions, but possibly a different fiber.
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, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. The central work for the study of sheaf cohomology is Grothendieck's 1957 Tôhoku paper.
In mathematics, a pullback bundle or induced bundle is the fiber bundle that is induced by a map of its base-space. Given a fiber bundle π : E → B and a continuous map f : B′ → B one can define a "pullback" of E by f as a bundle f*E over B′. The fiber of f*E over a point b′ in B′ is just the fiber of E over f(b′). Thus f*E is the disjoint union of all these fibers equipped with a suitable topology.
In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are ultimately derived from the notion of divisibility in the integers and algebraic number fields.
In mathematics, a filtered algebra is a generalization of the notion of a graded algebra. Examples appear in many branches of mathematics, especially in homological algebra and representation theory.
In mathematics, a compact quantum group is an abstract structure on a unital separable C*-algebra axiomatized from those that exist on the commutative C*-algebra of "continuous complex-valued functions" on a compact quantum group.
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 differential geometry, an Ehresmann connection is a version of the notion of a connection, which makes sense on any smooth fiber bundle. In particular, it does not rely on the possible vector bundle structure of the underlying fiber bundle, but nevertheless, linear connections may be viewed as a special case. Another important special case of Ehresmann connections are principal connections on principal bundles, which are required to be equivariant in the principal Lie group action.
In mathematics, the dual bundle of a vector bundle π : E → X is a vector bundle π∗ : E∗ → X whose fibers are the dual spaces to the fibers of E. The dual bundle can be constructed using the associated bundle construction by taking the dual representation of the structure group.
In algebraic geometry, Graded manifolds are extensions of the concept of manifolds based on ideas coming from supersymmetry and supercommutative algebra. Both graded manifolds and supermanifolds are phrased in terms of sheaves of graded commutative algebras. However, graded manifolds are characterized by sheaves on smooth manifolds, while supermanifolds are constructed by gluing of sheaves of supervector spaces.
In mathematics, an affine bundle is a fiber bundle whose typical fiber, fibers, trivialization morphisms and transition functions are affine.
In algebraic geometry, given a smooth algebraic group G, a G-torsor or a principal G-bundleP over a scheme X is a scheme with an action of G that is locally trivial in the given Grothendieck topology in the sense that the base change along "some" covering map is the trivial torsor . Equivalently, a G-torsor P on X is a principal homogeneous space for the group scheme
In geometry, a valuation is a finitely additive function on a collection of admissible subsets of a fixed set with values in an abelian semigroup. For example, the Lebesgue measure is a valuation on finite unions of convex bodies of Euclidean space . Other examples of valuations on finite unions of convex bodies are the surface area, the mean width, and the Euler characteristic.
