This course develops the modern theory of fibre bundles from the viewpoint of symmetry, geometry, and differential operators. It focuses on principal bundles as the basic objects encoding local triviality together with a [group action](/page/Group%20Action), then shows how many geometric structures can be expressed through them. The main themes are the passage between local and global descriptions, the role of structure groups, and the way connections organize geometry on bundles and on the spaces associated to them.

The chapters begin by recasting principal bundles as symmetry objects and revisiting transition functions in that setting, then move to frame bundles and associated bundles as central examples. After that, the course studies reductions of structure group and uses them to connect bundle geometry with geometric structures on manifolds. The second half introduces connections, covariant derivatives, curvature, gauge transformations, parallel transport, and holonomy, showing how these ideas interact and how they induce geometry on associated bundles and reductions. Throughout, the final chapters tie the theory together through examples and computations that illustrate how the abstract machinery is used in practice.

# Introduction

This introductory chapter explains what the course is trying to organize. The first course on fibre bundles treats local product structure, transition functions, vector bundles, and sections; this course takes the next step by putting symmetry groups at the centre of the theory. Principal bundles record the moving frames, gauges, and choices of coordinates that often sit behind vector bundles, while connections explain how to compare such choices at nearby points.

The guiding theme is that geometric data can be studied by separating two roles: the base manifold contains the points of the underlying space, and a Lie group records the symmetries of the fibres. Once this separation is made, curvature, parallel transport, holonomy, and gauge transformations become different faces of the same construction. The course develops these ideas without yet entering the characteristic-class theory that they support.

## Why Principal Bundles Are Needed

A vector bundle describes a family of vector spaces over a manifold, but many geometric constructions depend on choices of frames rather than on vectors themselves. If $E \to M$ is a rank $n$ vector bundle, a frame at $p \in M$ is an ordered basis of $E_p$, and the set of all frames carries a natural right action of $GL(n,\mathbb R)$. The group action remembers how a frame changes while leaving the underlying point $p$ fixed.

This motivates the central object of the course: a bundle whose fibres are not vector spaces, but spaces on which a Lie group acts freely and transitively. At the introductory level, a principal bundle is a geometric object in which every fibre is a copy of a symmetry group, with no preferred identity element in any fibre. The later formal definition adds the local product and smoothness hypotheses needed to make this picture precise.

[example: Frames of a Vector Bundle] Let $\pi:E\to M$ be a smooth real vector bundle of rank $n$. For each $p\in M$, let $\operatorname{Fr}(E)_p$ be the set of ordered bases $v=(v_1,\dots,v_n)$ of the fibre $E_p$, and set \begin{align*} \operatorname{Fr}(E)=\bigsqcup_{p\in M}\operatorname{Fr}(E)_p . \end{align*} The projection sends $v\in \operatorname{Fr}(E)_p$ to $p$. If $A=(A_{ij})\in GL(n,\mathbb R)$, define $v\cdot A=(w_1,\dots,w_n)$ by \begin{align*} w_j=\sum_{i=1}^n v_iA_{ij}. \end{align*} The tuple $w_1,\dots,w_n$ is again a basis of $E_p$. Indeed, if $\sum_{j=1}^n c_jw_j=0$, then expanding the definition of $w_j$ gives \begin{align*} 0=\sum_{j=1}^n c_j\sum_{i=1}^n v_iA_{ij}. \end{align*} Reordering the finite sum gives \begin{align*} 0=\sum_{i=1}^n v_i\left(\sum_{j=1}^n A_{ij}c_j\right). \end{align*} Since $v_1,\dots,v_n$ are linearly independent, $\sum_{j=1}^n A_{ij}c_j=0$ for every $i$, which is the matrix equation $Ac=0$. Since $A$ is invertible, $c=0$, so $w_1,\dots,w_n$ are linearly independent; in an $n$-dimensional [vector space](/page/Vector%20Space), $n$ linearly independent vectors form a basis. This defines a right action. If $A,B\in GL(n,\mathbb R)$, $v\cdot A=w$, and $w\cdot B=x$, then for each $k$, \begin{align*} x_k=\sum_{j=1}^n w_jB_{jk}. \end{align*} Substituting $w_j=\sum_{i=1}^n v_iA_{ij}$ gives \begin{align*} x_k=\sum_{j=1}^n\left(\sum_{i=1}^n v_iA_{ij}\right)B_{jk}. \end{align*} Reordering the finite sum gives \begin{align*} x_k=\sum_{i=1}^n v_i\left(\sum_{j=1}^n A_{ij}B_{jk}\right). \end{align*} By the definition of matrix multiplication, $\sum_{j=1}^n A_{ij}B_{jk}=(AB)_{ik}$, so \begin{align*} x_k=\sum_{i=1}^n v_i(AB)_{ik}. \end{align*} Thus $(v\cdot A)\cdot B=v\cdot(AB)$. Also $v\cdot I=v$, since \begin{align*} \sum_{i=1}^n v_iI_{ij}=v_j. \end{align*} On each fibre the action is free. If $v\cdot A=v$, then for every $j$, \begin{align*} v_j=\sum_{i=1}^n v_iA_{ij}. \end{align*} The coordinates of $v_j$ in the basis $(v_1,\dots,v_n)$ are $\delta_{ij}$, so $A_{ij}=\delta_{ij}$ for all $i,j$, hence $A=I$. The action is also transitive. If $v=(v_1,\dots,v_n)$ and $u=(u_1,\dots,u_n)$ are two frames of $E_p$, then each $u_j$ has unique coordinates in the basis $v$: \begin{align*} u_j=\sum_{i=1}^n v_iA_{ij}. \end{align*} The matrix $A$ is invertible because the [linear map](/page/Linear%20Map) with coordinate matrix $A$ sends the standard basis of $\mathbb R^n$ to the coordinate vectors of the basis $u_1,\dots,u_n$ in the basis $v_1,\dots,v_n$. Therefore $u=v\cdot A$, and freeness shows that this $A$ is unique. Thus every fibre $\operatorname{Fr}(E)_p$ is a copy of $GL(n,\mathbb R)$ once a reference frame has been chosen, but no frame is preferred. The frame bundle is the basic model of a principal $GL(n,\mathbb R)$-bundle because it records choices of basis rather than vector-valued quantities. [/example]

