Abstract
We give a mathematically rigorous proof of Nekrasov’s conjecture: the integration in the equivariant cohomology over the moduli spaces of instantons on ℝ4 gives a deformation of the Seiberg-Witten prepotential for N=2 SUSY Yang-Mills theory. Through a study of moduli spaces on the blowup of ℝ4, we derive a differential equation for the Nekrasov’s partition function. It is a deformation of the equation for the Seiberg-Witten prepotential, found by Losev et al., and further studied by Gorsky et al.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Atiyah, M.F., Drinfeld, V., Hitchin, N.J., Manin, Y.I.: Construction of instantons. Phys. Lett. 65A, 185–187 (1978)
Atiyah, M.F., Hitchin, N.J., Singer, I.M.: Self-duality in four-dimensional Riemannian geometry. Proc. R. Soc. Lond., Ser. A 362, 425–461 (1978)
Atiyah, M.F., Segal, G.B.: The index of elliptic operators, II. Ann. Math. 87, 531–545 (1968)
Bando, S.: Einstein-Hermitian metrics on noncompact Kähler manifolds. In: Einstein metrics and Yang-Mills connections (Sanda, 1990), pp. 27–33. New York: Dekker 1993
Barth, W.: Moduli of bundles on the projective plane. Invent. Math. 42, 63–91 (1977)
Braverman, A., Finkelberg, M., Gaitsgory, D.: Uhlenbeck spaces via affine Lie algebras. Preprint, math.AG/0301176
Bruzzo, U., Fucito, F., Morales, J.F., Tanzini, A.: Multi-Instanton Calculus and Equivariant Cohomology. J. High Energy Phys. 05, 054 (2003), 24pp (electronic)
Bryan, J.: Symplectic geometry and the relative Donaldson invariants of \(\overline{\mathbb{C}\mathbb{P}}^2\). Forum Math. 9, 325–365 (1997)
Chriss, N., Ginzburg, V.: Representation theory and complex geometry. Progress in Math. Birkhäuser 1997
D’Hoker, E., Krichever, I., Phong, D.H.: The renormalization group equation in N=2 supersymmetric gauge theories. Nuclear Phys. B 494, 89–104 (1997)
Donaldson, S.K.: Instantons and geometric invariant theory. Commun. Math. Phys. 93, 453–460 (1984)
Donaldson, S.K., Kronheimer, P.B.: The geometry of four-manifold. Oxford Math. Monographs. Oxford Univ. Press 1990
Edelstein, J.D., Gómez-Reino, M., Mariño, M., Mas, J.: \(\mathcal{N}=2\) supersymmetric gauge theories with massive hypermultiplets and the Whitham hierarchy. Nuclear Phys. B 574, 587–619 (2000)
Edelstein, J.D., Mariño, M., Mas, J.: Whitham hierarchies, instanton corrections and soft supersymmetry breaking in N=2SU(N) super Yang-Mills theory. Nuclear Phys. B 541, 671–697 (1999)
Edidin, D., Graham, W.: Equivariant intersection theory. Invent. Math. 131, 595–634 (1998)
Eguchi, T., Yang, S.K.: Prepotential for N=2 supersymmetric gauge theories and solition equations. Mod. Phys. Lett. A 11, 131–138 (1996)
Ellingsrud, G., Göttsche, L.: Wall-crossing formulas, the Bott residue formula and the Donaldson invariants of rational surfaces. Q. J. Math., Oxf. 49, 307–329 (1998)
Ellingsrud, G., Strømme, S.A.: On the homology of the Hilbert scheme of points in the plane. Invent. Math. 87, 343–352 (1987)
Fintushel, R., Stern, R.J.: The blowup formula for Donaldson invariants. Ann. Math. 143, 529–546 (1996)
Friedman, R., Morgan, J.W.: Smooth four-manifolds and complex surfaces. Berlin: Springer 1994
Fulton, W.: Young tableaux. Cambridge: Cambridge Univ. Press 1997
Göttsche, L.: Modular forms and Donaldson invariants for 4-manifolds with b+=1. J. Am. Math. Soc. 9, 827–843 (1996)
Gorsky, A., Marshakov, A., Mironov, A., Morozov, A.: RG equations from Whitham hierarchy. Nuclear Phys. B 527, 690–716 (1998)
Haiman, M.: Vanishing theorems and character formulas for the Hilbert scheme of points in the plane. Invent. Math. 149, 371–407 (2002)
Huybrechts, D., Lehn, M.: Stable pairs on curves and surfaces. J. Algebr. Geom. 4, 67–104 (1995)
Huybrechts, D., Lehn, M.: The geometry of moduli spaces of sheaves. Aspects of Math., vol. E31. Braunschweig: Friedr. Vieweg & Sohn 1997
Kac, V.G.: Infinite dimensional Lie algebras (3rd edn.). Cambridge Univ. Press 1990
King, A.: Instantons and holomorphic bundles on the blown up plane. Ph.D. thesis. Oxford 1989
Li, J.: Algebraic geometric interpretation of Donaldson’s polynomial invariants. J. Differ. Geom. 37, 417–466 (1993)
Li, W.-P., Qin, Z.: On blowup formulae for the S-duality conjecture of Vafa and Witten. Invent. Math. 136, 451–482 (1999)
Li, W.-P., Qin, Z.: On blowup formulae for the S-duality conjecture of Vafa and Witten. II. The universal functions. Math. Res. Lett. 5, 439–453 (1998)
Li, W.-P., Qin, Z.: Vertex operator algebras and the blowup formula for the S-duality conjecture of Vafa and Witten. Math. Res. Lett. 5, 791–798 (1998)
Losev, A., Marshakov, A., Nekrasov, N.: Small instantons, little strings and free fermions. Preprint, hep-th/0302191
Losev, A., Nekrasov, N., Shatashvili, S.: Issues in topological gauge theory. Nuclear Phys. B 534, 549–611 (1998)
Losev, A., Nekrasov, N., Shatashvili, S.: Testing Seiberg-Witten solution. In L.D. Faddeev’s Seminar on Mathematical Physics, pp. 123–135. Am. Math. Soc. Transl. Ser. 2, 201. Providence, RI: Am. Math. Soc. 2000
Lusztig, G.: Cuspidal local systems and graded Hecke algebras. I. Publ. Math., Inst. Hautes Étud. Sci. 67, 145–202 (1988)
Lusztig, G.: On quiver varieties. Adv. Math. 136, 141–182 (1998)
Lusztig, G.: Cuspidal local systems and graded Hecke algebras. II. In: Representations of groups (Banff, AB 1994), pp. 217–275. Providence, RI: Am. Math. Soc. 1995
Macdonald, I.G.: Symmetric functions and Hall polynomials (2nd ed.). Oxford Math. Monographs. Oxford Univ. Press 1995
Mariño, M.: The uses of Whitham hierarchies. Prog. Theor. Phys., Suppl. 135, 29–52 (1999)
Mariño, M., Moore, G.: The Donaldson-Witten function for gauge groups of rank larger than one. Commun. Math. Phys. 199, 25–69 (1998)
Matone, M.: Instantons and recursion relations in N=2 SUSY gauge theory. Phys. Lett. B 357, 342–348 (1995)
Moore, G., Witten, E.: Integration over the u-plane in Donaldson theory. Adv. Theor. Math. Phys. 1, 298–387 (1997)
Morgan, J.W.: Comparison of the Donaldson polynomial invariants with their algebro-geometric analogues. Topology 32, 449–488 (1993)
Nakajima, H.: Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras. Duke Math. J. 76, 365–416 (1994)
Nakajima, H.: Quiver varieties and Kac-Moody algebras. Duke Math. J. 91, 515–560 (1998)
Nakajima, H.: Lectures on Hilbert schemes of points on surfaces. Univ. Lect. Ser., vol. 18. Am. Math. Soc. 1999
Nakajima, H.: Moduli of sheaves on blown-up surfaces. In: Proceedings of RIMS Project 1999/2000, Algebraic Geometry and Integrable Systems related to String theory. RIMS Kokyuroku 1232, 29–33 (2001); available from http://www.kusm.kyoto-u.ac.jp/∼nakajima/TeX/blowup.ps.gz
Nakajima, H., Yoshioka, K.: Lectures on instanton counting. In: Algebraic structures and moduli spaces, pp. 31–101. CRM Proc. Lect. Notes, vol. 38. Providence, RI: Am. Math. Soc. 2004
Nekrasov, N.: Seiberg-Witten prepotential from instanton counting. Adv. Theor. Math. Phys. 7, 831–864 (2003)
Nekrasov, N., Okounkov, A.: Seiberg-Witten prepotential and random partitions. Preprint, hep-th/0306238
Seiberg, N., Witten, E.: Electric-magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory. Nuclear Phys. B 426, 19–52 (1994); Erratum, Nuclear Phys. B 430, 485–486 (1994)
Sonnenschein, J., Theisen, S., Yankielowicz, S.: On the Relation Between the Holomorphic Prepotential and the Quantum Moduli in SUSY Gauge Theories. Phys. Lett. B 367, 145–150 (1996)
Thomason, R.: Une formule de Lefschetz en K-théorie équivariante algébrique. Duke Math. J. 68, 447–462 (1992)
Varagnolo, M., Vasserot, E.: On the K-theory of the cyclic quiver variety. Int. Math. Res. Not. 18, 1005–1028 (1999)
Witten, E.: Topological quantum field theory. Commun. Math. Phys. 117, 353–386 (1988)
Yoshioka, K.: Chamber structure of polarizations and the moduli of stable sheaves on a ruled surface. Int. J. Math. 7, 411–431 (1996)
Author information
Authors and Affiliations
Corresponding authors
Additional information
Mathematics Subject Classification (2000)
14D21, 57R57, 81T13, 81T60
Rights and permissions
About this article
Cite this article
Nakajima, H., Yoshioka, K. Instanton counting on blowup. I. 4-dimensional pure gauge theory. Invent. math. 162, 313–355 (2005). https://doi.org/10.1007/s00222-005-0444-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-005-0444-1