CFT and integrability in memorial of Alexei Zamolodchikov Sogan University, Seoul December 2013 Extended Conformal Symmetry and Recursion Formulae for Nekrasov Partition Function Yutaka Matsuo (U. Tokyo) With S. Kanno and H. Zhang arXiv:????.????, 1306.1523, 1207.5658, 1110.5255 Introduction 4D/2D duality: Brief History In 1994, Seiberg and Witten found an interesting relation between 4D SUSY gauge theories and geometry of 2D Riemann surface. In 1995, DOZZ solved 3pt function of Liouville theory. In 2003, Nekrasov found the exact form of the instanton partition function by introducing Omega background. In 2007, Pestun found a closed formula of the partition function of SYM on S4 by localization method. In 2009, Alday, Gaiotto and Tachikawa (AGT) conjectured a precise correspondence between partition function of SYM and correlation function of Liouville/Toda field theory. AGT conjecture Alday-Gaiotto-Tachikawa (2009) N=2 SYM Toda Nekrasov partition function = Correlation function From the viewpoint of M5 brane, it may be understood as the consequence of two types of compactification, Riemann surface N=2 SYM with punctures Four sphere Toda/Liouville field theory “Geometric Langrands program” (Witten) Here we pursue more direct correspondence through the symmetry behind the scene. Instanton moduli space and 2d CFT An Intuitive Picture (1) Let me start from rough illustration of the correspondence between the cohomology of instanton moduli space and 2D CFT We start from a simplified version of moduli space where we keep the location of instantons as a moduli: Hilbert scheme of k points on euclidian 4D space C2. 2 k (C ) is divided by Sk since these points are not distinguishable. Sk: permutation group When the location of some instantons overlaps, we meet orbifold singularities. We need blow up such singularity in order to have a smooth space. Instanton moduli space and 2d CFT An Intuitive Picture (2) When two instantons overlap, we need attach two cocycle to resolve the singularity, which represents the direction where two instantons collides. For three instanton case, we have four cycle. In general, 2(n-1) cycle is needed to resolve the singularity from n-points getting together. This resembles the Fock space of free boson if we sum over the moduli space of arbitrary number of instantons More precise correspondence Actually the structure behind the scene is more complicated, Liouville/Toda W-algebra Nonlinear algebras! Instanton moduli space SH (spherical degenerate double affine Hecke algebra) It is recently recognized by mathematicians, the origin of the AGT correspondence is due to the coincidence of these two nonlinear symmetries. Schiffmann and Vassero(’12), Maulik and Okounkov (‘13) In this talk, we give an explicit realization of such correspondence in the form of recursion formulae for Nekrasov partition function Some references on the proof of AGT relation Proof for pure super Yang-Mills Schiffmann and Vassero(’12), Maulik and Okounkov (‘13) Proof for N=2* Fateev-Litvinov (‘09) Proof for quiver gauge theories Alba-Fateev-Litvinov-Tarnopolskiy (‘10) Belavin-Belavin (‘11) Fateev-Litvinov (‘11) Morosov-Mironov-Shakirov (‘11), Morosov-Smirnov (’13) Zhang-M (‘11), Kanno-M-Zhang (‘12, ‘13) The work by Alba et. al. give a proof of AGT with the same set-up as ours. Our emphasis here is to clarify the role of symmetry which was not understood by their work. Recursion formula for Nekrasov partition function AGT conjecture for quiver Alday-Gaiotto-Tachikawa,Wyllard ,Mironov-Morozov Nekrasov Partition function for conformal inv. SU(N)x…xSU(N) (L factors) quiver N N N N N N is identical to conformal block function of 2D CFT described by SU(N) Toda field theory with L+3 vertex operator insertions V V V with identification of parameters Partition function takes the form of matrix multiplication N N N N N N Partition function looks like matrix multiplication Set of Young diagrams which labels the fixed points of localizations for SU(N) N N Product of factors associated with each box of the Young diagram Correlation function of Toda field theory V V μ V Pants decomposition At the hole, we insert V V V decomposition of “1” V |⃗, : orthonormal basis The same summation shows up if we identify Alba et. al. 2010 For an appropriate choice of |⃗, . How can we manage the descendant? This is the key step to prove AGT. Recursion relation for Z In the following, we claim a recursion formulae in the following form, ±, is defined by adding/subtracting a box in Y and W. ±, is a polynomial of ⃗, . The structure constant which appears in ±, is mostly identical to the action of SH on the basis |⃗, . Equivalence between SH and W-algebra implies that above relation can be identified with the conformal Ward identities. We will later show it explicitly with the properties of the vertex operator. Intermediate step for the proof: Variation formulae We evaluate the ratio of Nekrasov formula when we add/remove a box in Y and W. For example: We combine them in the following form, with This factor is necessary to absorb extra terms from variations of vector multiplets. The combination of variation reduces to the following simple expression: with the following replacements: This expression can be rewritten in the form: where qn is written by a generating functional: Due to a combinatorial identity: We arrive at This is one of the main claim of this talk. SH, Calogero, Liouville/Toda and instantons Calogero-Sutherland and Dunkl operator The algebra SH (spherical degenerate double affine Hecke algebra) is most naturally understood in the context of Calogero-Sutherland system with the Hamiltonian: The eigenstate of this Hamiltonian is called Jack polynomial which is labeled by Young diagram Dunkl operator transposition of zi and zj Hamiltonian is rewritten as, Higher conserved charges: SH (Spherical DDAHA) DDAHA: generated by SH restriction on the symmetric part generators: reduces to if we replace Dunkl operator to derivative Algebra of SH Double Affine Hecke Algebra (DAHA) Introduced by Cherednik to investigate properties of Macdonald polynomial DAHA for GLn Generators: Two parameters Braid-like Relations Cf. talks by Reduction to DAHA: Pestun, Pugai, Ravanini Generators are replaced by: Free boson representation One may assign (in the large N limit) Representation of SH Awata, Odake, M, Shiraishi, 1995 It is possible to generate all other generators from by taking commutation relations Action on instanton moduli space As explained in the introduction, there exists a free boson representation Morozov-Smirnov of the cohomology of the instanton moduli space. Action of product of c1 in the cohomology of Hilb By introducing the equivariant cohomology with deformation parameter ε1,2 the action of c1 is generalized to, Interestingly, this coincides the Hamiltonian of Calogero-Sutherland model (D0,2) after replacing pn by free boson oscillator In order to define the action on SU(n) instanton moduli, we need to find a representation with n bosons Representation by n bosons We have derived a representation of SH on free boson Fock space Representation on the direct product is nontrivial since the algebra is nonlinear, i.e. the coproduct is nontrivial. In particular, the generator Drs is not sum of operators acting on each F This time the algebra SH has nontrivial central extension (SHc) cl: central charges l=0,1,2,... Representation by orthonormal basis We introduce an orthonormal basis for the representation of DDAHA which gives a representation of DDAHA with central charges Comparison of the coefficients in recursion formula The coefficients δ-1,n coincide with D-1,n action on the bra and ket. On the other hand the coefficient appearing in δ1,n is slightly shifted by ξ. This small mismatch will be explained by an exotic choice of vertex operator. W algebra: Symmetry for Toda W-algebra Fateev-Zamolodchikov‘87 Famous but complicated nonlinear algebra Direct comparison with SH seems far. Comparison of two algebras s Definition of algebra plays a special role “Hamiltonian” for Calogero-Sutherland 2 From D and D , D one may Virasoro 0,2 1,0 -1,0 1 r reconstruct the action of other generators Heisenberg -1 1 Definition of Heisenberg (U(1)) and Virasoro Equivalence of SHc and W algebra Schifmann and Vasserot proved that the symmetric representation by n bosons are equivalent to the Hilbert space of Wn algebra + U(1) factor. Expression for We made an additional confirmation of this fact by showing c the null states in SH is exactly the same as Wn algebra This occurs if Y is an rectangular Young diagram with a restriction on a. Mimachi-Yamada Awata-M-Odake-Shiraishi 1995 Derivation of Conformal Ward identities Recursion formula and DDAHA In the following, we would like to establish the identification, by showing the recursion formulae we obtained can be identified with the conformal Ward identity. In the language of Fock space, it is written as “obvious relations”; These relations can be translated into the recursion formula for Z. One may establish that our recursion formula is identical to Ward identity. Nontriviality is the commutation relation of generators with the vertex operator. Some comments on vertex operator The vertex operator is written as a product of U(1) (Heisenberg) part and WN part: The standard definition in terms of free boson is written as, We need modify the U(1) part of the vertex operator Carlsson-Okounkov It correctly reproduce the correlation function of U(1) part: But the conformal property of the vertex becomes much more complicated: The third term represent the anomaly due to the modification of the vertex. It has the effect of correcting the shift of a coefficient in recursion relation. Ward identities for ± and ± confirmed after lengthy computation.