Advanced topics in gauge theory: mathematics and physics of Higgs bundles

These notes from a 2019 PCMI mini-course provide an advanced overview of Higgs bundles, covering their fundamental properties, the Hitchin fibration, and the study of branes within the moduli space of complex Higgs bundles along with their connections to flat connections, representations, and mathematical correspondences.

The Gist

Imagine you are an architect trying to design a city. In mathematics and physics, the "city" is a complex shape called a moduli space. It's a place where every single point represents a different possible version of a mathematical object (like a twisted rubber band or a specific type of knot).

This paper, written by Laura P. Schaposnik, is like a tour guide's handbook for a very special, high-tech city called the Higgs Bundle City. It explains how to navigate this city, what the buildings look like, and how different parts of the city are secretly connected to each other.

Here is a breakdown of the paper's main ideas using simple analogies:

1. What is a Higgs Bundle? (The "Twisted Suitcase")

Think of a Higgs bundle as a suitcase (the vector bundle) traveling along a path (a Riemann surface, which is like a donut or a pretzel shape).

• The Suitcase: It holds data (like numbers or directions).
• The Twist (The Higgs Field): Inside the suitcase, there is a special mechanism (the Higgs field) that twists the contents as the suitcase moves.
• The Rule: Not every suitcase is allowed in the city. Only "stable" suitcases are allowed. A stable suitcase is one that doesn't fall apart or get too heavy in one specific spot. If it's too heavy in one corner, it's "unstable" and gets kicked out of the city.

The paper starts by defining these suitcases and explaining the rules for who gets to live in the city (the Moduli Space).

2. The Hitchin Fibration (The "Elevator System")

The city is huge and complicated. How do you explore it? The author introduces the Hitchin Fibration, which acts like a giant elevator system.

• The Elevator Shaft: There is a central shaft (called the Hitchin Base) that goes up and down.
• The Floors: Each floor in the elevator corresponds to a specific "recipe" or set of numbers (invariants) that describe the suitcases.
• The Magic: If you pick a specific recipe (a point on the floor), the elevator takes you to a specific room (a fiber) containing all the suitcases that match that recipe.
• The Surprise: These rooms aren't just random piles of suitcases. They are perfectly organized, smooth, and symmetrical (mathematically, they are "abelian varieties"). It's like finding that every room in a chaotic hotel is actually a perfectly arranged library.

3. The Spectral Curve (The "Shadow Map")

How do we understand what's inside these elevator rooms? The paper uses a concept called the Spectral Curve.

• Imagine shining a light through your suitcase. The shadow it casts on the wall is the Spectral Curve.
• This shadow is a new shape (a curve) drawn on the path.
• The Key Insight: Instead of trying to understand the complicated suitcase directly, you can just study its shadow. If you know the shape of the shadow and how the light hits it, you can perfectly reconstruct the suitcase. This turns a hard 3D problem into an easier 2D problem.

4. Branes (The "Special Zones")

The city has different neighborhoods, or "Branes." These are special sub-zones where the suitcases follow extra rules.

• Real Forms: Some suitcases are made of "real" materials (like wood) rather than "complex" materials (like glass). These form a specific neighborhood.
• Symmetry: The paper looks at what happens if you flip the city upside down (an involution). Some suitcases look the same after the flip; these form a special line or surface within the city.
• Types of Branes: The author categorizes these zones based on how they interact with the city's geometry. Some are like solid walls (B-branes), and others are like slippery slides (A-branes).
• Why it matters: In physics (specifically String Theory), these branes represent different types of particles or forces. Understanding the shape of these zones helps physicists understand how the universe works.

5. Correspondences (The "Secret Handshakes")

The most exciting part of the paper is about Correspondences. This is where the author shows that two completely different cities are actually the same place, just viewed from different angles.

