Geometry & Topology

$\mathrm{SO}(3)$–Donaldson invariants of $\mathbb{C}\mathrm{P}^2$ and mock theta functions

Andreas Malmendier and Ken Ono

Full-text: Open access


We compute the Moore–Witten regularized u–plane integral on P2, and we confirm the conjecture that it is the generating function for the SO(3)–Donaldson invariants of P2. We also derive generating functions for the SO(3)–Donaldson invariants with 2Nf massless monopoles using the geometry of certain rational elliptic surfaces (Nf{0,2,3,4}), and we show that the partition function for Nf=4 is nearly modular. Our results rely heavily on the theory of mock theta functions and harmonic Maass forms (for example, see Ono [Current developments in mathematics, 2008, Int. Press, Somerville, MA (2009) 347–454]).

Article information

Geom. Topol., Volume 16, Number 3 (2012), 1767-1833.

Received: 28 April 2010
Revised: 1 May 2012
Accepted: 21 June 2012
First available in Project Euclid: 20 December 2017

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 57R57: Applications of global analysis to structures on manifolds, Donaldson and Seiberg-Witten invariants [See also 58-XX]

Donaldson invariant mock theta function


Malmendier, Andreas; Ono, Ken. $\mathrm{SO}(3)$–Donaldson invariants of $\mathbb{C}\mathrm{P}^2$ and mock theta functions. Geom. Topol. 16 (2012), no. 3, 1767--1833. doi:10.2140/gt.2012.16.1767.

