PMATH 965: Gauge Theory

Ruxandra Moraru

Estimated study time: 34 minutes

Table of contents

Sources and References

Kobayashi, S. Differential Geometry of Complex Vector Bundles (Princeton/Iwanami)
Donaldson, S. K. & Kronheimer, P. B. The Geometry of Four-Manifolds (Oxford)
Atiyah, M. F. & Bott, R. The Yang-Mills Equations over Riemann Surfaces (Phil. Trans. Royal Soc.)
Griffiths, P. & Harris, J. Principles of Algebraic Geometry (Wiley)
Huybrechts, D. Complex Geometry: An Introduction (Springer Universitext)
Wells, R. O. Differential Analysis on Complex Manifolds (Springer GTM 65)

Chapter 1: Vector and Principal Fibre Bundles

Fibre Bundles and Local Triviality

A fibre bundle \((E, \pi, B, F)\) consists of a total space \(E\), base space \(B\), projection \(\pi \colon E \to B\), and fibre \(F\), with the property that every point in \(B\) has a neighbourhood \(U\) such that \(\pi^{-1}(U) \cong U \times F\) via a local trivialization. The fibre over a point \(b \in B\) is \(E_b = \pi^{-1}(b) \cong F\).

Vector bundles are fibre bundles whose fibres are vector spaces. A rank-\(r\) complex vector bundle \(E \to B\) has fibres \(E_b \cong \mathbb{C}^r\). A transition function \(g_{\alpha\beta} \colon U_\alpha \cap U_\beta \to \text{GL}(r, \mathbb{C})\) satisfies the cocycle condition:

\[ g_{\alpha\beta} \cdot g_{\beta\gamma} = g_{\alpha\gamma} \quad \text{on } U_\alpha \cap U_\beta \cap U_\gamma. \]

Isomorphism classes of rank-\(r\) bundles are classified by Čech cohomology \(\check{H}^1(B, \text{GL}(r, \mathbb{C}))\).

Principal Bundles

A principal \(G\)-bundle \(P \to B\) has fibre isomorphic to the structure group \(G\) and admits a free and transitive right action of \(G\). A point in \(P_b = \pi^{-1}(b)\) is an abstract “point with a choice of trivialization” over \(b\). Locally, \(\pi^{-1}(U) \cong U \times G\).

Key relationship: An associated vector bundle \(E = P \times_\rho V\) is constructed from a principal bundle \(P\) and a representation \(\rho \colon G \to \text{GL}(V)\) by the quotient \((p, v) \sim (pg, \rho(g)^{-1}v)\). Conversely, a rank-\(r\) vector bundle with a choice of fibrewise basis (a frame bundle or principal \(\text{GL}(r)\)-bundle) determines a principal bundle structure.

Frame Bundles and Reduction of Structure Group

Given a rank-\(r\) vector bundle \(E \to B\), the frame bundle \(\text{Fr}(E) \to B\) has fibre over \(b\) equal to the set of ordered bases of \(E_b\), forming a principal \(\text{GL}(r, \mathbb{C})\)-bundle. A reduction of structure group from \(\text{GL}(r, \mathbb{C})\) to a subgroup \(H\) corresponds to a principal \(H\)-subbundle \(P \subset \text{Fr}(E)\) and exists if and only if \(E\) admits a compatible extra structure (e.g., a Hermitian metric reduces to \(\text{U}(r)\)).

Chapter 2: Connections and Curvature

Connections on Principal Bundles

A connection on a principal \(G\)-bundle \(P \to B\) is a \(\mathfrak{g}\)-valued 1-form \(\omega \in \Omega^1(P, \mathfrak{g})\) satisfying:

Equivariance: \(R_g^* \omega = \text{Ad}(g^{-1}) \omega\) for all \(g \in G\), where \(R_g\) is right multiplication by \(g\).
Verticality: \(\omega(X_\xi) = \xi\) for all \(\xi \in \mathfrak{g}\), where \(X_\xi\) is the fundamental vector field generated by \(\xi\).

The connection decomposes the tangent space \(T_p P = V_p P \oplus H_p P\) into vertical (fibre) and horizontal (lifted from base) subspaces. A local connection form on \(U \subset B\) is obtained by pulling back \(\omega\) to a trivialization.

