In mathematics, a bundle map (or bundle morphism) is a morphism in the category of fiber bundles. There are two distinct, but closely related, notions of bundle map, depending on whether the fiber bundles in question have a common base space. There are also several variations on the basic theme, depending on precisely which category of fiber bundles is under consideration. In the first three sections, we will consider general fiber bundles in the category of topological spaces. Then in the fourth section, some other examples will be given.
Let and be fiber bundles over a space M. Then a bundle map from E to F over M is a continuous map such that . That is, the diagram
should commute. Equivalently, for any point x in M, maps the fiber of E over x to the fiber of F over x.
General morphisms of fiber bundles
Let πE:E→ M and πF:F→ N be fiber bundles over spaces M and N respectively. Then a continuous map is called a bundle map from E to F if there is a continuous map f:M→ N such that the diagram
commutes, that is, . In other words, is fiber-preserving, and f is the induced map on the space of fibers of E: since πE is surjective, f is uniquely determined by . For a given f, such a bundle map is said to be a bundle map covering f.
Relation between the two notions
It follows immediately from the definitions that a bundle map over M (in the first sense) is the same thing as a bundle map covering the identity map of M.
Conversely, general bundle maps can be reduced to bundle maps over a fixed base space using the notion of a pullback bundle. If πF:F→ N is a fiber bundle over N and f:M→ N is a continuous map, then the pullback of F by f is a fiber bundle f*F over M whose fiber over x is given by (f*F)x = Ff(x). It then follows that a bundle map from E to F covering f is the same thing as a bundle map from E to f*F over M.
Variants and generalizations
There are two kinds of variation of the general notion of a bundle map.
First, one can consider fiber bundles in a different category of spaces. This leads, for example, to the notion of a smooth bundle map between smooth fiber bundles over a smooth manifold.
Second, one can consider fiber bundles with extra structure in their fibers, and restrict attention to bundle maps which preserve this structure. This leads, for example, to the notion of a (vector) bundle homomorphism between vector bundles, in which the fibers are vector spaces, and a bundle map φ is required to be a linear map on each fiber. In this case, such a bundle map φ (covering f) may also be viewed as a section of the vector bundle Hom(E,f*F) over M, whose fiber over x is the vector space Hom(Ex,Ff(x)) (also denoted L(Ex,Ff(x))) of linear maps from Ex to Ff(x).
Related Research Articles
In mathematics, a sheaf is a tool for systematically tracking data attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set.
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space : to every point of the space we associate a vector space in such a way that these vector spaces fit together to form another space of the same kind as , which is then called a vector bundle over .
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
An action of on , analogous to for a product space.
A projection onto . For a product space, this is just the projection onto the first factor, .
The notion of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics.
In mathematics, a submersion is a differentiable map between differentiable manifolds whose differential is everywhere surjective. This is a basic concept in differential topology. The notion of a submersion is dual to the notion of an immersion.
In the mathematical fields of topology and K-theory, the Serre–Swan theorem, also called Swan's theorem, relates the geometric notion of vector bundles to the algebraic concept of projective modules and gives rise to a common intuition throughout mathematics: "projective modules over commutative rings are like vector bundles on compact spaces".
In the mathematical field of topology, a section of a fiber bundle is a continuous right inverse of the projection function . In other words, if is a fiber bundle over a base space, :
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.
Suppose that φ : M → N is a smooth map between smooth manifolds M and N. Then there is an associated linear map from the space of 1-forms on N to the space of 1-forms on M. This linear map is known as the pullback, and is frequently denoted by φ∗. More generally, any covariant tensor field – in particular any differential form – on N may be pulled back to M using φ.
In mathematics, in particular in homotopy theory within algebraic topology, the homotopy lifting property is a technical condition on a continuous function from a topological space E to another one, B. It is designed to support the picture of E "above" B by allowing a homotopy taking place in B to be moved "upstairs" to E.
In differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM of M.
In differential geometry, pushforward is a linear approximation of smooth maps on tangent spaces. Suppose that φ : M → N is a smooth map between smooth manifolds; then the differential of φ, , at a point x is, in some sense, the best linear approximation of φ near x. It can be viewed as a generalization of the total derivative of ordinary calculus. Explicitly, the differential is a linear map from the tangent space of M at x to the tangent space of N at φ(x), . Hence it can be used to push tangent vectors on Mforward to tangent vectors on N. The differential of a map φ is also called, by various authors, the derivative or total derivative of φ.
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 differential geometry, in the category of differentiable manifolds, a fibered manifold is a surjective submersion
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 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.
This is a glossary of properties and concepts in algebraic topology in mathematics.
In mathematics, especially in differential topology, Thom's first isotopy lemma states: given a smooth map between smooth manifolds and a closed Whitney stratified subset, if is proper and is a submersion for each stratum of , then is a locally trivial fibration. The lemma was originally introduced by René Thom who considered the case when . In that case, the lemma constructs an isotopy from the fiber to ; whence the name "isotopy lemma".
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.
