vector bundle, 2-vector bundle, (∞,1)-vector bundle
real, complex/holomorphic, quaternionic
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:
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.
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 $p \colon E \to X$ a bundles in TopologicalSpaces, hence a continuous function between topological spaces, then a local trivialization is
an open cover $\mathcal{U} \coloneqq \underset{i \in I}{\sqcup} U_i \longrightarrow X$
a topological space $F$, to be called the typical fiber;
an isomorphism over $\mathcal{U}$ between the restriction of $E$ to $\mathcal{U}$ and the projection out of the Cartesian product of the cover with the typical fiber:
If this exist, then in particular the total square here is a pullback square, and one says that $p$ is locally trivializable.
For equivariant bundles one typically needs a slightly more sophisticated notion, see there.
See the references at fiber bundle.
Last revised on July 10, 2024 at 09:51:16. See the history of this page for a list of all contributions to it.