On Combinatorial Expansion of the Conformal Blocks Arising from AGT Conjecture

In their recent paper, Alday et al. (Lett Math Phys 91:167–197, 2010) proposed a relation between \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{N}=2}$$\end{document} 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 by the exact form of the 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 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}={\sf Vir} \otimes\mathcal{H}}$$\end{document} which is the tensor product of mutually commuting Virasoro and Heisenberg algebras and discover the special orthogonal basis of states in the highest weight representations of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{A}}$$\end{document}. The matrix elements of primary fields in this basis have a very simple factorized form and coincide with the function called \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Z_{{\sf bif}}}$$\end{document} appearing in the instanton counting literature. Having such a simple basis, the problem of computation of the conformal blocks simplifies drastically and can be shown to lead to the expansion proposed in Alday et al. (2010). We found that this basis diagonalizes an infinite system of commuting Integrals of Motion related to Benjamin–Ono integrable hierarchy.