Typical fiber

A chosen model manifold F that locally represents every fiber of a smooth fiber bundle.
Typical fiber

Let π:EM\pi:E\to M be a . A typical fiber (or model fiber) is a smooth manifold FF for which there exists an open cover {Ui}\{U_i\} of MM and Φi:π1(Ui)Ui×F\Phi_i:\pi^{-1}(U_i)\to U_i\times F.

In particular, for every xMx\in M the fiber Ex=π1(x)E_x=\pi^{-1}(x) is to FF, via restriction of Φi\Phi_i to {x}×F\{x\}\times F. The typical fiber is not part of the bare fibered-manifold structure; it is extra data specifying which manifold is used as the local model. If both FF and FF' can serve as typical fibers for the same bundle, then FF and FF' must be diffeomorphic.

Examples

  1. Tangent and cotangent bundles: for an nn-manifold MM, the typical fiber of TMMTM\to M (and of TMMT^*M\to M) is Rn\mathbb{R}^n.
  2. Principal bundles: the typical fiber of a principal GG-bundle PMP\to M is the GG itself.
  3. Sphere bundles: the unit sphere bundle S(E)MS(E)\to M of a rank-kk vector bundle has typical fiber Sk1S^{k-1}.