Gauge Theory and Langlands Duality

Edward Frenkel

DOI: https://doi.org/10.48550/arXiv.0906.2747

2009-06-16

Abstract:The Langlands Program was launched in the late 60s with the goal of relating Galois representations and automorphic forms. In recent years a geometric version has been developed which leads to a mysterious duality between certain categories of sheaves on moduli spaces of (flat) bundles on algebraic curves. Three years ago, in a groundbreaking advance, Kapustin and Witten have linked the geometric Langlands correspondence to the S-duality of 4D supersymmetric gauge theories. This and subsequent works have already led to striking new insights into the geometric Langlands Program, which in particular involve the Homological Mirror Symmetry of the Hitchin moduli spaces of Higgs bundles on algebraic curves associated to two Langlands dual Lie groups.

Representation Theory,High Energy Physics - Theory,Algebraic Geometry,Differential Geometry,Quantum Algebra

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: **How to connect the Langlands program in mathematics with electromagnetic duality (S - duality) in physics and reveal the profound relationship between them?**

### Background and Problems
1. **Langlands Program**:
- The Langlands program is a profound mathematical framework, aiming to describe Galois representations and motives through automorphic representations.
- In the case of function fields, the Langlands correspondence can be interpreted as the relationship between homomorphisms of Galois groups and certain automorphic representations.
- One of the key concepts is the **Langlands dual group** $ L G $, which is constructed by applying an involution operation to root data.

2. **Electromagnetic Duality (S - duality)**:
- In quantum physics, electromagnetic duality is manifested as the invariance of the classical Maxwell equations when the electric and magnetic fields are exchanged.
- In quantum theory, this duality extends to S - duality in non - Abelian gauge theories, in the form of:
$$
(G_c, g)\leftrightarrow (L G_c, 1/g)
$$
Here $ G_c $ is the gauge group, $ g $ is the coupling constant, and $ L G_c $ is its Langlands dual group.

3. **The Bridge between Mathematics and Physics**:
- The core problem of the paper is: **Is the Langlands duality related to S - duality in physics?**
- If there is a connection, it may provide new non - perturbative tools for quantum field theory and deepen the understanding of the geometric Langlands correspondence.

---

### Main Objectives
The paper attempts to solve the problem through the following steps:
1. **Geometric Langlands Correspondence**:
- Generalize the Langlands program to a geometric context and study the relationship between flat $ L G $ - bundles and Hecke eigensheaves.
- The geometric Langlands conjecture is stated as: for any flat $ L G $ - bundle $ E $, there exists a non - zero D - module $ F_E $ that satisfies specific Hecke properties.

2. **Categorified Version**:
- Propose a stronger categorified version: establish an equivalence at the level of derived categories:
$$
\text{Loc}_{L G}\leftrightarrow \text{Bun}_G
$$
That is, the equivalence between the O - module derived category of flat $ L G $ - bundles and the D - module derived category of $ G $ - bundles.

3. **Physical Perspective**:
- The work of Kapustin and Witten shows that the geometric Langlands correspondence can be understood through the S - duality of 4D supersymmetric Yang - Mills theory.
- S - duality not only explains the emergence of the Langlands dual group but also provides a research tool for the strong - coupling region in quantum field theory.

---

### Conclusion
The goal of the paper is to reveal the deep connection between the Langlands program and quantum field theory by combining mathematical and physical methods. This not only helps to understand the geometric realization of the Langlands program but also provides a new research direction for quantum field theory.