Abstract
We consider partition functions with insertions of surface operators of topologically twisted \( \mathcal{N}=2 \), SU(2) supersymmetric Yang-Mills theory, or Donaldson-Witten theory for short, on a four-manifold. If the metric of the compact four-manifold has positive scalar curvature, Moore and Witten have shown that the partition function is completely determined by the integral over the Coulomb branch parameter a, while more generally the Coulomb branch integral captures the wall-crossing behavior of both Donaldson polynomials and Seiberg-Witten invariants. We show that after addition of a \( \overline{\mathcal{Q}} \)-exact surface operator to the Moore-Witten integrand, the integrand can be written as a total derivative to the anti-holomorphic coordinate ā using Zwegers’ indefinite theta functions. In this way, we reproduce Göttsche’s expressions for Donaldson invariants of rational surfaces in terms of indefinite theta functions for any choice of metric.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
C. Vafa and E. Witten, A strong coupling test of S duality, Nucl. Phys. B 431 (1994) 3 [hep-th/9408074] [INSPIRE].
G.W. Moore and E. Witten, Integration over the u plane in Donaldson theory, Adv. Theor. Math. Phys. 1 (1997) 298 [hep-th/9709193] [INSPIRE].
A. Losev, N. Nekrasov and S.L. Shatashvili, Issues in topological gauge theory, Nucl. Phys. B 534 (1998) 549 [hep-th/9711108] [INSPIRE].
N.A. Nekrasov, Seiberg-Witten prepotential from instanton counting, Adv. Theor. Math. Phys. 7 (2003) 831 [hep-th/0206161] [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].
A. Kapustin, B. Willett and I. Yaakov, Exact results for Wilson loops in superconformal Chern-Simons theories with matter, JHEP 03 (2010) 089 [arXiv:0909.4559] [INSPIRE].
M. Bershtein, G. Bonelli, M. Ronzani and A. Tanzini, Exact results for N = 2 supersymmetric gauge theories on compact toric manifolds and equivariant Donaldson invariants, JHEP 07 (2016) 023 [arXiv:1509.00267] [INSPIRE].
E. Witten, Topological quantum field theory, Commun. Math. Phys. 117 (1988) 353 [INSPIRE].
S.K. Donaldson, Polynomial invariants for smooth manifolds, Topology 29 (1990) 257 [INSPIRE].
S.K. Donaldson and P.B. Kronheimer, The geometry of four-manifolds, Clarendon Press, Oxford University Press, Oxford U.K., (1990).
E. Witten, Monopoles and four manifolds, Math. Res. Lett. 1 (1994) 769 [hep-th/9411102] [INSPIRE].
E. Witten, On S duality in Abelian gauge theory, Selecta Math. 1 (1995) 383 [hep-th/9505186] [INSPIRE].
L. Göttsche, Modular forms and Donaldson invariants for 4-manifolds with b +2 = 1, J. Amer. Math. Soc. 9 (1996) 827 [alg-geom/9506018].
L. Göttsche and D. Zagier, Jacobi forms and the structure of Donaldson invariants for 4-manifolds with b +2 = 1, Selecta Math. 4 (1998) 69 [alg-geom/9612020].
W.P. Li and Z. Qin, Lower-degree Donaldson polynomials of rational surfaces, J. Alg. Geom. 2 (1993) 413.
D. Kotschick and P. Lisca, Instanton invariants of P 2 via topology, Math. Ann. 303 (1995) 345.
G. Ellingsrud and L. Göttsche, Wall-crossing formulas, Bott residue formula and the Donaldson invariants of rational surfaces, Quart. J. Math. Oxford Ser. 49 (1998) 307 [alg-geom/9506019].
S.P. Zwegers, Mock theta functions, Ph.D. thesis, Utrecht University, Utrecht The Netherlands, (2008) [arXiv:0807.4834] [INSPIRE].
D. Zagier, Ramanujan’s mock theta functions and their applications (after Zwegers and Ono-Bringmann), Astérisque (2009) 143.
L.J. Dixon, V. Kaplunovsky and J. Louis, Moduli dependence of string loop corrections to gauge coupling constants, Nucl. Phys. B 355 (1991) 649 [INSPIRE].
J.A. Harvey and G.W. Moore, Algebras, BPS states and strings, Nucl. Phys. B 463 (1996) 315 [hep-th/9510182] [INSPIRE].
R.E. Borcherds, Automorphic forms with singularities on Grassmannians, Invent. Math. 132 (1998) 491 [alg-geom/9609022] [INSPIRE].
D. Zagier, Nombres de classes et formes modulaires de poids 3/2 (in French), C. R. Acad. Sci. Paris 281 (1975) 883.
A. Malmendier and K. Ono, SO(3)-Donaldson invariants of CP 2 and mock theta functions, Geom. Topol. 16 (2012) 1767 [arXiv:0808.1442] [INSPIRE].
A. Malmendier, Donaldson invariants of CP 1 × CP 1 and mock theta functions, Commun. Num. Theor. Phys. 5 (2011) 203 [arXiv:1008.0175] [INSPIRE].
M. Griffin, A. Malmendier and K. Ono, SU(2)-Donaldson invariants of the complex projective plane, Forum Math. 27 (2015) 2003 [arXiv:1209.2743] [INSPIRE].
D. Gaiotto, N = 2 dualities, JHEP 08 (2012) 034 [arXiv:0904.2715] [INSPIRE].
D. Gaiotto, G.W. Moore and A. Neitzke, Wall-crossing, Hitchin systems and the WKB approximation, arXiv:0907.3987 [INSPIRE].
J. Manschot and G.W. Moore, A modern farey tail, Commun. Num. Theor. Phys. 4 (2010) 103 [arXiv:0712.0573] [INSPIRE].
J. Manschot, Stability and duality in N = 2 supergravity, Commun. Math. Phys. 299 (2010) 651 [arXiv:0906.1767] [INSPIRE].
A. Dabholkar, S. Murthy and D. Zagier, Quantum black holes, wall crossing and mock modular forms, arXiv:1208.4074 [INSPIRE].
S. Alexandrov, S. Banerjee, J. Manschot and B. Pioline, Multiple D3-instantons and mock modular forms I, Commun. Math. Phys. 353 (2017) 379 [arXiv:1605.05945] [INSPIRE].
M.C.N. Cheng and J.F.R. Duncan, On Rademacher sums, the largest Mathieu group and the holographic modularity of moonshine, Commun. Num. Theor. Phys. 6 (2012) 697 [arXiv:1110.3859] [INSPIRE].
N. Seiberg and E. Witten, Electric-magnetic duality, monopole condensation and confinement in N = 2 supersymmetric Yang-Mills theory, Nucl. Phys. B 426 (1994) 19 [Erratum ibid. B 430 (1994) 485] [hep-th/9407087] [INSPIRE].
N. Seiberg and E. Witten, Monopoles, duality and chiral symmetry breaking in N = 2 supersymmetric QCD, Nucl. Phys. B 431 (1994) 484 [hep-th/9408099] [INSPIRE].
L. Álvarez-Gaumé and S.F. Hassan, Introduction to S duality in N = 2 supersymmetric gauge theories: a pedagogical review of the work of Seiberg and Witten, Fortsch. Phys. 45 (1997) 159 [hep-th/9701069] [INSPIRE].
A. Bilal, Duality in N = 2 SUSY SU(2) Yang-Mills theory: a pedagogical introduction to the work of Seiberg and Witten, in Quantum fields and quantum space time. Proceedings, NATO Advanced Study Institute, Cargese France, 22 July-3 August 1996, pg. 21 [hep-th/9601007] [INSPIRE].
Y.M. Shnir, Magnetic monopoles, Springer-Verlag, Berlin Heidelberg Germany, (2005).
J. Terning, Modern supersymmetry: dynamics and duality, Oxford Science Publications, Oxford U.K., (2009).
Y. Tachikawa, N = 2 supersymmetric dynamics for pedestrians, Lect. Notes Phys. 890 (2014) 1 [arXiv:1312.2684].
D. Gaiotto, Families of N = 2 field theories, in New dualities of supersymmetric gauge theories, J. Teschner ed., Springer, Cham Switzerland, (2016), pg. 31 [arXiv:1412.7118].
H. Nakajima and K. Yoshioka, Lectures on instanton counting, in CRM workshop on algebraic structures and moduli spaces, Montreal Canada, 14-20 July 2003 [math/0311058] [INSPIRE].
M. Matone, Instantons and recursion relations in N = 2 SUSY gauge theory, Phys. Lett. B 357 (1995) 342 [hep-th/9506102] [INSPIRE].
S. Wu, The geometry and physics of the Seiberg-Witten equations, in Geometric analysis and applications to quantum field theory, P. Bouwknegt and S. Wu eds., Birkhäuser, Boston U.S.A., (2002), pg. 157.
G. Korpas, J. Manschot, G.W. Moore and I. Nidaev, to appear.
J. Labastida and M. Marino, Topological quantum field theory and four manifolds, Springer, Dordrecht The Netherlands, (2005).
E.P. Verlinde, Global aspects of electric-magnetic duality, Nucl. Phys. B 455 (1995) 211 [hep-th/9506011] [INSPIRE].
H. Petersson, Konstruktion der Modulformen und der zu gewissen Grenzkreisgruppen gehörigen automorphen Formen von positiver reeller Dimension und die vollständige Bestimmung ihrer Fourierkoeffizienten (in German), S. B. Heidelberger Akad. Wiss. Math. Nat. Kl. (1950) 417.
W. Lerche, A.N. Schellekens and N.P. Warner, Lattices and strings, Phys. Rept. 177 (1989) 1 [INSPIRE].
W.P. Barth, K. Hulek, C.A.M. Peters and A. Van de Ven, Compact complex surfaces, 2 ed., Springer-Verlag, Berlin Heidelberg German, (2004).
S. Alexandrov, S. Banerjee, J. Manschot and B. Pioline, Multiple D3-instantons and mock modular forms II, arXiv:1702.05497 [INSPIRE].
M. Mariño and G.W. Moore, The Donaldson-Witten function for gauge groups of rank larger than one, Commun. Math. Phys. 199 (1998) 25 [hep-th/9802185] [INSPIRE].
A. Klemm, W. Lerche, S. Yankielowicz and S. Theisen, Simple singularities and N = 2 supersymmetric Yang-Mills theory, Phys. Lett. B 344 (1995) 169 [hep-th/9411048] [INSPIRE].
P.C. Argyres and A.E. Faraggi, The vacuum structure and spectrum of N = 2 supersymmetric SU(N) gauge theory, Phys. Rev. Lett. 74 (1995) 3931 [hep-th/9411057] [INSPIRE].
M.R. Douglas and S.H. Shenker, Dynamics of SU(N) supersymmetric gauge theory, Nucl. Phys. B 447 (1995) 271 [hep-th/9503163] [INSPIRE].
Y. Tachikawa and S. Terashima, Seiberg-Witten geometries revisited, JHEP 09 (2011) 010 [arXiv:1108.2315] [INSPIRE].
T. Mochiziku, Donaldson type invariants for algebraic surfaces, Lect. Notes Math. 1972 (2009) 1.
M. Mariño, G.W. Moore and G. Peradze, Superconformal invariance and the geography of four manifolds, Commun. Math. Phys. 205 (1999) 691 [hep-th/9812055] [INSPIRE].
J.P. Serre, A course in arithmetic, Grad. Texts Math. 7, Springer, New York U.S.A., (1973).
D. Zagier, Introduction to modular forms, in From number theory to physics, Springer, Berlin Germany, (1992), pg. 238.
J.H. Bruinier, G. van der Geer, G. Harder and D. Zagier, The 1-2-3 of modular forms, Springer-Verlag, Berlin Heidelberg Germany, (2008).
M.-F. Vignéras, Séries thêta des formes quadratiques indéfinies (in French), Lect. Notes Math. 627 (1977) 227.
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: 1707.06235
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Korpas, G., Manschot, J. Donaldson-Witten theory and indefinite theta functions. J. High Energ. Phys. 2017, 83 (2017). https://doi.org/10.1007/JHEP11(2017)083
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP11(2017)083