The Omega Deformation, Branes, Integrability, and Liouville Theory

We reformulate the Omega-deformation of four-dimensional gauge theory in a way that is valid away from fixed points of the associated group action. We use this reformulation together with the theory of coisotropic A-branes to explain recent results linking the Omega-deformation to integrable Hamiltonian systems in one direction and Liouville theory of two-dimensional conformal field theory in another direction.Comment: 96 p

The matrix model version of AGT conjecture and CIV-DV prepotential

Recently exact formulas were provided for partition function of conformal (multi-Penner) beta-ensemble in the Dijkgraaf-Vafa phase, which, if interpreted as Dotsenko-Fateev correlator of screenings and analytically continued in the number of screening insertions, represents generic Virasoro conformal blocks. Actually these formulas describe the lowest terms of the q_a-expansion, where q_a parameterize the shape of the Penner potential, and are exact in the filling numbers N_a. At the same time, the older theory of CIV-DV prepotential, straightforwardly extended to arbitrary beta and to non-polynomial potentials, provides an alternative expansion: in powers of N_a and exact in q_a. We check that the two expansions coincide in the overlapping region, i.e. for the lowest terms of expansions in both q_a and N_a. This coincidence is somewhat non-trivial, since the two methods use different integration contours: integrals in one case are of the B-function (Euler-Selberg) type, while in the other case they are Gaussian integrals.Comment: 27 pages, 1 figur

Matrix Model Conjecture for Exact BS Periods and Nekrasov Functions

We give a concise summary of the impressive recent development unifying a number of different fundamental subjects. The quiver Nekrasov functions (generalized hypergeometric series) form a full basis for all conformal blocks of the Virasoro algebra and are sufficient to provide the same for some (special) conformal blocks of W-algebras. They can be described in terms of Seiberg-Witten theory, with the SW differential given by the 1-point resolvent in the DV phase of the quiver (discrete or conformal) matrix model (\beta-ensemble), dS = ydz + O(\epsilon^2) = \sum_p \epsilon^{2p} \rho_\beta^{(p|1)}(z), where \epsilon and \beta are related to the LNS parameters \epsilon_1 and \epsilon_2. This provides explicit formulas for conformal blocks in terms of analytically continued contour integrals and resolves the old puzzle of the free-field description of generic conformal blocks through the Dotsenko-Fateev integrals. Most important, this completes the GKMMM description of SW theory in terms of integrability theory with the help of exact BS integrals, and provides an extended manifestation of the basic principle which states that the effective actions are the tau-functions of integrable hierarchies.Comment: 14 page

Exact results for N = 2 supersymmetric gauge theories on compact toric manifolds and equivariant Donaldson invariants

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 17 theory on CP2 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 longstanding conjecture by N. Nekrasov. In the case of vanishing first Chern class the resulting equivariant Donaldson polynomials are new. \ua9 2016, The Author(s)