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. [1]
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. [2]
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.
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. [3] 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).
In mathematics, particularly topology, an atlas is a concept used to describe a manifold. An atlas consists of individual charts that, roughly speaking, describe individual regions of the manifold. In general, the notion of atlas underlies the formal definition of a manifold and related structures such as vector bundles and other fiber bundles.
In 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 categories with more structure than smooth manifolds, such as complex manifolds, or 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.
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
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.
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 mathematics, a bundle is a generalization of a fiber bundle dropping the condition of a local product structure. The requirement of a local product structure rests on the bundle having a topology. Without this requirement, more general objects can be considered bundles. For example, one can consider a bundle π: E → B with E and B sets. It is no longer true that the preimages must all look alike, unlike fiber bundles, where the fibers must all be isomorphic and homeomorphic.
In differential geometry, pushforward is a linear approximation of smooth maps on tangent spaces. Suppose that is a smooth map between smooth manifolds; then the differential of at a point , denoted , is, in some sense, the best linear approximation of near . 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 at to the tangent space of at , . Hence it can be used to push tangent vectors on forward to tangent vectors on . 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 mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.
In differential geometry, in the category of differentiable manifolds, a fibered manifold is a surjective submersion that is, a surjective differentiable mapping such that at each point the tangent mapping is surjective, or, equivalently, its rank equals
In mathematics, a Banach bundle is a vector bundle each of whose fibres is a Banach space, i.e. a complete normed vector space, possibly of infinite dimension.
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 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.
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".