The frame example also shows why principal bundles are not an extra topic added after vector bundles. They are the mechanism by which vector bundles are assembled from symmetry data. In Chapter 4, associated bundles reverse the construction: from a principal $G$-bundle and a representation of $G$, we recover vector bundles and tensor bundles.

[remark: No Preferred Frame] A fibre of a principal bundle is isomorphic to the Lie group $G$, but it is not canonically equal to $G$. Choosing a point in the fibre identifies the fibre with $G$; choosing a different point changes that identification by right multiplication. Much of the subject is about writing constructions that do not depend on such choices. [/remark]

This absence of preferred choices creates the main technical problem of the course. Local calculations are unavoidable, but geometric statements must survive changes of local product chart. The next section records the language in which the course will handle this tension.

## Local Data and Global Geometry

How can local descriptions on coordinate patches determine a global geometric object? For ordinary fibre bundles the answer is given by transition functions satisfying a cocycle condition. Principal bundles refine this answer by making the transition functions take values in a Lie group that also acts on the fibres.

Suppose $M$ is covered by open sets $(U_i)_{i\in I}$. A principal $G$-bundle will be locally described over each $U_i$ by a product $U_i\times G$. On an overlap $U_i\cap U_j$, the two local descriptions differ by a smooth map $g_{ij}:U_i\cap U_j\to G$, and compatibility on triple overlaps is expressed by a nonabelian cocycle identity.

[quotetheorem:6233]

[citeproof:6233]

This theorem is a roadmap rather than a substitute for the full reconstruction theorem proved later. The open-cover hypothesis is essential because transition functions only compare local products over regions where both products have been chosen; without such local product domains there is no overlap on which $g_{ij}$ can be evaluated. Smoothness is also necessary: continuous but nonsmooth maps $g_{ij}:U_i\cap U_j\to G$ may glue a topological principal bundle, but they do not provide the smooth compatibility needed for a smooth total space. The cocycle condition is the algebraic point that prevents contradictory identifications; if on a triple overlap one has $g_{ij}(p)g_{jk}(p)\ne g_{ik}(p)$, then passing from chart $k$ to chart $i$ directly gives a different point from passing through chart $j$. What the theorem does not say is that the bundle is globally a product, nor that the transition functions are uniquely determined: changing local product charts replaces them by cohomologous transition functions. It also explains why the subject is nonabelian: the order of multiplication in the cocycle identity matters. As a result, principal bundles are classified by a nonabelian version of Cech cohomology rather than by an ordinary cohomology group in general.

