Vector Bundles and Associated Bundles

⚡ Key Takeaways

A vector bundle is a family of vector spaces parametrized continuously (or smoothly) by a base space, locally looking like a product but possibly globally twisted. Associated bundles construct new bundles from a single principal bundle by acting on different model fibers via a structure group. Key result: every vector bundle arises as a bundle associated to its frame bundle (a principal $GL_n$ -bundle), so the entire theory of vector bundles reduces to representations of structure groups. Applies across differential geometry, topology, gauge theory, and algebraic geometry. Foundations laid by Whitney, Stiefel, Steenrod, Ehresmann (1930s–1950s).

💡 The Core Insight

A vector bundle is glued from trivial pieces $U_\alpha \times \mathbb{R}^n$ by transition functions $g_{\alpha\beta} : U_\alpha \cap U_\beta \to GL(n)$ satisfying the cocycle condition. All the global twisting lives in these transition functions, valued in a structure group $G$ . The principal bundle $P$ abstracts exactly this cocycle data with $G$ itself as fiber; every bundle with the same transition data — vector bundles, sphere bundles, frame bundles — is recovered as an associated bundle $P \times_G F$ . Geometry of vector bundles = representation theory of $G$ + topology of $P$ .

DefinitionVector Bundle

A (real) vector bundle of rank $n$ over a topological space $B$ is a triple $(E, \pi, B)$ with a continuous surjection $\pi : E \to B$ such that: 1. Each fiber $E_b := \pi^{-1}(b)$ carries the structure of an $n$ -dimensional real vector space. 2. Local triviality: there is an open cover $\{U_\alpha\}$ of $B$ and homeomorphisms (local trivializations)

1

\quad \varphi_\alpha : \pi^{-1}(U_\alpha) \xrightarrow{\ \cong\ } U_\alpha \times \mathbb{R}^n, \qquad \mathrm{pr}_1 \circ \varphi_\alpha = \pi,

Derivation hint: the condition $\mathrm{pr}_1\circ\varphi_\alpha=\pi$ forces $\varphi_\alpha$ to map the fiber over $b$ into $\{b\}\times\mathbb{R}^n$ ; "vector bundle" demands this restriction be a linear isomorphism. such that for each $b \in U_\alpha$ the restriction $\varphi_\alpha|_{E_b} : E_b \to \{b\} \times \mathbb{R}^n$ is a linear isomorphism. $E$ is the total space, $B$ the base, $\pi$ the projection. A smooth vector bundle requires $B, E$ smooth manifolds, $\pi$ smooth, and $\varphi_\alpha$ diffeomorphisms. Replacing $\mathbb{R}$ by $\mathbb{C}$ gives complex vector bundles.

DefinitionTransition Functions and the Cocycle Condition

On overlaps $U_\alpha \cap U_\beta$ , two trivializations differ by a fiberwise linear map:

2

\quad \varphi_\alpha \circ \varphi_\beta^{-1} (b, v) = \big(b,\ g_{\alpha\beta}(b)\, v\big), \qquad g_{\alpha\beta} : U_\alpha \cap U_\beta \to GL(n,\mathbb{R}).

Derivation hint: $\varphi_\alpha\circ\varphi_\beta^{-1}$ preserves the base point and is linear on each fiber, hence equals multiplication by an invertible matrix depending continuously on $b$ . These satisfy the cocycle condition:

3

\quad g_{\alpha\beta}(b)\, g_{\beta\gamma}(b) = g_{\alpha\gamma}(b) \ \text{ on } U_\alpha\cap U_\beta\cap U_\gamma, \qquad g_{\alpha\alpha} = \mathrm{Id}.

Derivation hint: insert $\varphi_\beta^{-1}\varphi_\beta=\mathrm{Id}$ between $\varphi_\alpha\varphi_\gamma^{-1}$ ; consistency of the three pairwise comparisons over a triple overlap gives the multiplicative chain. Conversely, Reconstruction Theorem: given an open cover and continuous maps $\{g_{\alpha\beta}\}$ satisfying [3], there is a vector bundle, unique up to isomorphism, with these transition functions, obtained as

4

