We consider the 4d superconformal index for ${\cal N}=2$ gauge theories on $S^1 \times L(r,1)$, where $L(r,1)$ is a Lens space. We focus on a one-parameter slice of the three-dimensional fugacity space and in that sector we show S-duality. We do so by rewriting the index in a way that resembles a correlation function of a 2d TFT, which however, we do not identify.
We study superconformal indices of 4d N=2 class S theories with certain irregular punctures called type $I_{k, N}$. This class of theories include generalized Argyres-Douglas theories of type $(A_{k-1}, A_{N-1})$ and more. We conjecture the superconformal indices in certain simplified limits based on the TQFT structure of the class S theories by writing an expression for the wave function corresponding to the puncture $I_{k, N}$. We write the Schur limit of the wave function when $k$ and $N$ are coprime. When $k=2$, we also conjecture a closed-form expression for the Hall-Littlewood index and …
We study certain exactly marginal gaugings involving arbitrary numbers of Argyres-Douglas (AD) theories and show that the resulting Schur indices are related to those of certain Lagrangian theories of class $\mathcal{S}$ via simple transformations. By writing these quantities in the language of 2D topological quantum field theory (TQFT), we easily read off the $S$-duality action on the flavor symmetries of the AD quivers and also find expressions for the Schur indices of various classes of exotic AD theories appearing in different decoupling limits. The TQFT expressions for these latter theori…
We study surface defects in 4d $\mathcal{N}=1$ $SU(N)$ superconformal gauge theories of class $\mathcal{S}_k$ obtained from the 6d (1,0) theories of type $A_{N-1}$, which are worldvolume theories on $N$ M5-branes at $\mathbb{C}^2/\mathbb{Z}_k$ singularities, compactified on Riemann surfaces with punctures. First we apply a method based on Riemann surface description and obtain the superconformal index of the theories in the presence of surface defects labelled by arbitrary symmetric representations of $su(N)$. Then we propose another description for the same surface defects, which involves 4d-…
In this paper we continue the study of the superconformal index of four-dimensional $\mathcal{N}=2$ theories of class $\mathcal{S}$ in the presence of surface defects. Our main result is the construction of an algebra of difference operators, whose elements are labeled by irreducible representations of $A_{N-1}$. For the fully antisymmetric tensor representations these difference operators are the Hamiltonians of the elliptic Ruijsenaars-Schneider system. The structure constants of the algebra are elliptic generalizations of the Littlewood-Richardson coefficients. In the Macdonald limit, we id…
We propose a novel procedure of assigning a pair of non-unitary topological quantum field theories (TQFTs), TFT$_\pm [\mathcal{T}_{\rm rank \;0}]$, to a (2+1)D interacting $\mathcal{N}=4$ superconformal field theory (SCFT) $\mathcal{T}_{\rm rank \;0}$ of rank 0, i.e. having no Coulomb and Higgs branches. The topological theories arise from particular degenerate limits of the SCFT. Modular data of the non-unitary TQFTs are extracted from the supersymmetric partition functions in the degenerate limits. As a non-trivial dictionary, we propose that $F = \max_α\left(- \log |S^{(+)}_{0α}| \right) = …
Teichmüller TQFT is a unitary 3d topological theory whose Hilbert spaces are spanned by Liouville conformal blocks. It is related but not identical to PSL(2,R) Chern-Simons theory. To physicists, it is known in particular in the context of 3d-3d correspondence and also in the holographic description of Virasoro conformal blocks. We propose that this theory can be defined by an analytically-continued Chern-Simons path-integral with an unusual integration cycle. On hyperbolic three-manifolds, this cycle is singled out by the requirement of invertible vielbein. Mathematically, our proposal transl…
We present a conjectural description of the space of local operators on a stack of finitely many fivebranes in $M$ theory at the level of the holomorphic twist. Our approach is through the lens of twisted holography and utilizes a description of the minimal twist of eleven-dimensional supergravity. We find that the spaces of local operators are modules for the exceptional linearly compact super Lie algebra $E(3|6)$. From the conjectural description of local operators we deduce closed formulas for the superconformal index of six-dimensional $\mathcal{N}=(2,0)$ theories of type $A_{N-1}$.
We study the expansion near roots of unity of the superconformal index of 4d $SU(N)$ $\mathcal{N}=4$ SYM. In such an expansion, middle-dimensional walls of non-analyticity are shown to emerge in the complex analytic extension of the integrand. These walls intersect the integration contour at infinitesimal vicinities and come from both, the vector and chiral multiplet contributions, and combinations thereof. We will call these intersections vector and chiral bits, and the complementary region bulk, and show that, in the corresponding limit, the integrals along the infinitesimal bits include, am…
In this paper, we show the equivalence between two seemingly distinct 2d TQFTs: one comes from the "Coulomb branch index" of the class S theory $T[Σ,G]$ on $L(k,1) \times S^1$, the other is the $^LG$ "equivariant Verlinde formula", or equivalently partition function of $^LG_{\mathbb{C}}$ complex Chern-Simons theory on $Σ\times S^1$. We first derive this equivalence using the M-theory geometry and show that the gauge groups appearing on the two sides are naturally $G$ and its Langlands dual $^LG$. When $G$ is not simply-connected, we provide a recipe of computing the index of $T[Σ,G]$ as summat…
We study the supersymmetric partition function on $S^1 \times L(r, 1)$, or the lens space index of four-dimensional $\mathcal{N}=2$ superconformal field theories and their connection to two-dimensional chiral algebras. We primarily focus on free theories as well as Argyres-Douglas theories of type $(A_1, A_k)$ and $(A_1, D_k)$. We observe that in specific limits, the lens space index is reproduced in terms of the (refined) character of an appropriately twisted module of the associated two-dimensional chiral algebra or a generalized vertex operator algebra. The particular twisted module is dete…
We compute the topological partition function (twisted index) of $\mathcal{N}=2$ $U(N)$ Chern-Simons theory with an adjoint chiral multiplet on $Σ_g \times S^1$. The localization technique shows that the underlying Frobenius algebra is the equivariant Verlinde algebra which is obtained from the canonical quantization of the complex Chern-Simons theory regularized by $U(1)$ equivariant parameter $t$. Our computation relies on a Bethe/Gauge correspondence which allows us to represent the equivariant Verlinde algebra in terms of the Hall-Littlewood polynomials $P_λ(x_B, t)$ with a specialization …
We provide a physical definition of new homological invariants $\mathcal{H}_a (M_3)$ of 3-manifolds (possibly, with knots) labeled by abelian flat connections. The physical system in question involves a 6d fivebrane theory on $M_3$ times a 2-disk, $D^2$, whose Hilbert space of BPS states plays the role of a basic building block in categorification of various partition functions of 3d $\mathcal{N}=2$ theory $T[M_3]$: $D^2\times S^1$ half-index, $S^2\times S^1$ superconformal index, and $S^2\times S^1$ topologically twisted index. The first partition function is labeled by a choice of boundary c…
