Abstract
We propose a correspondence between loop operators in a family of four dimensional \( \mathcal{N} \) = 2 gauge theories on S 4 — 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 \( \mathcal{N} \) = 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 \( \mathcal{N} \) = 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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
C. Montonen and D.I. Olive, Magnetic monopoles as gauge particles?, Phys. Lett. B 72 (1977) 117 [SPIRES].
E. Witten and D.I. Olive, Supersymmetry algebras that include topological charges, Phys. Lett. B 78 (1978) 97 [SPIRES].
H. Osborn, Topological charges for \( \mathcal{N} \) = 4 supersymmetric gauge theories and monopoles of spin 1, Phys. Lett. B 83 (1979) 321 [SPIRES].
P. Goddard, J. Nuyts and D.I. Olive, Gauge theories and magnetic charge, Nucl. Phys. B 125 (1977) 1 [SPIRES].
N. Seiberg and E. Witten, Monopoles, duality and chiral symmetry breaking in \( \mathcal{N} \) = 2 supersymmetric QCD, Nucl. Phys. B 431 (1994) 484 [hep-th/9408099] [SPIRES].
P.C. Argyres, S-duality and global symmetries in N = 2 supersymmetric field theory, Adv. Theor. Math. Phys. 2 (1998) 293 [hep-th/9706095] [SPIRES].
E. Witten, Solutions of four-dimensional field theories via M-theory, Nucl. Phys. B 500 (1997) 3 [hep-th/9703166] [SPIRES].
D. Gaiotto, \( \mathcal{N} \) = 2 dualities, arXiv:0904.2715 [SPIRES].
D. Gaiotto, G.W. Moore and A. Neitzke, Wall-crossing, Hitchin systems and the WKB approximation, arXiv:0907.3987 [SPIRES].
V. Pestun, Localization of gauge theory on a four-sphere and supersymmetric Wilson loops, arXiv:0712.2824 [SPIRES].
N.A. Nekrasov, Seiberg-Witten prepotential from instanton counting, Adv. Theor. Math. Phys. 7 (2004) 831 [hep-th/0206161] [SPIRES].
N. Nekrasov and A. Okounkov, Seiberg-Witten theory and random partitions, hep-th/0306238 [SPIRES].
L.F. Alday, D. Gaiotto and Y. Tachikawa, Liouville correlation functions from four-dimensional gauge theories, arXiv:0906.3219 [SPIRES].
J. Teschner, Liouville theory revisited, Class. Quant. Grav. 18 (2001) R153 [hep-th/0104158] [SPIRES].
J. Teschner, A lecture on the Liouville vertex operators, Int. J. Mod. Phys. A 19S2 (2004) 436 [hep-th/0303150] [SPIRES].
J. Teschner, Nonrational conformal field theory, arXiv:0803.0919 [SPIRES].
J.M. Maldacena, Wilson loops in large-N field theories, Phys. Rev. Lett. 80 (1998) 4859 [hep-th/9803002] [SPIRES].
S.-J. Rey and J.-T. Yee, Macroscopic strings as heavy quarks in large-N gauge theory and anti-de Sitter supergravity, Eur. Phys. J. C 22 (2001) 379 [hep-th/9803001] [SPIRES].
J.K. Erickson, G.W. Semenoff and K. Zarembo, Wilson loops in \( \mathcal{N} \) = 4 supersymmetric Yang-Mills theory, Nucl. Phys. B 582 (2000) 155 [hep-th/0003055] [SPIRES].
N. Drukker and D.J. Gross, An exact prediction of \( \mathcal{N} \) = 4 SUSYM theory for string theory, J. Math. Phys. 42 (2001) 2896 [hep-th/0010274] [SPIRES].
A. Kapustin, Wilson-’t Hooft operators in four-dimensional gauge theories and S-duality, Phys. Rev. D 74 (2006) 025005 [hep-th/0501015] [SPIRES].
A. Kapustin and E. Witten, Electric-magnetic duality and the geometric Langlands program, hep-th/0604151 [SPIRES].
J. Gomis, T. Okuda and D. Trancanelli, Quantum ’t Hooft operators and S-duality in \( \mathcal{N} \) = 4 super Yang-Mills, arXiv:0904.4486 [SPIRES].
J. Gomis and T. Okuda, S-duality, ’t Hooft operators and the operator product expansion, JHEP 09 (2009) 072 [arXiv:0906.3011] [SPIRES].
N. Drukker, D.R. Morrison and T. Okuda, Loop operators and S-duality from curves on Riemann surfaces, JHEP 09 (2009) 031 [arXiv:0907.2593] [SPIRES].
A. Kapustin, Holomorphic reduction of \( \mathcal{N} \) = 2 gauge theories, Wilson-’t Hooft operators and S-duality, hep-th/0612119 [SPIRES].
J. Teschner, On the relation between quantum Liouville theory and the quantized Teichmueller spaces, Int. J. Mod. Phys. A 19S2 (2004) 459 [hep-th/0303149] [SPIRES].
J. Teschner, From Liouville theory to the quantum geometry of Riemann surfaces, in Prospects in mathematical physics, Contemp. Math. 437 (2007) 231, American Mathematical Society, Providence U.S.A. (2007) [hep-th/0308031] [SPIRES].
J. Teschner, An analog of a modular functor from quantized Teichmüller theory, in Handbook of Teichmüller theory. Volume I, IRMA Lect. Math. Theor. Phys. 11 (2007) 685, European Mathematical Society, Zürich Switzerland (2007) [math.QA/0510174] [SPIRES].
H.L. Verlinde, Conformal field theory, 2D quantum gravity and quantization of Teichmüller space, Nucl. Phys. B 337 (1990) 652 [SPIRES].
L.F. Alday, D. Gaiotto, S. Gukov, Y. Tachikawa and H. Verlinde, Loop and surface operators in \( \mathcal{N} \) = 2 gauge theory and Liouville modular geometry, arXiv:0909.0945 [SPIRES].
A.A. Belavin, A.M. Polyakov and A.B. Zamolodchikov, Infinite conformal symmetry in two-dimensional quantum field theory, Nucl. Phys. B 241 (1984) 333 [SPIRES].
H. Dorn and H.J. Otto, Two and three point functions in Liouville theory, Nucl. Phys. B 429 (1994) 375 [hep-th/9403141] [SPIRES].
A.B. Zamolodchikov and A.B. Zamolodchikov, Structure constants and conformal bootstrap in Liouville field theory, Nucl. Phys. B 477 (1996) 577 [hep-th/9506136] [SPIRES].
D. Gaiotto, Asymptotically free \( \mathcal{N} \) = 2 theories and irregular conformal blocks, arXiv:0908.0307 [SPIRES].
M. Dehn, On curve systems on two-sided surfaces, with application to the mapping problem, in Papers on group theory and topology, translated from the German by J. Stillwell, Springer-Verlag, New York U.S.A. (1987), pg. 234.
W.P. Thurston, On the geometry and dynamics of diffeomorphisms of surfaces, Bull. Am. Math. Soc. 19 (1988) 417.
A. Bytsko and J. Teschner, The integrable structure of nonrational conformal field theory, arXiv:0902.4825 [SPIRES].
E.P. Verlinde, Fusion rules and modular transformations in 2D conformal field theory, Nucl. Phys. B 300 (1988) 360 [SPIRES].
G.W. Moore and N. Seiberg, Classical and quantum conformal field theory, Commun. Math. Phys. 123 (1989) 177 [SPIRES].
G.W. Moore and N. Seiberg, Lectures on RCFT, presented at Trieste Spring School, Trieste Italy (1989) [SPIRES].
B. Ponsot and J. Teschner, Liouville bootstrap via harmonic analysis on a noncompact quantum group, hep-th/9911110 [SPIRES].
R.C. Penner, The action of the mapping class group on curves in surfaces, Enseign. Math. 30 (1984) 39.
P.G. Zograf and L.A. Takhtadzhyan, On the Liouville equation, accessory parameters and the geometry of Teichmüller space for Riemann surfaces of genus 0, Mat. Sbornik 132(174) (1987) 147 [Math. USSR Sb. 60(1) (1988) 143].
P.G. Zograf and L.A. Takhtadzhyan, On the uniformization of Riemann surfaces and on the Weil-Petersson metric on the Teichmüller and Schottky spaces, Mat. Sbornik 132(174) (1987) 304 [Math. USSR Sb. 60(2) (1988) 297].
R.C. Penner, The decorated Teichmüller space of punctured surfaces, Commun. Math. Phys. 113 (1987) 299.
V.V. Fock, Dual Teichmüller spaces, dg-ga/9702018.
R.C. Penner, Weil-Petersson volumes, J. Diff. Geom. 35 (1992) 559.
L.A. Takhtajan, Uniformization, local index theorem, and geometry of the moduli spaces of Riemann surfaces and vector bundles, in Theta functions — Bowdoin 1987, Proc. Symp. Pure Math. 49, U.S.A. (1989).
L. Takhtajan and P. Zograf, Hyperbolic 2-spheres with conical singularities, accessory parameters and Kähler metrics on \( \mathcal{N} \), Trans. Am. Math. Soc. 355 (2003) 1857 [math.CV/0112170] [SPIRES].
L. Chekhov and V.V. Fock, A quantum Teichmüller space, Theor. Math. Phys. 120 (1999) 1245 [Teor. Mat. Fiz. 120 (1999) 511] [math.QA/9908165] [SPIRES].
R.M. Kashaev, Quantization of Teichmüller spaces and the quantum dilogarithm, Lett. Math. Phys. 43 (1998) 105 [SPIRES].
V.V. Fock and A.B. Goncharov, The quantum dilogarithm and representations of quantum cluster varieties, Invent. Math. 175 (2009) 223.
L.O. Chekhov and V.V. Fock, Observables in 3D gravity and geodesic algebras, Czech. J. Phys. 50 (2000) 1201 [SPIRES].
G. ’t Hooft, On the phase transition towards permanent quark confinement, Nucl. Phys. B 138 (1978) 1 [SPIRES].
A. Kapustin and N. Saulina, The algebra of Wilson-’t Hooft operators, Nucl. Phys. B 814 (2009) 327 [arXiv:0710.2097] [SPIRES].
L. Chekhov, Lecture notes on quantum Teichmüller theory, arXiv:0710.2051.
L.O. Chekhov, Orbifold Riemann surfaces and geodesic algebras, J. Phys. A 42 (2009) 304007.
N. Drukker, S. Giombi, R. Ricci and D. Trancanelli, More supersymmetric Wilson loops, Phys. Rev. D 76 (2007) 107703 [arXiv:0704.2237] [SPIRES].
N. Drukker, S. Giombi, R. Ricci and D. Trancanelli, Supersymmetric Wilson loops on S 3, JHEP 05 (2008) 017 [arXiv:0711.3226] [SPIRES].
N. Wyllard, A N−1 conformal Toda field theory correlation functions from conformal \( \mathcal{N} \) = 2 SU(N) quiver gauge theories, JHEP 11 (2009) 002 [arXiv:0907.2189] [SPIRES].
V. Fock and A. Goncharov, Moduli spaces of local systems and higher Teichmüller theory, Inst. Hautes Études Sci. Publ. Math. 103 (2006) 1.
N.J. Hitchin, Lie groups and Teichmüller space, Topology 31 (1992) 449.
T.J. Hollowood, A. Iqbal and C. Vafa, Matrix models, geometric engineering and elliptic genera, JHEP 03 (2008) 069 [hep-th/0310272] [SPIRES].
A. Iqbal, C. Kozcaz and C. Vafa, The refined topological vertex, JHEP 10 (2009) 069 [hep-th/0701156] [SPIRES].
E.W. Barnes, The theory of the double gamma function, Proc. Roy. Soc. Lond. 66 (1899) 265.
T. Shintani, On a Kronecker limit formula for real quadratic fields, J. Fac. Sci. Tokyo (Sect. 1A Math.) 24 (1977) 167.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 0909.1105
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Drukker, N., Gomis, J., Okuda, T. et al. Gauge theory loop operators and Liouville theory. J. High Energ. Phys. 2010, 57 (2010). https://doi.org/10.1007/JHEP02(2010)057
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP02(2010)057