\quad E = \Big( \coprod_\alpha U_\alpha \times \mathbb{R}^n \Big) \Big/ \sim, \qquad (b, v)_\beta \sim (b, g_{\alpha\beta}(b) v)_\alpha.

Derivation hint: the cocycle condition is precisely what makes $\sim$ an equivalence relation (reflexive from $g_{\alpha\alpha}=\mathrm{Id}$ , symmetric from $g_{\alpha\beta}^{-1}=g_{\beta\alpha}$ , transitive from [3]).

DefinitionPrincipal

G

-Bundle

Let $G$ be a topological (Lie) group. A principal $G$ -bundle $\pi : P \to B$ is a fiber bundle with a continuous (smooth) right $G$ -action $P \times G \to P$ that is free and transitive on fibers, with local trivializations $G$ -equivariant:

5

\quad \psi_\alpha : \pi^{-1}(U_\alpha) \xrightarrow{\cong} U_\alpha \times G, \qquad \psi_\alpha(p\cdot g) = \psi_\alpha(p)\cdot g,

Derivation hint: equivariance means if $\psi_\alpha(p)=(b,h)$ then $\psi_\alpha(p\cdot g)=(b,hg)$ ; freeness + transitivity makes each fiber a $G$ -torsor (a $G$ -set isomorphic to $G$ but with no preferred identity). where $G$ acts on $U_\alpha\times G$ by right multiplication on the second factor. The transition functions $g_{\alpha\beta}: U_\alpha\cap U_\beta \to G$ act by left multiplication and satisfy the cocycle condition [3].

DefinitionAssociated Bundle

Given a principal $G$ -bundle $P \to B$ and a left $G$ -action on a space $F$ (a "model fiber"), the associated bundle is

6

\quad P \times_G F := (P \times F)\,/\,G, \qquad (p, f) \sim (p\cdot g,\ g^{-1}\cdot f) \ \ \forall g\in G,

Derivation hint: the diagonal action $g\cdot(p,f)=(pg^{-1}, gf)$ is free because the $G$ -action on $P$ is free; quotient is well-defined and the projection $[p,f]\mapsto \pi(p)$ descends since $G$ acts within fibers of $P$ . with projection $[p,f] \mapsto \pi_P(p)$ and fiber $\cong F$ . When $F = \mathbb{R}^n$ and $G \to GL(n)$ is a representation $\rho$ , $P\times_\rho \mathbb{R}^n$ is a vector bundle.

TheoremEquivalence of Vector Bundles and Frame Bundles

There is a bijective correspondence (an equivalence of categories) between:

rank- $n$ real vector bundles $E \to B$ , and
principal $GL(n,\mathbb{R})$ -bundles $\mathrm{Fr}(E) \to B$ ,

given in one direction by the frame bundle $\mathrm{Fr}(E)$ , whose fiber over $b$ is the set of ordered bases (frames) of $E_b$ , and in the other by the associated bundle:

7

\quad E \cong \mathrm{Fr}(E) \times_{GL(n)} \mathbb{R}^n, \qquad \mathrm{Fr}(E)\ \text{has fiber}\ \{\text{frames of } E_b\}.

Derivation hint: a frame is a linear isomorphism $\mathbb{R}^n\to E_b$ ; $GL(n)$ acts on the right by precomposition (freely, transitively). Sending $[\,(\text{frame } u),\,v]\mapsto u(v)\in E_b$ identifies $\mathrm{Fr}(E)\times_{GL(n)}\mathbb{R}^n$ with $E$ . Both have the same transition cocycle $\{g_{\alpha\beta}\}$ .

ProofThe Associated Bundle Recovers the Vector Bundle

We show $\mathrm{Fr}(E)\times_{GL(n)}\mathbb{R}^n \cong E$ .

Step 1. A point of $\mathrm{Fr}(E)$ over $b$ is a linear isomorphism $u : \mathbb{R}^n \to E_b$ (an ordered basis $u(e_1),\dots,u(e_n)$ ). The right $GL(n)$ -action is $u\cdot g = u\circ g$ (matrix $g$ acting on $\mathbb{R}^n$ first). This action is free (if $u\circ g = u$ then $g=\mathrm{Id}$ ) and transitive (any two bases differ by a change-of-basis matrix), so $\mathrm{Fr}(E)$ is a principal $GL(n)$ -bundle.

