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.

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

Gauge theory loop operators and Liouville theory

String Theory Duals of Wilson Loops from Higgsing

SL(2,C) Chern-Simons Theory, a non-Planar Graph Operator, and 4D Loop Quantum Gravity with a Cosmological Constant: Semiclassical Geometry

Holographic Operator Product Expansion of Loop Operators in $\mathcal{N}=4$ $SO(N)$ Super Yang-Mills Theory

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

Exact Results for Wilson Loops in Orbifold ABJM Theory

More Fermionic Supersymmetric Wilson loops in Four Dimensions

Supersymmetric Wilson loops in \( \mathcal{N}=4 \) super Chern-Simons-matter theory

The algebra of Wilson-'t Hooft operators

Wilson Loop Duality and OPE for Super Form Factors of Half-BPS Operators

On the D5-brane description of $\frac{1}{4}$-BPS Wilson loops in $\mathcal{N}=4$ super Yang-Mills theory

A Note on Wilson Loop in N=2 Quiver/M theory Gravity Duality

BPS Wilson Loops in 𝒩 ≥ 2 Superconformal Chern-Simons-matter Theories

Entangled States of N Identical Particles

Novel BPS Wilson Loops in Three-Dimensional Quiver Chern–Simons-matter Theories

Equivariant Verlinde Algebra from Superconformal Index and Argyres–Seiberg Duality

The microlensing events in Q2237+0305A: No case against small masses/large sources

Wilson Loop in N=2 Quiver/ M Theory Gravity Duality

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