In 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 with structure group , the transition functions of the fiber (i.e., the cocycle) in an overlap of two coordinate systems and are given as a -valued function on . One may then construct a fiber bundle as a new fiber bundle having the same transition functions, but possibly a different fiber.
A simple case comes with the Möbius strip, for which is the cyclic group of order 2, . We can take as any of: the real number line , the interval , the real number line less the point 0, or the two-point set . The action of on these (the non-identity element acting as in each case) is comparable, in an intuitive sense. We could say that more formally in terms of gluing two rectangles and together: what we really need is the data to identify to itself directly at one end, and with the twist over at the other end. This data can be written down as a patching function, with values in . The associated bundle construction is just the observation that this data does just as well for as for .
In general it is enough to explain the transition from a bundle with fiber , on which acts, to the associated principal bundle (namely the bundle where the fiber is , considered to act by translation on itself). For then we can go from to , via the principal bundle. Details in terms of data for an open covering are given as a case of descent.
This section is organized as follows. We first introduce the general procedure for producing an associated bundle, with specified fibre, from a given fibre bundle. This then specializes to the case when the specified fibre is a principal homogeneous space for the left action of the group on itself, yielding the associated principal bundle. If, in addition, a right action is given on the fibre of the principal bundle, we describe how to construct any associated bundle by means of a fibre product construction. [1]
Let be a fiber bundle over a topological space with structure group and typical fibre . By definition, there is a left action of (as a transformation group) on the fibre . Suppose furthermore that this action is effective. [2] There is a local trivialization of the bundle consisting of an open cover of , and a collection of fibre maps such that the transition maps are given by elements of . More precisely, there are continuous functions such that
Now let be a specified topological space, equipped with a continuous left action of . Then the bundle associated with with fibre is a bundle with a local trivialization subordinate to the cover whose transition functions are given bywhere the -valued functions are the same as those obtained from the local trivialization of the original bundle . This definition clearly respects the cocycle condition on the transition functions, since in each case they are given by the same system of -valued functions. (Using another local trivialization, and passing to a common refinement if necessary, the transform via the same coboundary.) Hence, by the fiber bundle construction theorem, this produces a fibre bundle with fibre as claimed.
As before, suppose that is a fibre bundle with structure group . In the special case when has a free and transitive left action on , so that is a principal homogeneous space for the left action of on itself, then the associated bundle is called the principal -bundle associated with the fibre bundle . If, moreover, the new fibre is identified with (so that inherits a right action of as well as a left action), then the right action of on induces a right action of on . With this choice of identification, becomes a principal bundle in the usual sense. Note that, although there is no canonical way to specify a right action on a principal homogeneous space for , any two such actions will yield principal bundles which have the same underlying fibre bundle with structure group (since this comes from the left action of ), and isomorphic as -spaces in the sense that there is a -equivariant isomorphism of bundles relating the two.
In this way, a principal -bundle equipped with a right action is often thought of as part of the data specifying a fibre bundle with structure group , since to a fibre bundle one may construct the principal bundle via the associated bundle construction. One may then, as in the next section, go the other way around and derive any fibre bundle by using a fibre product.
Let be a principal G-bundle and let be a continuous left action of on a space (in the smooth category, we should have a smooth action on a smooth manifold). Without loss of generality, we can take this action to be effective.
Define a right action of on via [3] [4]
We then identify by this action to obtain the space . Denote the equivalence class of by . Note that
Define a projection map by . Note that this is well-defined.
Then is a fiber bundle with fiber and structure group . The transition functions are given by where are the transition functions of the principal bundle .
This construction can also be seen categorically. More precisely, there are two continuous maps , given by acting with on the right on and on the left on . The associated vector bundle is then the coequalizer of these maps.
The companion concept to associated bundles is the reduction of the structure group of a -bundle . We ask whether there is an -bundle , such that the associated -bundle is , up to isomorphism. More concretely, this asks whether the transition data for can consistently be written with values in . In other words, we ask to identify the image of the associated bundle mapping (which is actually a functor).
Examples for vector bundles include: the introduction of a metric resulting in reduction of the structure group from a general linear group to an orthogonal group ; and the existence of complex structure on a real bundle resulting in reduction of the structure group from real general linear group to complex general linear group .
Another important case is finding a decomposition of a vector bundle of rank as a Whitney sum (direct sum) of sub-bundles of rank and , resulting in reduction of the structure group from to .
One can also express the condition for a foliation to be defined as a reduction of the tangent bundle to a block matrix subgroup - but here the reduction is only a necessary condition, there being an integrability condition so that the Frobenius theorem applies.
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 Lie algebroid is a vector bundle together with a Lie bracket on its space of sections and a vector bundle morphism , satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.
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 the field of representation theory in mathematics, a projective representation of a group G on a vector space V over a field F is a group homomorphism from G to the projective linear group where GL(V) is the general linear group of invertible linear transformations of V over F, and F∗ is the normal subgroup consisting of nonzero scalar multiples of the identity transformation (see Scalar transformation).
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, 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, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a covariant derivative, an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a pseudo-Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear.
In mathematics, and especially differential geometry and gauge theory, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. A principal G-connection on a principal G-bundle over a smooth manifold is a particular type of connection which is compatible with the action of the group .
In 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.
In mathematics, a local system on a topological space X is a tool from algebraic topology which interpolates between cohomology with coefficients in a fixed abelian group A, and general sheaf cohomology in which coefficients vary from point to point. Local coefficient systems were introduced by Norman Steenrod in 1943.
In mathematical physics, covariant classical field theory represents classical fields by sections of fiber bundles, and their dynamics is phrased in the context of a finite-dimensional space of fields. Nowadays, it is well known that jet bundles and the variational bicomplex are the correct domain for such a description. The Hamiltonian variant of covariant classical field theory is the covariant Hamiltonian field theory where momenta correspond to derivatives of field variables with respect to all world coordinates. Non-autonomous mechanics is formulated as covariant classical field theory on fiber bundles over the time axis .
In mathematics, specifically in symplectic geometry, the momentum map is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The momentum map generalizes the classical notions of linear and angular momentum. It is an essential ingredient in various constructions of symplectic manifolds, including symplectic (Marsden–Weinstein) quotients, discussed below, and symplectic cuts and sums.
In mathematics, a vector-valued differential form on a manifold M is a differential form on M with values in a vector space V. More generally, it is a differential form with values in some vector bundle E over M. Ordinary differential forms can be viewed as R-valued differential forms.
In conformal geometry, the ambient construction refers to a construction of Charles Fefferman and Robin Graham for which a conformal manifold of dimension n is realized (ambiently) as the boundary of a certain Poincaré manifold, or alternatively as the celestial sphere of a certain pseudo-Riemannian manifold.
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.
In the field of mathematical modeling, a radial basis function network is an artificial neural network that uses radial basis functions as activation functions. The output of the network is a linear combination of radial basis functions of the inputs and neuron parameters. Radial basis function networks have many uses, including function approximation, time series prediction, classification, and system control. They were first formulated in a 1988 paper by Broomhead and Lowe, both researchers at the Royal Signals and Radar Establishment.
In mathematics, an adjoint bundle is a vector bundle naturally associated to any principal bundle. The fibers of the adjoint bundle carry a Lie algebra structure making the adjoint bundle into a (nonassociative) algebra bundle. Adjoint bundles have important applications in the theory of connections as well as in gauge theory.
The Hurwitz quaternion order is a specific order in a quaternion algebra over a suitable number field. The order is of particular importance in Riemann surface theory, in connection with surfaces with maximal symmetry, namely the Hurwitz surfaces. The Hurwitz quaternion order was studied in 1967 by Goro Shimura, but first explicitly described by Noam Elkies in 1998. For an alternative use of the term, see Hurwitz quaternion.
Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.
In mathematics, and especially differential geometry and mathematical physics, gauge theory is the general study of connections on vector bundles, principal bundles, and fibre bundles. Gauge theory in mathematics should not be confused with the closely related concept of a gauge theory in physics, which is a field theory which admits gauge symmetry. In mathematics theory means a mathematical theory, encapsulating the general study of a collection of concepts or phenomena, whereas in the physical sense a gauge theory is a mathematical model of some natural phenomenon.