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.

Diagrammatic structures of the Nielsen identity

Equivalence between the gauge n ⋅ ∂n ⋅ A = 0 and the axial gauge

BPS/CFT Correspondence III: Gauge Origami Partition Function and qq-Characters

Gauge-Invariant Quantum Fields

Synthetic non-Abelian gauge fields for non-Hermitian systems

Gauge Invariance at Large Charge

Gauge theory loop operators and Liouville theory

Noncommutative Geometry and Gauge theories on AF algebras

New Identities among Gauge Theory Amplitudes

Reduced tensor network formulation for non-Abelian gauge theories in arbitrary dimensions

The all-loop non-Abelian Thirring model and its RG flow

Volume-preserving diffeomorphism as nonabelian higher-rank gauge symmetry

Decomposition of d = 9 short-range 0νββ decay operators at one-loop level

Extended Phase Space in General Gauge Theories

A General Hierarchy of Charges at Null Infinity via the Todd Polynomials

Noncommutative Jacobi identity, and gauge theory

Working towards a gauge-invariant description of the Higgs model: from local composite operators to spectral density functions

Geometry of the spectral parameter and renormalisation of integrable sigma-models

Mass hierarchies in gauge theory with two index symmetric representation matter

A Scaling Relation, $Z_m$-type Deconfinement Phases and Imaginary Chemical Potentials in Finite Temperature Large-$N$ Gauge Theories