Typical fiber
A chosen model manifold F that locally represents every fiber of a smooth fiber bundle.
Let be a smooth fiber bundle. A typical fiber (or model fiber) is a smooth manifold for which there exists an open cover of and local trivializations .
Examples
- Tangent and cotangent bundles: for an -manifold , the typical fiber of (and of ) is .
- Principal bundles: the typical fiber of a principal -bundle is the Lie group itself.
- Sphere bundles: the unit sphere bundle of a rank- vector bundle has typical fiber .
Remarks
In particular, for every the fiber is diffeomorphic to , via restriction of to . 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 the base is nonempty and both and can serve as typical fibers for the same bundle, then and must be diffeomorphic.