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.

Four-Impurity Operators and String Field Theory Vertex in the BMN Correspondence

String Interactions in A Pp Wave from N=4 Super Yang-Mills Theory

Free BMN correlators with more stringy modes

The Dilatation Operator of Conformal N=4 Super Yang-Mills Theory

Non-Perturbative Contributions in the Plane-Wave/BMN Limit

Berenstein-Maldacena-Nastase Operators with a Scalar Fermion Pair and Operator Mixing Inn=4super Yang-Mills Theory

Strings on Bubbling Geometries

Three-point Functions of N=4 Super-Yang–mills from Light Cone String Field Theory in Pp-Wave

Note on <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mrow><mml:mi>S</mml:mi></mml:mrow></mml:math> -channel factorization in multitrace Berenstein-Maldacena-Nastase correlators

Open Strings from N=4 Super Yang-Mills

A Confining String Theory Derivable from Yang-Mills Theory due to a Novel Vacuum Condensate

Note on S-channel Factorization in Multitrace Berenstein-Maldacena-Nastase Correlators

Single Particle Operators and their Correlators in Free $\mathcal{N}=4$ SYM

Double excitations in the AdS(5)/CFT(4) integrable system and the Lagrange operator

Gauge theory loop operators and Liouville theory

BPS Operators in N=4 SYM: Calogero Models and 2D Fermions

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

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

A Note on S-channel Factorization in Multi-Trace BMN Correlators

Operator-state correspondence in simple current extended conformal field theories: Toward a general understanding of chiral conformal field theories and topological orders

Boundaries and Defects of N=4 SYM with 4 Supercharges, Part II: Brane Constructions and 3d N=2 Field Theories