Instanton counting on compact manifolds

In this thesis we analyze supersymmetric gauge theories on compact manifolds and their relation with representation theory of infinite Lie algebras associated to conformal field theories, and with the computation of geometric invariants and superconformal indices. The thesis contains the work done by the candidate during the doctorate programme at SISSA under the supervision of A. Tanzini and G. Bonelli. • in Chapter 2, we consider N = 2 supersymmetric gauge theories on four manifolds admitting an isometry. Generalized Killing spinor equations are derived from the consistency of supersymmetry algebrae and solved in the case of four manifolds admitting a U(1) isometry. This is used to explicitly compute the supersymmetric path integral on S2 × S2 via equivariant localization. The building blocks of the resulting partition function are shown to contain the three point functions and the conformal blocks of Liouville Gravity. • in Chapter 3, we provide a contour integral formula for the exact partition function of 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) N = 2∗ theory on P2 for all instanton numbers. In the zero mass case, corresponding to the 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 long-standing conjecture by N. Nekrasov. In the case of vanishing first Chern class the resulting equivariant Donaldson polynomials are new. • in Chapter 4, we explore N = (1, 0) superconformal six-dimensional theories arising from M5 branes probing a transverse Ak singularity. Upon circle compactification to five dimensions, we describe this system with a dual pq-web of five-branes and propose the spectrum of basic five-dimensional instanton operators driving global symmetry enhancement. For a single M5 brane, we find that the exact partition function of the 5d quiver gauge theory matches the 6d (1, 0) index, which we compute by letter counting. We finally show which relations among vertex correlators of qW algebrae are implied by the S-duality of the pq-web.