Jump to content

User:Julian Nill/Fiber bundle

From Wikipedia, the free encyclopedia

In algebraic topology, a branch of mathematics, a fiber bundle is a topological space that can be represented locally as a Cartesian product of two topological spaces, together with a mapping that reflects this similarity.

Fiber bundles play an important role in homotopy theory, differential geometry, and differential topology.

History

[edit]

The concept of a fiber bundle first appeared in connection with the topology and geometry of manifolds. Herbert Seifert introduced the terms fiber and fiber space in 1933.

The first definition of a fiber bundle was given by Hassler Whitney in 1935 under the name sphere space. In the years from 1935 to 1940, fiber bundles became a seperate field of research in mathematics. The work of Whitney, Heinz Hopf, and Eduard Stiefel provided perspectives on the importance of fiber bundles in topology and differential geometry.

By 1950, the definition of a fiber bundle was clearly noted and the theory on homotopy classification and characteristic classes of fiber bundles was advanced by several mathematicians, including Shiing-Shen Chern, Lev Pontryagin, Stiefel, and Whitney. In the years from 1950 to 1955, Friedrich Hirzebruch was able to prove the Hirzebruch-Riemann-Roch theorem using the characteristic classes of fiber bundles. John Milnor gave a construction of a universal fiber bundle for arbitrary topological groups in 1955. In the early 1960s, Alexander Groethendieck, Michael Atiyah, and Hirzebruch developed a generalized cohomology theory, K-theory, using stability classes of vector bundles.

Formal definition

[edit]

A fiber bundle is a quadrupel consisting of topological spaces and and a continuous surjective mapping where for every there exists an open neighbourhood of and a homeomorphism so that the following diagram commutes:

Here the mapping is the natural projection. Such a homeomorphism is called local trivialization of the bundle and the mapping is called projection. The space is called base space of the bundle, the total space and the fiber.

The space is provided with the product topology and with the subspace topology.

In order to additionally mention the fiber of the bundle, it is common to use the notation for the fiber bundle. Here the mapping is the inclusion and is identified with the fiber over a point

Each fiber bundle is a Serre fibration.

Examples

[edit]

Tivial bundle

[edit]

Let and be the projection onto the first factor, then the total space is not only locally a product, but also globally. Such a fiber bundle is called a trivial bundle or product bundle.

Covering

[edit]

A fiber bundle with discrete fiber is a covering. Similarly, any covering whose fibers all have the same cardinality is a fiber bundle with discrete fiber. In particular, a covering over a connected base space is a fiber bundle.

Möbius band

[edit]
Möbius band

The Möbius band is an illustrative example of a nontrivial fiber bundle. The base space is the circular line which runs through the center of the band. The fiber is given by a closed interval, e.g.

The total space is given by the quotient space with the equivalence relation given by The bundle projection is given by the mapping, induced by the projection i.e. an equivalence class is mapped under the bundle projection onto the equivalence class , where the equivalence relation on is given by

The corresponding trivial bundle is a cylinder. The Möbius band and the cylinder differ by a twist of the fiber. This twist is only globally visible, locally the Möbius band and the cylinder are identical.

Klein bottle

[edit]
Klein bottle

Another nontrivial fiber bundle is the Klein bottle. The base space and the fiber are given by and the total space is given by the quotient space where the equivalence relation is given by and The bundle projection maps an element onto with the equivalence relation on

The corresponding trivial bundle is a torus. This is locally indistinguishable from the Klein bottle.

Hopf bundle

[edit]

The Hopf bundle has spheres as fiber, total space and base space and is one of the first discovered nontrivial fiber bundles. It is a special case for of the fiber bundle over the -dimensional complex projective space.

Further Hopf bundles, also called generalized Hopf bundles, can be derived by replacing the complex numbers by the real numbers, the quaternions and the octonions:

  • The covering over the -dimensional projective space yields for the real Hopf bundle
  • The quaternions yield a Hopf bundle given by
  • The octonions yield a Hopf bundle given by

Further fiber bundles whose fiber, total space and base space are spheres do not exist. This is a consequence of Adam's theorem which solves H. Hopf's problem on the number of mappings between spheres with Hopf-Invariant 1.

Cross sections

[edit]

The cross section of a fiber bundle is a continuous mapping which is right inverse to the projection For every is the link of projection and section equal to the identity: In other words for every the image of the section lies in the fiber over

A local section of a fiber bundle is a continuous mapping where is an open subset and holds for all

Bundle morphism

[edit]

A bundle morphism (also called bundle mapping) between two fiber bundles and is a mapping, that preserves the bundle structure; in some sense, it is a fiber-preserving mapping. More precisely, a bundle morphism is given by a tupel of two mappings and such that holds. The situation is illustrated by the following commutative diagram:

A fiber over is mapped under onto a fiber over this is given by the relation

If the base spaces are identical, the bundle morphism is given by and one speaks of a -morphism or a bundle morphism over where The relation is given by the following diagram:

For every the condition holds, which is why is also called fiber-preserving.

Coordinate bundle

[edit]

For every base space of a fiber bundle there exists an atlas of charts where are open subsets and are the local trivializations of the fiber bundle. Two charts and can be compared by using continuous transition functions The transition functions provide information about which symmetries of the fibers are used in the transition. For a point the transition function is given by the expression The following diagram illustrates the situation:

In the first line, the first component is given by the identity and the second component is given by the transition function.

A topological transformation group of a topological space relative to a map is a topological group such that:

  • is continuous
  • where is the identity of and
  • for all and

Often one considers more than one such map and therefore abbreviate by

