Abstract
We provide a contour integral formula for the exact partition function of \( \mathcal{N} \) = 2 supersymmetric U(N) gauge theories on compact toric four-manifolds by means of supersymmetric localisation. We perform the explicit evaluation of the contour integral for U(2) \( \mathcal{N} \) = 2∗ theory on \( {\mathrm{\mathbb{P}}}^2 \) for all instanton numbers. In the zero mass case, corresponding to the \( \mathcal{N} \) = 4 supersymmetric gauge theory, we obtain the generating function of the Euler characteristics of instanton moduli spaces in terms of mock-modular forms. In the decoupling limit of infinite mass we find that the generating function of local and surface observables computes equivariant Donaldson invariants, thus proving in this case a longstanding conjecture by N. Nekrasov. In the case of vanishing first Chern class the resulting equivariant Donaldson polynomials are new.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
A. Gorsky, I. Krichever, A. Marshakov, A. Mironov and A. Morozov, Integrability and Seiberg-Witten exact solution, Phys. Lett. B 355 (1995) 466 [hep-th/9505035] [INSPIRE].
E.J. Martinec and N.P. Warner, Integrable systems and supersymmetric gauge theory, Nucl. Phys. B 459 (1996) 97 [hep-th/9509161] [INSPIRE].
R. Donagi and E. Witten, Supersymmetric Yang-Mills theory and integrable systems, Nucl. Phys. B 460 (1996) 299 [hep-th/9510101] [INSPIRE].
N.A. Nekrasov and S.L. Shatashvili, Quantization of Integrable Systems and Four Dimensional Gauge Theories, arXiv:0908.4052 [INSPIRE].
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] [INSPIRE].
N. Nekrasov, Non-Perturbative Schwinger-Dyson Equations: From BPS/CFT Correcpondence to the Novel Symmetries of Quantum Field Theory, talk at Pomeranchuk-100, Moscow Russia (2013), http://www.itep.ru/rus/docs/09 Nekrasov.pdf.
A. Okounkov, Math. Coll. at Simons Center of Geometry and Physics, http://media.scgp.stonybrook.edu/video/video.php?f=20130124 4 qtp.mp4.
N. Nekrasov and A. Okounkov, Quantum cohomology and quantum intermediate long wave equation, in preparation.
V.A. Alba, V.A. Fateev, A.V. Litvinov and G.M. Tarnopolskiy, On combinatorial expansion of the conformal blocks arising from AGT conjecture, Lett. Math. Phys. 98 (2011) 33 [arXiv:1012.1312] [INSPIRE].
G. Bonelli, A. Sciarappa, A. Tanzini and P. Vasko, Six-dimensional supersymmetric gauge theories, quantum cohomology of instanton moduli spaces and gl(N) Quantum Intermediate Long Wave Hydrodynamics, JHEP 07 (2014) 141 [arXiv:1403.6454] [INSPIRE].
G. Bonelli, A. Sciarappa, A. Tanzini and P. Vasko, Quantum Cohomology and Quantum Hydrodynamics from Supersymmetric Quiver Gauge Theories, arXiv:1505.07116 [INSPIRE].
N.A. Nekrasov, Seiberg-Witten prepotential from instanton counting, Adv. Theor. Math. Phys. 7 (2003) 831 [hep-th/0206161] [INSPIRE].
U. Bruzzo, F. Fucito, J.F. Morales and A. Tanzini, Multiinstanton calculus and equivariant cohomology, JHEP 05 (2003) 054 [hep-th/0211108] [INSPIRE].
F. Fucito, J.F. Morales and R. Poghossian, Instanton on toric singularities and black hole countings, JHEP 12 (2006) 073 [hep-th/0610154] [INSPIRE].
U. Bruzzo, R. Poghossian and A. Tanzini, Poincaré polynomial of moduli spaces of framed sheaves on (stacky) Hirzebruch surfaces, Commun. Math. Phys. 304 (2011) 395 [arXiv:0909.1458] [INSPIRE].
G. Bonelli, K. Maruyoshi, A. Tanzini and F. Yagi, N = 2 gauge theories on toric singularities, blow-up formulae and W-algebrae, JHEP 01 (2013) 014 [arXiv:1208.0790] [INSPIRE].
A.A. Belavin, M.A. Bershtein, B.L. Feigin, A.V. Litvinov and G.M. Tarnopolsky, Instanton moduli spaces and bases in coset conformal field theory, Commun. Math. Phys. 319 (2013) 269 [arXiv:1111.2803] [INSPIRE].
M.-C. Tan, M-Theoretic Derivations of 4d-2d Dualities: From a Geometric Langlands Duality for Surfaces, to the AGT Correspondence, to Integrable Systems, JHEP 07 (2013) 171 [arXiv:1301.1977] [INSPIRE].
U. Bruzzo, M. Pedrini, F. Sala and R.J. Szabo, Framed sheaves on root stacks and supersymmetric gauge theories on ALE spaces, Adv. Math. 288 (2016) 1175 [arXiv:1312.5554] [INSPIRE].
U. Bruzzo, F. Sala and R.J. Szabo, \( \mathcal{N} \) = 2 Quiver Gauge Theories on A-type ALE Spaces, Lett. Math. Phys. 105 (2015) 401 [arXiv:1410.2742] [INSPIRE].
V. Pestun, Localization of gauge theory on a four-sphere and supersymmetric Wilson loops, Commun. Math. Phys. 313 (2012) 71 [arXiv:0712.2824] [INSPIRE].
N. Hama and K. Hosomichi, Seiberg-Witten Theories on Ellipsoids, JHEP 09 (2012) 033 [arXiv:1206.6359] [INSPIRE].
A. Bawane, G. Bonelli, M. Ronzani and A. Tanzini, \( \mathcal{N} \) = 2 supersymmetric gauge theories on S 2 × S 2 and Liouville Gravity, JHEP 07 (2015) 054 [arXiv:1411.2762] [INSPIRE].
E. Witten, Topological Quantum Field Theory, Commun. Math. Phys. 117 (1988) 353.
E. Witten, Supersymmetric Yang-Mills theory on a four manifold, J. Math. Phys. 35 (1994) 5101 [hep-th/9403195] [INSPIRE].
P.B. Kronheimer and T.S. Mrowka, Instanton Floer homology and the Alexander polynomial, arXiv:0907.4639 [INSPIRE].
S. Gukov, Gauge theory and knot homologies, Fortsch. Phys. 55 (2007) 473 [arXiv:0706.2369] [INSPIRE].
C. Klare and A. Zaffaroni, Extended Supersymmetry on Curved Spaces, JHEP 10 (2013) 218 [arXiv:1308.1102] [INSPIRE].
D. Bellisai, F. Fucito, A. Tanzini and G. Travaglini, Multi-instantons, supersymmetry and topological field theories, Phys. Lett. B 480 (2000) 365 [hep-th/0002110] [INSPIRE].
D. Bellisai, F. Fucito, A. Tanzini and G. Travaglini, Instanton calculus, topological field theories and N = 2 super Yang-Mills theories, JHEP 07 (2000) 017 [hep-th/0003272] [INSPIRE].
N. Nekrasov and A.S. Schwarz, Instantons on noncommutative R 4 and (2, 0) superconformal six-dimensional theory, Commun. Math. Phys. 198 (1998) 689 [hep-th/9802068] [INSPIRE].
N. Nekrasov, Localizing gauge theories, http://www.researchgate.net/publication/253129819 Localizing gauge theories (2006).
D. Rodriguez-Gomez and J. Schmude, Partition functions for equivariantly twisted \( \mathcal{N} \) = 2 gauge theories on toric Kähler manifolds, JHEP 05 (2015) 111 [arXiv:1412.4407] [INSPIRE].
H. Nakajima, Quiver varieties and Kac-Moody algebras, Duke Math. J. 91 (1998) 515.
L. Gottsche, H. Nakajima and K. Yoshioka, Instanton counting and Donaldson invariants, J. Diff. Geom. 80 (2008) 343 [math/0606180] [INSPIRE].
G. Ellingsrud and L. Göttsche, Wall-crossing formulas, Bott residue formula and the Donaldson invariants of rational surfaces, alg-geom/9506019.
M. Kool, Euler characteristics of moduli spaces of torsion free sheaves on toric surfaces, Geom. Ded. 176 (2015) 241 arXiv:0906.3393.
K. Yoshioka, The Betti numbers of the moduli space of stable sheaves of rank 2 on a ruled surface, J. Reine Angew. Math. 453 (1994) 193.
C. Vafa and E. Witten, A Strong coupling test of S duality, Nucl. Phys. B 431 (1994) 3 [hep-th/9408074] [INSPIRE].
S.K. Donaldson, Anti-self-dual Yang-Mills connexions over complex algebraic surfaces and stable vector bundles, Proc. Lond. Math. Soc. 50 (1) (1985) 1.
K. Uhlenbeck and S.T. Yau, On the existence of Hermitian Yang-Mills connections in stable vector bundles, Commun. Pure Appl. Math. 39 (1986) 257.
K. Uhlenbeck and S.T. Yau, A note on our previous paper: On the existence of Hermitian Yang-Mills connections in stable vector bundles, Commun. Pure Appl. Math. 42 (1989) 703.
A. Knutson and E.R. Sharpe, Sheaves on toric varieties for physics, Adv. Theor. Math. Phys. 2 (1998) 865 [hep-th/9711036] [INSPIRE].
L. Baulieu, G. Bossard and A. Tanzini, Topological vector symmetry of BRSTQFT and construction of maximal supersymmetry, JHEP 08 (2005) 037 [hep-th/0504224] [INSPIRE].
A. Losev, N. Nekrasov and S.L. Shatashvili, Issues in topological gauge theory, Nucl. Phys. B 534 (1998) 549 [hep-th/9711108] [INSPIRE].
W. Fulton, Introduction to Toric Varieties, Annals of mathematics studies, Princeton University Press, Princeton U.S.A. (1993).
A.A. Klyachko, Moduli of vector bundles and numbers of classes, Funct. Anal. Appl. 25 (1991) 67.
S.K. Donaldson and P.B. Kronheimer, The Geometry of Four-manifolds, Oxford Mathematical Monographs, Clarendon Press, Oxford U.K. (1997).
R. Flume and R. Poghossian, An Algorithm for the microscopic evaluation of the coefficients of the Seiberg-Witten prepotential, Int. J. Mod. Phys. A 18 (2003) 2541 [hep-th/0208176] [INSPIRE].
A. Zamolodchikov, Conformal Symmetry in two-dimensions: an explicit Recurrence Formula for the Conformal Partial Wave Amplitude, Commun. Math. Phys. 96 (1984) 419.
R. Poghossian, Recursion relations in CFT and N = 2 SYM theory, JHEP 12 (2009) 038 [arXiv:0909.3412] [INSPIRE].
H. Cohen, Graduate Texts in Mathematics. Vol. 138: A course in computational algebraic number theory, Springer-Verlag, Berlin Germany (1993).
J.A. Minahan, D. Nemeschansky, C. Vafa and N.P. Warner, E strings and N = 4 topological Yang-Mills theories, Nucl. Phys. B 527 (1998) 581 [hep-th/9802168] [INSPIRE].
G. Bonelli, The Geometry of the M5-branes and TQFTs, J. Geom. Phys. 40 (2001) 13 [hep-th/0012075] [INSPIRE].
B. Haghighat, From strings in 6d to strings in 5d, JHEP 01 (2016) 062 [arXiv:1502.06645] [INSPIRE].
J. Manschot, Sheaves on P2 and generalized Appell functions, arXiv:1407.7785 [INSPIRE].
G. Bonelli and A. Tanzini, Hitchin systems, N = 2 gauge theories and W-gravity, Phys. Lett. B 691 (2010) 111 [arXiv:0909.4031] [INSPIRE].
L.F. Alday, F. Benini and Y. Tachikawa, Liouville/Toda central charges from M5-branes, Phys. Rev. Lett. 105 (2010) 141601 [arXiv:0909.4776] [INSPIRE].
V. Belavin and B. Feigin, Super Liouville conformal blocks from N = 2 SU(2) quiver gauge theories, JHEP 07 (2011) 079 [arXiv:1105.5800] [INSPIRE].
G. Bonelli, K. Maruyoshi and A. Tanzini, Instantons on ALE spaces and Super Liouville Conformal Field Theories, JHEP 08 (2011) 056 [arXiv:1106.2505] [INSPIRE].
G. Bonelli, K. Maruyoshi and A. Tanzini, Gauge Theories on ALE Space and Super Liouville Correlation Functions, Lett. Math. Phys. 101 (2012) 103 [arXiv:1107.4609] [INSPIRE].
A. Belavin, V. Belavin and M. Bershtein, Instantons and 2d Superconformal field theory, JHEP 09 (2011) 117 [arXiv:1106.4001] [INSPIRE].
L. Hadasz and Z. Jaskólski, Super-Liouville-Double-Liouville correspondence, JHEP 05 (2014) 124 [arXiv:1312.4520] [INSPIRE].
M. Bershtein, B. Feigin and A. Litvinov, Coupling of two conformal field theories and Nakajima-Yoshioka blow-up equations, Lett. Math. Phys. 106 (2016) 29 [arXiv:1310.7281] [INSPIRE].
J. Källén, J. Qiu and M. Zabzine, The perturbative partition function of supersymmetric 5D Yang-Mills theory with matter on the five-sphere, JHEP 08 (2012) 157 [arXiv:1206.6008] [INSPIRE].
G. Lockhart and C. Vafa, Superconformal Partition Functions and Non-perturbative Topological Strings, arXiv:1210.5909 [INSPIRE].
H.-C. Kim, S. Kim, S.-S. Kim and K. Lee, The general M5-brane superconformal index, arXiv:1307.7660 [INSPIRE].
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1509.00267
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Bershtein, M., Bonelli, G., Ronzani, M. et al. Exact results for \( \mathcal{N} \) = 2 supersymmetric gauge theories on compact toric manifolds and equivariant Donaldson invariants. J. High Energ. Phys. 2016, 23 (2016). https://doi.org/10.1007/JHEP07(2016)023
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP07(2016)023