Step 2. Define the evaluation map

8

\quad \Phi : \mathrm{Fr}(E)\times \mathbb{R}^n \to E, \qquad \Phi(u, v) = u(v).

Derivation hint: $u(v)\in E_b$ where $b=\pi(u)$ , so $\Phi$ covers the identity on $B$ .

Step 3. $\Phi$ is $GL(n)$ -invariant along orbits: $\Phi(u\cdot g, g^{-1} v) = (u\circ g)(g^{-1}v) = u(v) = \Phi(u,v)$ . Hence $\Phi$ descends to $\bar\Phi : \mathrm{Fr}(E)\times_{GL(n)}\mathbb{R}^n \to E$ .

Step 4. $\bar\Phi$ is fiberwise bijective: over $b$ , fix any frame $u_0$ ; then every class has a unique representative $[u_0, v]$ (use transitivity to move the frame part to $u_0$ , absorbing the group element into $v$ ), and $v \mapsto u_0(v)$ is a linear isomorphism onto $E_b$ .

Step 5. Local triviality and continuity follow because a local section of $\mathrm{Fr}(E)$ (a local frame field) trivializes both sides simultaneously, and the transition functions of both bundles are the same $\{g_{\alpha\beta}\}$ . Therefore $\bar\Phi$ is a vector bundle isomorphism. $\blacksquare$

∎

ProofWhy the Cocycle Condition Is Forced

Comparing three trivializations over a triple overlap:

9

\quad \varphi_\alpha\varphi_\gamma^{-1} = (\varphi_\alpha\varphi_\beta^{-1})(\varphi_\beta\varphi_\gamma^{-1}).

Derivation hint: insert the identity $\varphi_\beta^{-1}\varphi_\beta$ . Applying both sides to $(b,v)$ and reading off the linear part gives $g_{\alpha\gamma}(b) = g_{\alpha\beta}(b)\, g_{\beta\gamma}(b)$ , which is [3]. Failure of [3] makes the gluing relation [4] non-transitive, so no consistent total space exists. $\blacksquare$

∎

mathematician · Hassler Whitney | 1907–1989

Whitney introduced the systematic study of sphere bundles and vector bundles in the 1930s, defining the Stiefel–Whitney classes (with Eduard Stiefel) — the first characteristic classes detecting nontriviality and orientability. His embedding theorems (any smooth $n$ -manifold embeds in $\mathbb{R}^{2n}$ ) and his work on the topology of fiber spaces founded the field. The Whitney sum $E\oplus F$ and the Whitney product formula $w(E\oplus F)=w(E)\,w(F)$ for total Stiefel–Whitney classes bear his name. His geometric instinct — viewing bundles as families of subspaces and using transversality — shaped how generations think about global topology.

🧠 Intuition

Think of a vector bundle as a continuously varying coordinate system without a globally consistent choice of axes. Locally, over a patch, you can lay down a frame ("up", "right") in each fiber, but as you walk around the base the frames may twist, and there might be no way to keep them consistent globally — like the impossibility of combing a hairy ball flat. The transition functions $g_{\alpha\beta}$ record how much you must rotate/shear your frame when you cross from one patch to another. The principal bundle $P$ strips away the model fiber entirely and remembers only this recipe of frame changes — a "pure gluing instruction." Once you have the recipe, you can build any associated object: attach $\mathbb{R}^n$ to get a vector bundle, attach the sphere $S^{n-1}$ to get a sphere bundle, attach $G$ itself to get $P$ back. The Möbius band is the canonical first example: walk around the circle, and your "up" direction flips — a transition function valued in $\{\pm 1\}\subset GL(1,\mathbb{R})$ .

Figure

Möbius band as a rank-1 bundle over

S^1

: the fiber direction reverses on the overlap.

ExampleTangent Bundle of

S^2

and the Euler Number

Given: the tangent bundle $TS^2 \to S^2$ , a rank-2 real vector bundle. We compute its Euler number $e(TS^2)$ , which obstructs a nowhere-zero section.

Step 1. The Euler number of $TM$ for a closed oriented surface equals the Euler characteristic:

10

\quad e(TM) = \chi(M).

