nLab local trivialization







In the theory of fiber bundles (including principal bundles, vector bundles, etc.) internal to TopologicalSpaces or SmoothManifolds etc., the condition that these be locally trivial is typically crucial. This means that locally, i.e. over a neighbourhood of any point in their base space, these are equivalent to a trivial fiber bundle, hence to the projection out of the Cartesian product of that neighbourhood with a fiber-space (the typical fiber).

Key implications of local triviality are:

  1. the induced bundle isomorphisms between local trivializations on intersections of their open neighbourhoods give a system of transition functions which constitute the representation of the given fiber bundle as a cocycle in non-abelian Cech cohomology.

  2. the fact that Serre fibrations are detected locally (see there) implies that any local fiber bundle is a Serre fibration (and even a Hurewicz fibration if it is a numerable fiber bundle).


For topological fiber bundles

For p:EXp \colon E \to X a bundles in TopologicalSpaces, hence a continuous function between topological spaces, then a local trivialization is

  1. an open cover 𝒰iIU iX\mathcal{U} \coloneqq \underset{i \in I}{\sqcup} U_i \longrightarrow X

  2. a topological space FF, to be called the typical fiber;

  3. an isomorphism over 𝒰\mathcal{U} between the restriction of EE to 𝒰\mathcal{U} and the projection out of the Cartesian product of the cover with the typical fiber:

U×F t E| U E (pb) p 𝒰 X \array{ U \times F &\underoverset{t}{\simeq}{\longrightarrow}& E|_{U}&\longrightarrow& E \\ & \searrow & \downarrow &{}^{{}_{(pb)}}& \downarrow^{\mathrlap{p}} \\ && \mathcal{U} &\longrightarrow& X }

If this exist, then in particular the total square here is a pullback square, and one says that pp is locally trivializable.

For equivariant topological fiber bundles

For equivariant bundles one typically needs a slightly more sophisticated notion, see there.


See the references at fiber bundle.

Last revised on June 3, 2022 at 04:29:25. See the history of this page for a list of all contributions to it.