• Mirror Symmetry: Imagine looking at a city in a mirror. The reflection looks different, but it's the same city. The paper explains how a city of "complex" suitcases is the mirror image of a city of "flat" connections (another type of mathematical object).
• The Langlands Program: This is a famous, difficult puzzle in math. The paper suggests that by looking at these mirror cities and their "branes," we can solve parts of this puzzle. It's like realizing that two different languages are actually describing the same story, and if you learn the translation, you can understand both.
• Polygons and Quivers: The author also connects these suitcases to Polygons (shapes with many sides) and Quivers (diagrams of dots and arrows). It turns out that the rules for arranging suitcases are the same as the rules for arranging polygons or drawing these diagrams. It's like discovering that the recipe for a cake is the same as the recipe for a specific type of origami.

Summary

In simple terms, this paper is a map for a very complex mathematical landscape.

1. It defines the objects: Suitcases with twisting mechanisms.
2. It builds the map: Using elevators (fibrations) and shadows (spectral curves) to organize the chaos.
3. It finds the special zones: Identifying neighborhoods (branes) where the rules change.
4. It connects the dots: Showing that this landscape is secretly linked to other famous problems in math and physics (like the Langlands program and String Theory).

The ultimate goal is to show that mathematics is a unified web. By understanding the geometry of these "Higgs bundles," we gain insights into the fundamental structure of the universe, from the shape of space-time to the behavior of elementary particles.

Technical Summary

Based on the lecture notes by Laura P. Schaposnik, here is a detailed technical summary of the paper "Advanced topics in gauge theory: mathematics and physics of Higgs bundles."

1. Problem Statement

The paper addresses the complex geometric and topological structure of the moduli space of Higgs bundles ($M_{G_C}$) over a compact Riemann surface $\Sigma$. While the foundational work of Hitchin and Simpson established $M_{G_C}$ as a hyperkähler manifold diffeomorphic to the moduli space of flat connections (via the non-abelian Hodge correspondence) and surface group representations (via the Riemann-Hilbert correspondence), several advanced questions remain:

• How can the geometry of $M_{G_C}$ be explicitly understood through integrable systems?
• What is the structure of specific subspaces (branes) within $M_{G_C}$ defined by real forms, involutions, or group actions?
• How do these subspaces relate to mirror symmetry, the geometric Langlands program, and singularities in the moduli space?
• How do generalizations of Higgs bundles (parabolic, wild, and real forms) interact with spectral data and correspondences?

2. Methodology

The author employs a synthesis of differential geometry, algebraic geometry, and mathematical physics. The core methodologies include:

• Spectral Data and the Hitchin Fibration: The primary tool is the Hitchin fibration $h: M_{G_C} \to \mathcal{A}_{G_C}$, where the base $\mathcal{A}_{G_C}$ consists of invariant polynomials of the Higgs field. The fibers are analyzed using spectral curves (defined by the characteristic polynomial of the Higgs field) and line bundles (or vector bundles) on these curves.
• Stability Conditions: The construction of moduli spaces relies on Geometric Invariant Theory (GIT), utilizing stability conditions (stable, semi-stable, polystable) for vector bundles and Higgs fields, extended to principal bundles, real forms, and parabolic/wild cases.
• Involutionary Fixed Points: The study of "branes" (Lagrangian or complex submanifolds) is conducted by analyzing fixed-point sets of involutions acting on the moduli space. These involutions arise from:
  • Anti-holomorphic involutions on the Riemann surface $\Sigma$.
  • Cartan involutions on the Lie group $G_C$.
  • Finite group actions on $\Sigma$.
• Correspondences: The paper utilizes group isogenies (e.g., $SL(2) \times SL(2) \cong SO(4)$) and Langlands duality to map between different moduli spaces and brane types.
• Quiver Varieties: The relationship between Higgs bundles and polygon/hyperpolygon spaces is explored via quiver representations and hyperkähler quotients.

3. Key Contributions and Results

A. Geometry of the Moduli Space and Hitchin Fibration

• Integrable Systems: The Hitchin fibration is established as an integrable system where generic fibers are abelian varieties (Jacobians or Prym varieties of spectral curves).
• Spectral Curves: For classical groups, the spectral curve $S$ is defined by $\det(\eta - \Phi) = 0$. The paper details how the genus of $S$ and the structure of the fiber depend on the group type (e.g., $SL(n)$ fibers are Prym varieties; $SO(2n)$ fibers involve desingularized curves with involutions).
• Singular Locus: The paper analyzes the "nilpotent cone" (the fiber over 0) and other singular fibers. It discusses how the compactified Jacobian arises when spectral curves are singular but integral, and how non-abelian spectral data appears for certain real forms.

