Abstract
It has recently been argued [1] that the inclusion of surface operators in 4d \( \mathcal{N} = 2 \) SU(2) quiver gauge theories should correspond to insertions of certain degenerate operators in the dual Liouville theory. So far only the insertion of a single surface operator has been treated (in a semi-classical limit). In this paper we study and generalise this proposal. Our approach relies on the use of topological string theory techniques. On the B-model side we show that the effects of multiple surface operator insertions in 4d \( \mathcal{N} = 2 \) gauge theories can be calculated using the B-model topological recursion method, valid beyond the semi-classical limit. On the mirror A-model side we find by explicit computations that the 5d lift of the SU(N) gauge theory partition function in the presence of (one or many) surface operators is equal to an A-model topological string partition function with the insertion of (one or many) toric branes. This is in agreement with an earlier proposal by Gukov [2, 2, 3]. Our A-model results were motivated by and agree with what one obtains by combining the AGT conjecture with the dual interpretation in terms of degenerate operators. The topological string theory approach also opens up new possibilities in the study of 2d Toda field theories.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
L.F. Alday, D. Gaiotto, S. Gukov, Y. Tachikawa and H. Verlinde, Loop and surface operators in N = 2 gauge theory and Liouville modular geometry, JHEP 01 (2010) 113 [arXiv:0909.0945] [SPIRES].
S. Gukov, Surface operators in \( \mathcal{N} = 2 \) gauge theories and duality, talk at the ASC Workshop on interfaces and wall-crossings, December 4, Munich, Germany (2009), see https://cast.itunes.uni-muenchen.de/vod/clips/a5fTeP1INl/quicktime/quicktime.mp4.
S. Gukov, Surface operators in \( \mathcal{N} = 2 \) gauge theories and instanton counting, talk at CERN, Geneva, Switzerland(2009).
D. Gaiotto, N = 2 dualities, arXiv:0904.2715 [SPIRES].
L.F. Alday, D. Gaiotto and Y. Tachikawa, Liouville correlation functions from four-dimensional gauge theories, Lett. Math. Phys. 91 (2010) 167 [arXiv:0906.3219] [SPIRES].
N. Wyllard, A N−1 conformal Toda field theory correlation functions from conformal N = 2 SU(N) quiver gauge theories, JHEP 11 (2009) 002 [arXiv:0907.2189] [SPIRES].
R. Dijkgraaf and C. Vafa, Toda theories, matrix models, topological strings and N = 2 gauge systems, arXiv:0909.2453 [SPIRES].
N. Drukker, J. Gomis, T. Okuda and J. Teschner, Gauge theory loop operators and Liouville theory, JHEP 02 (2010) 057 [arXiv:0909.1105] [SPIRES].
N. Drukker, D. Gaiotto and J. Gomis, The virtue of defects in 4D gauge theories and 2D CFTs, arXiv:1003.1112 [SPIRES].
F. Passerini, Gauge theory Wilson loops and conformal Toda field theory, JHEP 03 (2010) 125 [arXiv:1003.1151] [SPIRES].
D. Gaiotto, Surface operators in N = 24D gauge theories, arXiv:0911.1316 [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].
A. Iqbal and A.-K. Kashani-Poor, SU(N) geometries and topological string amplitudes, Adv. Theor. Math. Phys. 10 (2006) 1 [hep-th/0306032] [SPIRES].
T.J. Hollowood, A. Iqbal and C. Vafa, Matrix models, geometric engineering and elliptic genera, JHEP 03 (2008) 069 [hep-th/0310272] [SPIRES].
T. Eguchi and H. Kanno, Topological strings and Nekrasov’s formulas, JHEP 12 (2003) 006 [hep-th/0310235] [SPIRES].
M. Aganagic, A. Klemm, M. Mariño and C. Vafa, The topological vertex, Commun. Math. Phys. 254 (2005) 425 [hep-th/0305132] [SPIRES].
A. Iqbal, All genus topological string amplitudes and 5-brane webs as Feynman diagrams, hep-th/0207114 [SPIRES].
A. Iqbal, C. Kozcaz and C. Vafa, The refined topological vertex, JHEP 10 (2009) 069 [hep-th/0701156] [SPIRES].
F. Benini, S. Benvenuti and Y. Tachikawa, Webs of five-branes and N = 2 superconformal field theories, JHEP 09 (2009) 052 [arXiv:0906.0359] [SPIRES].
B. Eynard and N. Orantin, Invariants of algebraic curves and topological expansion, math-ph/0702045 [SPIRES].
M. Mariño, Open string amplitudes and large order behavior in topological string theory, JHEP 03 (2008) 060 [hep-th/0612127] [SPIRES].
V. Bouchard, A. Klemm, M. Mariño and S. Pasquetti, Remodeling the B-model, Commun. Math. Phys. 287 (2009) 117 [arXiv:0709.1453] [SPIRES].
S. Gukov and E. Witten, Gauge theory, ramification and the geometric Langlands program, hep-th/0612073 [SPIRES].
J. Gomis and S. Matsuura, Bubbling surface operators and S-duality, JHEP 06 (2007) 025 [arXiv:0704.1657] [SPIRES].
S. Gukov and E. Witten, Rigid surface operators, arXiv:0804.1561 [SPIRES].
H. Awata and H. Kanno, Instanton counting, Macdonald functions and the moduli space of D-branes, JHEP 05 (2005) 039 [hep-th/0502061] [SPIRES].
H. Awata and H. Kanno, Refined BPS state counting from Nekrasov’s formula and Macdonald functions, Int. J. Mod. Phys. A 24 (2009) 2253 [arXiv:0805.0191] [SPIRES].
M. Taki, Refined topological vertex and instanton counting, JHEP 03 (2008) 048 [arXiv:0710.1776] [SPIRES].
M. Aganagic and C. Vafa, Mirror symmetry, D-branes and counting holomorphic discs, hep-th/0012041 [SPIRES].
M. Aganagic, A. Klemm and C. Vafa, Disk instantons, mirror symmetry and the duality web, Z. Naturforsch. A 57 (2002) 1 [hep-th/0105045] [SPIRES].
R. Schiappa and N. Wyllard, An A r threesome: matrix models, 2D CFT s and 4DN = 2 gauge theories, arXiv:0911.5337 [SPIRES].
M. Aganagic, R. Dijkgraaf, A. Klemm, M. Mariño and C. Vafa, Topological strings and integrable hierarchies, Commun. Math. Phys. 261 (2006) 451 [hep-th/0312085] [SPIRES].
M. Aganagic, V. Bouchard and A. Klemm, Topological strings and (almost) modular forms, Commun. Math. Phys. 277 (2008) 771 [hep-th/0607100] [SPIRES].
V. Bouchard, A. Klemm, M. Mariño and S. Pasquetti, Topological open strings on orbifolds, Commun. Math. Phys. 296 (2010) 589 [arXiv:0807.0597] [SPIRES].
J. Kaneko, Selberg integrals and hypergeometric functions associated with Jack polynomials, SIAM J. Math. Anal. 4 (1993) 1086.
H. Itoyama and T. Oota, Method of generating q-expansion coefficients for conformal block and N = 2 Nekrasov function by beta-deformed matrix model, Nucl. Phys. B 838 (2010) 298 [arXiv:1003.2929] [SPIRES].
A. Mironov, A. Morozov and A. Morozov, Matrix model version of AGT conjecture and generalized Selberg integrals, arXiv:1003.5752 [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].
Z. Bajnok, L. Palla and G. Tak’acs, A 2 Toda theory in reduced WZNW framework and the representations of the W algebra, Nucl. Phys. B 385 (1992) 329 [hep-th/9206075] [SPIRES].
P. Bowcock and G.M.T. Watts, Null vectors of the W 3 algebra, Phys. Lett. B 297 (1992) 282 [hep-th/9209105] [SPIRES].
V.A. Fateev and A.V. Litvinov, Correlation functions in conformal Toda field theory I, JHEP 11 (2007) 002 [arXiv:0709.3806] [SPIRES].
P. Bouwknegt and K. Schoutens, W symmetry in conformal field theory, Phys. Rept. 223 (1993) 183 [hep-th/9210010] [SPIRES].
S. Kanno, Y. Matsuo, S. Shiba and Y. Tachikawa, N = 2 gauge theories and degenerate fields of Toda theory, Phys. Rev. D 81 (2010) 046004 [arXiv:0911.4787] [SPIRES].
P. Bowcock and G.M.T. Watts, Null vectors, three point and four point functions in conformal field theory, Theor. Math. Phys. 98 (1994) 350 [hep-th/9309146] [SPIRES].
D. Gaiotto and J. Maldacena, The gravity duals of N = 2 superconformal field theories, arXiv:0904.4466 [SPIRES].
B. Eynard and N. Orantin, Algebraic methods in random matrices and enumerative geometry, arXiv:0811.3531 [SPIRES].
M. Mariño, R. Schiappa and M. Weiss, Nonperturbative Effects and the Large-Order Behavior of Matrix Models and Topological Strings, arXiv:0711.1954 [SPIRES].
O. Babelon, D. Bernard and M. Talon, Introduction to classical integrable systems, Cambridge University Press, Cambridge U.K. (2003).
B. Eynard and M. Mariño, A holomorphic and background independent partition function for matrix models and topological strings, arXiv:0810.4273 [SPIRES].
L. Chekhov, B. Eynard and O. Marchal, Topological expansion of the Bethe ansatz and quantum algebraic geometry, arXiv:0911.1664 [SPIRES].
B. Eynard and O. Marchal, Topological expansion of the Bethe ansatz and non-commutative algebraic geometry, JHEP 03 (2009) 094 [arXiv:0809.3367] [SPIRES].
N.A. Nekrasov and S.L. Shatashvili, Supersymmetric vacua and Bethe ansatz, Nucl. Phys. Proc. Suppl. 192-193 (2009) 91 [arXiv:0901.4744] [SPIRES].
N.A. Nekrasov and S.L. Shatashvili, Quantum integrability and supersymmetric vacua, Prog. Theor. Phys. Suppl. 177 (2009) 105 [arXiv:0901.4748] [SPIRES].
N.A. Nekrasov and S.L. Shatashvili, Quantization of integrable systems and four dimensional gauge theories, arXiv:0908.4052 [SPIRES].
N. Nekrasov and E. Witten, The Omega deformation, branes, integrability and Liouville theory, arXiv:1002.0888 [SPIRES].
G. Akemann, Higher genus correlators for the Hermitian matrix model with multiple cuts, Nucl. Phys. B 482 (1996) 403 [hep-th/9606004] [SPIRES].
V.A. Fateev, A.V. Litvinov, A. Neveu and E. Onofri, Differential equation for four-point correlation function in Liouville field theory and elliptic four-point conformal blocks, J. Phys. A 42 (2009) 304011 [arXiv:0902.1331] [SPIRES].
T. Eguchi and K. Maruyoshi, Penner type matrix model and Seiberg-Witten theory, JHEP 02 (2010) 022 [arXiv:0911.4797] [SPIRES].
A. Iqbal and A.-K. Kashani-Poor, The vertex on a strip, Adv. Theor. Math. Phys. 10 (2006) 317 [hep-th/0410174] [SPIRES].
D. Karp, C.-C.M. Liu and M. Mariño, The local Gromov-Witten invariants of configurations of rational curves, math/0506488.
P. Sulkowski, Crystal model for the closed topological vertex geometry, JHEP 12 (2006) 030 [hep-th/0606055] [SPIRES].
A. Okounkov, N. Reshetikhin and C. Vafa, Quantum Calabi-Yau and classical crystals, hep-th/0309208 [SPIRES].
T. Dimofte and S. Gukov, Refined, motivic and quantum, Lett. Math. Phys. 91 (2010) 1 [arXiv:0904.1420] [SPIRES].
J. Shiraishi, H. Kubo, H. Awata and S. Odake, A Quantum deformation of the Virasoro algebra and the Macdonald symmetric functions, Lett. Math. Phys. 38 (1996) 33 [q-alg/9507034] [SPIRES].
H. Awata and Y. Yamada, Five-dimensional AGT conjecture and the deformed Virasoro algebra, JHEP 01 (2010) 125 [arXiv:0910.4431] [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].
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.A. Minahan and D. Nemeschansky, An N = 2 superconformal fixed point with E 6 global symmetry, Nucl. Phys. B 482 (1996) 142 [hep-th/9608047] [SPIRES].
A. Gadde, L. Rastelli, S.S. Razamat and W. Yan, The superconformal Index of the E 6 SCFT, arXiv:1003.4244 [SPIRES].
N. Seiberg, Five dimensional SUSY field theories, non-trivial fixed points and string dynamics, Phys. Lett. B 388 (1996) 753 [hep-th/9608111] [SPIRES].
J. Kaneko, q-Selberg integrals and Macdonald polynomials, Ann. Sci. École Norm. Sup. 29 (1996) 583.
U. Bruzzo, F. Fucito, J.F. Morales and A. Tanzini, Multi-instanton calculus and equivariant cohomology, JHEP 05 (2003) 054 [hep-th/0211108] [SPIRES].
F. Fucito, J.F. Morales and R. Poghossian, Instantons on quivers and orientifolds, JHEP 10 (2004) 037 [hep-th/0408090] [SPIRES].
S. Shadchin, Cubic curves from instanton counting, JHEP 03 (2006) 046 [hep-th/0511132] [SPIRES].
V. Alba and A. Morozov, Check of AGT relation for conformal blocks on sphere, arXiv:0912.2535 [SPIRES].
A. Mironov and A. Morozov, The power of Nekrasov functions, Phys. Lett. B 680 (2009) 188 [arXiv:0908.2190] [SPIRES].
N. Nekrasov, Instanton partition functions and M-theory, Japan. J. Math. 4 (2009) 63.
A. Mironov and A. Morozov, On AGT relation in the case of U(3), Nucl. Phys. B 825 (2010) 1 [arXiv:0908.2569] [SPIRES].
N.R. Constable, J. Erdmenger, Z. Guralnik and I. Kirsch, Intersecting D3-branes and holography, Phys. Rev. D 68 (2003) 106007 [hep-th/0211222] [SPIRES].
I. Kostov, Matrix models as conformal field theories: genus expansion, Nucl. Phys. B 837 (2010) 221 [arXiv:0912.2137] [SPIRES].
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1004.2025
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
Kozçaz, C., Pasquetti, S. & Wyllard, N. A& B model approaches to surface operators and Toda thoeries. J. High Energ. Phys. 2010, 42 (2010). https://doi.org/10.1007/JHEP08(2010)042
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP08(2010)042