Bundle map

Bundle map

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.

Bundle maps over a common base

Let "π""E":"E"→ "M" and "π""F":"F"→ "M" be fiber bundles over a space "M". Then a bundle map from "E" to "F" over "M" is a continuous map "φ":"E"→ "F" such that pi_Fcircvarphi = pi_E . That is, the diagram

should commute. Equivalently, for any point "x" in "M", "φ" maps the fiber "E""x" = "π""E"-1({"x"}) of "E" over "x" to the fiber "F""x" = "π""F"-1({"x"}) 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 "φ":"E"→ "F" 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, pi_Fcircvarphi = fcircpi_E . 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".= "F""f"("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","F""f"("x")) (also denoted "L"("Ex","F""f"("x"))) of linear maps from "Ex" to "F""f"("x").


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Bundle (mathematics) — 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 …   Wikipedia

  • Fiber bundle — In mathematics, in particular in topology, a fiber bundle (or fibre bundle) is a space which looks locally like a product space. It may have a different global topological structure in that the space as a whole may not be homeomorphic to a… …   Wikipedia

  • Vector bundle — The Möbius strip is a line bundle over the 1 sphere S1. Locally around every point in S1, it looks like U × R, but the total bundle is different from S1 × R (which is a cylinder instead). In mathematics, a vector bundle is a… …   Wikipedia

  • Frame bundle — 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… …   Wikipedia

  • Canonical bundle — In mathematics, the canonical bundle of a non singular algebraic variety V of dimension n is the line bundle which is the nth exterior power of the cotangent bundle Ω on V. Over the complex numbers, it is the determinant bundle of holomorphic n… …   Wikipedia

  • Connection (principal bundle) — This article is about connections on principal bundles. See connection (mathematics) for other types of connections in mathematics. In mathematics, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way …   Wikipedia

  • Clifford bundle — In mathematics, a Clifford bundle is an algebra bundle whose fibers have the structure of a Clifford algebra and whose local trivializations respect the algebra structure. There is a natural Clifford bundle associated to any (pseudo) Riemannian… …   Wikipedia

  • Metric (vector bundle) — In differential geometry, the notion of a metric tensor can be extended to an arbitrary vector bundle. Specifically, if M is a topological manifold and E → M a vector bundle on M, then a metric (sometimes called a bundle metric, or fibre metric)… …   Wikipedia

  • Banach bundle — 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.Definition of a Banach bundleLet M be a Banach manifold of class C p with p ≥ 0, called …   Wikipedia

  • Line bundle — In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example a curve in the plane having a tangent line at each point determines a varying line: the tangent bundle is a way of organising… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”