Operator product expansion (OPE) of two operators in two-dimensional conformal field theory includes a sum over Virasoro descendants of other operator with universal coefficients, dictated exclusively by properties of the Virasoro algebra and independent of choice of the particular conformal model. In the free field model, these coefficients arise only with a special "conservation" relation imposed on the three dimensions of the operators involved in OPE. We demonstrate that the coefficients for the three unconstrained dimensions arise in the free field formalism when additional Dotsenko-Fateev integrals are inserted between the positions of the two original operators in the product. If such coefficients are combined to form an $n$-point conformal block on Riemann sphere, one reproduces the earlier conjectured $β$-ensemble representation of conformal blocks, thus proving this (matrix model) version of the celebrated AGT relation. The statement can also be regarded as a relation between the $3j$-symbols of the Virasoro algebra and the slightly generalized Selberg integrals $I_Y$, associated with arbitrary Young diagrams. The conformal blocks are multilinear combinations of such integrals and the remaining part of the original AGT conjecture relates them to the Nekrasov functions which have exactly the same structure.
An intriguing coincidence between the partition function of super Yang-Mills theory and correlation functions of 2d Toda system has been heavily studied recently. While the partition function of gauge theory was explored by Nekrasov, the correlation functions of Toda equation have not been completely understood. In this paper, we study the latter in the form of Dotsenko-Fateev integral and reduce it in the form of Selberg integral of several Jack polynomials. We conjecture a formula for such Selberg average which satisfies some consistency conditions and show that it reproduces the SU(N) versi…
The AGT conjecture claims an equivalence of conformal blocks in 2d CFT and sums of Nekrasov functions (instantonic sums in 4d SUSY gauge theory). The conformal blocks can be presented as Dotsenko-Fateev beta-ensembles, hence, the AGT conjecture implies the equality between Dotsenko-Fateev beta-ensembles and the Nekrasov functions. In this paper, we prove it in a particular case of beta=1 (which corresponds to c = 1 at the conformal side and to epsilon_1 + epsilon_2 = 0 at the gauge theory side) in a very direct way. The central role is played by representation of the Nekrasov functions through…
We find generalized Jack polynomials for the group $SU(3)$ and verify that their Selberg averages for several first levels are given by Nekrasov functions. To compute the averages we derive recurrence relations for the $sl_3$ Selberg integrals.
In these notes we consider relation between conformal blocks and the Nekrasov partition function of certain $\mathcal{N}=2$ SYM theories proposed recently by Alday, Gaiotto and Tachikawa. We concentrate on $\mathcal{N}=2^{*}$ theory, which is the simplest example of AGT relation.
We propose an extension of the Alday-Gaiotto-Tachikawa-Wyllard conjecture to 5d SU(N) gauge theories. A Nekrasov partition function then coincides with the scalar product of the corresponding Gaiotto-Whittaker vectors of the q-deformed W_N algebra.
The AGT relation identifies the Nekrasov functions for various N=2 SUSY gauge theories with the 2d conformal blocks, which possess explicit Dotsenko-Fateev matrix model (beta-ensemble) representations the latter being polylinear combinations of Selberg integrals. The "pure gauge" limit of these matrix models is, however, a non-trivial multiscaling large-N limit, which requires a separate investigation. We show that in this pure gauge limit the Selberg integrals turn into averages in a Brezin-Gross-Witten (BGW) model. Thus, the Nekrasov function for pure SU(2) theory acquires a form very much r…
A matrix model approach to proof of the AGT relation is briefly reviewed. It starts from the substitution of conformal blocks by the Dotsenko-Fateev beta-ensemble averages and Nekrasov functions by a double deformation of the exponentiated Seiberg-Witten prepotential in beta \neq 1 and g_s \neq 0 directions. Establishing the equality of these two quantities is a typical matrix model problem, and it presumably can be ascertained by investigation of integrability properties and developing an associated Harer-Zagier technique for evaluation of the exact resolvent.
Recently Alday, Gaiotto and Tachikawa have proposed relation between 2- and 4-dimensional conformal field theories. The relation implies that the Nekrasov partition functions of N=2 superconformal gauge theories are equal to conformal blocks associated with the conformal algebra. Likewise, a counterpart in pure super Yang-Mills theory exists in conformal field theory. We propose a simple relation between the Shapovalov matrix of the W_3-algebra and the Nekrasov partition function of N=2 SU(3) Yang-Mills theory.
School of Physics and Electronics, Hunan University（湖南大学物理与电子学院）；Department of Physics and Institute for Quantum Science and Technology, Shanghai University（上海大学物理系暨量子科学与技术研究院）；Shanghai Key Lab for Astrophysics（上海市天体物理重点实验室）；Shanghai Key Laboratory of High Temperature Superconductors（上海市高温超导重点实验室）
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-pol…
We extend the proof from arXiv:1012.3137, which interprets the AGT relation as the Hubbard-Stratonovich duality relation to the case of 5d gauge theories. This involves an additional q-deformation. Not surprisingly, the extension turns out to be trivial: it is enough to substitute all relevant numbers by q-numbers in all the formulas, Dotsenko-Fateev integrals by the Jackson sums and the Jack polynomials by the MacDonald ones. The problem with extra poles in individual Nekrasov functions continues to exist, therefore, such a proof works only for β= 1, i.e. for q=t in MacDonald's notation. For …
The AGT conjecture identifying conformal blocks with the Nekrasov functions is investigated for the spherical conformal blocks with more than 4 external legs. The diagram technique which arises in conformal block calculation involves propagators and vertices. We evaluated vertices with two Virasoro algebra descendants and explicitly checked the AGT relation up to the third order of the expansion for the 5-point and 6-point conformal blocks on sphere confirming all the predictions of arXiv:0906.3219 relevant in this situation. We propose that U(1)-factor can be extracted from the matrix element…
This note deals with the five-dimensional pure SU(2) AGT conjecture proposed by Awata and Yamada. We give a conjecture on a recursive formula for the inner product of the deformed Gaiotto state. We also show that the K-theoretic pure SU(2) Nekrasov partition function satisfies the same recursion relation. Therefore the five-dimensional AGT conjecture is reduced to our conjectural recursive formula.
AGT correspondence gives an explicit expressions for the conformal blocks of $d=2$ conformal field theory. Recently an explanation of this representation inside the CFT framework was given through the assumption about the existence of the special orthogonal basis in the module of algebra $\mathcal{A}=Vir\otimes\mathcal{H}$. The basis vectors are the eigenvectors of the infinite set of commuting integrals of motion. It was also proven that some of these vectors take form of Jack polynomials. In this note we conjecture and verify by explicit computations that in the case of the Virasoro central …
Given a 4d N=2 SUSY gauge theory, one can construct the Seiberg-Witten prepotentional, which involves a sum over instantons. Integrals over instanton moduli spaces require regularisation. For UV-finite theories the AGT conjecture favours particular, Nekrasov's way of regularization. It implies that Nekrasov's partition function equals conformal blocks in 2d theories with W_{N_c} chiral algebra. For $N_c=2$ and one adjoint multiplet it coincides with a torus 1-point Virasoro conformal block. We check the AGT relation between conformal dimension and adjoint multiplet's mass in this case and inve…
We study an analog of the AGT relation in five dimensions. We conjecture that the instanton partition function of 5D N=1 pure SU(2) gauge theory coincides with the inner product of the Gaiotto-like state in the deformed Virasoro algebra. In four dimensional case, a relation between the Gaiotto construction and the theory of Braverman and Etingof is also discussed.
A complete construction of the AFLT states is proposed. With this construction and for all the cases we have checked, the AGT conjecture on the equivalence of Nekrasov Instanton Counting (NIC) to the $Vir\oplus u(1)$ conformal block has been verified to be true.
Original proofs of the AGT relations with the help of the Hubbard-Stratanovich duality of the modified Dotsenko-Fateev matrix model did not work for beta different from one, because Nekrasov functions were not properly reproduced by Selberg-Kadell integrals of Jack polynomials. We demonstrate that if the generalized Jack polynomials, depending on the N-ples of Young diagrams from the very beginning, are used instead of the N-linear combinations of ordinary Jacks, this resolves the problem. Such polynomials naturally arise as special elements in the equivariant cohomologies of the GL(N)-instant…
We study the representation theory of the Ding-Iohara algebra $\calU$ to find $q$-analogues of the Alday-Gaiotto-Tachikawa (AGT) relations. We introduce the endomorphism $T(u,v)$ of the Ding-Iohara algebra, having two parameters $u$ and $v$. We define the vertex operator $Φ(w)$ by specifying the permutation relations with the Ding-Iohara generators $x^\pm(z)$ and $ψ^\pm(z)$ in terms of $T(u,v)$. For the level one representation, all the matrix elements of the vertex operators with respect to the Macdonald polynomials are factorized and written in terms of the Nekrasov factors for the $K$-theor…
We describe relationships between integrable systems with N degrees of freedom arising from the AGT conjecture. Namely, we prove the equivalence (spectral duality) between the N-cite Heisenberg spin chain and a reduced gl(N) Gaudin model both at classical and quantum level. The former one appears on the gauge theory side of the AGT relation in the Nekrasov-Shatashvili (and further the Seiberg-Witten) limit while the latter one is natural on the CFT side. At the classical level, the duality transformation relates the Seiberg-Witten differentials and spectral curves via a bispectral involution. …
In this thesis, we obtain the formula for the Kac determinant of the algebra arising from the level $N$ representation of the Ding-Iohara-Miki algebra. This formula can be proved by decomposing the level $N$ representation into the deformed $W$-algebra part and the $U(1)$ boson part, and using the screening currents of the deformed $W$-algebra. It is also discovered that singular vectors obtained by its screening currents correspond to the generalized Macdonald functions. Moreover, we investigate the $q \rightarrow 0$ limit of five-dimensional AGT correspondence. In this limit, the simplest 5D…
We give some evidences which imply that W(1+infinity) algebra describes the symmetry behind AGT(-W) conjecture: a correspondence between the partition function of N=2 supersymmetric quiver gauge theories and the correlators of Liouville (Toda) field theory.
The AGT conjecture relates \mathcal{N}=2 4d SUSY gauge theories to 2d CFTs. Matrix model techniques can be used to investigate both sides of this relation. The large N limit refers here to the size of Young tableaux in the expression of the gauge theory partition function. It corresponds to the vanishing of Omega-background equivariant deformation parameters, and should not be confused with the t'Hooft expansion at large number of colors. In this paper, a saddle point approach is employed to study the Nekrasov-Shatashvili limit of the gauge theory, leading to define beta-deformed, or quantized…
The Seiberg-Witten prepotentials for N=2 SUSY gauge theories with N_f<2N_c fundamental multiplets are obtained from conformal N_f=2N_c theory by decoupling 2N_c-N_f multiplets of heavy matter. This procedure can be lifted to the level of Nekrasov functions with arbitrary background parameters epsilon_1 and epsilon_2. The AGT relations imply that similar limit exists for conformal blocks (or, for generic N_c>2, for the blocks in conformal theories with W_{N_c} chiral algebra). We consider the limit of the four-point function explicitly in the Virasoro case of N_c=2, by bringing the dimensions o…
Based on prototypical example of Al.Zamolodchikov's recursion relations for the four point conformal block and using recently proposed Alday-Gaiotto-Tachikawa (AGT) conjecture, recursion relations are derived for the generalized prepotential of ${\cal N}=2$ SYM with $f=0,1,2,3,4$ (anti) fundamental or an adjoint hypermultiplets. In all cases the large expectation value limit is derived explicitly. A precise relationship between generic 1-point conformal block on torus and specific 4-point conformal block on sphere is established. In view of AGT conjecture this translates into a relation betwee…
Recently Alday, Gaiotto and Tachikawa proposed a conjecture relating 4-dimensional super-symmetric gauge theory for a gauge group G with certain 2-dimensional conformal field theory. This conjecture implies the existence of certain structures on the (equivariant) intersection cohomology of the Uhlenbeck partial compactification of the moduli space of framed G-bundles on P^2. More precisely, it predicts the existence of an action of the corresponding W-algebra on the above cohomology, satisfying certain properties. We propose a "finite analog" of the (above corollary of the) AGT conjecture. Nam…
The recent AGT suggestion to use the set of Nekrasov functions as a basis for a linear decomposition of generic conformal blocks works very well not only in the case of Virasoro symmetry, but also for conformal theories with extended chiral algebra. This is rather natural, because Nekrasov functions are introduced as expansion basis for generalized hypergeometric integrals, very similar to those which arise in expansion of Dotsenko-Fateev integrals in powers of alpha-parameters. Thus, the AGT conjecture is closely related to the old belief that conformal theory can be effectively described in …
MIPT（莫斯科物理技术学院）；Lebedev Physics Institute（列别杰夫物理研究所）；NRC “Kurchatov Institute”（库尔恰托夫国家研究中心）；Institute for Information Transmission Problems（信息传输问题研究所）；Institute for Theoretical and Experimental Physics（理论与实验物理研究所）
In their recent paper \cite{Alday:2009aq} Alday, Gaiotto and Tachikawa proposed a relation between $\mathcal{N}=2$ four-dimensional supersymmetric gauge theories and two-dimensional conformal field theories. As part of their conjecture they gave an explicit combinatorial formula for the expansion of the conformal blocks inspired from the exact form of instanton part of the Nekrasov partition function. In this paper we study the origin of such an expansion from a CFT point of view. We consider the algebra $\mathcal{A}=\text{\sf Vir}\otimes\mathcal{H}$ which is the tensor product of mutually com…
We show that a version of dimensional interpolation for the Riemann--Roch--Hirzebruch formalism in the case of a grassmannian leads to an expression for the Euler characteristic of line bundles in terms of a Selberg integral. We propose a way to interpolate higher Bessel equations, their wedge powers, and monodromies thereof to non--integer orders, and link the result with the dimensional interpolation of the RRH formalism in the spirit of the gamma conjectures.
We study the dual descriptions recently discovered for the Seiberg-Witten theory in the presence of surface operators. The Nekrasov partition function for a four-dimensional N=2 gauge theory with a surface operator is believed equal to the wave-function of the corresponding integrable system, or the Hitchin system, and is identified with the conformal block with a degenerate field via the AGT relation. We verify the conjecture by showing that the null state condition leads to the Schrodinger equations of the integrable systems. Furthermore, we show that the deformed prepotential emerging from …
The OPE of local operators in the presence of defect lines is considered both in the rational CFT and the $c>25$ Virasoro (Liouville) theory. The duality transformation of the 4-point function with inserted defect operators is explicitly computed. The two channels of the correlator reproduce the expectation values of the Wilson and 't Hooft operators, recently discussed in Liouville theory in relation to the AGT conjecture.
Building on our earlier work \unscite{Sa-Za}, we introduce and study generalized XX0 models. We explicitly construct a long-range interacting spin chain, referred to as the Selberg model, and study the correlation functions of the Selberg and XX0 models. Using a matrix integral representation of the generalized XX0 model and applying asymptotic analysis in non-intersecting Brownian motion, the phase structure of the Selberg model is determined. We find that tails of the Tracy-Widom distribution, of Gaussian unitary ensemble, govern a discrete-to-continuous third-order phase transition in Selbe…
Two Recursions for the Seiberg-Witten Prepotential: Zamolodchikov's Recursion, the AGT Correspondence and Topological Recursion on the Seiberg-Witten Curve
