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 {\textemdash} in honor of Ugo Bruzzo{\textquoteright}s 60th birthday 17{\textendash}22 August 2015, Guaruj{\'a}, S{\~a}o Paulo, Brazil, mostly based on Bawane et al. (0000) and Bershtein et al. (0000).

}, keywords = {AGT, Donaldson invariants, Equivariant localization, Exact partition function, Supersymmetry, Virasoro conformal blocks}, issn = {0393-0440}, doi = {https://doi.org/10.1016/j.geomphys.2017.01.012}, url = {http://www.sciencedirect.com/science/article/pii/S0393044017300165}, author = {Mikhail Bershtein and Giulio Bonelli and Massimiliano Ronzani and Alessandro Tanzini} } @article {Bershtein2016, title = {Exact results for N=2 supersymmetric gauge theories on compact toric manifolds and equivariant Donaldson invariants}, journal = {Journal of High Energy Physics}, volume = {2016}, number = {7}, year = {2016}, month = {Jul}, pages = {23}, abstract = {We 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.

}, issn = {1029-8479}, doi = {10.1007/JHEP07(2016)023}, url = {https://doi.org/10.1007/JHEP07(2016)023}, author = {Mikhail Bershtein and Giulio Bonelli and Massimiliano Ronzani and Alessandro Tanzini} } @article {Benvenuti2016, title = {Symmetry enhancements via 5d instantons, qW-algebrae and (1,0) superconformal index}, journal = {Journal of High Energy Physics}, volume = {2016}, number = {9}, year = {2016}, month = {Sep}, pages = {53}, abstract = {We 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.

}, issn = {1029-8479}, doi = {10.1007/JHEP09(2016)053}, url = {https://doi.org/10.1007/JHEP09(2016)053}, author = {Benvenuti, Sergio and Giulio Bonelli and Massimiliano Ronzani and Alessandro Tanzini} } @article {Bawane2015, title = {N=2 supersymmetric gauge theories on S^2xS^2 and Liouville Gravity}, journal = {Journal of High Energy Physics}, volume = {2015}, number = {7}, year = {2015}, month = {Jul}, pages = {54}, abstract = {We 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.

}, issn = {1029-8479}, doi = {10.1007/JHEP07(2015)054}, url = {https://doi.org/10.1007/JHEP07(2015)054}, author = {Aditya Bawane and Giulio Bonelli and Massimiliano Ronzani and Alessandro Tanzini} } @article {2014, title = {Six-dimensional supersymmetric gauge theories, quantum cohomology of instanton moduli spaces and gl(N) Quantum Intermediate Long Wave Hydrodynamics}, number = {Journal of high energy physics;volume 2014; issue 7; article number 141;}, year = {2014}, publisher = {Springer}, abstract = {We show that the exact partition function of U(N) six-dimensional gauge theory with eight supercharges on C^2 x S^2 provides the quantization of the integrable system of hydrodynamic type known as gl(N) periodic Intermediate Long Wave (ILW). We characterize this system as the hydrodynamic limit of elliptic Calogero-Moser integrable system. We compute the Bethe equations from the effective gauged linear sigma model on S^2 with target space the ADHM instanton moduli space, whose mirror computes the Yang-Yang function of gl(N) ILW. The quantum Hamiltonians are given by the local chiral ring observables of the six-dimensional gauge theory. As particular cases, these provide the gl(N) Benjamin-Ono and Korteweg-de Vries quantum Hamiltonians. In the four dimensional limit, we identify the local chiral ring observables with the conserved charges of Heisenberg plus W_N algebrae, thus providing a gauge theoretical proof of AGT correspondence.}, doi = {10.1007/JHEP07(2014)141}, url = {http://urania.sissa.it/xmlui/handle/1963/34546}, author = {Giulio Bonelli and Antonio Sciarappa and Alessandro Tanzini and Petr Vasko} } @article {2014, title = {The stringy instanton partition function}, number = {Journal of high energy physics;volume 2014; issue 1; article number 038;}, year = {2014}, publisher = {Springer}, abstract = {We perform an exact computation of the gauged linear sigma model associated to a D1-D5 brane system on a resolved A_1 singularity. This is accomplished via supersymmetric localization on the blown-up two-sphere. We show that in the blow-down limit C^2/Z_2 the partition function reduces to the Nekrasov partition function evaluating the equivariant volume of the instanton moduli space. For finite radius we obtain a tower of world-sheet instanton corrections, that we identify with the equivariant Gromov-Witten invariants of the ADHM moduli space. We show that these corrections can be encoded in a deformation of the Seiberg-Witten prepotential. From the mathematical viewpoint, the D1-D5 system under study displays a twofold nature: the D1-branes viewpoint captures the equivariant quantum cohomology of the ADHM instanton moduli space in the Givental formalism, and the D5-branes viewpoint is related to higher rank equivariant Donaldson-Thomas invariants of P^1 x C^2.}, doi = {10.1007/JHEP01(2014)038}, url = {http://urania.sissa.it/xmlui/handle/1963/34589}, author = {Giulio Bonelli and Antonio Sciarappa and Alessandro Tanzini and Petr Vasko} } @article {2014, title = {Vortex Partition Functions, Wall Crossing and Equivariant Gromov{\textendash}Witten Invariants}, number = {Communications in mathematical physics;volume 333; issue 2; pages 717-760;}, year = {2014}, publisher = {Springer}, abstract = {In this paper we identify the problem of equivariant vortex counting in a (2,2) supersymmetric two dimensional quiver gauged linear sigma model with that of computing the equivariant Gromov{\textendash}Witten invariants of the GIT quotient target space determined by the quiver. We provide new contour integral formulae for the I and J-functions encoding the equivariant quantum cohomology of the target space. Its chamber structure is shown to be encoded in the analytical properties of the integrand. This is explained both via general arguments and by checking several key cases. We show how several results in equivariant Gromov{\textendash}Witten theory follow just by deforming the integration contour. In particular, we apply our formalism to compute Gromov{\textendash}Witten invariants of the C3/Zn orbifold, of the Uhlembeck (partial) compactification of the moduli space of instantons on C2, and of An and Dn singularities both in the orbifold and resolved phases. Moreover, we analyse dualities of quantum cohomology rings of holomorphic vector bundles over Grassmannians, which are relevant to BPS Wilson loop algebrae.}, doi = {10.1007/s00220-014-2193-8}, url = {http://urania.sissa.it/xmlui/handle/1963/34652}, author = {Giulio Bonelli and Antonio Sciarappa and Alessandro Tanzini and Petr Vasko} } @article {2013, title = {N=2 gauge theories on toric singularities, blow-up formulae and W-algebrae}, number = {arXiv:1208.0790;}, year = {2013}, note = {33 pages, 1 figure; v2: discussions on U(1) gauge theory and\r\n Frenkel-Kac construction have been added in section 5.1, and typos corrected;\r\n v3: published version; v4: typos corrected}, institution = {SISSA}, abstract = {We compute the Nekrasov partition function of gauge theories on the\r\n(resolved) toric singularities C^2/\\Gamma in terms of blow-up formulae. We\r\ndiscuss the expansion of the partition function in the \\epsilon_1,\\epsilon_2\r\n\\to 0 limit along with its modular properties and how to derive them from the\r\nM-theory perspective. On the two-dimensional conformal field theory side, our\r\nresults can be interpreted in terms of representations of the direct sum of\r\nHeisenberg plus W_N-algebrae with suitable central charges, which can be\r\ncomputed from the fan of the resolved toric variety.We provide a check of this\r\ncorrespondence by computing the central charge of the two-dimensional theory\r\nfrom the anomaly polynomial of M5-brane theory. Upon using the AGT\r\ncorrespondence our results provide a candidate for the conformal blocks and\r\nthree-point functions of a class of the two-dimensional CFTs which includes\r\nparafermionic theories.}, url = {http://hdl.handle.net/1963/6577}, author = {Giulio Bonelli and Kazunobu Maruyoshi and Alessandro Tanzini and Futoshi Yagi} } @article {2012, title = {Gauge Theories on ALE Space and Super Liouville Correlation Functions}, journal = {Lett. Math. Phys. 101 (2012) 103-124}, number = {arXiv:1107.4609v1;}, year = {2012}, note = {21 pages}, publisher = {SISSA}, abstract = {We present a relation between N=2 quiver gauge theories on the ALE space O_{P^1}(-2) and correlators of N=1 super Liouville conformal field theory, providing checks in the case of punctured spheres and tori. We derive a blow-up formula for the full Nekrasov partition function and show that, up to a U(1) factor, the N=2^* instanton partition function is given by the product of the character of \\\\hat{SU}(2)_2 times the super Virasoro conformal block on the torus with one puncture.}, doi = {10.1007/s11005-012-0553-x}, url = {http://hdl.handle.net/1963/4305}, author = {Giulio Bonelli and Kazunobu Maruyoshi and Alessandro Tanzini} } @article {2012, title = {Vertices, vortices \& interacting surface operators}, journal = {JHEP 06(2012)178}, number = {SISSA;03/2011/FM-EP}, year = {2012}, note = {22 pages, 4 figures}, publisher = {SISSA}, abstract = {We show that the vortex moduli space in non-abelian supersymmetric N=(2,2) gauge theories on the two dimensional plane with adjoint and anti-fundamental matter can be described as an holomorphic submanifold of the instanton moduli space in four dimensions. The vortex partition functions for these theories are computed via equivariant localization. We show that these coincide with the field theory limit of the topological vertex on the strip with boundary conditions corresponding to column diagrams. Moreover, we resum the field theory limit of the vertex partition functions in terms of generalized hypergeometric functions formulating their AGT dual description as interacting surface operators of simple type. Analogously we resum the topological open string amplitudes in terms of q-deformed generalized hypergeometric functions proving that they satisfy appropriate finite difference equations.}, doi = {10.1007/JHEP06(2012)178}, url = {http://hdl.handle.net/1963/4134}, author = {Giulio Bonelli and Alessandro Tanzini and Zhao Jian} } @article {2012, title = {Wild quiver gauge theories}, journal = {JHEP 02(2012)031}, number = {arXiv:1112.1691v1;}, year = {2012}, note = {34 pages}, publisher = {SISSA}, abstract = {We study $N=2$ supersymmetric $SU(2)$ gauge theories coupled to non-Lagrangian superconformal field theories induced by compactifying the six dimensional $A_1 (2,0)$ theory on Riemann surfaces with irregular punctures. These are naturally associated to Hitchin systems with wild ramification whose spectral curves provide the relevant Seiberg-Witten geometries. We propose that the prepotential of these gauge theories on the Omega-background can be obtained from the corresponding irregular conformal blocks on the Riemann surfaces via a generalization of the coherent state construction to the case of higher order singularities.

}, doi = {10.1007/JHEP02(2012)031}, url = {http://hdl.handle.net/1963/5184}, author = {Giulio Bonelli and Kazunobu Maruyoshi and Alessandro Tanzini} } @article {2011, title = {Generalized matrix models and AGT correspondence at all genera}, journal = {JHEP, Volume 2011, Issue 7, 2011, Article number055}, number = {arXiv:1011.5417;}, year = {2011}, note = {This version is published in : Journal of High Energy Physics, Volume 2011, Issue 7, 2011, Article number055}, publisher = {SISSA}, abstract = {We study generalized matrix models corresponding to n-point Virasoro\r\nconformal blocks on Riemann surfaces with arbitrary genus g. Upon AGT\r\ncorrespondence, these describe four dimensional N=2 SU(2)^{n+3g-3} gauge\r\ntheories with generalized quiver diagrams. We obtain the generalized matrix\r\nmodels from the perturbative evaluation of the Liouville correlation functions\r\nand verify the consistency of the description with respect to degenerations of\r\nthe Riemann surface. Moreover, we derive the Seiberg-Witten curve for the N=2\r\ngauge theory as the spectral curve of the generalized matrix model, thus\r\nproviding a check of AGT correspondence at all genera.}, doi = {10.1007/JHEP07(2011)055}, url = {http://hdl.handle.net/1963/6568}, author = {Giulio Bonelli and Kazunobu Maruyoshi and Alessandro Tanzini and Futoshi Yagib} } @article {2011, title = {Instantons on ALE spaces and Super Liouville Conformal Field Theories}, number = {arXiv:1106.2505v1;}, year = {2011}, note = {10 pages}, institution = {SISSA}, abstract = {We provide evidence that the conformal blocks of N=1 super Liouville\\r\\nconformal field theory are described in terms of the SU(2) Nekrasov partition\\r\\nfunction on the ALE space O_{P^1}(-2).}, url = {http://hdl.handle.net/1963/4262}, author = {Giulio Bonelli and Kazunobu Maruyoshi and Alessandro Tanzini} } @article {2011, title = {The Liouville side of the vortex}, journal = {JHEP 09(2011)096}, number = {arXiv:1107.2787v1;}, year = {2011}, note = {25pages,11figures}, publisher = {SISSA}, abstract = {We analyze conformal blocks with multiple (semi-)degenerate field insertions in Liouville/Toda conformal field theories an show that their vector space is fully reproduced by the four-dimensional limit of open topological string amplitudes on the strip with generic boundary conditions associated to a suitable quiver gauge theory. As a byproduct we identify the non-abelian vortex partition function with a specific fusion channel of degenerate conformal blocks.}, doi = {10.1007/JHEP09(2011)096}, url = {http://hdl.handle.net/1963/4304}, author = {Giulio Bonelli and Alessandro Tanzini and Jian Zhao} } @article {2011, title = {Quantum Hitchin Systems via beta-deformed Matrix Models}, number = {arXiv:1104.4016v2;}, year = {2011}, note = {29 pages; v2. refs. added and typos corrected}, institution = {SISSA}, abstract = {We study the quantization of Hitchin systems in terms of beta-deformations of generalized matrix models related to conformal blocks of Liouville theory on punctured Riemann surfaces. We show that in a suitable limit, corresponding to the Nekrasov-Shatashvili one, the loop equations of the matrix model reproduce the Hamiltonians of the quantum Hitchin system on the sphere and the torus with marked points. The eigenvalues of these Hamiltonians are shown to be the epsilon1-deformation of the chiral observables of the corresponding N=2 four ndimensional gauge theory. Moreover, we find the exact wave-functions in terms of the matrix model representation of the conformal blocks with degenerate field insertions.

}, url = {http://hdl.handle.net/1963/4181}, author = {Giulio Bonelli and Kazunobu Maruyoshi and Alessandro Tanzini} } @article {2010, title = {Hitchin systems, N=2 gauge theories and W-gravity}, journal = {Phys. Lett. B 691 (2010) 111-115}, number = {SISSA;60/2009/EP-FM}, year = {2010}, abstract = {We propose some arguments supporting an M-theory derivation of the duality recently discovered by Alday, Gaiotto and Tachikawa between two-dimensional conformal field theories and N=2 superconformal gauge theories in four dimensions. We find that A_{N-1} Toda field theory is the simplest two-dimensional conformal field theory quantizing the moduli of N M5-branes wrapped on a Riemann surface. This leads us to identify chiral operators of the N=2 gauge theories with W-algebra currents. As a check of this correspondence we study some relevant OPE\\\'s obtaining that Nekrasov\\\'s partition function satisfies W-geometry constraints.}, doi = {10.1016/j.physletb.2010.06.027}, url = {http://hdl.handle.net/1963/3831}, author = {Giulio Bonelli and Alessandro Tanzini} } @article {2010, title = {Taming open/closed string duality with a Losev trick}, journal = {JHEP 06(2010)063}, number = {SISSA;17/2010/FM-EP}, year = {2010}, abstract = {A target space string field theory formulation for open and closed B-model is provided by giving a Batalin-Vilkovisky quantization of the holomorphic Chern-Simons theory with off-shell gravity background. The target space expression for the coefficients of the holomorphic anomaly equation for open strings are obtained. Furthermore, open/closed string duality is proved from a judicious integration over the open string fields. In particular, by restriction to the case of independence on continuous open moduli, the shift formulas of [7] are reproduced and shown therefore to encode the data of a closed string dual.}, doi = {10.1007/JHEP06(2010)063}, url = {http://hdl.handle.net/1963/3855}, author = {Giulio Bonelli and Andrea Prudenziati and Alessandro Tanzini} } @article {2009, title = {Decoupling A and B model in open string theory: topological adventures in the world of tadpoles}, journal = {JHEP 06 (2009) 046}, number = {SISSA;26/2009/FM-EP}, year = {2009}, abstract = {In this paper we analyze the problem of tadpole cancellation in open topological strings. We prove that the inclusion of unorientable worldsheet diagrams guarantees a consistent decoupling of A and B model for open superstring amplitudes at all genera. This is proven by direct microscopic computation in Super Conformal Field Theory. For the B-model we explicitly calculate one loop amplitudes in terms of analytic Ray-Singer torsions of appropriate vector bundles and obtain that the decoupling corresponds to the cancellation of D-brane and orientifold charges. Local tadpole cancellation on the worldsheet then guarantees the decoupling at all loops. The holomorphic anomaly equations for open topological strings at one loop are also obtained and compared with the results of the Quillen formula.}, doi = {10.1088/1126-6708/2009/06/046}, url = {http://hdl.handle.net/1963/3632}, author = {Giulio Bonelli and Andrea Prudenziati and Alessandro Tanzini and Yang Jie} } @article {2009, title = {Topological branes, p-algebras and generalized Nahm equations}, journal = {Phys. Lett. B 672 (2009) 390-395}, number = {SISSA;47/2008/FM}, year = {2009}, abstract = {Inspired by the recent advances in multiple M2-brane theory, we consider the generalizations of Nahm equations for arbitrary p-algebras. We construct the topological p-algebra quantum mechanics associated to them and we show that this can be obtained as a truncation of the topological p-brane theory previously studied by the authors. The resulting topological p-algebra quantum mechanics is discussed in detail and the relation with the M2-M5 system is pointed out in the p=3 case, providing a geometrical argument for the emergence of the 3-algebra structure in the Bagger-Lambert-Gustavsson theory}, doi = {10.1016/j.physletb.2009.01.051}, url = {http://hdl.handle.net/1963/2702}, author = {Giulio Bonelli and Alessandro Tanzini and Maxim Zabzine} } @article {2008, title = {Topological Gauge Theories on Local Spaces and Black Hole Entropy Countings}, journal = {Adv. Theor. Math. Phys. 12 (2008) 1429-1446}, number = {SISSA;43/2007/EP}, year = {2008}, abstract = {We study cohomological gauge theories on total spaces of holomorphic line bundles over complex manifolds and obtain their reduction to the base manifold by U(1) equivariant localization of the path integral. We exemplify this general mechanism by proving via exact path integral localization a reduction for local curves conjectured in hep-th/0411280, relevant to the calculation of black hole entropy/Gromov-Witten invariants. Agreement with the four-dimensional gauge theory is recovered by taking into account in the latter non-trivial contributions coming from one-loop fluctuations determinants at the boundary of the total space. We also study a class of abelian gauge theories on Calabi-Yau local surfaces, describing the quantum foam for the A-model, relevant to the calculation of Donaldson-Thomas invariants.}, url = {http://hdl.handle.net/1963/1992}, author = {Giulio Bonelli and Alessandro Tanzini} } @article {2007, title = {Computing Amplitudes in topological M-theory}, number = {SISSA;74/2006/FM}, year = {2007}, abstract = {We define a topological quantum membrane theory on a seven dimensional manifold of $G_2$ holonomy. We describe in detail the path integral evaluation for membrane geometries given by circle bundles over Riemann surfaces. We show that when the target space is $CY_3\\\\times S^1$ quantum amplitudes of non-local observables of membranes wrapping the circle reduce to the A-model amplitudes. \\nIn particular for genus zero we show that our model computes the Gopakumar-Vafa invariants. Moreover, for membranes wrapping calibrated homology spheres in the $CY_3$, we find that the amplitudes of our model are related to Joyce invariants.}, doi = {10.1088/1126-6708/2007/03/023}, url = {http://hdl.handle.net/1963/1901}, author = {Giulio Bonelli and Alessandro Tanzini and Maxim Zabzine} } @article {2007, title = {The holomorphic anomaly for open string moduli}, journal = {JHEP 10 (2007) 060}, number = {SISSA;55/2007/EP}, year = {2007}, abstract = {We complete the holomorphic anomaly equations for topological strings with their dependence on open moduli. We obtain the complete system by standard path integral arguments generalizing the analysis of BCOV (Commun. Math. Phys. 165 (1994) 311) to strings with boundaries. We study both the anti-holomorphic dependence on open moduli and on closed moduli in presence of Wilson lines. By providing the compactification a\\\' la Deligne-Mumford of the moduli space of Riemann surfaces with boundaries, we show that the open holomorphic anomaly equations are structured on the (real codimension one) boundary components of this space.}, doi = {10.1088/1126-6708/2007/10/060}, url = {http://hdl.handle.net/1963/2113}, author = {Giulio Bonelli and Alessandro Tanzini} } @article {2006, title = {On topological M-theory}, number = {SISSA;64/2005/FM}, year = {2006}, abstract = {We construct a gauge fixed action for topological membranes on G2-manifolds such that its bosonic part is the standard membrane theory in a particular gauge. We prove that quantum mechanically the path-integral in this gauge localizes on associative submanifolds.}, url = {http://hdl.handle.net/1963/1765}, author = {Giulio Bonelli and Alessandro Tanzini and Maxim Zabzine} }