Export citation


  • L Álvarez-Gaumé, M Mariño, F Zamora, Softly broken $N=2$ QCD with massive quark hypermultiplets, I, Internat. J. Modern Phys. A 13 (1998) 403–430
  • G E Andrews, Mordell integrals and Ramanujan's “lost” notebook, from: “Analytic number theory (Philadelphia, PA, 1980)”, (M I Knopp, editor), Lecture Notes in Math. 899, Springer, Berlin (1981) 10–18
  • M F Atiyah, The logarithm of the Dedekind $\eta$–function, Math. Ann. 278 (1987) 335–380
  • M F Atiyah, I M Singer, Dirac operators coupled to vector potentials, Proc. Nat. Acad. Sci. U.S.A. 81 (1984) 2597–2600
  • K Bringmann, K Ono, The $f(q)$ mock theta function conjecture and partition ranks, Invent. Math. 165 (2006) 243–266
  • K Bringmann, K Ono, Dyson's ranks and Maass forms, Ann. of Math. 171 (2010) 419–449
  • K Bringmann, K Ono, R C Rhoades, Eulerian series as modular forms, J. Amer. Math. Soc. 21 (2008) 1085–1104
  • J H Bruinier, Borcherds products on O(2, $l$) and Chern classes of Heegner divisors, Lecture Notes in Math. 1780, Springer, Berlin (2002)
  • J H Bruinier, J Funke, On two geometric theta lifts, Duke Math. J. 125 (2004) 45–90
  • J H Bruinier, K Ono, Heegner divisors, $L$–functions and harmonic weak Maass forms, Ann. of Math. 172 (2010) 2135–2181
  • J H Bruinier, G van der Geer, G Harder, D Zagier, The 1-2-3 of modular forms, (K Ranestad, editor), Universitext, Springer, Berlin (2008) Lectures from the Summer School on Modular Forms and their Applications held in Nordfjordeid, June 2004
  • J H Bruinier, T Yang, Faltings heights of CM cycles and derivatives of $L$–functions, Invent. Math. 177 (2009) 631–681
  • Y Choie, M H Lee, Rankin–Cohen brackets on pseudodifferential operators, J. Math. Anal. Appl. 326 (2007) 882–895
  • S K Donaldson, P B Kronheimer, The geometry of four-manifolds, Oxford Math. Monogr., Oxford Science Publ., The Clarendon Press, Oxford Univ. Press, New York (1990)
  • F J Dyson, A walk through Ramanujan's garden, from: “Ramanujan revisited (Urbana-Champaign, IL, 1987)”, (G E Andrews, R A Askey, B C Berndt, K G Ramanathan, R A Rankin, editors), Academic Press, Boston (1988) 7–28
  • G Ellingsrud, L G öttsche, Wall-crossing formulas, the Bott residue formula and the Donaldson invariants of rational surfaces, Quart. J. Math. Oxford Ser. 49 (1998) 307–329
  • D S Freed, K K Uhlenbeck, Instantons and four-manifolds, second edition, MSRI Publ. 1, Springer, New York (1991)
  • A L Gorodenzev, Top Chern classes of universal bundles on the complex projective plane and correlation functions of asymptotically free SYM $N=2$ QFT, J. Math. Sci. $($New York$)$ 106 (2001) 3240–3257
  • L G öttsche, Modular forms and Donaldson invariants for $4$–manifolds with $b_{+}=1$, J. Amer. Math. Soc. 9 (1996) 827–843
  • L G öttsche, Donaldson invariants in algebraic geometry, from: “School on Algebraic Geometry (Trieste, 1999)”, (L G öttsche, editor), ICTP Lect. Notes 1, Abdus Salam Int. Cent. Theoret. Phys., Trieste (2000) 101–134
  • L G öttsche, H Nakajima, K Yoshioka, Instanton counting and Donaldson invariants, J. Differential Geom. 80 (2008) 343–390
  • L G öttsche, D Zagier, Jacobi forms and the structure of Donaldson invariants for $4$–manifolds with $b_+=1$, Selecta Math. 4 (1998) 69–115
  • F Hirzebruch, D Zagier, Intersection numbers of curves on Hilbert modular surfaces and modular forms of Nebentypus, Invent. Math. 36 (1976) 57–113
  • A A Klyachko, Moduli of vector bundles and numbers of classes, Funktsional. Anal. i Prilozhen. 25 (1991) 81–83
  • D Kotschick, ${\rm SO}(3)$–invariants for $4$–manifolds with $b^ +_2=1$, Proc. London Math. Soc. 63 (1991) 426–448
  • D Kotschick, P Lisca, Instanton invariants of $\mathbf C{\rm P}^2$ via topology, Math. Ann. 303 (1995) 345–371
  • D Kotschick, J W Morgan, ${\rm SO}(3)$–invariants for $4$–manifolds with $b^ +_2=1$. II, J. Differential Geom. 39 (1994) 433–456
  • P B Kronheimer, T S Mrowka, Embedded surfaces and the structure of Donaldson's polynomial invariants, J. Differential Geom. 41 (1995) 573–734
  • J M F Labastida, C Lozano, Duality in twisted ${\mathscr N}=4$ supersymmetric gauge theories in four dimensions, Nuclear Phys. B 537 (1999) 203–242
  • T G Leness, Degeneracy loci of families of Dirac operators, Trans. Amer. Math. Soc. 364 (2012) 5995–6008
  • A Losev, N Nekrasov, S Shatashvili, Issues in topological gauge theory, Nuclear Phys. B 534 (1998) 549–611
  • A Malmendier, |Expressions for the generating function of the Donaldson invariants for $\mathbb{C}\mathrm{P}^2$, PhD thesis, Massachusetts Insitute of Technology (2007) Available at \setbox0\makeatletter\@url {\unhbox0
  • A Malmendier, The signature of the Seiberg–Witten surface, from: “Surveys in differential geometry. Volume XV. Perspectives in mathematics and physics”, (T Mrowka, S-T Yau, editors), Surv. Differ. Geom. 15, Int. Press, Somerville, MA (2011) 255–277
  • M Mariño, G Moore, Integrating over the Coulomb branch in ${\mathscr N}=2$ gauge theory, Nuclear Phys. B Proc. Suppl. 68 (1998) 336–347 Strings '97 (Amsterdam, 1997)
  • R Miranda, Persson's list of singular fibers for a rational elliptic surface, Math. Z. 205 (1990) 191–211
  • R Miranda, An overview of algebraic surfaces, from: “Algebraic geometry (Ankara, 1995)”, (S Sert öz, editor), Lecture Notes in Pure and Appl. Math. 193, Dekker, New York (1997) 157–217
  • G Moore, E Witten, Integration over the $u$–plane in Donaldson theory, Adv. Theor. Math. Phys. 1 (1997) 298–387
  • W Nahm, On electric-magnetic duality, Nuclear Phys. B Proc. Suppl. 58 (1997) 91–96 Advanced quantum field theory (La Londe les Maures, 1996)
  • K Oguiso, T Shioda, The Mordell–Weil lattice of a rational elliptic surface, Comment. Math. Univ. St. Paul. 40 (1991) 83–99
  • K Ono, Unearthing the visions of a master: harmonic Maass forms and number theory, from: “Current developments in mathematics, 2008”, (D Jerison, B Mazur, T Mrowka, W Schmid, R P Stanley, S-T Yau, editors), Int. Press, Somerville, MA (2009) 347–454
  • U Persson, Configurations of Kodaira fibers on rational elliptic surfaces, Math. Z. 205 (1990) 1–47
  • N Seiberg, E Witten, Electric-magnetic duality, monopole condensation, and confinement in $N=2$ supersymmetric Yang–Mills theory, Nuclear Phys. B 426 (1994) 19–52
  • N Seiberg, E Witten, Monopoles, duality and chiral symmetry breaking in $N=2$ supersymmetric QCD, Nuclear Phys. B 431 (1994) 484–550
  • Y Shimizu, Seiberg–Witten integrable systems and periods of rational elliptic surfaces, from: “Primes and knots”, (T Kohno, M Morishita, editors), Contemp. Math. 416, Amer. Math. Soc. (2006) 237–247
  • G Shimura, On modular forms of half integral weight, Ann. of Math. 97 (1973) 440–481
  • T Shioda, On elliptic modular surfaces, J. Math. Soc. Japan 24 (1972) 20–59
  • P F Stiller, Elliptic curves over function fields and the Picard number, Amer. J. Math. 102 (1980) 565–593
  • P F Stiller, Monodromy and invariants of elliptic surfaces, Pacific J. Math. 92 (1981) 433–452
  • S A Strømme, Ample divisors on fine moduli spaces on the projective plane, Math. Z. 187 (1984) 405–423
  • C Vafa, E Witten, A strong coupling test of $S$–duality, Nuclear Phys. B 431 (1994) 3–77
  • E Witten, Topological quantum field theory, Comm. Math. Phys. 117 (1988) 353–386
  • E Witten, Monopoles and four-manifolds, Math. Res. Lett. 1 (1994) 769–796
  • E Witten, On $S$–duality in abelian gauge theory, Selecta Math. 1 (1995) 383–410
  • K Yoshioka, The Betti numbers of the moduli space of stable sheaves of rank $2$ on $\mathbf P^2$, J. Reine Angew. Math. 453 (1994) 193–220
  • D Zagier, Ramanujan's mock theta functions and their applications (after Zwegers and Ono–Bringmann), from: “Séminaire Bourbaki. Vol. 2007/2008”, Astérisque 326, Soc. Math. France (2009) vii–viii, 143–164
  • S P Zwegers, Mock theta functions, PhD thesis, Universiteit Utrecht (2002) Available at \setbox0\makeatletter\@url {\unhbox0