Four-dimensional N = 2 superconformal quantum field theories contain a subsector carrying the structure of a chiral algebra. Using localization techniques, we show for the free hypermultiplet that this structure can be accessed directly from the path integral on the four-sphere. We extend the localization computation to include supersymmetric surface defects described by a generic 4d/2d coupled system. The presence of a defect corresponds to considering a module of the chiral algebra: our results provide a calculational window into its structure constants.
We study the 2D vertex operator algebra (VOA) construction in 4D $mathcal{N}=2$ superconformal field theories (SCFT) on $S^3 times S^1$, focusing both on old puzzles as well as new observations. The VOA lives on a two-torus $mathbb{T}^2subset S^3times S^1$, it is $frac12mathbb{Z}$-graded, and this torus is equipped with the natural choice of spin structure (1,0) for the $mathbb{Z} +frac12$-graded operators, corresponding to the NS sector vacuum character. By analyzing the possible refinements of the Schur index that preserve the VOA, we find that it admits discrete deformations, which allow access to the remaining spin structures (1,1), (0,1) and (0,0), of which the latter two involve the inclusion of a particular surface defect. For Lagrangian theories, we perform the detailed analysis: we describe the natural supersymmetric background, perform localization, and derive the gauged symplectic boson action on a torus in any spin structure. In the absence of flavor fugacities, the 2D and 4D path integrals precisely match, including the Casimir factors. We further analyze the 2D theory: we identify its integration cycle, the two-point functions, and interpret flavor holonomies as screening charges in the VOA. Next, we make some observations about modularity; the $T$-transformation acts on our four partition functions and lifts to a large diffeomorphism on $S^3times S^1$. More interestingly, we generalize the four partition functions on the torus to an infinite family labeled both by the spin structure and the integration cycle inside the complexified maximal torus of the gauge group. Members of this family transform into one another under the full modular group, and we confirm the recent observation that the $S$-transform of the Schur index in Lagrangian theories exhibits logarithmic behavior. Finally, we comment on how locally our background reproduces the $Omega$-background.
We study half-BPS surface operators in supersymmetric gauge theories in four and five dimensions following two different approaches. In the first approach we analyze the chiral ring equations for certain quiver theories in two and three dimensions, coupled respectively to four- and five-dimensional gauge theories. The chiral ring equations, which arise from extremizing a twisted chiral superpotential, are solved as power series in the infrared scales of the quiver theories. In the second approach we use equivariant localization and obtain the twisted chiral superpotential as a function of the Coulomb moduli of the four- and five-dimensional gauge theories, and find a perfect match with the results obtained from the chiral ring equations. In the five-dimensional case this match is achieved after solving a number of subtleties in the localization formulas which amounts to choosing a particular residue prescription in the integrals that yield the Nekrasov-like partition functions for ramified instantons. We also comment on the necessity of including Chern-Simons terms in order to match the superpotentials obtained from dual quiver descriptions of a given surface operator.
We initiate the study of intersecting surface operators/defects in four-dimensional quantum field theories (QFTs). We characterize these defects by coupled 4d/2d/0d theories constructed by coupling the degrees of freedom localized at a point and on intersecting surfaces in spacetime to each other and to the four-dimensional QFT. We construct supersymmetric intersecting surface defects preserving just two supercharges in N = 2 gauge theories. These defects are amenable to exact analysis by localization of the partition function of the underlying 4d/2d/0d QFT. We identify the 4d/2d/0d QFTs that describe intersecting surface operators in N = 2 gauge theories realized by intersecting M2-branes ending on N M5-branes wrapping a Riemann surface. We conjecture and provide evidence for an explicit equivalence between the squashed four-sphere partition function of these intersecting defects and correlation functions in Liouville/Toda CFT with the insertion of arbitrary degenerate vertex operators, which are labeled by representations of SU(N).
We analyze intersecting surface defects inserted in interacting four-dimensional N = 2 supersymmetric quantum field theories. We employ the realization of a class of such systems as the infrared fixed points of renormalization group flows from larger theories, triggered by perturbed Seiberg-Witten monopole-like configurations, to compute their partition functions. These results are cast into the form of a partition function of 4d/2d/0d coupled systems. Our computations provide concrete expressions for the instanton partition function in the presence of intersecting defects and we study the corresponding ADHM model.