Hitchin systems and their quantization

This paper presents expanded lecture notes from the Beijing Summer Workshop in Mathematics and Mathematical Physics (BIMSA-2024) that provide a comprehensive overview of Hitchin systems and their quantization.

The Gist

Imagine you are trying to understand the hidden "music" of the universe. In mathematics and physics, there are special systems called Integrable Systems. Think of these as perfectly tuned musical instruments where, no matter how you play them, the notes always harmonize in a predictable, non-chaotic way.

This paper, written by Pavel Etingof and Henry Liu, is a guidebook to one of the most important and beautiful instruments in modern mathematics: the Hitchin System.

Here is the story of the paper, broken down into simple concepts and analogies.

1. The Stage: The "Bundle" (The Fabric of Space)

To understand the Hitchin system, we first need to understand a Principal G-bundle.

• The Analogy: Imagine a long, winding road (a curve). Now, imagine that at every single point on this road, there is a small, spinning top (a group of symmetries, like a circle or a sphere).
• The Bundle: A "bundle" is the collection of all these spinning tops glued together along the road. Sometimes they twist around each other as you move down the road; sometimes they stay straight.
• The Goal: Mathematicians want to study the "Moduli Space," which is like a giant map of all possible ways these spinning tops can be twisted and glued together. This map is the stage where our story happens.

2. The Actors: Higgs Fields (The Energy)

Once we have our bundle (the road with spinning tops), we introduce a new character: the Higgs Field.

• The Analogy: Imagine the spinning tops aren't just spinning; they are also vibrating with energy. The Higgs field is a map that tells you exactly how much energy is vibrating at every point on the road.
• The Pair: A "Higgs Pair" is the combination of the twisted road (the bundle) and the energy map (the Higgs field). This pair lives on a special landscape called the Cotangent Bundle.

3. The Main Event: The Hitchin System (The Magic Map)

In 1987, Nigel Hitchin discovered a magical way to look at these Higgs pairs. He found that you can project this complex, high-dimensional landscape onto a much simpler, flat surface (called the Hitchin Base).

• The Analogy: Imagine you have a giant, complicated 3D sculpture (the Higgs pairs). Hitchin found a special light source. When you shine this light, the sculpture casts a shadow on a flat wall.
• The Magic: The shadow is simple. But here is the miracle: if you know the shape of the shadow, you can almost perfectly reconstruct the original 3D sculpture.
• Why it matters: This projection turns a chaotic, hard-to-solve problem into a set of simple, independent equations. In physics, this is called an Integrable System. It means the system is "solvable" and predictable, like a clockwork mechanism rather than a storm.

4. The Twist: Spectral Curves (The Hidden DNA)

How does the projection work? It uses something called a Spectral Curve.

• The Analogy: Think of the Higgs field as a complex machine with many gears. The "Spectral Curve" is like the blueprint or the DNA of that machine. It's a new, simpler curve that encodes all the information about the complex vibrations.
• The Result: The paper explains that for almost every configuration of the system, this spectral curve is a smooth, beautiful shape. The "shadow" (the Hitchin Base) is just a collection of these curves.

5. The Upgrade: Quantization (From Classical to Quantum)

The first half of the paper explains the "Classical" Hitchin system (like a classical guitar). The second half, which is very advanced, explains how to Quantize it (turning it into a quantum guitar).

• The Problem: In the quantum world, things don't commute. If you measure position, you mess up momentum. You can't just copy the classical rules; you need new rules.
• The Solution: The authors explain how to use "Twisted Differential Operators."
  • The Analogy: Imagine you are trying to write a song. In the classical world, you write notes on a sheet of paper. In the quantum world, the paper itself is slightly warped, and the notes interact with the warp.
  • The Breakthrough: The paper shows that the "quantum" version of the Hitchin system is controlled by something called Opers.
  • Opers: These are like special, rigid musical scores that dictate exactly how the quantum system behaves. They are the "quantum DNA."

6. The Grand Connection: Langlands Duality

