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.

Three-loop critical exponents, amplitude functions, and amplitude ratios from variational perturbation theory

Loops of Loops Expansion in the Amplituhedron

Gauge theory loop operators and Liouville theory

The Three-Point Form Factor of $\textrm{Tr}\,ϕ^3$ to Six Loops

Two-Loop Divergences of Massive Scattering Amplitudes in Non-Abelian Gauge Theories

The Algebraic Structure of the KLT Relations for Gauge and Gravity Tree Amplitudes

Loop amplitudes in the Coulomb branch of = 4 super-Yang-Mills theory

Three-loop evolution kernel for transversity operator

Evaluating one-loop string amplitudes

Field Theory Expansions of String Theory Amplitudes

Multiloop Euler-Heisenberg Lagrangians, Schwinger pair creation, and the QED N - photon amplitudes

Loop Amplitudes in the Coulomb Branch of $\mathcal{N}=4$ Super-Yang-Mills Theory

Triangular tessellations of one-loop scattering amplitudes in $ϕ^3$ theory

Loop operators in three-dimensional N = 2 fishnet theories

A KLT-like construction for multi-Regge amplitudes

Toward Exact Critical Exponents from the low-order loop expansion of the Effective Potential in Quantum Field Theory

Locally Finite Two-Loop Amplitudes for Off-Shell Multi-Photon Production in Electron-Positron Annihilation

On the finite basis topologies for multi-loop high-multiplicity Feynman integrals

Critical loop models are exactly solvable

Two and three-point functions in Liouville theory