B. Classification of Branes

The notes provide a systematic classification of branes (submanifolds supporting sheaves) based on their type $(A, B)$ with respect to the three complex structures $(I, J, K)$ of the hyperkähler manifold:

• $(B, B, B)$-branes: Arise from finite group actions on $\Sigma$. The fixed points of these actions correspond to equivariant Higgs bundles, often related to Prym varieties of quotient curves.
• $(B, A, A)$-branes: Correspond to real Higgs bundles (fixed points of Cartan involutions).
  • Split Real Forms: Intersect regular fibers at 2-torsion points (discrete).
  • Non-Split Real Forms: Often lie over the discriminant locus (singular fibers). The paper introduces "non-abelianization" for groups like $Sp(2p, 2p)$ and $SO(2p, H)$, where spectral data involves rank 2 bundles on spectral curves rather than line bundles.
  • Cayley and Langlands Correspondences: For groups like $SO(p+q, p)$, the brane structure requires a mix of abelian (line bundles) and non-abelian (vector bundles) spectral data.
• $(A, B, A)$-branes: Arise from real structures (anti-holomorphic involutions) on the Riemann surface $\Sigma$. These are Lagrangian with respect to $I$ and complex with respect to $J$. Their intersection with the Hitchin fibration yields Lagrangian fibrations with singularities, and their components are counted using fixed-point data of the involution on the spectral curve.
• $(A, A, B)$-branes: Associated with pseudo-real Higgs bundles.

C. Correspondences and Dualities

• Isogenies: The paper constructs explicit maps between moduli spaces of different groups (e.g., $SL(2) \times SL(2) \to SO(4)$) using tensor products of bundles and Higgs fields, analyzing how spectral curves and line bundles transform under these maps.
• Langlands Duality: The notes discuss the mirror symmetry between $M_{G_C}$ and $M_{L_{G_C}}$ (Langlands dual). It highlights the conjecture that the dual of a $(B, A, A)$-brane (real forms) is a $(B, B, B)$-brane (complex submanifold) in the dual moduli space, specifically related to the group associated with the Lie algebra of the maximal compact subgroup.
• Hyperpolygons: The paper identifies moduli spaces of parabolic Higgs bundles on $\mathbb{P}^1$ with hyperpolygon spaces (hyperkähler quotients of quiver representations), linking gauge theory to polygon spaces in Euclidean space.

D. Generalizations

• Parabolic Higgs Bundles: Extended to include marked points with weights, relevant for representations of the fundamental group of punctured surfaces.
• Wild Higgs Bundles: Discussed in the context of irregular singularities (poles of order $>1$), linking to Painlevé equations and Stokes phenomena. The notes introduce "tentacles" and Stokes matrices to describe the monodromy data for these bundles.

4. Significance

This work serves as a comprehensive bridge between pure mathematics and theoretical physics:

• Mathematical Impact: It unifies diverse areas including algebraic geometry (moduli spaces, spectral curves), representation theory (surface groups, Langlands program), and topology (hyperkähler geometry, branes). It provides explicit geometric descriptions of previously abstract correspondences, particularly for non-split real forms and singular fibers.
• Physical Impact: The notes elucidate the role of Higgs bundles in the Geometric Langlands program and Mirror Symmetry. The classification of branes is crucial for understanding S-duality in $N=4$ Super Yang-Mills theory (Kapustin-Witten). The connection to Painlevé equations via wild Higgs bundles links gauge theory to integrable systems in mathematical physics.
• Pedagogical Value: As a set of lecture notes from the PCMI Summer School, it provides a structured entry point for graduate students into advanced topics, offering problem sets that guide the reader through the construction of spectral data, the analysis of involutions, and the exploration of correspondences.

In summary, Schaposnik's notes offer a rigorous technical framework for understanding the moduli space of Higgs bundles not just as a static object, but as a dynamic system of fibrations, dualities, and submanifolds that encode deep relationships between geometry, topology, and physics.