The paper ends with a stunning revelation. The "quantum DNA" (Opers) of one system is actually the "classical DNA" (Hitchin Base) of a different, "dual" system.

• The Analogy: Imagine you have a mirror. If you look at a complex machine in the mirror, you see a different machine. But the mirror image holds the secret to how the original machine works.
• The Significance: This connection is the heart of the Geometric Langlands Program, a massive mathematical theory that connects number theory, geometry, and physics. The Hitchin system is the bridge that allows mathematicians to walk from one side of the river to the other.

Summary

This paper is a journey from the concrete to the abstract:

1. Bundles: We start with twisted roads and spinning tops.
2. Hitchin System: We find a way to project these complex shapes onto a simple map, making them solvable.
3. Quantization: We learn how to translate this map into the language of quantum mechanics using "Opers."
4. Duality: We discover that this quantum map is secretly the same as the classical map of a different, "twin" universe.

It is a story about finding order in chaos, simplicity in complexity, and hidden connections between seemingly unrelated worlds. The authors have taken a very difficult, high-level topic and provided a roadmap for students and researchers to understand how these mathematical giants fit together.

Technical Summary

Based on the provided text, here is a detailed technical summary of the paper "Hitchin systems and their quantization" by Pavel Etingof and Henry Liu.

1. Problem Statement

The paper addresses the foundational theory of Hitchin integrable systems, which are finite-dimensional complex integrable systems associated with a reductive group $G$ and a smooth projective curve $X$. The central problems tackled are:

• Geometric Construction: How to rigorously define the moduli space of principal $G$-bundles ($\text{Bun}_G(X)$) and its cotangent bundle (the phase space of Higgs pairs), particularly dealing with the stacky nature of these spaces and the existence of automorphisms.
• Integrability: Proving that the Hitchin map, which sends a Higgs pair to a set of spectral invariants, defines a completely integrable system (i.e., the Hamiltonians are in involution and functionally independent).
• Quantization: Constructing a quantum version of these systems. This involves overcoming the "quantum anomaly" where the center of the universal enveloping algebra of the loop algebra is trivial at generic levels. The goal is to identify the quantum Hamiltonians with global twisted differential operators on the moduli space, linking them to the theory of Opers and the Geometric Langlands Correspondence.

2. Methodology

The authors employ a blend of algebraic geometry, representation theory of affine Lie algebras, and mathematical physics:

• Moduli of Bundles:

  • The paper establishes the classification of $G$-bundles using clutching functions and Cech cohomology.
  • It utilizes the double quotient construction (Beilinson-Drinfeld realization): $\text{Bun}_G(X) \cong G(k(X)) \backslash \prod' G(K_x) / \prod G(\mathcal{O}_x)$, drawing analogies to arithmetic quotients in number theory (adeles).
  • Stability conditions (Mumford-Takemoto stability) are used to isolate a smooth open subvariety $\text{Bun}^\circ_G(X)$ of stable bundles, which serves as the base for the integrable system.

• Classical Integrable Systems:

  • The phase space is identified as the cotangent bundle $T^*\text{Bun}^\circ_G(X)$, consisting of Higgs pairs $(E, \phi)$.
  • Hamiltonian Reduction: The authors use infinite-dimensional Hamiltonian reduction on the loop group $G(K)$ to descend invariant functions (Casimirs) to the moduli space.
  • Spectral Curves: Functional independence of the Hamiltonians is proven via the theory of spectral curves. For a generic point in the Hitchin base, the spectral curve is smooth and irreducible, and the fiber of the Hitchin map is identified with the Jacobian (or Prym variety) of this curve.

• Quantization:

  • The paper moves from classical differential operators to twisted differential operators (acting on sections of a square root of the canonical bundle, $K^{1/2}$).
  • It addresses the quantum anomaly by shifting the level of the affine Lie algebra to the critical level $k = -h^\vee$ (where $h^\vee$ is the dual Coxeter number).
  • At the critical level, the Sugawara construction yields a non-trivial center in the completed universal enveloping algebra of the affine Lie algebra.
  • Feigin-Frenkel Theorem: The authors invoke this theorem to show that the center of the algebra at the critical level is isomorphic to the algebra of functions on the space of Opers (specifically $^L G$-opers, where $^L G$ is the Langlands dual group).