Curvature Form

The curvature of a connection \(\omega\) is the \(\mathfrak{g}\)-valued 2-form:

\[ \Omega = d\omega + \tfrac{1}{2}[\omega, \omega]. \]

This satisfies the Bianchi identity:

\[ d\Omega + [\omega, \Omega] = 0. \]

A connection is flat if \(\Omega = 0\).

Connections on Vector Bundles

For a vector bundle \(E\), a connection is a differential operator \(\nabla \colon \Gamma(E) \to \Gamma(T^*B \otimes E)\) satisfying the Leibniz rule: \(\nabla(fs) = df \otimes s + f \nabla s\) for \(f \in C^\infty(B)\), \(s \in \Gamma(E)\).

In a local trivialization \(e_1, \ldots, e_r\), the connection is written as:

\[ \nabla e_j = \sum_i e_i \otimes \alpha_i{}^j \]

where \(\alpha = (\alpha_i{}^j) \in \Omega^1(U, \text{gl}(r, \mathbb{C}))\) is the local connection form. The curvature form is:

\[ R = d\alpha + \alpha \wedge \alpha \in \Omega^2(U, \text{gl}(r, \mathbb{C})). \]

Curvature operator: \(\nabla^2 \colon \Gamma(E) \to \Gamma(\Lambda^2 T^*B \otimes E)\) is defined by \(\nabla^2(s) = -R(s)\) and is tensorial (depends only on the point, not directional derivatives of \(s\)).

Chapter 3: Gauge Groups and Gauge Transformations

Gauge Group of a Vector Bundle

The gauge group \(\mathcal{G}(E)\) of a vector bundle \(E\) is the group of fibrewise automorphisms:

\[ \mathcal{G}(E) = \Gamma(\text{Aut}(E)) = \{g \colon E \to E : g_b \in \text{Aut}(E_b) \text{ for all } b \in B\}. \]

In a local trivialization, \(g \in C^\infty(U, \text{GL}(r, \mathbb{C}))\).

Action on Connections

A gauge transformation \(g \in \mathcal{G}(E)\) acts on connections by:

\[ \nabla^g = g^{-1} \nabla g, \]

which in local coordinates becomes:

\[ \alpha^g = g^{-1} \alpha g + g^{-1} dg. \]

This is an affine action: the space of connections is an affine space modeled on \(\Omega^1(B, \text{ad}(E))\), where \(\text{ad}(E) = E \times_{\text{Ad}} \mathfrak{gl}(r, \mathbb{C})\) is the adjoint bundle.

Moduli of Connections

Two connections are gauge equivalent if related by a gauge transformation. The moduli space of connections is:

\[ \mathcal{A}(E) / \mathcal{G}(E), \]

where \(\mathcal{A}(E)\) denotes the affine space of all connections on \(E\). This space is infinite-dimensional but often admits interesting finite-dimensional quotients when restricted to special classes of connections (e.g., anti-self-dual or Hermitian-Einstein).

Chapter 4: Covariant Derivatives and Holonomy

Covariant Differentiation

Given a connection \(\nabla\) on a vector bundle \(E\) and a vector field \(X\) on \(B\), the covariant derivative \(\nabla_X \colon \Gamma(E) \to \Gamma(E)\) acts on sections by:

\[ (\nabla_X s)(b) = \lim_{t \to 0} \frac{P_{X(b), t}(s(b+tX)) - s(b)}{t}, \]

where \(P\) denotes parallel transport. Abstractly, \(\nabla_X\) is characterized by:

Linearity in \(X\) and \(s\)
Leibniz rule: \(\nabla_X(fs) = (Xf) s + f \nabla_X s\)
Local formula: \(\nabla_X s = X(s^\alpha) e_\alpha + X^\lambda \alpha_\lambda{}^\alpha s_\beta e_\alpha\) (in local coordinates).

Parallel Transport and Holonomy