Derivation hint: by the Poincaré–Hopf theorem, summing indices of zeros of a generic vector field gives $\chi(M)$ ; the Euler class integrates to that sum.

Step 2. For $S^2$ : triangulate as a tetrahedron, $V - E + F = 4 - 6 + 4 = 2$ , so $\chi(S^2) = 2$ .

Step 3. Therefore $e(TS^2) = 2 \neq 0$ . A nonzero Euler class means every smooth tangent vector field on $S^2$ must vanish somewhere.

Answer: $\boxed{e(TS^2) = \chi(S^2) = 2}$ (dimensionless). Hence $TS^2$ is nontrivial — the Hairy Ball Theorem. By contrast $TS^1$ and $TS^3$ have Euler number $0$ and are trivial.

ExampleAssociated Line Bundle of the Hopf Bundle and Its Chern Number

Given: the Hopf principal $U(1)$ -bundle $S^3 \to S^2 = \mathbb{CP}^1$ , with $U(1)$ acting on $\mathbb{C}$ by the standard weight-1 representation $\rho_k(\lambda)v = \lambda^k v$ . We compute the first Chern number of the associated line bundle $L_k = S^3\times_{\rho_k}\mathbb{C}$ .

Step 1. For $k=-1$ this is the tautological line bundle $\mathcal{O}(-1)$ over $\mathbb{CP}^1$ , whose first Chern number is

11

\quad c_1(\mathcal{O}(-1))[\mathbb{CP}^1] = -1.

Derivation hint: integrate the curvature $\tfrac{i}{2\pi}F$ of the natural connection over $\mathbb{CP}^1$ ; equivalently, the degree of the bundle equals minus the number of zeros of a generic holomorphic section.

Step 2. Representations scale the Chern number linearly: $c_1(L_k) = k\cdot c_1(L_1)$ , and $L_1 = \mathcal{O}(1)$ gives $c_1 = +1$ .

Step 3. Hence

12

\quad c_1(L_k)[\mathbb{CP}^1] = k.

Derivation hint: the weight- $k$ representation factors as the $k$ -th tensor power $\mathcal{O}(1)^{\otimes k}=\mathcal{O}(k)$ , and $c_1$ is additive under tensor products of line bundles.

Answer: $\boxed{c_1(L_k) = k \in \mathbb{Z} = H^2(\mathbb{CP}^1;\mathbb{Z})}$ . Every complex line bundle on $\mathbb{CP}^1$ arises this way; line bundles on $\mathbb{CP}^1$ are classified by their integer degree $k$ . The bundle is trivial iff $k=0$ .

⚠️ Common mistake

"Locally trivial means globally trivial — just patch the local trivializations together." False. Local trivializations always exist by definition, but they need not glue: the obstruction is exactly the cocycle $\{g_{\alpha\beta}\}$ up to coboundary, classified by $\check{H}^1(B; \underline{GL_n})$ . Triviality requires the cocycle to be a coboundary $g_{\alpha\beta} = h_\alpha h_\beta^{-1}$ .