3. Key Contributions

• Pedagogical Synthesis: The paper provides a comprehensive, self-contained introduction to the subject, bridging the gap between the classical Hitchin system (1987) and its modern quantization (Beilinson-Drinfeld, 2000s). It includes detailed proofs for the $GL_n$ case and outlines the general case.
• Explicit Construction of Quantization: It details how the quantum Hamiltonians arise as descendants of central elements in the affine algebra at the critical level. It explicitly constructs the isomorphism between the algebra of quantum Hamiltonians and the algebra of regular functions on the space of Opers.
• Generalization to Parabolic and Twisted Cases: The paper extends the theory to bundles with parabolic structures (marked points with level structures) and twisted Hitchin systems (reduction along coadjoint orbits). This recovers well-known integrable systems like the Garnier system and the elliptic Calogero-Moser system as specific examples.
• Resolution of the Quantum Anomaly: It clarifies why naive quantization fails (trivial center) and how the introduction of twisted differential operators and the critical level resolves this, providing a rigorous mathematical foundation for the "quantum anomaly" observed in physics.

4. Key Results

• Hitchin's Theorem: The Hitchin map $p: T^*\text{Bun}^\circ_G(X) \to \mathcal{B}$ is a Lagrangian fibration, defining a completely integrable system. The base $\mathcal{B}$ is the space of global sections of powers of the canonical bundle determined by the invariants of $G$.
• Spectral Curve Geometry: For generic $b \in \mathcal{B}$, the spectral curve $C_b$ is smooth and irreducible with genus $g(C_b) = n^2(g-1) + 1$ (for $GL_n$). The fibers of the Hitchin map are open subsets of the Jacobian of $C_b$.
• Quantization Isomorphism (Theorem 8.30): For a reductive group $G$, the algebra of global twisted differential operators on $\text{Bun}_G(X)$ is generated by the quantum Hitchin Hamiltonians. This algebra is isomorphic to the algebra of regular functions on the space of $^L G$-Opers on $X$ (where $^L G$ is the Langlands dual).
• Feigin-Frenkel Theorem Application: The center of the completed universal enveloping algebra $\widehat{U}_{-h^\vee}(\mathfrak{g}((t)))$ is generated by the Sugawara elements (and their higher-rank generalizations), which quantize the classical Hamiltonians.
• Examples: The paper explicitly derives the Garnier system (genus 0, parabolic) and the elliptic Calogero-Moser system (genus 1) as special cases of the twisted Hitchin system.

5. Significance

• Geometric Langlands Program: The quantization of Hitchin systems is a cornerstone of the Geometric Langlands Correspondence. The result that the quantum Hamiltonians correspond to Opers on the dual group ($^L G$) provides the "spectral" side of the correspondence, linking the geometry of $G$-bundles to the representation theory of the dual group.
• Analytic Langlands: The paper notes the relevance of these systems to the recently developed Analytic Langlands correspondence, where quantum Hitchin systems play a central role in the spectral decomposition of operators on the space of functions on the moduli stack.
• Supersymmetric Gauge Theory: The systems are deeply connected to the low-energy dynamics of 4D $\mathcal{N}=2$ supersymmetric gauge theories (Seiberg-Witten theory), providing a mathematical realization of physical dualities.
• Unification of Integrable Systems: The framework unifies a vast array of known integrable systems (Calogero-Moser, Garnier, etc.) under a single geometric umbrella, demonstrating their common origin in the geometry of moduli spaces of bundles.

In summary, this paper serves as a definitive technical guide to the classical and quantum Hitchin systems, elucidating the deep interplay between algebraic geometry, Lie theory, and integrable systems, and establishing the rigorous mathematical basis for the Geometric Langlands program.