A section \(s\) along a curve \(\gamma \colon [0,1] \to B\) is parallel if \(\nabla_{\gamma'(t)} s(t) = 0\). Given a point \(b_0 \in B\) and an initial vector \(v \in E_{b_0}\), there exists a unique parallel section extending \(v\) along any curve starting from \(b_0\); this defines the parallel transport map:

\[ P_\gamma \colon E_{b_0} \to E_{b_1}, \quad \gamma(0) = b_0, \gamma(1) = b_1. \]

The holonomy group at a point \(b \in B\) is:

\[ \text{Hol}_b(\nabla) = \{P_\gamma : \gamma \text{ is a loop based at } b\} \subset \text{GL}(E_b). \]

The holonomy group is a Lie subgroup of \(\text{GL}(E_b)\), and its Lie algebra is generated by curvature 2-forms.

Ambrose-Singer theorem: The Lie algebra \(\mathfrak{hol}_b(\nabla)\) is generated by the values \(\{R_X^Y(b) : X, Y \in T_b B\}\) of the curvature form, evaluated at the base point.

Chapter 5: Sheaves and Sheaf Cohomology

Sheaves and Structure

A sheaf \(\mathcal{F}\) on a topological space \(X\) assigns to each open set \(U\) a module \(\mathcal{F}(U)\) (“sections over \(U\)”) with restriction maps \(\rho_U^V \colon \mathcal{F}(U) \to \mathcal{F}(V)\) for \(V \subseteq U\), satisfying locality and glueing axioms. A morphism \(f \colon \mathcal{F} \to \mathcal{G}\) is a natural transformation of the corresponding functors.

On a complex manifold \(X\), the structure sheaf \(\mathcal{O}_X\) assigns holomorphic functions; the tangent sheaf \(\Theta_X = \mathcal{O}_X \otimes \Omega_X^*\) consists of holomorphic vector fields (where \(\Omega_X^*\) is the sheaf of holomorphic 1-forms).

Sheaf Cohomology and Čech Cohomology

Given a sheaf \(\mathcal{F}\) and an open cover \(\mathcal{U} = \{U_\alpha\}_{\alpha \in I}\), the Čech cochain complex is:

\[ \prod_{\alpha_0} \mathcal{F}(U_{\alpha_0}) \xrightarrow{\delta} \prod_{\alpha_0 < \alpha_1} \mathcal{F}(U_{\alpha_0} \cap U_{\alpha_1}) \xrightarrow{\delta} \prod_{\alpha_0 < \alpha_1 < \alpha_2} \mathcal{F}(U_{\alpha_0} \cap U_{\alpha_1} \cap U_{\alpha_2}) \to \cdots \]

The Čech cohomology \(\check{H}^q(X, \mathcal{F})\) is the cohomology of this complex (independent of the choice of cover).

Key theorem: For a coherent sheaf \(\mathcal{F}\) on a complex manifold \(X\) and an affine open cover, Čech cohomology equals Dolbeault cohomology:

\[ \check{H}^q(X, \mathcal{F}) \cong H^{0,q}_{\bar{\partial}}(X, \mathcal{F}). \]

Applications to Vector Bundles

The sheaf of holomorphic sections \(\mathcal{O}(E)\) of a holomorphic vector bundle \(E\) has cohomology groups \(H^q(X, \mathcal{O}(E))\). Vanishing theorems (e.g., Kodaira vanishing) imply vanishing of \(H^i(X, \mathcal{O}(E))\) under positivity conditions on \(E\), which constrains the spaces of holomorphic sections.

Chapter 6: Characteristic Classes and Chern-Weil Theory

Chern-Weil Homomorphism

Let \(P \to B\) be a principal \(G\)-bundle with connection \(\omega\) and curvature \(\Omega\). The Chern-Weil homomorphism is a ring homomorphism:

\[ \text{CW} \colon I_G \to H^*(B; \mathbb{C}), \]

where \(I_G\) is the ring of \(G\)-invariant polynomials on \(\mathfrak{g}\), defined by:

\[ \text{CW}(P)(\Omega) = P\left(\frac{\Omega}{2\pi i}\right) \in \Omega^{2\deg(P)}(B). \]

The image is closed, giving a class in de Rham cohomology independent of the choice of connection.

Chern Classes

For a rank-\(r\) complex vector bundle \(E \to B\), the total Chern class is:

\[ c(E) = \det(I + \Omega/(2\pi i)) = 1 + c_1(E) + c_2(E) + \cdots + c_r(E), \]

where \(\Omega\) is the curvature of any connection on \(E\). The \(k\)-th Chern class \(c_k(E) \in H^{2k}(B; \mathbb{C})\) is independent of the choice of connection.

Chern character: The Chern character \(\text{ch}(E) = \text{tr} \exp(\Omega / 2\pi i)\) is a rational linear combination of Chern classes, taking values in \(\bigoplus_{k=0}^\infty H^{2k}(B; \mathbb{C})\).

Pontryagin Classes

For real vector bundles and the unitary group \(U(r)\), there are analogous Pontryagin classes \(p_k \in H^{4k}(B; \mathbb{R})\) obtained from invariant polynomials on \(\mathfrak{u}(r)\).

Chapter 7: Flat Connections and Representations of \(\pi_1\)

Flat Connections and Monodromy

A connection \(\nabla\) on a vector bundle \(E \to B\) is flat if its curvature vanishes: \(\Omega = 0\) (or equivalently \(R = 0\) in local coordinates). A flat connection is locally trivial: in a neighbourhood of each point, there exist sections forming a basis that are parallel with respect to \(\nabla\).

The monodromy homomorphism \(\rho \colon \pi_1(B, b_0) \to \text{GL}(E_{b_0})\) is defined by holonomy around loops. For a flat connection, the curvature vanishes and parallel transport depends only on the homotopy class of the path.

Equivalence with Representations

Theorem (Riemann-Hilbert correspondence): Flat connections on a trivial rank-\(r\) vector bundle over a simply-connected base are in bijection with trivializations (i.e., parallel frames are global). On a non-simply-connected base \(B\), flat connections on a trivial bundle correspond to representations:

\[ \pi_1(B, b_0) \to \text{GL}(r, \mathbb{C}). \]

The flat bundle \(E\) is the associated bundle \(\widetilde{B} \times_\rho \mathbb{C}^r\), where \(\widetilde{B}\) is the universal cover and \(\rho\) is a representation.

Holonomy Reduction

A flat connection on a vector bundle \(E\) reduces the holonomy group from \(\text{GL}(E_b)\) to discrete subgroups. Conversely, representations of \(\pi_1\) into Lie groups can be “exponentiated” to flat principal bundles.

Chapter 8: Metric Connections on Vector Bundles

Hermitian Metrics and Compatible Connections

A Hermitian metric on a complex vector bundle \(E\) is a smooth assignment of Hermitian inner products \(h_b \colon E_b \times E_b \to \mathbb{C}\) to each fibre. A connection \(\nabla\) is compatible (or metric) with \(h\) if:

\[ d \langle s, t \rangle = \langle \nabla s, t \rangle + \langle s, \nabla t \rangle \]

for sections \(s, t \in \Gamma(E)\).

In local coordinates with respect to an orthonormal frame, a compatible connection has curvature form \(\Omega = (\Omega_i{}^j)\) satisfying:

\[ \Omega_i{}^j + \overline{\Omega_j{}^i} = 0, \]

i.e., \(\Omega \in \Omega^2(U, \mathfrak{u}(r))\).

Chern Connections

For a holomorphic vector bundle \(E\) equipped with a Hermitian metric, there is a unique connection compatible with both the holomorphic and metric structures, called the Chern connection. This connection is characterized by:

Compatibility: \(\nabla h = 0\)
Holomorphicity: the \((0,1)\)-part of \(\nabla\) equals the \(\bar{\partial}\)-operator.

The curvature of the Chern connection is a \((1,1)\)-form with values in \(\mathfrak{u}(r)\).

Ricci Curvature and Kähler-Einstein

The Ricci curvature of a metric on a Kähler manifold \(X\) is defined via the determinant of the Chern curvature \(\Omega\) of the canonical bundle \(K_X\):

\[ \text{Ric}(\omega) = -\frac{1}{2\pi} \partial \bar{\partial} \log \det(\Omega_{\bar{\partial}}). \]

A Kähler metric is Kähler-Einstein if \(\text{Ric}(\omega) = \lambda \omega\) for some constant \(\lambda\).

Chapter 9: Yang-Mills Equations and Critical Points

Yang-Mills Functional

Given a principal \(G\)-bundle \(P \to X\) with a connection \(\nabla\) (equivalently, a vector bundle with a connection), the Yang-Mills functional is:

\[ \text{YM}(\nabla) = \int_X \|\Omega\|^2 \, dV, \]

where \(\|\Omega\|^2 = \text{tr}(\Omega \wedge *\Omega)\) is the norm-squared of the curvature, computed using a metric on \(X\) and the inner product on the Lie algebra \(\mathfrak{g}\).

A connection is a critical point (Yang-Mills connection) if the first variation of \(\text{YM}\) vanishes. The Euler-Lagrange equation for a critical point is:

\[ d^* \Omega = 0, \]

where \(d^*\) is the codifferential (adjoint of the exterior derivative).

Anti-Self-Dual Connections

In dimension 4, the Hodge star operator \(*\) on 2-forms satisfies \(* * = \text{id}\), so 2-forms decompose into self-dual and anti-self-dual parts: \(\Lambda^2 = \Lambda^+ \oplus \Lambda^-\). An anti-self-dual (ASD) connection satisfies:

\[ \Omega^+ = 0, \]

i.e., the self-dual part of the curvature vanishes.

Key fact: An ASD connection is automatically Yang-Mills (a critical point). The space of ASD connections is a finite-dimensional (or sometimes infinite-dimensional but more tractable) subspace of the infinite-dimensional space of all connections.

Moduli Spaces and Dimension Count

For a principal \(\text{SU}(2)\)-bundle \(P \to X\) on a 4-manifold \(X\), the moduli space of ASD connections has dimension:

\[ \dim M_{\text{ASD}} = 8k - 3(\text{rank}(P)) - b_1^+(X), \]

where \(k = c_2(P)\) (the instanton number) and \(b_1^+\) is the dimension of the space of self-dual 2-forms. This formula is central to Donaldson’s invariants.

Chapter 10: Hermitian-Einstein Connections and the Kobayashi-Hitchin Correspondence

Hermitian-Einstein Equations

Let \(E\) be a holomorphic vector bundle over a compact Kähler manifold \((X, \omega)\), equipped with a Hermitian metric \(h\). The Hermitian-Einstein equation is:

\[ \text{iΛ}\, \Omega = \lambda \, I_E, \]

where \(\Omega\) is the curvature of the Chern connection, \(\Lambda = i(L^* - L)\) is the contraction operator (adjoint to wedging with \(\omega\)), and \(\lambda = \pi c_1(E) \cdot \omega^{n-1} / \text{vol}(X)\) is a constant depending on the degree of \(E\).

A holomorphic vector bundle \(E\) is Hermitian-Einstein if there exists a metric \(h\) satisfying this equation.

Stability Conditions

A holomorphic vector bundle \(E\) is slope-stable (with respect to a polarization \(\omega\)) if for every proper subbundle \(F \subsetneq E\):

\[ \frac{\mu(F)}{\text{rank}(F)} < \frac{\mu(E)}{\text{rank}(E)}, \]

where \(\mu(E) = c_1(E) \cdot \omega^{n-1}\) is the degree. A bundle is slope-semistable if the inequality is non-strict; it is stable (in the Gieseker or Hilbert polynomial sense) if this holds for all quotients as well.

Kobayashi-Hitchin Correspondence

Theorem (Donaldson-Uhlenbeck-Yau): A holomorphic vector bundle \(E\) over a compact Kähler manifold admits a Hermitian-Einstein metric if and only if \(E\) is slope-stable (and polystable if semistable).

This is a fundamental bridge between differential geometry (existence of canonical metrics) and algebraic geometry (slope stability of coherent sheaves). The correspondence implies:

Hermitian-Einstein metrics are unique (if they exist) up to gauge equivalence
The moduli space of Hermitian-Einstein connections on a bundle of fixed topological type is diffeomorphic to a component of the moduli space of stable holomorphic structures on that bundle.

Chapter 11: Moduli Spaces and Stable Bundles

Moduli Spaces of Holomorphic Bundles

Let \(X\) be a compact complex surface or threefold. For fixed topological invariants (rank \(r\), Chern classes \(c_1, c_2\)), the moduli space:

\[ \mathcal{M}(r, c_1, c_2) = \{\text{stable holomorphic vector bundles with these invariants}\} / \sim \]

parametrizes isomorphism classes of stable bundles. This space is typically a quasi-projective variety.

Dimension formula: For a K3 surface and rank-2 bundles with \(c_1 = 0, c_2 = k\), the moduli space of stable bundles has dimension \(2k - 2\) (for \(k \geq 2\)), and for generic polarizations is smooth of this dimension.

Stability Walls and Chamber Decomposition

As the polarization (Kähler form) \(\omega\) varies, the notion of stability changes. The space of polarizations decomposes into chambers separated by walls where a bundle transitioning from stable to unstable (or vice versa) is semistable. The behavior at walls is captured by Bridgeland stability conditions, which generalize the notion of slope stability.

Compactifications and Deformation Theory

The moduli space of stable bundles is quasi-projective but often non-compact. Gieseker compactifications add semistable torsion-free sheaves at the boundary. Enriques compactifications use moduli of pure dimension-1 sheaves.

Deformation theory: The Zariski tangent space at a stable bundle \(E\) is:

\[ T_E \mathcal{M} \cong H^1(X, \text{ad}(E)), \]

where \(\text{ad}(E) = E^* \otimes E\) is the endomorphism bundle. Obstructions lie in \(H^2(X, \text{ad}(E))\); on surfaces and threefolds, this space is often finite-dimensional or zero by Serre duality.

Moduli of Hermitian-Einstein Connections

By the Kobayashi-Hitchin correspondence, the moduli space of Hermitian-Einstein metrics on bundles of fixed topological type is a finite-dimensional smooth variety (generically). This provides a differential-geometric perspective on algebraic moduli: canonical metrics on stable bundles are the “balanced” representatives.

Sources

Kobayashi, S. Differential Geometry of Complex Vector Bundles. Princeton University Press, 1987. [Primary reference for connections, curvature, and characteristic classes on complex bundles.]
Donaldson, S. K., and Kronheimer, P. B. The Geometry of Four-Manifolds. Oxford University Press, 1990. [Essential for anti-self-dual connections, Yang-Mills, and Donaldson invariants.]
Griffiths, P., and Harris, J. Principles of Algebraic Geometry. John Wiley & Sons, 1994. [Algebraic geometry background, sheaf cohomology, and holomorphic vector bundles.]
Freed, D. S., and Uhlenbeck, K. K. Instantons and Four-Manifolds. Springer-Verlag, 1991. [Gauge theory, moduli spaces, and anti-self-dual instantons.]
Huybrechts, D. Complex Geometry: An Introduction. Springer-Verlag, 2005. [Comprehensive treatment of holomorphic bundles, stability, and moduli.]
Fulton, W. Intersection Theory. Springer-Verlag, 1998. [Characteristic classes and computational tools in algebraic geometry.]
Voisin, C. Hodge Theory and Complex Algebraic Geometry I & II. Cambridge University Press, 2002/2003. [Sheaf cohomology, Dolbeault theory, and applications to bundles.]

Summary and Key Takeaways

This course develops gauge theory as the unified language of differential geometry on fibre bundles:

Foundations: Fibre bundles and principal bundles organize the geometric data; connections and curvature measure how bundle structure “twists” over the base.
Invariants: Characteristic classes, computed via Chern-Weil theory, are closed differential forms representing topological types and are independent of connection.
Representations and Topology: Flat connections correspond to representations of the fundamental group, linking topology to algebra.
Metric Geometry: Hermitian metrics and compatible connections on complex bundles enable optimization via Yang-Mills and Hermitian-Einstein equations.
Moduli and Stability: Slope stability in algebraic geometry is equivalent (by Kobayashi-Hitchin) to the existence of Hermitian-Einstein metrics, unifying differential-geometric canonicity with algebraic stability.
Dimension Reduction: In dimension 4, anti-self-dual instantons reduce Yang-Mills to a finite-dimensional problem with rich topology; moduli spaces carry Donaldson invariants.

The interplay of these themes shows gauge theory as a cornerstone connecting differential topology, algebraic geometry, and partial differential equations.