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.

Two and three-point functions in Liouville theory

On Correlation Functions for Non-critical Strings with c<1 but d>1

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

Resurgence in Liouville Theory

Liouville field theory on genus 2 surfaces

Gauge theory loop operators and Liouville theory

Liouville Perturbation Theory

The complex Liouville string

A Two-Dimensional String Cosmology

The three point function in Liouville and $\mathcal{N}=1$ Super Liouville Theory

The complex Liouville string: the worldsheet

Two string theory flavours of generalised Eisenstein series

A new handle on three-point coefficients: OPE asymptotics from genus two modular invariance

Three-point correlation functions in the $\mathfrak{sl}_3$ Toda theory II: the Fateev-Litvinov formula

Liouville theorems for conformally invariant fully nonlinear equations. I

The complex Liouville string: the matrix integral

The linear property of genus-g, n-point, b-boundary, c-crosscap correlation functions in two-dimensional conformal field theory

Nambu-Goto string as a higher-derivative Liouville theory

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

Higher equations of motion at level 2 in Liouville CFT

Nonlocal correlation in L-functions