A coordinate bundle is a fiber bundle together with an effective topological transformation group of such that the following two conditions hold:

  • For every and the homeomorphism corresponds to the operation of a group element in and
  • for every the mapping with is continuous.

The mappings are called coordinate transformations (sometimes called transition functions) and is called the structure group of the bundle. The coordinate transformations have the following three properties:

  • for every and every
  • for every
  • for every

Two coordinate bundles with the same base space and total space, the same fiber, projection and structure group are called equivalent if the atlases and for two index sets and satisfy the following two conditions:

  • For every the expression coincides with the operation of a group element and
  • the coordinate transformations are continuous.

A -fiber bundle is an equivalence class of coordinate bundles. Often the -fiber bundle is defined as maximal coordinate bundle.

The fiber bundle construction theorem provides conditions under which the existence of a coordinate bundle is guaranteed:

For topological transformation group of a space and a system of coordinate transformations of a space that means a cover and a set of continuous mappings with the above three properties for coordinate transformations, there exists a coordinate bundle with base space fiber structure group and coordinate transformations

Principal bundle

[edit]

A principal -bundle is a fiber bundle with a fiber and structure group acting on the fiber by left translation. The structure group acts freely on the total space by right translation with orbit space

A open cover of is called numerable, if there exists a locally finite partition of unity:

with for every

A principal -bundle is called numerable, if there is a numerable cover of such that the restricted bundles are trivial bundles for all A numerable principal -bundle is called universal bundle, if for every space the map from the set of homotopy classes of maps from to to the set of isomorphism classes of principal -bundles is a bijection. In the case of a universal bundle the base space is called classifying space of

Principal bundles play an important role in the classification of bundles. Moreover each -fiber bundle can be associated with a principal bundle and conversely each principal bundle can be associated with a -fiber bundle.

Associated principal bundle

[edit]

For a given -fiber bundle a -principal bundle can be constructed. The existence is given by the fiber bundle construction theorem, where the fiber is represented by and in addition acts on itself by left multiplication. The base space and the system of coordinate transformations will be choosen identical to those of the -fiber bundle.

Associated G-fiber bundle

[edit]

For a given -principal bundle and a left -space a -fiber bundle can be constructed:

On the product space there is a right -space structure defined by The -fiber bundle is given by the mapping with and the fiber

Vector bundle

[edit]

A vector bundle of rank over a field is a fiber bundle whose fibers have the structure of a -dimensional -vector space and, in addition, any local trivialization for a induces a -linear isomorphism on the individual fibers. This means that the mapping restricted to a is an isomorphism and thus holds. Often one considers real or complex vector bundles where the field is given by the real numbers or by the complex numbers

There is a natural bijection between the isomorphism classes of vector bundles with rank of paracompact spaces and the set of homotopy classes of mappings from into the Grassmann manifold of -dimensional subspaces in

Examples

[edit]
  • The tangent bundle of with total space and projection is a vector bundle with fibers for every
  • The canonical vector bundle with rank of the Grassmann manifold is given by the total space and the projection

Sphere bundle

[edit]

A -sphere bundle is a fiber bundle whose fiber is Often the sphere bundle is given in addition with the orthogonal group as structure group.

The sphere bundle is called orientable, if the structure group is the rotation group.

The cohomology of sphere bundles can be computet using the Gysin sequence.

Cohomology of fiber bundles

[edit]

The calculation of the cohomology groups of fiber bundles is much more difficult than the calculation of the homotopy groups. The homotopy groups are given by a long exact sequence, whereas the cohomology groups have a long exact sequence only under certain conditions.

For a trivial bundle, the relation of the cohomology groups is given by the Künneth formula. For arbitrary fiber bundles, tools such as spectral sequences are needed.

The Leray-Hirsch theorem provides sufficient conditions on a fiber bundle so that the structure of the cohomology groups is very similar to that of a trivial bundle.

For -sphere bundles which additionally satisfy an orientability hypothesis, a long exact sequence of cohomology groups exists. The sequence is known as the Gysin sequence:

Here is a particular Euler class in

Examples

[edit]
  • The Hopf bundle does not have the cohomology structure of a trivial bundle, since holds.
  • For the fiber bundle holds:

References

[edit]
  • [1] Seifert, Herbert (1933). Topologie Dreidimensionaler Gefaserter Räume (in German). Vol. 2. Acta Mathematica. pp. 147–238. doi:10.1007/BF02398271.
  • [2] Whitney, Hassler (1935). Sphere-Spaces. Vol. 21. Proceedings of the National Academy of Science of the United States of America. pp. 464–468. doi:10.1073/pnas.21.7.464. PMC 1076627.
  • [3] Steenrod, Norman (1951). The Topology of Fibre Bundles. Princeton NJ: Princeton University Press. ISBN 0-691-08055-0.
  • [4] Husemoller, Dale (1994). Fibre Bundles. Princeton NJ: Springer Verlag. ISBN 978-0-387-94087-8.
  • [5] Hatcher, Allen (2001). Algebraic Topology. NY: Cambridge University Press. ISBN 0-521-79160-X.
  • [6] Laures, Gerd; Szymik, Markus (2014). Grundkurs Topologie (in German) (2 ed.). Berlin / Heidelberg: Springer Spektrum. doi:10.1007/978-3-662-45953-9. ISBN 978-3-662-45952-2.
  • [7] Davis, James F.; Kirk, Paul (1991). Lecture Notes in Algebraic Topology. Bloomington, Indiana.{{cite book}}: CS1 maint: location missing publisher (link)
  • [8] Spanier, Edwin H. (1966). Algebraic Topology. Springer. ISBN 978-0-387-90646-1.