Fibered manifold

In differential geometry, in the category of differentiable manifolds, a fibered manifold is a surjective submersion[1]

\pi \colon E \to B\,

i.e. a surjective differentiable mapping such that at each point yE the tangent mapping

T_y\pi \colon T_{y}E \to T_{\pi(y)}B

is surjective, or, equivalently, its rank equals dim B.

History

In topology, the words fiber (Faser in German) and fiber space (gefaserter Raum) appeared for the first time in a paper by Seifert in 1932,[2] but his definitions are limited to a very special case. The main difference from the present day conception of a fiber space, however, was that for Seifert what is now called the base space (topological space) of a fiber (topological) space E was not part of the structure, but derived from it as a quotient space of E. The first definition of fiber space is given by Hassler Whitney in 1935 [3] under the name sphere space, but in 1940 Whitney changed the name to sphere bundle.[4]

The theory of fibered spaces, of which vector bundles, principal bundles, topological fibrations and fibered manifolds are a special case, is attributed to Seifert, Hopf, Feldbau,[5] Whitney, Steenrod, Ehresmann,[6][7][8] Serre,[9] and others.

Formal definition

A triple (E, π, B) where E and B are differentiable manifolds and π: EB is a surjective submersion, is called a fibered manifold.[10] E is called the total space, B is called the base.

Examples

Properties

Fibered coordinates

Let B (resp. E) be an n-dimensional (resp. p-dimensional) manifold. A fibered manifold (E, π, B) admits fiber charts. We say that a chart (V, ψ) on E is a fiber chart, or is adapted to the surjective submersion π: EB if there exists a chart (U, φ) on B such that U = π(V) and

u^1=x^1\circ \pi,\,u^2=x^2\circ \pi,\,\dots,\,u^n=x^n\circ \pi\, ,

where

\begin{align}\psi &= (u^1,\dots,u^n,y^1,\dots,y^{p-n}). \quad y_{0}\in V,\\
\varphi &= (x^1,\dots,x^n), \quad \pi(y_{0})\in U.\end{align}

The above fiber chart condition may be equivalently expressed by

\varphi\circ\pi = {\mathrm \pi_1}\circ\psi,

where

{\mathrm {pr}_1} \colon {\mathbb R^n}\times{\mathbb R^{p-n}} \to {\mathbb R^n}\,

is the first projection. The chart (U, φ) is then obviously unique. In view of the above property, the fibered coordinates of a fiber chart (V, ψ) are usually denoted by ψ = (xi, yσ) where i ∈ {1, ..., n}, σ ∈ {1, ..., m}, m = pn the coordinates of the corresponding chart U, φ) on B are then denoted, with the obvious convention, by φ = (xi) where i ∈ {1, ..., n}.

Conversely, if a surjection π: EB admits a fibered atlas, then π: EB is a fibered manifold.

Local trivialization and fiber bundles

Let EB be a fibered manifold and V any manifold. Then an open covering {Uα} of B together with maps[13]

\psi: \pi^{-1}(U_\alpha) \rightarrow U_\alpha \times V,

called trivialization maps, such that

\mathrm{pr}_1 \circ \psi_\alpha = \pi, \forall \alpha

is a local trivialization with respect to V.

A fibered manifold together with a manifold V is a fiber bundle with typical fiber (or just fiber) V if it admits a local trivialization with respect to V. The atlas Ψ = {(Uα, ψα)} is then called a bundle atlas.

See also

Notes

References

Historical

External links

This article is issued from Wikipedia - version of the Friday, March 18, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.