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.

Liouville irregular states of half-integer ranks

Liouville Irregular States of Half-Integer Ranks

Rigidity Theorems on Odd Dimensional Manifolds

A note on rank 5/2 Liouville irregular block, Painlevé 1 and the ${\cal H}_0$ Argyres-Douglas theory

A stronger constant rank theorem

On irregular states and Argyres-Douglas theories

Liouville type theorems involving fractional order systems

A proof of a Dumortier-Roussarie's conjecture

On the central value of Rankin $L$-functions for self-dual algebraic representations of linear groups over totally real fields

Iwasawa theory and ranks of elliptic curves in quadratic twist families

Rank $r$ DT theory from rank $0$

Gauge theory loop operators and Liouville theory

Cohomological Rank Functions on Abelian Varieties

On the Holonomic Rank Problem

Liouville theorems for conformally invariant fully nonlinear equations. I

Liouville Theorem for Lane-Emden Equation on the Heisenberg Group

Ranks in Ellis semigroups and model theory

On intermediate Lie algebra $E_{7+1/2}$

Liouville theorems and optimal regularity in elliptic equations

A generalized dominance ordering for 1/2-BPS states

Unimodality and certain bivariate formal Laurent series