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.
We compute the 3d N = 2 superconformal indices for 3d/1d coupled systems, which arise as the worldvolume theories of intersecting surface defects engineered by Higgsing 5d N = 1 gauge theories. We generalize some known 3d dualities, including non-Abelian 3d mirror symmetry and 3d/3d correspondence, to some of the simple 3d/1d coupled systems. Finally we propose a q-Virasoro construction for the superconformal indices.
We compute explicitly the two-dimensional version of Basso-Dixon type integrals for the planar four-point correlation functions given by conformal fishnet Feynman graphs. These diagrams are represented by a fragment of a regular square lattice of power-like propagators, arising in the recently proposed integrable bi-scalar fishnet CFT. The formula is derived from first principles, using the formalism of separated variables in integrable SL(2,C) spin chain. It is generalized to anisotropic fishnet, with different powers for propagators in two directions of the lattice.
We study the localization of gravity on string-like defects in codimension two. We point out that the gravity-localizing `local cosmic string spacetime has an orbifold singularity at the horizon. The supergravity embedding and the AdS/CFT correspondence suggest ways to resolve the singularity. We find two resolutions of the singularity that have a semiclassical gravity description and study their effect on the low-energy physics on the defect. The first resolution leads, at long distances, to a codimension one Randall-Sundrum scenario. In the second case, the infrared physics is like that of a conventional finite-size Kaluza-Klein compactification, with no power-law corrections to the gravitational potential. Similar resolutions apply also in higher codimension gravity-localizing backgrounds.
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.