Supersymmetric gauge theories, quantization of moduli spaces of flat connections, and conformal field theory
G. Vartanov, J. Teschner
TL;DR
The work develops a cohesive framework connecting four-dimensional N=2 class S gauge theories to Liouville conformal field theory by viewing the instanton partition function ${\\mathcal{Z}}^{\text{inst}}$ as a wavefunction in the zero-mode quantum mechanics of the quantized moduli space ${\\mathcal{M}}_{\\text{flat}}(C)$. It constructs two natural Darboux coordinate systems for ${\\mathcal{M}}_{\\text{flat}}(C)$, derives explicit kernels for duality transformations (S-, B-, F-, Z-moves) forming a projective unitary representation of the Moore–Seiberg groupoid, and identifies these kernels with Liouville conformal blocks. The paper then shows how the quantum Teichmüller theory provides a common language for both the gauge-theoretic and Liouville pictures, yielding a detailed Riemann–Hilbert problem whose solution is provided by Liouville theory. By embedding these results into the Omega-deformed gauge theory framework of Nekrasov and Witten, it offers a conceptual derivation of the AGT correspondence and clarifies the scheme-dependence arising from UV regularization. Overall, the work forges deep connections between gauge theory, quantum geometry of flat connections, Teichmüller theory, and Liouville CFT, with significant implications for non-perturbative dynamics and duality in supersymmetric systems.
Abstract
We will propose a derivation of the correspondence between certain gauge theories with N=2 supersymmetry and conformal field theory discovered by Alday, Gaiotto and Tachikawa in the spirit of Seiberg-Witten theory. Based on certain results from the literature we argue that the quantum theory of the moduli spaces of flat SL(2,R)-connections represents a non-perturbative "skeleton" of the gauge theory, protected by supersymmetry. It follows that instanton partition functions can be characterized as solutions to a Riemann-Hilbert type problem. In order to solve it, we describe the quantization of the moduli spaces of flat connections explicitly in terms of two natural sets of Darboux coordinates. The kernel describing the relation between the two pictures represents the solution to the Riemann Hilbert problem, and is naturally identified with the Liouville conformal blocks.
