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.

AGT relation in the light asymptotic limit

$p \to \infty$ limit of tachyon correlators in $(2,2p+1)$ minimal Liouville gravity from classical Liouville theory

The light asymptotic limit of conformal blocks in $\mathcal{N}=1$ super Liouville field theory

All-loop Heavy-Heavy-Light-Light correlators in = 4 super Yang-Mills theory

All-loop heavy-heavy-light-light correlators in $\mathcal{N}=4$ super Yang-Mills theory

Four-point correlators in = 4 SYM from AdS5 bubbling geometries

Exact results for giant graviton four-point correlators

Four-point correlators in N=4 SYM from AdS$_5$ bubbling geometries

On the Liouville Approach to Correlation Functions for 2-D Quantum Gravity

Holographic correlators with BPS bound states in $\mathcal{N} = 4$ SYM

Large charge 't Hooft limit of = 4 super-Yang-Mills

Two-loop five-point integrals: light, heavy and large-spin correlators

Large Charge 't Hooft Limit of $\mathcal{N}=4$ Super-Yang-Mills

Soft Limits of Gluon and Graviton Correlators in Anti-de Sitter Space

Asymptotic Symmetries for Logarithmic Soft Theorems in Gauge Theory and Gravity

From Liouville to Chern-Simons, Alternative Realization of Wilson Loop Operators in AGT Duality

Gauge theory loop operators and Liouville theory

Two loop five point integrals: light, heavy and large spin correlators

Partial Differential Equations for MHV Celestial Amplitudes in Liouville Theory

Exceptionally simple integrated correlators in $\mathcal{N}=4$ supersymmetric Yang-Mills theory

5d AGT correspondence of supergroup gauge theories from quantum toroidal $\mathfrak{gl}_{1}$