[example: The Hopf Fibration as a Principal Bundle] Consider the projection \begin{align*} q:S^3\longrightarrow \mathbb{CP}^1,\qquad q(z_0,z_1)=[z_0:z_1], \end{align*} where \begin{align*} S^3=\{(z_0,z_1)\in\mathbb C^2:|z_0|^2+|z_1|^2=1\}. \end{align*} The group $U(1)=\{\lambda\in\mathbb C:|\lambda|=1\}$ acts by \begin{align*} (z_0,z_1)\cdot \lambda=(\lambda z_0,\lambda z_1). \end{align*} This action is free: if $(z_0,z_1)\cdot\lambda=(z_0,z_1)$, then $(\lambda-1)z_0=0$ and $(\lambda-1)z_1=0$. Since $(z_0,z_1)\in S^3$, at least one of $z_0,z_1$ is nonzero, so $\lambda=1$. The orbits are exactly the fibres of $q$. If $(w_0,w_1)$ and $(z_0,z_1)$ have the same image in $\mathbb{CP}^1$, then they span the same complex line, so there is some $\alpha\in\mathbb C^\times$ with \begin{align*} (w_0,w_1)=\alpha(z_0,z_1). \end{align*} Because both vectors lie in $S^3$, \begin{align*} 1=|w_0|^2+|w_1|^2. \end{align*} Substituting $w_0=\alpha z_0$ and $w_1=\alpha z_1$ gives \begin{align*} 1=|\alpha z_0|^2+|\alpha z_1|^2. \end{align*} Using $|\alpha z_i|^2=|\alpha|^2|z_i|^2$ gives \begin{align*} 1=|\alpha|^2(|z_0|^2+|z_1|^2). \end{align*} Since $(z_0,z_1)\in S^3$, this becomes \begin{align*} 1=|\alpha|^2. \end{align*} Thus $\alpha\in U(1)$, so $(w_0,w_1)=(z_0,z_1)\cdot\alpha$. Conversely, multiplying by any $\lambda\in U(1)$ does not change the complex line: \begin{align*} [\lambda z_0:\lambda z_1]=[z_0:z_1]. \end{align*} On the standard affine charts \begin{align*} U_0=\{[z_0:z_1]:z_0\ne0\} \end{align*} and \begin{align*} U_1=\{[z_0:z_1]:z_1\ne0\}, \end{align*} define local sections by \begin{align*} s_0([1:t])=\frac{(1,t)}{\sqrt{1+|t|^2}} \end{align*} and \begin{align*} s_1([s:1])=\frac{(s,1)}{\sqrt{1+|s|^2}}. \end{align*} On $U_0\cap U_1$, write $s=1/t$ with $t\ne0$. Then \begin{align*} s_1([1:t])=\frac{(1/t,1)}{\sqrt{1+|1/t|^2}}. \end{align*} Since $|1/t|^2=1/|t|^2$, this is \begin{align*} s_1([1:t])=\frac{(1/t,1)}{\sqrt{1+1/|t|^2}}. \end{align*} Because $1+1/|t|^2=(|t|^2+1)/|t|^2$, we get \begin{align*} s_1([1:t])=\frac{|t|}{\sqrt{1+|t|^2}}(1/t,1). \end{align*} Since $(|t|/t)(1,t)=(|t|/t,|t|)$, the last expression is \begin{align*} s_1([1:t])=\frac{|t|/t}{\sqrt{1+|t|^2}}(1,t). \end{align*} Therefore \begin{align*} s_1([1:t])=s_0([1:t])\cdot\frac{|t|}{t}. \end{align*} The transition function on the overlap is \begin{align*} g_{01}(t)=\frac{|t|}{t}\in U(1). \end{align*} This exhibits the Hopf fibration as a principal $U(1)$-bundle: the action is free, its orbits are the fibres, and the standard local sections differ by a $U(1)$-valued transition function. Along the circle $|t|=1$, the transition function is \begin{align*} g_{01}(e^{i\theta})=e^{-i\theta}, \end{align*} so it winds once around $U(1)$. A global product $S^3\cong\mathbb{CP}^1\times U(1)$ would give a global section and hence would remove this transition function by compatible local $U(1)$-valued changes of section; the winding-one transition cannot be removed in that way. Thus the Hopf fibration is locally a product principal bundle, but not globally a product. [/example]

[illustration:hopf-fibration-transition]