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.

Perturbative gauge theory and 2+2=4

Varieties of four-dimensional gauge theories

Geometries in perturbative quantum field theory

(0,4) dualities

Symmetric Group Gauge Theories and Simple Gauge/String Dualities

Wreathing, Discrete Gauging, and Non-invertible Symmetries

Strong dynamics with matter in multiple representations: $$\mathrm {SU}(4)$$ gauge theory with fundamental and sextet fermions

2-index chiral gauge theories

Discrete global symmetries: gauging and twisted compactification

Non-Perturbative Schwinger-Dyson Equations for 3d ${\cal N} = 4$ Gauge Theories

Topological-Holomorphic ${\mathcal N} =4$ Gauge Theory: From Langlands Duality of Holomorphic Invariants to Mirror Symmetry of Quasi-topological Strings

Anomalies of 4d SpinG theories

A Concrete Model for the Quantum Permutation Group on 4 Points

Cluster transformations, the tetrahedron equation and three-dimensional gauge theories

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

Gauge Theories and Macdonald Polynomials

Non-invertible symmetries and boundaries in four dimensions

Siegel $\mathfrak{p}^2$ Vectors for Representations of $GSp(4)$

Anomalies of 4d $Spin_G$ Theories

Gauge theory loop operators and Liouville theory