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.

On correlation functions of Wilson loops, local and non-local operators

Correlation functions, null polygonal Wilson loops, and local operators

Wilson Loops with Lagrangians: large spin OPE and cusp anomalous dimension dictionary

Wilson loop correlators at strong coupling in $\mathcal{N}=2$ quiver gauge theories

On anomalous conformal Ward identities for Wilson loops on polygon-like contours with circular edges

Gauge theory loop operators and Liouville theory

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

Missing local operators, zeros, and twist-4 trajectories

Wilson loop in 2d noncommutative gauge theories

Combinatorics of Wilson loops in $\mathcal{N}=4$ SYM theory

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

Correlation functions of determinant operators in conformal fishnet theory

Integrated correlators with a Wilson line in a $\mathcal{N}=2$ quiver gauge theory at strong coupling

The algebra of Wilson-'t Hooft operators

From combinatorial maps to correlation functions in loop models

1/2 BPS Wilson loops in non-conformal N = 2 gauge theories and localization: a three-loop analysis

On protected defect correlators in 3d $\mathcal{N}\ge4$ theories

Three-Loop OPE Wilson Coefficients of Dimension-Four Operators for (Axial-)Vector and (Pseudo-)Scalar Current Correlators

Relations between integrated correlators in $\mathcal{N}=4$ Supersymmetric Yang--Mills Theory

BPS Wilson loops in $\mathcal N \geq 2$ superconformal Chern-Simons-matter theories.

Entangled States of N Identical Particles