"The fiber being a vector space means I can add elements of different fibers." No — addition is defined only within a single fiber $E_b$ . There is no canonical way to add $v \in E_b$ to $w \in E_{b'}$ for $b\neq b'$ ; doing so requires extra structure (a connection / parallel transport).

"Every principal $G$ -bundle gives a vector bundle." Only after choosing a representation $\rho: G \to GL(F)$ . The principal bundle alone has $G$ as fiber (a group, not a vector space). Different representations give genuinely different associated vector bundles.

"A bundle with a connection is more special than one without." Every (paracompact, smooth) vector bundle admits connections — the space of connections is a nonempty affine space. A connection is extra geometric data, not an existence obstruction.

Counterexample

Not every short exact sequence of vector bundles splits canonically, but they always split smoothly. Consider

13

\quad 0 \to L \to E \to Q \to 0

Derivation hint: choose a fiber metric and take the orthogonal complement of $L$ to realize $Q$ inside $E$ . over a paracompact base. Topologically/smoothly $E \cong L\oplus Q$ (a metric splits it). However, in the holomorphic category the splitting can fail: over an elliptic curve there exist nonsplit holomorphic extensions (the Atiyah bundle $E$ with $0\to\mathcal{O}\to E\to\mathcal{O}\to 0$ non-split, despite being topologically trivial). This shows the existence of metrics/partitions of unity is essential — and that holomorphic geometry is rigid where smooth geometry is flexible.

connection

Vector bundles sit at the crossroads of several theories. Their isomorphism classes are organized by Characteristic Classes (Stiefel–Whitney, Chern, Pontryagin, Euler), cohomology classes detecting nontriviality and computing via the Chern–Weil Theory from curvature. Adding Connections on Vector Bundles turns a bundle into a setting for differentiation (covariant derivatives) and parallel transport, with curvature measuring infinitesimal holonomy. The classification "up to homotopy" is governed by Classifying Spaces $BG$ : vector bundles over $B$ correspond to homotopy classes of maps $B \to BO(n)$ (real) or $B\to BU(n)$ (complex), via pullback of a universal bundle over the Grassmannian. Stabilizing under Whitney sum produces Topological K-Theory, where $K^0(B) =$ Grothendieck group of vector bundles. The principal-bundle viewpoint is the mathematical home of Gauge Theory, where the structure group is the gauge group. In algebraic geometry, Coherent Sheaves generalize vector bundles (= locally free sheaves), and the Serre–Swan Theorem identifies vector bundles over compact $X$ with finitely generated projective modules over $C(X)$ .

🔬 Where this appears

⏳ History

- 1935 — Hassler Whitney introduces sphere bundles and begins the systematic theory of fiber spaces and characteristic classes.

- 1935 — Eduard Stiefel (thesis under Heinz Hopf) and Whitney independently define Stiefel–Whitney classes, obstructing linearly independent vector fields.

- 1941–1944 — Lev Pontryagin defines Pontryagin classes of real bundles via the cohomology of Grassmannians.

- 1942 — Shiing-Shen Chern introduces Chern classes for complex bundles, soon recast through curvature (Chern–Weil theory).

- 1944 — Werner Gysin / Charles Ehresmann develop exact sequences and the formal notion of fiber bundle; Ehresmann gives the modern definition of principal bundles and connections (1950).

- 1951 — Norman Steenrod publishes The Topology of Fibre Bundles, the foundational text codifying structure groups, associated bundles, and classification by maps into classifying spaces.

- 1953 — Chern–Weil theorem expresses characteristic classes as curvature polynomials, linking topology to differential geometry.

- 1956 — Jean-Pierre Serre & Richard Swan (Serre 1955 algebraic, Swan 1962 topological) establish the Serre–Swan equivalence between vector bundles and projective modules.

- 1959–1961 — Michael Atiyah & Friedrich Hirzebruch found topological K-theory from the Grothendieck group of vector bundles, soon driving index theory.

- 1954, 1975 — Yang–Mills (1954) and the Wu–Yang dictionary (1975) reveal that gauge fields are connections on principal bundles, fusing physics and bundle theory.

open-problem

Classification beyond stable range and the existence of nonisomorphic bundles with identical characteristic classes. Characteristic classes are invariants, not complete invariants: there exist distinct vector bundles with the same Chern/Stiefel–Whitney/Pontryagin classes (low-dimensional examples arise over spheres via clutching functions $\pi_{n-1}(GL_n)$ , where unstable homotopy groups are genuinely hard). The full classification of vector bundles over a given manifold reduces to computing homotopy classes $[B, BG]$ , but the homotopy groups of $BO(n)$ , $BU(n)$ in the unstable range are largely unknown.

Open territory. The classification of holomorphic vector bundles is wide open in general: even the moduli of stable bundles over higher-dimensional varieties, the Hodge / Tate conjectures on algebraic cycles realizing cohomology classes, and the precise structure of gauge-theoretic moduli spaces (instantons, Higgs bundles, the geometric Langlands correspondence) remain active research. In topology, computing the exact count of nonisomorphic rank- $k$ bundles over a specific manifold, and the vector field problem (maximal number of independent sections of $TS^n$ , solved by Adams via K-theory) illustrate how delicate the unstable phenomena are. Whether every "expected" bundle predicted by characteristic-class data actually exists is governed by subtle obstruction theory with no general answer.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also