We study the N=2 four-dimensional superconformal index in various interesting limits, such that only states annihilated by more than one supercharge contribute. Extrapolating from the SU(2) generalized quivers, which have a Lagrangian description, we conjecture explicit formulae for all A-type quivers of class S, which in general do not have one. We test our proposals against several expected dualities. The index can always be interpreted as a correlator in a two-dimensional topological theory, which we identify in each limit as a certain deformation of two-dimensional Yang-Mills theory. The structure constants of the topological algebra are diagonal in the basis of Macdonald polynomials of the holonomies.Comment: 57 pages, 6 figures; v2: references added and minor improvements; v3: typos correcte

Abstract:We describe rules for building 2d theories labeled by 4-manifolds. Using the proposed dictionary between building blocks of 4-manifolds and 2d N = (0, 2) theories, we obtain a number of results, which include new 3d N = 2 theories T [M 3 ] associated with rational homology spheres and new results for Vafa-Witten partition functions on 4-manifolds. In particular, we point out that the gluing measure for the latter is precisely the superconformal index of 2d (0, 2) vector multiplet and relate the basic building blocks with coset branching functions. We also offer a new look at the fusion of defect lines / walls, and a physical interpretation of the 4d and 3d Kirby calculus as dualities of 2d N = (0, 2) theories and 3d N = 2 theories, respectively.

In this paper we compute the superconformal index of 2d (2, 2) supersymmetric gauge theories. The 2d superconformal index, a.k.a. flavored elliptic genus, is computed by a unitary matrix integral much like the matrix integral that computes the 4d superconformal index. We compute the 2d index explicitly for a number of examples. In the case of abelian gauge theories we see that the index is invariant under flop transition and under CY-LG correspondence. The index also provides a powerful check of the Seiberg-type duality for non-abelian gauge theories discovered by Hori and Tong.In the later half of the paper, we study half-BPS surface operators in N = 2 superconformal gauge theories. They are engineered by coupling the 2d (2, 2) supersymmetric gauge theory living on the support of the surface operator to the 4d N = 2 theory, so that different realizations of the same surface operator with a given Levi type are related by a 2d analogue of the Seiberg duality. The index of this coupled system is computed by using the tools developed in the first half of the paper. The superconformal index in the presence of surface defect is expected to be invariant under generalized S-duality. We demonstrate that it is indeed the case. In doing so the Seiberg-type duality of the 2d theory plays an important role.