Abstract:We propose a correspondence between loop operators in a family of four dimensional \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$ \mathcal{N} $$\end{document} = 2 gauge theories on S4 — including Wilson, ‘t Hooft and dyonic operators — and Liouville theory loop operators on a Riemann surface. This extends the beautiful relation between the partition function of these \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$ \mathcal{N} $$\end{document} = 2 gauge theories and Liouville correlators found by Alday, Gaiotto and Tachikawa. We show that the computation of these Liouville correlators with the insertion of a Liouville loop operator reproduces Pestun’s formula capturing the expectation value of a Wilson loop operator in the corresponding gauge theory. We prove that our definition of Liouville loop operators is invariant under modular transformations, which given our correspondence, implies the conjectured action of S-duality on the gauge theory loop operators. Our computations in Liouville theory make an explicit prediction for the exact expectation value of ’t Hooft and dyonic loop operators in these \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$ \mathcal{N} $$\end{document} = 2 gauge theories. The Liouville loop operators are also found to admit a simple geometric interpretation within quantum Teichmüller theory as the quantum operators representing the length of geodesics. We study the algebra of Liouville loop operators and show that it gives evidence for our proposal as well as providing definite predictions for the operator product expansion of loop operators in gauge theory.

Deformed prepotential, quantum integrable system and Liouville field theory

Parallel surface defects, Hecke operators, and quantum Hitchin system

Painlevé Kernels and Surface Defects at Strong Coupling

Surface observables in gauge theories, modular Painlevé tau functions and non-perturbative topological strings

Hitchin Equation, Singularity, and N = 2 Superconformal Field Theories

Dualities and Discretizations of Integrable Quantum Field Theories from 4d Chern-Simons Theory

Non-perturbative approaches to the quantum Seiberg-Witten curve

Bispectral duality and separation of variables from surface defect transition

M-theoretic derivations of 4d-2d dualities: from a geometric Langlands duality for surfaces, to the AGT correspondence, to integrable systems

Quantum integrable systems from supergroup gauge theories

Quantum Analytic Langlands Correspondence

S-Duality, Deconstruction and Confinement for a Marginal Deformation of N=4 SUSY Yang-Mills

Gauge theory loop operators and Liouville theory

Deriving Non-Perturbative Gravity Dual of Quantum Liouville Theory from BCFT Operator Algebra

Quantum mechanical Liouville model with attractive potential

Quantum 2D Liouville Path-Integral Is a Sum over Geometries in AdS$_3$ Einstein Gravity

TBA equations and exact WKB analysis in deformed supersymmetric quantum mechanics

Tunneling Topological Vacua Via Extended Operators: (Spin-)Tqft Spectra and Boundary Deconfinement in Various Dimensions

Mordell-Weil Torsion, Anomalies, and Phase Transitions

Network and Seiberg Duality