Bootstrap equations for N = 4 SYM with defects

This paper focuses on the analysis of 4dN = 4 superconformal theories in the presence of a defect from the point of view of the conformal bootstrap. We will concentrate first on the case of codimension one, where the defect is a boundary that preserves half of the supersymmetry. After studying the constraints imposed by supersymmetry, we will obtain the Ward identities associated to two-point functions of 12 -BPS operators and write their solution as a superconformal block expansion. Due to a surprising connection between spacetime and R-symmetry conformal blocks, our results not only apply to 4dN = 4 superconformal theories with a boundary, but also to three more systems that have the same symmetry algebra: 4dN = 4 superconformal theories with a line defect, 3dN = 4 superconformal theories with no defect, and OSP(4∗|4) superconformal quantum mechanics. The superconformal algebra implies that all these systems possess a closed subsector of operators in which the bootstrap equations become polynomial constraints on the CFT data. We derive these truncated equations and initiate the study of their solutions

On Correlation Functions of BPS Operators in 3d N= 6 Superconformal Theories

We introduce a novel harmonic superspace for 3dN=6 superconformal field theories that is tailor made for the study of correlation functions of BPS operators. We calculate a host of two- and three-point functions in full generality and put strong constraints on the form of four-point functions of some selected BPS multiplets. For the four-point function of 12-BPS operators we obtain the associated Ward identities by imposing the absence of harmonic singularities. The latter imply the existence of a solvable subsector in which the correlator becomes topological. This mechanism can be explained by cohomological reduction with respect to a special nilpotent supercharge

Bootstrapping the half-BPS line defect

We use modern bootstrap techniques to study half-BPS line defects in 4dN= 4 superconformal theories. Specifically, we consider the 1d CFT with OSP(4∗|4) superconformal symmetry living on such a defect. Our analysis is general and based only on symmetries, it includes however important examples like Wilson and ’t Hooft lines in N= 4 super Yang-Mills. We present several numerical bounds on OPE coefficients and conformal dimensions. Of particular interest is a numerical island obtained from a mixed correlator bootstrap that seems to imply a unique solution to crossing. The island is obtained if some assumptions about the spectrum are made, and is consistent with Wilson lines in planar N= 4 super Yang-Mills at strong coupling. We further analyze the vicinity of the strong-coupling point by calculating perturbative corrections using analytic methods. This perturbative solution has the sparsest spectrum and is expected to saturate the numerical bounds, explaining some of the features of our numerical results

Boundary and Interface CFTs from the Conformal Bootstrap

40 pages, many figures v2: new results on 3d O(N) bulk spectrum added, one appendix eliminated, typos corrected, references updated. v3: two references to high precision Monte Carlo data added; they nicely agree with our bootstrap calculations. Matches published version. v4: results for the extraordinary transition for N=2,3 removed: see added noteWe explore some consequences of the crossing symmetry for defect conformal field theories, focusing on codimension one defects like flat boundaries or interfaces. We study surface transitions of the 3d Ising and other O(N) models through numerical solutions to the crossing equations with the method of determinants. In the extraordinary transition, where the low-lying spectrum of the surface operators is known, we use the bootstrap equations to obtain information on the bulk spectrum of the theory. In the ordinary transition the knowledge of the low-lying bulk spectrum allows to calculate the scale dimension of the relevant surface operator, which compares well with known results of two-loop calculations in 3d. Estimates of various OPE coefficients are also obtained. We also analyze in 4-epsilon dimensions the renormalization group interface between the O(N) model and the free theory and check numerically the results in 3d

Calogero-Sutherland Approach to Defect Blocks

Extended objects such as line or surface operators, interfaces or boundaries play an important role in conformal field theory. Here we propose a systematic approach to the relevant conformal blocks which are argued to coincide with the wave functions of an integrable multi-particle Calogero-Sutherland problem. This generalizes a recent observation in 1602.01858 and makes extensive mathematical results from the modern theory of multi-variable hypergeometric functions available for studies of conformal defects. Applications range from several new relations with scalar four-point blocks to a Euclidean inversion formula for defect correlators.Comment: v2: changes for clarit

Bootstrapping N= 3 superconformal theories

We initiate the bootstrap program for N= 3 superconformal field theories (SCFTs) in four dimensions. The problem is considered from two fronts: the protected subsector described by a 2d chiral algebra, and crossing symmetry for half-BPS operators whose superconformal primaries parametrize the Coulomb branch of N= 3 theories. With the goal of describing a protected subsector of a family of N= 3 SCFTs, we propose a new 2d chiral algebra with super Virasoro symmetry that depends on an arbitrary parameter, identified with the central charge of the theory. Turning to the crossing equations, we work out the superconformal block expansion and apply standard numerical bootstrap techniques in order to constrain the CFT data. We obtain bounds valid for any theory but also, thanks to input from the chiral algebra results, we are able to exclude solutions with N= 4 supersymmetry,allowingustozoominonaspecific N= 3 SCFT

Torus invariant divisors

Using the language of polyhedral divisors and divisorial fans we describe invariant divisors on normal varieties X which admit an effective codimension one torus action. In this picture X is given by a divisorial fan on a smooth projective curve Y. Cartier divisors on X can be described by piecewise affine functions h on the divisorial fan S whereas Weil divisors correspond to certain zero and one dimensional faces of it. Furthermore we provide descriptions of the divisor class group and the canonical divisor. Global sections of line bundles O(D_h) will be determined by a subset of a weight polytope associated to h, and global sections of specific line bundles on the underlying curve Y.Comment: 16 pages; 5 pictures; small changes in the layout, further typos remove

The N=2 superconformal bootstrap

In this work we initiate the conformal bootstrap program for N=2N=2 super-conformal field theories in four dimensions. We promote an abstract operator-algebraic viewpoint in order to unify the description of Lagrangian and non-Lagrangian theories, and formulate various conjectures concerning the landscape of theories. We analyze in detail the four-point functions of flavor symmetry current multiplets and of N=2N=2 chiral operators. For both correlation functions we review the solution of the superconformal Ward identities and describe their superconformal block decompositions. This provides the foundation for an extensive numerical analysis discussed in the second half of the paper. We find a large number of constraints for operator dimensions, OPE coefficients, and central charges that must hold for any N=2N=2 superconformal field theory

Affine T-varieties of complexity one and locally nilpotent derivations

Let X=spec A be a normal affine variety over an algebraically closed field k of characteristic 0 endowed with an effective action of a torus T of dimension n. Let also D be a homogeneous locally nilpotent derivation on the normal affine Z^n-graded domain A, so that D generates a k_+-action on X that is normalized by the T-action. We provide a complete classification of pairs (X,D) in two cases: for toric varieties (n=\dim X) and in the case where n=\dim X-1. This generalizes previously known results for surfaces due to Flenner and Zaidenberg. As an application we compute the homogeneous Makar-Limanov invariant of such varieties. In particular we exhibit a family of non-rational varieties with trivial Makar-Limanov invariant.Comment: 31 pages. Minor changes in the structure. Fixed some typo