We study possible geometries and R-symmetry breaking patterns that lead to globally BPS surface operators in the six dimensional $\mathcal{N}=(2,0)$ theory. We find four main classes of solutions in different subspaces of $\mathbb{R}^6$ and a multitude of subclasses and specific examples. We prove that these constructions lead to supersymmety preserving observables and count the number of preserved supercharges. We discuss the underlying geometry, calculate their anomalies and present analogous structures for the holographic dual M2-branes in $AdS_7\times S^4$. We also comment on the dimensional reduction of these observables to line and surface operators in 4d and 5d theories. This rich spectrum of operators are proposed as the simplest and most natural observables of this mysterious theory.
The supergroup OSp(8*|4), which is the superconformal group of (2,0) theory in six dimensions, is broken to the subgroup OSp(4|2)xOSp(4|2) by demanding the invariance of a certain product in a superspace with eight bosonic and four fermionic dimensions. We show that this is consistent with the symmetry breaking induced by the presence of a flat two-dimensional BPS surface in the usual (2,0) superspace, which has six bosonic and sixteen fermionic dimensions.
With the purpose of holographically describing flows from a large family of four dimensional ${\cal N}=1$ and ${\cal N}=2$ conformal field theories, we discuss truncations of seven dimensional supergravity to five dimensions. We write explicitly the reduced gauged supergravity and find BPS equations for simple configurations. Lifting these flows to eleven dimensions or Massive IIA supergravity, we present string duals to RG flows from strongly coupled conformal theories when deformed by marginal and/or relevant operators. We further discuss observables common to infinite families of ${\cal N}=…
A class of exact non-renormalized extremal correlators of half-BPS operators in N=4 SYM, with U(N) gauge group, is shown to satisfy finite factorization equations reminiscent of topological gauge theories. The finite factorization equations can be generalized, beyond the extremal case, to a class of correlators involving observables with a simple pattern of SO(6) charges. The simple group theoretic form of the correlators allows equalities between ratios of correlators in N=4 SYM and Wilson loops in Chern-Simons theories at k=\infty, correlators of appropriate observables in topological G/G mo…
We compute the expectation value of the 1/2 BPS circular Wilson loop operator in ABJ(M) theory at two loops in perturbation theory. Our result turns out to be in exact agreement with the weak coupling limit of the prediction coming from localization, including finite N contributions associated to non-planar diagrams. It also confirms the identification of the correct framing factor that connects framing-zero and framing-one expressions, previously proposed. The evaluation of the 1/2 BPS operator is made technically difficult in comparison with other observables of ABJ(M) theory by the appearan…
We study symmetries of quantum field theories involving topologically distinct sectors of the field space. To exhibit these symmetries we define special gauge invariant observables, which we call the $qq$-characters. In the context of the BPS/CFT correspondence, using these observables, we derive an infinite set of Dyson-Schwinger-type relations. These relations imply that the supersymmetric partition functions in the presence of $Ω$-deformation and defects obey the Ward identities of two dimensional conformal field theory and its $q$-deformations. The details will be discussed in the companio…
We propose that, in N=4 Super Yang-Mills theory, correlation functions of certain 1/8 BPS Wilson loops and local operators inserted on a S^2 in space-time may be computed in terms of analogous observables in the "zero-instanton" sector of 2d Yang-Mills theory. The Wilson loops are mapped to the standard Wilson loops of the 2d theory, as recently conjectured, while the local operators are mapped to powers of the 2d field strength. We give several perturbative checks of the correspondence, and derive from 2d Yang-Mills a two-matrix model for the correlator of a local operator and a Wilson loop o…
The BPS sector of $\mathcal{N}=2$, $4d$ toric quiver gauge theories, and its corresponding D6-D2-D0 branes on Calabi-Yau threefolds, have been previously studied using integrable lattice models such as the crystal melting model and the dimer model. The asymptotics of the BPS sector, in the large N limit, can be studied using the Mahler measure theory, \cite{Zah}. In this work, we consider the class of isoradial quivers and study their thermodynamical observables and phase structure. Building on our previous results, and using the relation between the Mahler measure and hyperbolic 3-manifolds, …
Three dimensional supersymmetric field theories have large moduli spaces of circular Wilson loops preserving a fixed set of supercharges. We simplify previous constructions of such Wilson loops and amend and clarify their classification. For a generic quiver gauge theory we identify the moduli space as a quotient of $C^m$ for some $m$ by an appropriate symmetry group. These spaces are quiver varieties associated to a cover of the original quiver or a subquiver thereof. This moduli space is generically singular and at the singularities there are large degeneracies of operators which seem differ…
In theories with extended supersymmetry the protected observables of UV superconformal fixed points are found in a number of contexts to be encoded in the BPS solitons along an IR Coulomb-like phase. For six-dimensional SCFTs such a role is played by the BPS strings on the tensorial Coulomb branch. In this paper we develop a uniform description of the worldsheet theories of a BPS string for rank-one 6d SCFTs. These strings are the basic constituents of the BPS string spectrum of arbitrary rank six-dimensional models, which they generate by forming bound states. Motivated by geometric engineeri…
We study event shapes in N=4 SYM describing the angular distribution of energy and R-charge in the final states created by the simplest half-BPS scalar operator. Applying the approach developed in the companion paper arXiv:1309.0769, we compute these observables using the correlation functions of certain components of the N=4 stress-tensor supermultiplet: the half-BPS operator itself, the R-symmetry current and the stress tensor. We present master formulas for the all-order event shapes as convolutions of the Mellin amplitude defining the correlation function of the half-BPS operators, with a …
We consider the four-point function of the lowest scalar in the stress-energy tensor multiplet in $\mathcal{N}=8$ ABJ(M) theory \cite{Aharony:2008ug, Aharony:2008gk}. At large central charge $c_T\sim N^{3/2}$, this correlator is given by the corresponding holographic correlation function in 11d supergravity on $AdS_4\times S^7$. We use Mellin space techniques to compute the leading $1/c_T$ correction to anomalous dimensions and OPE coefficients of operators that appear in this holographic correlator. For half and quarter-BPS operators, we find exact agreement with previously computed localizat…
We consider limits of $\mathcal{N} = 4$ super-Yang-Mills (SYM) theory that approach BPS bounds. These limits result in non-relativistic near-BPS theories that describe the effective dynamics near the BPS bounds and upon quantization are known as Spin Matrix theories. The near-BPS theories can be obtained by reducing $\mathcal{N}=4$ SYM on a three-sphere and integrating out the fields that become non-dynamical in the limits. We perform the sphere reduction for the near-BPS limit with $\mathrm{SU}(1,2|2)$ symmetry, which has several new features compared to the previously considered cases with $…
We study the half-BPS sector of the AdS/CFT correspondence. In the full sector of the correspondence, on-shell actions in type IIB supergravity have been played crucial roles, for example in the GKP-Witten relation. We derive, therefore, an on-shell action that reproduces a class of half-BPS solutions found by Lin, Lunin and Maldacena. These solutions describe the bubbling geometries in the supergravity. We show that this on-shell action for the LLM solutions is dual to the classical limit of an observable of the N free fermions in a harmonic oscillator potential in 1+1 dimensions. The observa…
We study correlation functions involving extended defect operators in the four-dimensional ${\cal N}=4$ super-Yang-Mills (SYM). The main tool is supersymmetric localization with respect to the supercharge $\cal Q$ introduced in \cite{Pestun:2009nn} which computes observables in the $\cal Q$-cohomology. We classify general defects of different codimensions in the ${\cal N}=4$ SYM that belong to the $\cal Q$-cohomology, which form ${1\over 16}$-BPS defect networks. By performing the $\cal Q$-localization of the ${\cal N}=4$ SYM on the four-dimensional hemisphere, we discover a novel defect-Yang-…
We present examples of 5d SCFTs that serve as counter-examples to a recently actively studied conjecture according to which it should be possible to obtain all 5d SCFTs by integrating out BPS particles from 6d SCFTs compactified on a circle. We further observe that it is possible to obtain these 5d SCFTs from 6d SCFTs if one allows integrating out BPS strings as well. Based on this observation, we propose a revised version of the conjecture according to which it should be possible to obtain all 5d SCFTs by integrating out both BPS particles and BPS strings from 6d SCFTs compactified on a circl…
We consider a mirror dual of the Berkovits-Vafa A-model for the BPS superstring on $AdS_5\times S^5$ in the form of a deformed superconifold. Via geometric transition, the theory has a dual description as the hermitian gaussian one-matrix model. We show that the A-model amplitudes of generic $AdS_2\times S^4$ branes, breaking the superconformal symmetry as $U(2,2|4)\to OSp(4^*|4)$, are evaluated in terms of observables in the matrix model. As such, upon the usual identification $g_{YM}^2=g_s$, these can be expanded as Drukker-Gross circular 1/2-BPS Wilson loops in the perturbative regime of ${…
We describe a universal element in the group algebra of symmetric groups, whose characters provides the counting of quarter and eighth BPS states at weak coupling in N=4 SYM, refined according to representations of the global symmetry group. A related projector acting on the Hilbert space of the free theory is used to construct the matrix of two-point functions of the states annihilated by the one-loop dilatation operator, at finite N or in the large N limit. The matrix is given simply in terms of Clebsch-Gordan coefficients of symmetric groups and dimensions of U(N) representations. It is exp…
By performing explicit computations of correlation functions, we find evidence that there is a sector of the two matrix model defined by the $SU(2)$ sector of ${\cal N}=4$ super Yang-Mills theory, that can be reduced to eigenvalue dynamics. There is an interesting generalization of the usual Van der Monde determinant that plays a role. The observables we study are the BPS operators of the $SU(2)$ sector and include traces of products of both matrices, which are genuine multi matrix observables. These operators are associated to supergravity solutions of string theory.
The four dimensional $\mathcal{N}=4$ super-Yang-Mills (SYM) theory exhibits rich dynamics in the presence of codimension-one conformal defects. The new structure constants of the extended operator algebra consist of one-point functions of local operators which are nonvanishing due to the defect insertion and carry nontrivial coupling dependence. We study an important class of half-BPS superconformal defects engineered by D5 branes that share three common directions with the D3 branes and involve Nahm pole configurations for the SYM fields on the D3 brane worldvolume. In the planar large $N$ li…
We investigate the localization of metastable four-dimensional gravity around a bent dilatonic brane, embedded into a five-dimensional space, that exists only up to distances sufficiently small compared to a crossover scale. Far from such scale, five-dimensional effects strongly deviate the Newtonian potential. We study this effect by considering localization of massive gravity on a non-BPS bent dilatonic 3-brane solution of a five-dimensional supergravity. Our results show that the cosmological constant on the bent brane controls the size of the crossover scale. For sufficiently small positiv…
We study supersymmetric gauge theories in five dimensions, using their relation to the K-theory of the moduli spaces of torsion free sheaves. In the spirit of the BPS/CFT correspondence the partition function and the expectation values of the chiral, BPS protected observables are given by the matrix elements and more generally by the correlation functions in some q-deformed conformal field theory in two dimensions. We show that the coupling of the gauge theory to the bi-fundamental matter hypermultiplet inserts a particular vertex operator in this theory. In this way we get a generalization of…
In this note, we explore holographic attributes of four-dimensional near-extremal Reissner-Nordstrom black hole solutions in ungauged ${\cal N}=2$ supergravity theories at the two-derivative level by recasting them as a specific first-order deformation in solution space, associated with an infinitesimal Harrison transformation, of black holes in an $AdS_2$ space-time. Specifically, we use this link to exhibit how bulk properties, such as mass and entropy, of four-dimensional near-extremal black holes are holographically encoded in the one-dimensional boundary theory dual to gravity in an infin…
Six-dimensional conformal field theories with $(2,0)$ supersymmetry are shown to possess a protected sector of operators and observables that are isomorphic to a two-dimensional chiral algebra. We argue that the chiral algebra associated to a $(2,0)$ theory labelled by the simply-laced Lie algebra $\mathfrak{g}$ is precisely the W algebra of type $\mathfrak{g}$, for a specific value of the central charge. Simple examples of observables that are made accessible by this correspondence are the three-point functions of half-BPS operators. For the $A_n$ series, we compare our results at large $n$ t…
We study the low-energy quantum dynamics of vortex strings in the Higgs phase of N=2 supersymmetric QCD. The exact BPS spectrum of the stretched string is shown to coincide with the BPS spectrum of the four-dimensional parent gauge theory. Perturbative string excitations correspond to bound W-bosons and quarks while the monopoles appear as kinks on the vortex string. This provides a physical explanation for an observation by N. Dorey relating the quantum spectra of theories in two and four dimensions.
We show that the BMN operators arise from the expansion of the Wilson loop in four-dimensional N=4 super Yang-Mills theory. The Wilson loop we consider is obtained from ``dimensional reduction'' of ten-dimensional N=1 super Yang-Mills theory, and it contains six scalar fields as well as the gauge field. We expand the Wilson loop twice. First we expand it in powers of the fluctuations around a BPS loop configuration. Then we further expand each term in the result of the first step in powers of the scalar field Z associated with the BPS configuration. We find that each operator in this expansion…
The crease is a surface operator folded by a finite angle along an infinite line. Several realisations of it in the 6d ${\mathcal N}=(2,0)$ theory are studied here. It plays a role similar to the generalised quark-antiquark potential, or the cusp anomalous dimension, in gauge theories. We identify a finite quantity that can be studied despite the conformal anomalies ubiquitous with surface operators and evaluate it in free field theory and in the holographic dual. We also find a subtle difference between the infinite crease and its conformal transform to a compact observable comprised of two g…
Mathieu Moonshine, the observation that the Fourier coefficients of the elliptic genus on K3 can be interpreted as dimensions of representations of the Mathieu group M24, has been proven abstractly, but a conceptual understanding in terms of a representation of the Mathieu group on the BPS states, is missing. Some time ago, Taormina and Wendland showed that such an action can be naturally defined on the lowest non-trivial BPS states, using the idea of `symmetry surfing', i.e., by combining the symmetries of different K3 sigma models. In this paper we find non-trivial evidence that this constru…
The 6d $\mathcal{N}=(2,0)$ theory has natural surface operator observables, which are akin in many ways to Wilson loops in gauge theories. We propose a definition of a "locally BPS" surface operator and study its conformal anomalies, the analog of the conformal dimension of local operators. We study the abelian theory and the holographic dual of the large $N$ theory refining previously used techniques. Introducing non-constant couplings to the scalar fields allows for an extra anomaly coefficient, which we find in both cases to be related to one of the geometrical anomaly coefficients, suggest…
Surface operators are among the most important observables of the 6d $\mathcal{N} = (2,0)$ theory. Here we apply the tools of defect CFT to study local operator insertions into the 1/2-BPS plane. We first relate the 2-point function of the displacement operator to the expectation value of the bulk stress tensor and translate this relation into a constraint on the anomaly coefficients associated with the defect. Secondly, we study the defect operator expansion of the stress tensor multiplet and identify several new operators of the defect CFT. Technical results derived along the way include the…
We perform a systematic study of integrated four-point functions of half-BPS operators in four-dimensional $\mathcal{N}=4$ super Yang-Mills theory with gauge group $SU(N)$. These observables, defined by a certain spacetime integral of $\langle\mathcal{O}_2\mathcal{O}_2\mathcal{O}_p\mathcal{O}_p\rangle$ where $\mathcal{O}_p$ is a superconformal primary of charge $p$, are known to be computable by supersymmetric localization, yet are non-trivial functions of the complexified gauge coupling $τ$. We find explicit and remarkably simple results for several classes of these observables, exactly as a …
The purpose of the present paper is the communication of some results and observations which shed new light on the algebraic structure of the algebra of string observables both in the classical and in the quantum theory.
All cosmological observations to date are consistent with adiabatic, Gaussian and nearly scale invariant initial conditions. These findings provide strong evidence for a particular symmetry breaking pattern in the very early universe (with a close to vanishing order parameter, $ε$), widely accepted as conforming to the predictions of the simplest realizations of the inflationary paradigm. However, given that our observations are only privy to perturbations, in inferring something about the background that gave rise to them, it should be clear that many different underlying constructions projec…
We extend semiclassical methods in inflationary cosmology that capture leading IR corrections to correlators. Such large IR effects can be absorbed into a coordinate change when examining sufficiently local observables, but not when comparing observations at large separation in scales, such as seen by a late-time observer. The analysis is facilitated by definition of a scale-dependent metric and physical momentum. These assist definition of "IR-safe" observables seen by a post-inflationary observer, which are contrasted to those based on the local geometry of the reheating surface. For such ob…
