We show that equivariant Donaldson polynomials of compact toric surfaces can be calculated as residues of suitable combinations of Virasoro conformal blocks, by building on AGT correspondence between $\mathcal{N}=2$ supersymmetric gauge theories and two-dimensional conformal field theory. Talk presented by A.T. at the conference Interactions between Geometry and Physics — in honor of Ugo Bruzzo’s 60th birthday 17–22 August 2015, Guarujá, São Paulo, Brazil, mostly based on Bawane et al. (0000) and Bershtein et al. (0000).

10aAGT10aDonaldson invariants10aEquivariant localization10aExact partition function10aSupersymmetry10aVirasoro conformal blocks1 aBershtein, Mikhail1 aBonelli, Giulio1 aRonzani, Massimiliano1 aTanzini, Alessandro uhttp://www.sciencedirect.com/science/article/pii/S039304401730016501475nas a2200181 4500008004100000022001400041245012000055210006900175260000800244300000700252490000900259520088800268100002301156700002001179700002601199700002401225856004401249 2016 eng d a1029-847900aExact results for N=2 supersymmetric gauge theories on compact toric manifolds and equivariant Donaldson invariants0 aExact results for N2 supersymmetric gauge theories on compact to cJul a230 v20163 aWe provide a contour integral formula for the exact partition function of $\mathcal{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)\; \mathcal{N}=2^\star$ theory on $\mathbb{P}^2$ for all instanton numbers. In the zero mass case, corresponding to the $\mathcal{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 longstanding conjecture by N. Nekrasov. In the case of vanishing first Chern class the resulting equivariant Donaldson polynomials are new.

1 aBershtein, Mikhail1 aBonelli, Giulio1 aRonzani, Massimiliano1 aTanzini, Alessandro uhttps://doi.org/10.1007/JHEP07(2016)02302791nas a2200121 4500008004100000245004400041210004400085260001000129520243500139653001802574100002602592856005102618 2016 en d00aInstanton counting on compact manifolds0 aInstanton counting on compact manifolds bSISSA3 aIn 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 in- stanton 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.10aSupersymmetry1 aRonzani, Massimiliano uhttp://urania.sissa.it/xmlui/handle/1963/3521901192nas a2200181 4500008004100000022001400041245008800055210006900143260000800212300000700220490000900227520063800236100002200874700002000896700002600916700002400942856004400966 2016 eng d a1029-847900aSymmetry enhancements via 5d instantons, qW-algebrae and (1,0) superconformal index0 aSymmetry enhancements via 5d instantons qWalgebrae and 10 superc cSep a530 v20163 aWe explore $\mathcal{N}=(1,0)$ superconformal six-dimensional theories arising from M5 branes probing a transverse $A_k$ singularity. Upon circle compactification to 5 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 that S-duality of the pq-web implies new relations among vertex correlators of $q\mathcal{W}$ algebrae.

1 aBenvenuti, Sergio1 aBonelli, Giulio1 aRonzani, Massimiliano1 aTanzini, Alessandro uhttps://doi.org/10.1007/JHEP09(2016)05301077nas a2200181 4500008004100000022001400041245007100055210006800126260000800194300000700202490000900209520054400218100001900762700002000781700002600801700002400827856004400851 2015 eng d a1029-847900aN=2 supersymmetric gauge theories on S^2xS^2 and Liouville Gravity0 aN2 supersymmetric gauge theories on S2xS2 and Liouville Gravity cJul a540 v20153 aWe consider $\mathcal{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 $S^2 \times S^2$ 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.

1 aBawane, Aditya1 aBonelli, Giulio1 aRonzani, Massimiliano1 aTanzini, Alessandro uhttps://doi.org/10.1007/JHEP07(2015)054