Uniformization, Calogero-Moser/Heun duality and Sutherland/bubbling pants

Inspired by the work of Alday, Gaiotto and Tachikawa (AGT), we saw the revival of Poincar{\'{e}}'s uniformization problem and Fuchsian equations obtained thereof. Three distinguished aspects are possessed by Fuchsian equations. First, they are available via imposing a classical Liouville limit on level-two null-vector conditions. Second, they fall into some A_1-type integrable systems. Third, the stress-tensor present there (in terms of the Q-form) manifests itself as a kind of one-dimensional "curve". Thereby, a contact with the recently proposed Nekrasov-Shatashvili limit was soon made on the one hand, whilst the seemingly mysterious derivation of Seiberg-Witten prepotentials from integrable models become resolved on the other hand. Moreover, AGT conjecture can just be regarded as a quantum version of the previous Poincar{\'{e}}'s approach. Equipped with these observations, we examined relations between spheric and toric (classical) conformal blocks via Calogero-Moser/Heun duality. Besides, as Sutherland model is also obtainable from Calogero-Moser by pinching tori at one point, we tried to understand its eigenstates from the viewpoint of toric diagrams with possibly many surface operators (toric branes) inserted. A picture called "bubbling pants" then emerged and reproduced well-known results of the non-critical self-dual c=1 string theory under a "blown-down" limit.Comment: 17 pages, 4 figures; v2: corrections and references added; v3: Section 2.4.1 newly added thanks to JHEP referee advice. That classical four-point spheric conformal blocks reproducing known SW prepotentials is demonstrated via more examples, to appear in JHEP; v4: TexStyle changed onl

Classical conformal blocks from TBA for the elliptic Calogero-Moser system

The so-called Poghossian identities connecting the toric and spherical blocks, the AGT relation on the torus and the Nekrasov-Shatashvili formula for the elliptic Calogero-Moser Yang's (eCMY) functional are used to derive certain expressions for the classical 4-point block on the sphere. The main motivation for this line of research is the longstanding open problem of uniformization of the 4-punctured Riemann sphere, where the 4-point classical block plays a crucial role. It is found that the obtained representation for certain 4-point classical blocks implies the relation between the accessory parameter of the Fuchsian uniformization of the 4-punctured sphere and the eCMY functional. Additionally, a relation between the 4-point classical block and the $N_f=4$, ${\sf SU(2)}$ twisted superpotential is found and further used to re-derive the instanton sector of the Seiberg-Witten prepotential of the $N_f=4$, ${\sf SU(2)}$ supersymmetric gauge theory from the classical block.Comment: 25 pages, no figures, latex+JHEP3, published versio

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)

Vertices, Vortices & Interacting Surface Operators

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.Comment: 22 pages, 4 figures; v.2 refs. and comments added; v.3 further comments and typo

Deformed planar topological open string amplitudes on Seiberg-Witten curve

We study refined B-model via the beta ensemble of matrix models. Especially, for four dimensional N=2 SU(2) supersymmetric gauge theories with N_f=0,1 and 2 fundamental flavors, we discuss the correspondence between deformed disk amplitudes on each Seiberg-Witten curve and the Nekrasov-Shatashvili limit of the corresponding irregular one point block of a degenerate operator via the AGT correspondence. We also discuss the relation between deformed annulus amplitudes and the irregular two point block of the degenerate operator, and check a desired agreement for N_f=0 and 1 cases.Comment: 27 pages. v2: minor changes and references added. v3: minor corrections and one reference adde