Abstract
We generalize the analysis by Moore and Witten in [hep-th/9709193], and consider integration over the u-plane in Donaldson theory with surface operators on a smooth four-manifold X. Several novel aspects will be developed in the process; like a physical interpretation of the “ramified” Donaldson and Seiberg-Witten invariants, and the concept of curved surface operators which are necessarily topological at the outset. Elegant physical proofs — rooted in R-anomaly cancellations and modular invariance over the u-plane — of various seminal results in four-dimensional geometric topology obtained by Kronheimer-Mrowka [1, 2] — such as a universal formula relating the “ramified” and ordinary Donaldson invariants, and a generalization of the celebrated Thom conjecture — will be furnished. Wall-crossing and blow-up formulas of these “ramified” invariants which have not been computed in the mathematical literature before, as well as a generalization and a Seiberg-Witten analog of the universal formula as implied by an electric-magnetic duality of trivially-embedded surface operators in X, will also be presented, among other things.
Similar content being viewed by others
References
P.B. Kronheimer and T.S. Mrowka, Embedded surfaces and the structure of Donaldson’s polynomial invariants, J. Diff. Geom. 41 (1995) 573.
P.B. Kronheimer and T.S. Mrowka, Recurrence relations and asymptotics for four-manifold invariants, Bull. Amer. Math. Soc. (N.S.) 30 (1994) 215.
S.K. Donaldson, Polynomial invariants for smooth manifolds, Topology 29 (1990) 257 [SPIRES].
E. Witten, Topological quantum field theory, Commun. Math. Phys. 117 (1988) 353 [SPIRES].
N. Seiberg and E. Witten, Monopole condensation, and confinement in N = 2 supersymmetric Yang-Mills theory, Nucl. Phys. B 426 (1994) 19 [hep-th/9407087] [SPIRES].
N. Seiberg and E. Witten, Monopole condensation, and confinement in N = 2 supersymmetric Yang-Mills theory, Nucl. Phys. B 426 (1994) 19 [hep-th/9407087] [SPIRES].
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] [SPIRES].
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] [SPIRES].
E. Witten, Monopoles and four manifolds, Math. Res. Lett. 1 (1994) 769 [hep-th/9411102] [SPIRES].
G.W. Moore and E. Witten, Integration over the u-plane in Donaldson theory, Adv. Theor. Math. Phys. 1 (1998) 298 [hep-th/9709193] [SPIRES].
E. Witten, Supersymmetric Yang-Mills theory on a four manifold, J. Math. Phys. 35 (1994) 5101 [hep-th/9403195] [SPIRES].
P.B. Kronheimer and T.S. Mrowka, Gauge theory for embedded surfaces: I, Topology 32 (1993) 773.
P.B. Kronheimer and T.S. Mrowka, Gauge theory for embedded surfaces: II, Topology 34 (1995) 37.
J. Preskill and L.M. Krauss, Local discrete symmetry and quantum mechanical hair, Nucl. Phys. B 341 (1990) 50 [SPIRES].
M.G. Alford, K.-M. Lee, J. March-Russell and J. Preskill, Quantum field theory of nonAbelian strings and vortices, Nucl. Phys. B 384 (1992) 251 [hep-th/9112038] [SPIRES].
M. Bucher, K.-M. Lee and J. Preskill, On detecting discrete Cheshire charge, Nucl. Phys. B 386 (1992) 27 [hep-th/9112040] [SPIRES].
A. Braverman, Instanton counting via affine Lie algebras I: equivariant J-functions of (affine) flag manifolds and Whittaker vectors, math/0401409. MATH/0401409;
A. Braverman and P. Etingof, Instanton counting via affine Lie algebras. II: From Whittaker vectors to the Seiberg-Witten prepotential, math/0409441.
M. Henningson, Commutation relations for surface operators in six-dimensional (2,0) theory, JHEP 03 (2001) 011 [hep-th/0012070] [SPIRES].
S. Gukov, Surface operators and knot homologies, arXiv:0706.2369 [SPIRES].
S. Gukov and E. Witten, Rigid surface operators, arXiv:0804.1561 [SPIRES].
A. Di Giacomo and V.I. Zakharov, Magnetic degrees of freedom in pure Yang-Mills theories, Phys. Atom. Nucl. 73 (2010) 711 [arXiv:0806.2938] [SPIRES].
N. Wyllard, Rigid surface operators and S-duality: some proposals, JHEP 05 (2009) 125 [arXiv:0901.1833] [SPIRES].
S. Gukov and E. Witten, Gauge theory, ramification and the geometric Langlands program, hep-th/0612073 [SPIRES].
A. Beilinson and V. Drinfeld, Quantization of Hitchin’s integrable system and Hecke eigensheaves, preprint (1995), http://www.math.uchicago.edu/˜arinkin/langlands/.
E. Koh and S. Yamaguchi, Holography of BPS surface operators, JHEP 02 (2009) 012 [arXiv:0812.1420] [SPIRES].
N. Drukker, J. Gomis and S. Matsuura, Probing N = 4 SYM with surface operators, JHEP 10 (2008) 048 [arXiv:0805.4199] [SPIRES].
E.I. Buchbinder, J. Gomis and F. Passerini, Holographic gauge theories in background fields and surface operators, JHEP 12 (2007) 101 [arXiv:0710.5170] [SPIRES].
E. Koh and S. Yamaguchi, Surface operators in the Klebanov-Witten theory, JHEP 06 (2009) 070 [arXiv:0904.1460] [SPIRES].
J. Gomis and S. Matsuura, Bubbling surface operators and S-duality, JHEP 06 (2007) 025 [arXiv:0704.1657] [SPIRES].
M.-C. Tan, Surface operators in N = 2 abelian gauge theory, JHEP 09 (2009) 047 [arXiv:0906.2413] [SPIRES].
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].
D. Gaiotto, Surface operators in N = 24D gauge theories, arXiv:0911.1316 [SPIRES].
M.C. Tan, Notes on the “ramified” Seiberg-Witten equations and invariants, arXiv:0912.1891.
J. Labastida and M. Marino, Topological quantum field theory and four-manifolds, Mathematical Physics Studies, volume 25, Springer, U.S.A. (2005).
P. Deligne et al., Quantum fields and strings, a course for mathematicians. Volume 2, AMS, U.S.A. (1999).
N. Seiberg,Supersymmetry and non-perturbative beta functions, Phys. Lett. B 206 (1988) 75 [SPIRES].
A. D’Adda and P. DiVecchia, Supersymmetry and instantons, Phys. Lett. B 73 (1978) 162 [SPIRES].
S. Coleman, Aspects of symmetry: selected Erice lectures, Cambridge University Press, Cambridge U.K. (1988).
W. Lerche, Introduction to Seiberg-W itten theory and its stringy origin, Nucl. Phys. Proc. Suppl. 55B (1997) 83 [hep-th/9611190] [SPIRES].
A. Hanany and K. Hori, Branes and N = 2 theories in two dimensions, Nucl. Phys. B 513 (1998) 119 [hep-th/9707192] [SPIRES].
K. Hori et al., Mirror symmetry, Clay Mathematics Monographs, volume 1, AMS, U.S.A. (2003).
E. Witten, Solutions of four-dimensional field theories via M-theory, Nucl. Phys. B 500 (1997) 3 [hep-th/9703166] [SPIRES].
M. Bershadsky, C. Vafa and V. Sadov, D-branes and topological field theories, Nucl. Phys. B 463 (1996) 420 [hep-th/9511222] [SPIRES].
M.C. Tan, Surface operators in abelian gauge theory, JHEP 05 (2009) 104 [arXiv:0904.1744] [SPIRES].
R. Borcherds, Automorphic forms with singularities on Grassmannians, Invent. Math. 132 (1998) 491 [alg-geom/9609022].
L. Göttsche, Modular forms and Donaldson invariants for 4-manifolds with b + = 1, alg-geom/9506018.
L. Göttsche and D. Zagier, Jacobi forms and the structure of Donaldson invariants for 4-manifolds with b + = 1, alg-geom/9612020.
H. J. Hoppe and H. Spindler, Modulraume Stabiler 2-Bundel auf Regeflachen, Math. Ann. 249 (1980) 127.
R. Fintushel and R.J. Stern, The blowup formula for Donaldson invariants, Ann. Math. 143 (1996) 529 [alg-geom/9405002].
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 0912.4261
Rights and permissions
About this article
Cite this article
Tan, MC. Integration over the u-plane in Donaldson theory with surface operators. J. High Energ. Phys. 2011, 7 (2011). https://doi.org/10.1007/JHEP05(2011)007
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP05(2011)007