[Paper Review] A Note on Quantum Geometric Langlands Duality, Gauge Theory, and Quantization of the Moduli Space of Flat Connections

Anton Kapustin|ArXiv.org|Nov 20, 2008

Black Holes and Theoretical Physics16 references14 citations

TL;DR

This paper establishes a gauge-theoretic derivation of the Quantum Geometric Langlands duality by relating A-brane categories on Hitchin moduli spaces of Higgs bundles to twisted D-modules on moduli spaces of flat connections via Montonen-Olive duality. It shows that the duality holds with a purely imaginary quantum parameter proportional to the inverse Planck constant, extending to the ramified case with parabolic structures.

ABSTRACT

Montonen-Olive duality implies that the categories of A-branes on the moduli spaces of Higgs bundles on a Riemann surface C for a pair of Langlands-dual groups are equivalent. We reformulate this as a statement about categories of B-branes on the quantized moduli spaces of flat connections for these groups. We show that it implies the statement of the Quantum Geometric Langlands duality with a purely imaginary ``quantum parameter'' which is proportional to the inverse of the Planck constant of the gauge theory. The ramified version of the story is also considered.

Motivation & Objective

• To provide a physical derivation of Quantum Geometric Langlands duality using N=4 supersymmetric gauge theory and topological twist.
• To relate the categories of A-branes on Hitchin moduli spaces to categories of twisted D-modules on moduli spaces of flat Gℂ-connections.
• To show that the duality holds with a purely imaginary quantum parameter proportional to the inverse Planck constant.
• To extend the duality to the ramified case with surface operators and parabolic structures.
• To clarify the role of the B-field and complex structure in the duality via the parameter τ and its dual.

Proposed method

• Use the topological twist of N=4 supersymmetric gauge theory to construct a dual pair of topological field theories with gauge groups G and L G.
• Identify the category of A-branes on the Hitchin moduli space MH(G,C) with the derived category of twisted D-modules on BunG(C) via the parameter q = θ/2π.
• Apply Montonen-Olive duality to relate A-brane categories on MH(G,C) and MH(L G,C) under the duality τ ↔ -1/(n𝔤 τ) and θ ↔ -1/θ.
• Introduce surface operators at points p₁,…,pₛ to realize the ramified case, leading to moduli spaces of parabolic Higgs bundles and local systems.
• Identify the cohomology class of the Kähler form and B-field on the moduli space of parabolic Higgs bundles in terms of τ, αₖ, and ηₖ.
• Quantize the algebra of boundary observables as holomorphic differential operators on a line bundle with first Chern class proportional to Imτ ⋅ (−e ⊕ ⊕αₖ* + i(Imτ)⁻¹ηₖ), leading to the quantum parameter q.

Experimental results

Research questions

• RQ1 How can Quantum Geometric Langlands duality be derived from gauge theory using Montonen-Olive duality?
• RQ2 What is the physical interpretation of the quantum parameter q in the context of quantized moduli spaces of flat connections?
• RQ3 How does the duality extend to the ramified case with parabolic structures and surface operators?
• RQ4 What is the role of the B-field and complex structure in the duality, and how are they related to the gauge theory parameters?
• RQ5 How does the quantization of the moduli space of flat Gℂ-connections relate to twisted D-modules with a purely imaginary quantum parameter?

Key findings

• The derived category of twisted D-modules on BunG(C) is equivalent to that on BunL G(C) when the quantum parameters satisfy qL = -1/(n𝔤 q), with n𝔤 = 1,2,3 depending on the Dynkin diagram.
• The quantum parameter q is identified as q = θ/2π, and in the dual theory, qL = -1/(n𝔤 q), which corresponds to a purely imaginary parameter in the quantum regime.
• In the ramified case with surface operators, the duality holds when τ and Lτ are related by ImLτ = 1/(n𝔤 Imτ), and the parabolic parameters satisfy Lαₖ = ηₖ, Lηₖ = -αₖ.
• The cohomology class of the B-field is [B/2π] = (-Reτ) ⊕ ⊕ηₖ, and the Kähler form satisfies [ωI/2π] = e ⊕ (-⊕αₖ*), both crucial for the duality structure.
• The quantized algebra of boundary observables is realized as holomorphic differential operators on a line bundle with first Chern class proportional to Imτ ⋅ (−e ⊕ ⊕(αₖ* + i(Imτ)⁻¹ηₖ)), which encodes the quantum parameter.
• The classical limit (large Imτ) recovers the geometric Langlands duality, while the quantum regime corresponds to the full QGL duality with complex q.