AGT, Burge pairs and minimal models

We consider the AGT correspondence in the context of the conformal field theory $M^{\, p, p^{\prime}}$ $\otimes$ $M^{H}$, where $M^{\, p, p^{\prime}}$ is the minimal model based on the Virasoro algebra $V^{\, p, p^{\prime}}$ labeled by two co-prime integers $\{p, p^{\prime}\}$, $1 < p < p^{\prime}$, and $M^{H}$ is the free boson theory based on the Heisenberg algebra $H$. Using Nekrasov's instanton partition functions without modification to compute conformal blocks in $M^{\, p, p^{\prime}}$ $\otimes$ $M^{H}$ leads to ill-defined or incorrect expressions. Let $B^{\, p, p^{\prime}, H}_n$ be a conformal block in $M^{\, p, p^{\prime}}$ $\otimes$ $M^{H}$, with $n$ consecutive channels $\chi_{i}$, $i = 1, \cdots, n$, and let $\chi_{i}$ carry states from $H^{p, p^{\prime}}_{r_{i}, s_{i}}$ $\otimes$ $F$, where $H^{p, p^{\prime}}_{r_{i}, s_{i}}$ is an irreducible highest-weight $V^{\, p, p^{\prime}}$-representation, labeled by two integers $\{r_{i}, s_{i}\}$, $0 < r_{i} < p$, $0 < s_{i} < p^{\prime}$, and $F$ is the Fock space of $H$. We show that restricting the states that flow in $\chi_{i}$ to states labeled by a partition pair $\{Y_1^{i}, Y_2^{i}\}$ such that $Y^{i}_{2, {\tt R}} - Y^{i}_{1, {\tt R} + s_{i} - 1} \geq 1 - r_{i}$, and $Y^{i}_{1, {\tt R}} - Y^{i}_{2, {\tt R} + p^{\prime} - s_{i} - 1} \geq 1 - p + r_{i}$, where $Y^{i}_{j, {\tt R}}$ is row-${\tt R}$ of $Y^{i}_j, j \in \{1, 2\}$, we obtain a well-defined expression that we identify with $B^{\, p, p^{\prime}, H}_n$. We check the correctness of this expression for ${\bf 1.}$ Any 1-point $B^{\, p, p^{\prime}, H}_1$ on the torus, when the operator insertion is the identity, and ${\bf 2.}$ The 6-point $B^{\, 3, 4, H}_3$ on the sphere that involves six Ising magnetic operators.Comment: 22 pages. Simplified the presentatio

Coupling of two conformal field theories and Nakajima-Yoshioka blow-up equations

We study the conformal vertex algebras which naturally arise in relation to the Nakajima-Yoshioka blow-up equations.Comment: 23 pages v2. 24 pages, references added, proofs in section 3 are expanded, many typos correcte

A remark on the three approaches to 2D Quantum gravity

The one-matrix model is considered. The generating function of the correlation numbers is defined in such a way that this function coincide with the generating function of the Liouville gravity. Using the Kontsevich theorem we explain that this generating function is an analytic continuation of the generating function of the Topological gravity. We check the topological recursion relations for the correlation functions in the $p$-critical Matrix model.Comment: 11 pages. Title changed, presentation improve

Instanton moduli spaces and bases in coset conformal field theory

Recently proposed relation between conformal field theories in two dimensions and supersymmetric gauge theories in four dimensions predicts the existence of the distinguished basis in the space of local fields in CFT. This basis has a number of remarkable properties, one of them is the complete factorization of the coefficients of the operator product expansion. We consider a particular case of the U(r) gauge theory on C^2/Z_p which corresponds to a certain coset conformal field theory and describe the properties of this basis. We argue that in the case p=2, r=2 there exist different bases. We give an explicit construction of one of them. For another basis we propose the formula for matrix elements.Comment: 31 pages, 3 figure

Parafermionic Liouville field theory and instantons on ALE spaces

In this paper we study the correspondence between the $\hat{\textrm{su}}(n)_{k}\oplus \hat{\textrm{su}}(n)_{p}/\hat{\textrm{su}}(n)_{k+p}$ coset conformal field theories and $\mathcal{N}=2$ SU(n) gauge theories on $\mathbb{R}^{4}/\mathbb{Z}_{p}$. Namely we check the correspondence between the SU(2) Nekrasov partition function on $\mathbb{R}^{4}/\mathbb{Z}_{4}$ and the conformal blocks of the $S_{3}$ parafermion algebra (in $S$ and $D$ modules). We find that they are equal up to the U(1)-factor as it was in all cases of AGT-like relations. Studying the structure of the instanton partition function on $\mathbb{R}^4/\mathbb{Z}_p$ we also find some evidence that this correspondence with arbitrary $p$ takes place up to the U(1)-factor.Comment: 21 pages, 6 figures, misprints corrected, references added, version to appear in JHE