Bootstrapping line defects in $\mathcal{N}=2$ theories

We study half-BPS line defects in $\mathcal{N}=2$ superconformal theories using the bootstrap approach. We concentrate on local excitations constrained to the defect, which means the system is a $1d$ defect CFT with $\mathfrak{osp}(4^*|2)$ symmetry. In order to study correlation functions we construct a suitable superspace, and then use the Casimir approach to calculate a collection of new superconformal blocks. Special emphasis is given to the displacement operator, which controls deformations orthogonal to the defect and is always present in a defect CFT. After setting up the crossing equations we proceed with a numerical and analytical bootstrap analysis. We obtain numerical bounds on the CFT data and compare them to known solutions. We also present an analytic perturbative solution to the crossing equations, and argue that this solution captures line defects in $\mathcal{N}=2$ gauge theories at strong coupling.

by the configuration, it is possible to obtain exact formulas using localization and related matrix model techniques [2]. For example, the Bremsstrahlung function, which captures the energy radiated by the particle, can be calculated exactly [3][4][5][6]. A way to understand this is that the Bremsstrahlung is proportional to the one-point function of the stress tensor in the presence of the line, and the latter can be obtained from localization. This relation between Bremsstrahlung and the stress tensor was conjectured in [6] for N = 2 theories, and later proven in [7] using only superconformal symmetry.
The literature on Wilson operators in N = 2 theories is vast, however work on configurations with insertions along the contour has been scarce. Here we study this system from the 1d CFT perspective by analyzing correlators of operators inserted on the line. Although 1d theories are non-local due to the absence of a stress tensor, they are consistent when interpreted as defect theories. Correlators on a defect can be thought of as describing a lower dimensional CFT embedded in a higher dimensional bulk. In particular, four-point functions exhibit crossing symmetry and have a conformal block expansion with positive coefficients. Thanks to this positivity property, one can use the numerical bootstrap of [8] to constrain the CFT data. We should mention that if one considers operators outside the defect the positivity property is lost, and the numerical bootstrap does not apply. One can nevertheless use analytical bootstrap techniques, see [9,10] for recent progress.
The canonical operator that is always present on a defect CFT is the displacement operator. This operator measures deformations orthogonal to the defect, and is the closest one can have to a conserved stress tensor. Indeed, the stress tensor and the displacement are related by a Ward identity [11]. Due to its universal character, in this work we concentrate on the four-point function of the displacement operator. Because the system we are considering is supersymmetric, in order to study the displacement operator, it will be necessary to study the corresponding superconformal multiplet. Our bootstrap analysis is based on symmetry and we will not commit to any particular theory. This work is complementary to the bulk N = 2 superconformal bootstrap program [12][13][14], where the main focus is the study of correlators of local operators. 1 In N = 4 SYM, the corresponding line defect with insertions has been studied recently using a variety of techniques. These include explicit holographic calculations [15], the conformal bootstrap [16,17], truncations to the topological sector [18,19], and perturbative calculations at weak coupling [20,21]. Another related system is the monodromy line of the 3d Ising model [22], which was studied using bootstrap techniques in [23]. Apart from their intrinsic interest, 1d CFTs are also a useful laboratory in which bootstrap ideas can be explored. Recent work includes exact functionals that allow to extract the spectrum analytically [24][25][26], inversion formulas [27,28] (see also [29,30] for the closely related case of BCFT), and intriguing positivity properties [31].
The structure of the paper is as follows. In section 2 we review the geometry of our setup and present the preserved osp(4 * |2) superconformal algebra. We find all its unitary representations and explicitly construct the multiplets of long and short operators that will play a role in later discussions. In section 3 we construct correlation functions using superspace, concentrating on those containing the multiplet of the displacement operator. With the superspace at hand, in section 4 we use the Casimir approach to calculate the superconformal blocks involving four displacement multiplets. We write the associated crossing equations, and find a solution that interpolates between bosonic and fermionic free-field theory. We apply standard numerical bootstrap techniques to our crossing equations in section 5, and we find that the free-field solutions sit in interesting points of the allowed regions of the plots, where they saturate the numerical bounds. In section 6 we employ analytic techniques to find a solution to crossing which we interpret as a perturbative first-order correction to the strong-coupling limit of our line defect. Finally, we conclude in section 7 by giving an outlook on possible future directions of research. We complement the text with our conventions (appendix A), and a compendium of superconformal blocks of unprotected long operators (appendix B), which can be useful in future studies of this setup. We also attach a Mathematica file with a number of technical results.

Preliminaries
There are several configurations one can consider when studying defect CFTs: correlation functions of local operators in the presence of the defect, correlators of defect operators, i.e. local excitations that are constrained to live on the defect, and also mixed configurations with both local and defect operators (see figure 1). Because defects break some of the conformal symmetry, even low-point correlators tend to have non-trivial structure. One-point functions of local operators are generically non-zero, and twopoint functions have a non-trivial dependence on two conformal invariants [11], which makes them analogous to four-point functions in bulk CFTs with no defects.
In the presence of a defect, one can consider correlators of local and defect operators. Because the defect breaks the conformal algebra down to a subalgebra, even low-point functions can acquire non-trivial coordinate dependence. In this work we will concentrate exclusively on defect excitations (hatted operators in the figure) which define a lower dimensional CFT.
In this work we will study line defects in four dimensions, and we concentrate exclusively on defect excitations. We will consider correlators of the canonical operator that is always present on a defect CFT: the displacement operator. This universal operator measures deformations orthogonal to the defect. Intuitively, it can be thought of as the orthogonal components of the stress tensor, which is the generator of translations. Since we are resticting ourselves to the line, our system is described by a 1d CFT and all the usual bootstrap techniques apply 2 . In particular, four-point functions have a conformal block expansion with positive coefficients and they satisfy a crossing symmetry equation.
The symmetry algebra preserved by our defect is osp(4 * |2) 3 , which is a subalgebra of the full N = 2 superconformal algebra. This is the maximal possible superalgebra consistent with the geometry of the configuration. In Lagrangian theories, special boundary conditions can be chosen in order to preserve osp(4 * |2), but here we will not consider any particular model and we rely only on algebraic and symmetry constraints: the osp(4 * |2) symmetry algebra will be our starting point.
In four dimensions a line defect has three orthogonal directions, and therefore the displacement is a vector. In the supersymmetric setup we are considering, the displacement sits in a supermultiplet whose highest weight is a scalar. This means that after taking into account all the constraints coming from supersymmetry, our analysis will be similar to the 1d bosonic bootstrap. In the next subsection we review the osp(4 * |2) superalgebra together with its representation theory, with special emphasis on the multiplets which will be relevant when studying crossing symmetry in section 4.

The superalgebra
We are interested in line defects that preserve the maximum amount of supersymmetry osp(4 * |2), with bosonic subalgebra sl(2; R) ⊕ su(2) j ⊕ su(2) R . In addition to the sl(2; R) factor which captures the 1d conformal symmetry, there is an extra so(3) ∼ = su(2) j which can be interpreted as rotations around the defect. The quantum number associated to it, which we label by j, is called transverse spin. The last usp(2) ∼ = su(2) R is the leftover R-symmetry preserved by the configuration. For transverse-spin indices we will use a = 1, 2, and for R-symmetry indices A = 1, 2. The fermionic generators are given by supercharges Q and S, and carry both types of indices. The bosonic part of the superalgebra is given by (2.1) The fermionic generators anticommute as follows .
Finally, the fermionic generators have the following commutation relations with the bosonic subalgebra The above superalgebra is compatible with the natural hermitian conjugation in radial quantization

Unitary multiplets
Let us now turn to the study of unitary representations of osp(4 * |2). The multiplet that contains the displacement operator has been constructed in [7], and a similar analysis for the case of Wilson loops in ABJM can be found in [34,35]. Unitary representations of osp(4 * |2) have been previously discussed in [36], although here we give a more complete treatment following the work of [37].

Name
Primary Unitarity Bound Null State Table 1. Shortening conditions in one-dimensional N = 2 SCFTs.
Highest-weight representations of superconformal algebras are constructed starting from a superconformal primary field V, which is anhilated by the K and S generators, and transforms in some representation of the bosonic subalgebra. For the case of interest to us, we label the primary by [∆, j, R], where ∆ is the conformal dimension, and j, R are positive half-integers that label the transverse spin and R-symmetry respectively. Acting with Q supercharges on V, one obtains the conformal descendants, which are conformal primary fields, i.e. fields anhilated by the K generator. It is then clear that the conformal descendants form representations of the conformal algebra (but not of the superconformal algebra) on their own. Requiring positivity of the the norm of these descendants at levels 1 and 2, imposes the unitarity bounds and shortening conditions summarized in table 1. To our knowledge, these results have not been presented systematically elsewhere, but we do not derive them here. Instead, we refer the reader to the works [37,38], which give a detailed treatment on how to obtain unitarity bounds for all superconformal theories in d ≥ 3.
Given a superconformal primary field transforming in one of the representations of table 1, it will be important for our analysis to know the explicit quantum numbers of all the conformal descendants. This can be achieved efficiently by means of the Racah-Speiser algorithm [39], which has been described in great detail in [37]. Note that the weights of the supercharges in our conventions are For a long multiplet, we act on the highest weight in all possible ways with the four Q's, so we obtain a representation of dimension dim L = 16(2j + 1)(2R + 1). (2.6) In order to construct the A 1 supermultiplet, we need to set Q 1 2 = 0, since this supercharge has the weights that correspond to the null state in table 1. The corresponding representation has dimension In a similar way, the A 2 multiplet is obtained by setting Q 1 1 Q 1 2 = 0, and the B 1 multiplet by setting In this work, we will be mostly concerned with the displacement operator which has protected confor- Of special relevance will be the following multiplets, some of which will appear in the OPE of two displacement multiplets (2.10) When the above long operators approach the unitarity bound, we get the following recombinations rules: R=0 . As we pointed out in the introduction, our setup is closely related to the work [17], which considered line defects in four-dimensional N = 4 theories preserving osp(4 * |4) symmetry. By carefully studying how our osp(4 * |2) algebra is embedded in osp(4 * |4), we can decompose the multiplets of N = 4 into their N = 2 counterparts. The most important multiplets in the N = 4 case are B 1 , which contains the diplacement operator, and B 2 , which is the lowest dimension multiplet in the OPE of two diplacements. They decompose in the following way (2.12) Therefore, the analogous of the B 1 multiplet in our setup is [A 2 ] R=0 , since they both contain the displacement operator. Moreover, the role that was played by the B 2 multiplet will be played now by [L] ∆=2 j=R=0 . With the numerical results, it will become clear that this intuition is correct.

Superspace
Having reviewed the symmetry algebra and its representation theory, we now proceed to construct a superspace suitable for the type of correlators we want to study. There are several kinds of superspaces in the literature, and which one to use usually depends on the type of multiplet being studied. Harmonic superspace is quite useful to study half-BPS multiplets, while chiral superspace is more efficient for chiral multiplets. In this work we are interested in the displacement operator, which sits in a multiplet which is neither half-BPS nor chiral, however it has the simplifying feature that its highest weight is neutral under su(2) j ⊕ su(2) R . We therefore use the most standard superspace in which we add one fermionic coordinate for each conserved Q supercharge. In this section we will follow closely [40,41].

Basic definitions
Since we study a 1d CFT which preserves the supersymmetry algebra osp(4 * |2), the superspace must have one generator P for translations, and four generators Q A a for supertranslations. These supercharges have to satisfy the algebra where A = 1, 2 and a = 1, 2. In this section we will show how to build a superspace consistent with these commutation relations, and how to obtain the natural differential and covariant derivative. We take the coordinates of superspace to be z M = (x, θ a A ), and a finite supertranslation to be implemented by the operator The composition of two supertranslations g(ε, ξ)g(z) = g(z ) can be evaluated using the Baker-Campbell-Hausdorff formula e X e Y ≈ e X+Y + 1 2 [X,Y ] , giving Here and in what follows, we use the index-free notation introduced in appendix A, where for example The differential of a function in superspace is defined as (3.4) It will prove convenient to rewrite it in terms of the covariant derivative D A a and the "covariant one-form" e(z). Looking at the differential of a supertranslation (3.3) dx = dx − 1 2 ξdθ, dθ = dθ, (3.5) we see that it is natural to define the one-form e(z) ≡ dx + 1 2 θdθ, which has the property e(z ) = e(z) for any constant supertranslation. By rewriting the differential in terms of e(z), we get where the covariant derivative is The covariant one-form e(z) will be important in the next section in order to derive the Killing equation satisfied by superconformal changes of coordinates. The covariant derivative will be important as well, when we implement shortening conditions in superspace, see section 3.1.4.

Killing equation
After having defined the one-form e(z), we are now ready to derive the equation satisfied by a superconformal change of coordinates, which will be analogous to the conformal Killing equations in standard CFT.
A superconformal transformation is defined as a change of coordinates z → z (z) such that e(z) transforms as Under a generic change of coordinates z → z (z), we have Therefore, it is clear that the superconformal Killing equations are given by (3.10) We will see that the usual superconformal transformations solve these constraints, but it is instructive to first expand the first equation for infinitesimal transformations x = x + δx and θ = θ + δθ: In this form, it is clear that there is an infinite family of superconformal transformations. In particular, given any function h(z), we can construct a solution of the Killing equation (3.11) with It is not surprising that there is an infinite number of solutions, since this is analogous to the statement that in an ordinary one-dimensional space any change of coordinates x = f (x) is conformal. There are three particularly simple solutions to the Killing equation (3.10), which can be associated with translations, supertranslations and dilatations: (3.13) Here a and ξ are not necessarily infinitesimal parameters, and λ does not need to be close to one. In the following sections we will describe how to obtain the full set of osp(4 * |2) transformations starting from the above three.

Inversion
Inversions are special types of superconformal transformations with the property I 2 = 1, but such that det I = −1. Since they belong to the disconnected component of the superconformal group, they cannot be expanded infinitesimally around the identity. To find an inversion we must require that it squares to one and satisfies the finite Killing equation (3.10). In our superspace, such a transformation is where (σ 3 ) a b denotes the components of the third Pauli matrix, and the fermionic contractions θ 3 and θ 4 are defined in appendix A. Using equation (3.10) we can find the reescaling associated with the previous inversion Notice that this provides a definition of the finite action of K and S which is not limited to infinitesimal transformations.

Differential operators
Given a solution of the infinitesimal Killing equation (3.11), we can use it to build a differential operator that implements the corresponding infinitesimal transformation In this way we can construct all the differential operators P, K, . . . of our superconformal algebra. However, before doing so, we need to consider a slight generalization.
In general, we are interested in the action of differential operators on superfields O I,i (z) which have a conformal dimension ∆, transverse-spin index i, and R-symmetry index I. If such a field is evaluated at z = 0, then the action of the generators simplifies (3.19) where M b a and R A B form representations of the transverse-spin and R-symmetry subalgebras. Demanding that the differential operators act on operators at the origin as (3.19), and that they act on the coordinates as described in this section, we obtain 4 This standard property of the covariant derivative ensures that shortening conditions constructed with it are invariant under supersymmetry.

Multiplets in superspace
A generic multiplet with transverse spin j and R-symmetry R can be represented in terms of a superfield where we use (a 1 . . . a m ) to denote symmetrization of the indices. The superspace dependence is obtained by applying a supertranslation to the superfield at the origin The short multiplets from table 1 can be obtained by setting the conformal dimension ∆ to the appropriate value, and then imposing extra shortening conditions in terms of covariant derivatives It is not hard to check that the content of these shortened multiplets is in perfect agreement with the decompositions in terms of conformal primaries given by the Racah-Speiser algorithm of section 2.2. In the rest of this section we will work out explicitly the example of the displacement multiplet [A 2 ] R=0 . We start with a long scalar multiplet of conformal dimension ∆, namely a superfield that carries no transverse-spin or R-symmetry indices. In equation (2.10) one can see the decomposition of this multiplet in terms of conformal primaries, which in superspace takes the form (ab) and E AB ab = E (AB) [ab] . Expanding equation (3.22) and comparing terms, one can obtain the explicit form of the components Some of these terms are not annihilated by K and therefore do not correspond to conformal primaries. By using the commutation relations (2.1)-(2.3), we see that A, B A a , C AB ab and E AB ab are indeed primaries, but we need to take The displacement superfield D(z) corresponds to the short multiplet [A 2 ] R=0 , so from table 1 and equation (2.9) it is clear that we need to send ∆ → 1, and remove the conformal descendants E = F p = G p = 0. We are then left with the superfield One can obtain the same expression by making an ansatz for D(z) of the form (3.24) and imposing the shortening condition (3.23b) Then equation (3.27) is the most general solution to this condition, or equivalently, it implies that E = F p = G p = 0.

Correlation functions
Having introduced the basics of our superspace, we are now ready to construct correlation functions of long and short operators. In general, superconformal theories have additional kinematical structures when compared to standard CFTs. A well known example is that already at the three-point level there can be non-trivial superconformal invariants [40]. We start by constructing all such invariants up to four points in section 3.2.1, and then compute the correlation functions for scalar long operators in section 3.2.2. We finish by specifying our results to the displacement operator multiplet in section 3.2.3.

Invariants
The superconformal invariants that will form the bulding blocks of our correlators can be obtained as described in [40]. The most general case we will consider in this work is that of four points z 1 , . . . , z 4 . Notice that these points can be fixed to standard values in the following way 1. Fix z = 0 by doing a translation P with parameter a = −x followed by a supertranslation Q with parameter ξ = −θ.
2. Fix x = ∞ by doing a special conformal transformation K with parameter b = −x I , and then fix θ = 0 using an S transformation of parameter η = −θ I . Here we are denoting z I = (x I , θ I ) the coordinates obtained from z by an inversion, see equation (3.14).
We can combine these two types of transformations to go to a frame where two of the points are fixed to z = 0 and z = (∞, 0). For our purposes, it will be convenient to work in two different frames In either frame, one can construct the invariants as the combinations of the unfixed z i which are invariant under the leftover symmetry generators D, M and R.
Consider first the case of three points in the frame F 2 , where the only unfixed coordinates are z 3 = (x 3 , θ 3 ). If there is a quantity built from θ 3 which is invariant under M and R, then it must not have any uncontracted indices. As discussed in appendix A, the only such object is (θ 3 ) 4 . On the other hand, x 3 is automatically invariant under M and R, and the only independent combinations of both that is also invariant under dilatations D is One can invert the transformations that led to the frame F 2 , to obtain the general expression of the three-point invariant where y ij and θ ij are the supertranslation invariant combinations We do not provide details on how to carry out this calculation, but one can find a similar setup in Appendix A of [42]. It is worth stressing how from a very simple expression for the invariant in a certain frame (3.30), we obtain a much more complicated equation in the general case (3.31).
Let us now consider the four-point case, in which one of the invariants is the standard 1d crossratio, and the remaining ones correspond to nilpotent quantities. Unlike the three-point case, with four points there is freedom in how to choose the invariants, and we fix it by working with a basis which is simple in the frame F 1 . In our conventions, we take the bosonic invariant to be which corresponds to the supersymmetric generalization of the standard 1d cross-ratio χ = x12x34 x13x24 . From the discussion of appendix A, more precisely equations (A.6) and (A.7), one can see that a complete basis for the nilpotent invariants is 5 As before, one could undo the transformation that led to the frame F 1 , and find expressions for I i in a completely general frame. The resulting expressions are rather involved, and we do not present them here. Actually, for the discussions in this paper, we will mostly need I i in the frame F 1 , and we will only need the expressions in the frame F 2 to obtain the shortening conditions of equation (3.49). The readers interested in this calculation can find the I i | F2 in the attached Mathematica notebook. In order to study crossing symmetry, we will be interested in the invariantsĨ i obtained from I i with the replacement z 1 ↔ z 3 . They take simple forms when expressed in terms of the original invariants, for example the bosonic cross-ratio becomes while the nilpotent invariants becomẽ (3.36)

Scalar long multiplets
We are finally ready to write our first correlators. In analogy with standard CFT, the building block of scalar correlators are combinations Z 2 ij of the coordinates z i and z j such that .
Here z i represent the coordinates obtained from z i by a superconformal transformation with conformal factor Ω(z), see equation (3.10). The combination Z 2 ij must be built out of the supertranslation invariant intervals y ij and θ ij , defined in equation (3.32). At order x 2 , the most general combination we can build from them which transforms correctly under D, M and R is y 2 12 + kθ 4 12 . We can fix the relative coefficient by requiring that (3.37) holds also for inversions I, and we find Notice that we only defined Z 2 ij because |Z ij | = (Z 2 ij ) 1/2 does not have a simple form in terms of y ij and θ ij . From the above discussion, it is clear that the two-point function of long scalar fields is while the three-point function is This has the usual form of a three-point function, except for the presence of the three-point invariant J defined in (3.31), and the free parameter c that cannot be fixed by superconformal symmetry. Finally, the four-point function of long scalar fields is is an arbitrary function of the four-point superconformal invariants. We can expand F (I a ) in the nilpotent basis as where f 0 (z), . . . , f 9 (z) are arbitrary functions not fixed by superconformal symmetry.

The displacement operator
Our main objective in this work is to bootstrap the four-point function of the displacement operator. This operator can be obtained as the ∆ → 1 limit of a long scalar, provided that the shortening condition (3.28) is satisfied.
For example, the two point function of the displacement multiplet is which is compatible with the shortening condition (3.28) Similarly, the three-point function of two displacements and one long scalar O of dimension ∆ is is fixed by the the shortening conditions at points 1 and 2. We could also consider the three-point function of displacement operators, in which case we set ∆ = 1 in equation (3.45), and the shortening condition at z 3 is automatically satisfied. The previous study of the three-point functions implies the following OPE selection rule where the . . . represent long or short multiplets such that R, j = 0. One way to complete the righthand side of this equation would be study more general three-point functions. In section 4.1 below we will follow a different route, and derive the full OPE selection rule by solving the Casimir equations. Finally, let us consider the four-point function of displacement multiplets, which in the frame F 1 takes the form (3.47) In this frame it is simple to impose the shortening condition (3.28) at points z 1 and z 2 , leading to the constraints One should also impose shortening at the points z 3 and z 4 . The simplest way to achieve this is to consider the four-point function in the frame F 2 , but now special care is needed since equations (3.33)- (3.34) are no longer valid in this frame. All in all, one obtains one extra constraint (3.49) Summarizing, we have found that the four-point function of displacements depends on two unfixed functions f 0 (z) and f 1 (z). These two functions will be the subject of the bootstrap analysis of the following sections.

Superconformal blocks
Armed with the four-point functions in superspace we can now calculate the relevant superconformal blocks. There are several approaches that have been used to calculate superblocks with varying degrees of success. These include explicit calculation of three-point couplings of descendants [43,44], the shadow formalism [45,46], Ward identities in harmonic superspace [47][48][49][50], the Casimir operator [45,[51][52][53], and the connection to Calogero-Sutherland models [54]. Because the multiplets we are considering are scalars with no R-symmetry or transverse-spin indices, we will use the most conventional of these methods, which is to consider superblocks as eigenfunctions of the Casimir operator. 6 In the main text we will concentrate on the blocks for the displacement multiplet, however in appendix B we present more general correlators that also include non-protected long operators.

From the Casimir equation
Superconformal blocks are given by a finite sum of 1d bosonic blocks, that capture the contributions of the sl(2; R) primaries in the conformal multiplets: The coefficients in this sum are fixed by supersymmetry, so we can make an ansatz for the functions f i in terms of bosonic blocks. After acting with the Casimir operator on the four-point function, we will obtain a coupled system of equations for the functions f i that we will use to fix the coefficients in our ansatz. Since we will use the coupled set of differential equations only to fix these coefficients, the superblocks will automatically satisfy the correct boundary conditions. The Casimir of the osp(4 * |2) superalgebra is given by When it acts on an operator O with quantum numbers [∆, j, R] it has the following eigenvalue Given a four-point function, we can evaluate it by taking OPEs in the (12) → (34) channel, leading to the usual expansion in terms of superconformal blocks In order to obtain a superconformal block, we act with the Casimir on the four-point function and find the solution to the eigenvalue problem 7 (4.5) The differential operator C 2 12 is constructed from the Casimir (4.2) and the symmetry generators in differential form (3.20). Note that the operators need to be evaluated at points z 1 and z 2 , namely L 12 = L 1 + L 2 . In order to solve the above equation, we take G to be of the form (3.42) with the shortening conditions (3.48) and (3.49). Furthermore, we evaluate the Casimir equation in the frame F 1 where the calculations are simpler. The resulting system of differential equations is Notice the similarity of (4.6a) with the usual non-supersymmetric 1d Casimir equation. To solve these equations one should make an ansatz for the f i in terms of 1d bosonic blocks. However, as discussed in [52], it is simpler to first "change basis" to a set of functions G i (z), where each of the G i captures the contribution of the external superconformal descendants, and build an ansatz for the G i instead. Let us review in detail how to implement this idea. We start by expanding the displacement multiplets in terms of their conformal descendants (3.27), so that the four-point function becomes Note that since we work in the frame F 1 , we have θ 3 = θ 4 = 0, so only the superconformal primary A at points 3 and 4 will appear. There are only three four-point functions of descendants that contribute to the above expansion, and for each of them we define a new function G i as Notice that the dependence on Z 2 12 drops from the eigenvalue problem since C 2 12 Z 2 12 = 0.
On one hand, we can introduce (4.8) in the expansion (4.7), and on the other, we can expand the four-point function of displacements (3.47) in terms of θ 1 and θ 2 . By matching the components of the two sides, we get that the change of basis is Furthermore, we see that G 2 must be related to G 0 and G 1 by It is natural that G 2 is related to G 0 and G 1 , since the four-point function of displacements contains only two unfixed functions f 0 (z) and f 1 (z). However, we still had to include G 2 in (4.8), because a priori we did not know what this relation was. The virtue of the G i basis is that now the ansatz in terms of 1d bosonic blocks is very simple We finally have all the ingredients to solve the Casimir equations (4.6). If we consider the case of an exchanged multiplet [∆, 0, 0], then the Casimir eigenvalue is c = ∆(∆ + 1), and the equations are solved by (4.12) From now on, we will sometimes use vectorial notation G(z) = (G 0 (z), G 1 (z)). Depending on the value of ∆, the solution (4.12) is interpreted as follows: • For ∆ = 0 the block reduces to G 1 (z) = (1, −1), and corresponds to the identity operator being exchanged.
We have tried solving the Casimir equation considering other possible exchanges, but in all cases there were no new solutions found, so the above are all the operators that can appear in the OPE of two displacement multiplets.
OPE selection rule. Summarizing the above results, we obtain the following selection rule which completes the partial selection rule (3.46) obtained from the three-point function analysis.

From two-and three-point functions
In this section, we calculate the superconformal blocks in the [∆, 0, 0] channel (4.12) following the approach of [43]. This provides a non-trivial consistency check for our results, and sheds light on the structure of such blocks. The key insight is that the coefficients appearing in the superconformal blocks are OPE coefficients and norms of conformal descendants  Mapping the two sides one can obtain all the OPE coefficients of the descendant fields. The relevant ones for us will be (4.17) Notice how λ AAG , λ BBG , λ CCG vanish for ∆ = 1, as expected from the shortening O → D and the fact that G / ∈ D. We can do a similar analysis for the two-point function (3.39) of scalar longs of dimension ∆. In this case we obtain the norms of the descendants It is a simple exercise to check that inserting (4.17) and (4.18) in (4.15) leads to the superconformal blocks (4.12). One could do a similar analysis to compute the blocks in the [∆, 1, 0] channel, but it would be more involved, since then an expression for the three-point functions of external operators with transverse spin would be needed.

Crossing equations
In the previous sections we have studied the four-point function of displacement operators in the (12) → (34) channel. Demanding that it is equivalent to the four-point function in the (14) → (23) channel leads to the crossing equation where theĨ i invariants appear in equation (3.36), and are obtained from the I i by the replacement z 1 ↔ z 3 . Sincez = 1 − z + 1 2 I 1 , we can Taylor expand the f i 's in the right-hand side aroundz = 1 − z, and insert the expressions for theĨ i . By looking at independent terms, one can see that the crossing equation reduces to where H(z) is a two-dimensional vector with components H 0 (z) = G 0 (z), Notice that from the first component we obtain the usual 1d bosonic crossing equation, but the second mixes G 0 (z) and G 1 (z) in a non-trivial way.

An exact solution
In this section we present a family of exact solutions to the crossing equations in terms of free fields. We will argue in section 6 that one solution in this family describes the strong coupling limit of line defects that admit a holographic description. Furthermore, these solutions will play a prominent role in the next two sections, where we will apply numerical and analytical bootstrap techniques to this correlator.
The most general solution of crossing that we have found built from Wick contractions contains one free parameter ξ. Since it is a valid correlator, it can be expanded in terms of superconformal blocks as in equation (4.4)

(4.22)
Notice how the block G A2 , which a priori could appear in the expansion, has vanishing OPE coefficient λ 2 A2 = 0 for any value of ξ. The other OPE coefficients are given by and c = b ∆=2 = (1 − ξ)/2. Positivity of the OPE coefficients requires −1 ≤ ξ ≤ 1. The theory with ξ = 1 corresponds to free bosons, ξ = −1 corresponds to free fermions, and certain values −1 < ξ < 1 correspond to free gauge theories, as discussed in [17]. We will argue in section 6 that the bosonic theory with ξ = 1 corresponds to the displacement operator at leading order in the strong-coupling limit. The physical interpretation of the fermionic ξ = −1 theory is less clear, since we know that the displacement must be a bosonic operator. Nevertheless, it will be important as a valid solution of crossing that will sit in interesting corners of the allowed regions of the numerical results in next section.

Numerical results
In this section we use numerical boostrap techniques [8,55,56] to bound conformal dimensions and OPE coefficients of operators that appear in the four-point function of displacement operators. We start each subsection with a short review of the numerical algorithm, and then we proceed to discuss the results. We have generated tables of derivatives of superconformal blocks with Mathematica, which are then used by the semidefinite program solver SDPB [57] 8 . The results are analyzed using python, and the plots are generated with matplotlib [60]. In section 4.3 we derived the crossing equations (4.20), which take the simple form F (z) = 0 in terms of the two-dimensional vector We can expand F (z) summing the contributions of the operators that appear in the OPE of two displacements (4.14) where by unitarity the OPE coefficients are real, hence λ 2 O ≥ 0.
Here and in what follows we are using a shorthand notation where it is implicitly understood that λ 2 O = λ 2 DDO .
In order to explore the numerical constraints implied by crossing we will make some structural assumptions about the CFT data. In some of our plots we will assume that λ 2 A2 = 0, or equivalently, that the displacement multiplet does not appear in the OPE of two displacements. Notice that this is the case for the mean-field solutions of the previous section, as well as for N = 4 theories that are interpreted as N = 2 SCFT [15]. This is also true whenever the displacement is odd under a Z 2 symmetry. One could relax this condition, however we found that the numerical results become significantly weaker. It will be interesting to explore this further in the future. The second assumption is that the low-lying spectrum is somehow sparse, with gaps in between the local operators. More precisely, we will assume an isolated long operator with dimension ∆ [0,0] separated by a finite gap from the unitarity bound, and a second gap between ∆ [0,0] and a continuum of long operators with dimensions ∆ ≥ ∆ [0,0] . Similar assumptions will also be made for the longs in the [1, 0] channel.
The most general case we will be studying is then When we discuss the results, it will be instructive to compare with the free-field solutions (4.22). In the plots we will represent these solutions with a solid bullet • or dashed line , accompanied by a letter representing the type of solution • B : Free boson, ξ = 1, • F : Free fermion, ξ = −1, • G : Free gauge theory, −1 < ξ < 1.

(5.4)
Currently, the only N = 2 line defect with insertions that has been studied in the literature is the one in N = 4 SYM. The leading-order correlation function of D's at strong coupling was computed in [15], and it is given by the free bosonic solution. In that work, the first-order correction in 1 √ λ to the correlator was also obtained. It would be an interesting problem for the future to study an N = 2 line defect with insertions either using holography or perturbation theory and compare with our numerical bounds.

Dimension bounds
The algorithm for bounding operator dimensions works in the following way. First, one assumes a spectrum of operator dimensions. In the case of interest to us (5.3), this boils down to fixing the dimension of the isolated longs ∆ [0,0] and ∆ [1,0] , and also the dimension of the first longs in the continuum ∆ [0,0] and ∆ [1,0] . Then one tries to find a functional α such that ∆ [1,0] runs over all the operators with fixed conformal dimensions. If such functional α exists, then it is not possible to satisfy equation (5.3), and the spectrum is ruled out.  As is customary we consider functionals of the form where i = 0, 1 runs over the two components of F ∆ (z), and the number of derivatives Λ needs to be increased in order to obtain stronger bounds. In the last step we have approximated the conformal blocks by a positive function χ(∆) ≥ 0 multiplying a linear combination of polynomials in ∆ This approximation can be obtained as described in [56,61]. Thanks to (5.6) and (5.7), we can reformulate the optimization problem (5.5) as finding a set of coefficients a i,m such that for all x ≥ 0. This is a semidefinite programming problem which can be solved using SDPB [57].
In figure 2 we present upper bounds on the dimension ∆ [0,0] of the first long in the continuum, as a function of the dimension of the isolated long ∆ [0,0] , while keeping all the operators in the [1, 0] channel slightly above their unitarity bound. In an exactly analogous way, we also present the upper bound of ∆ [1,0] as a function of ∆ [1,0]  As we will discuss in more detail in the following section, this seems to be related to certain OPE coefficients becoming unbounded for ∆ [0,0] < ∆ [0,0],jump .

OPE bounds
One can find upper and lower bounds for the OPE coefficient λ 2 O using a very similar algorithm as the one described above. We use a functional α of the form (5.6), and maximize α(F 1 ) such that α(F O ) = 1 and  Then we obtain the upper bound λ 2 O ≤ −α(F 1 ). Similarly, if we find α that maximizes α(F 1 ) such that α(F O ) = −1 and (5.11) holds, we obtain the lower bound λ 2 O ≥ α(F 1 ). As before, such optimization problems can be solved using SDPB.
First, we would like to understand the nature of the jump observed in figure 2 and discussed around equation (5.10). In figure 3 we obtain upper and lower bounds on the OPE coefficients λ 2 In order to obtain further constraints on OPE coefficients we will assume the existence of gaps, in particular, ∆ [0,0] ≥ ∆ [0,0],jump , because otherwise the optimization problems are unbounded. As an important example, we study in more detail the exact bosonic and fermionic solutions of crossing. We fix the dimension of the first long to ∆ [0,0] = 2.0/3.0 for the bosonic/fermionic theories, and then bound the OPE coefficients as we increase the second gap ∆ [0,0] . The results are plotted in figure 4. In the first row we observe that the OPE coefficient of the long at ∆ [0,0] has upper bounds which are essentially constant, and lower bounds appear only when the second gap is ∆ [0,0] 3. The lower bounds grow as we increase ∆ [0,0] , until they meet the upper bound precisely where the bosonic and fermionic theories sit. For this reason, we expect that the bosonic and fermionic theories are unique provided that the second gap is large enough. Indeed, our plots are almost identical to the ones obtained for the N = 4 analogous case [17]. In order to map results, one simply needs to note that their B 2 multiplet is identified with our isolated long of dimension ∆ [0,0] = 2 (see the discussion around equation (2.12)). A mixed-correlator bootstrap study for N = 4 revealed the appearence of an island around the bosonic free theory. We are confident that a similar analysis can be done in our setup, which would give evidence that our free-field solutions of crossing are unique if one assumes appropriate gaps.
In the second row of figure 4 we show bounds on the OPE coefficient of the [A 1 ] j=1/2 R=1/2 multiplet. There is no analogous of this multiplet for line defects in N = 4 theories, so we will not be able to borrow any intuition from the results of [17]. The primary of A 1 has dimension ∆ = 5/2, so it sits inside the continuum of [1, 0] long operators. Intuitively, in order for lower bounds to appear, there needs to be enough distance between the dimension of the operator and the dimension of the first operator in the continuum, and that explains why we do not obtain any lower bounds for λ 2 A1 . In any case, when ∆ [0,0] = 2 the upper bound keeps decreasing until it crosses zero, exactly at the position where the bosonic free theory sits. When ∆ [0,0] = 3, the bounds seems to converge to the rectangular region λ 2 A1 ≤ 1 and ∆ [0,0] ≤ 5, and the fermionic theory sits exactly at the upper right corner of this region.
Summarizing, figure 4 provides ample evidence that the numerical bootstrap is isolating the bosonic and fermionic free theories when we assume large gaps in the spectrum of long operators. Interestingly, one can allow the dimension for the first long to be in the range There is an entire family of plots that share similar qualitative features to the ones we just discussed. This can be thought of as an one-parameter family of theories interpolating between the fermionic and bosonic free-field theories, and which would extend all the way up to the critical theory where the OPE coefficients are diverging.
6 Analytical results

Introduction
In this section we study perturbations around the bosonic mean-field solution (4.22), similar to the analysis of section 6 in [17]. We will interpret the bosonic solution as the strong-coupling limit of line defects in N = 2 theories which admit a holographic description. From the holographic perspective, the leading contribution to a four-point function at strong coupling is a disconnected Witten diagram in AdS 2 , while the first-order correction is given by a four-point connected Witten diagram, see figure 6. The disconnected piece can be obtained by Wick contractions, and leads to our solution (4.22) with ξ = 1. Our goal is to use superconformal blocks and crossing symmetry to bootstrap the contribution from the connected Witten diagram. We will see that under mild assumptions, the correlator is uniquely determined in terms of two normalization constants c 1 , c 2 , which cannot be fixed by our symmetry arguments. From the correlator it is then possible to extract the first-order corrections to the anomalous dimensions and OPE coefficients of the operators in the spectrum. In the analogous N = 4 case, perfect agreement was found between the explicit holographic calculation [15] and the bootstrap result [17]. Let us remind the reader that in section 4.3 we wrote the crossing equation (4.20) in terms of the two-dimensional vector H(z). This function can be expressed in a superblock-like expansion The idea is to start with this free theory and consider a perturbation of the CFT data to leading order in the perturbation parameter . On the one hand, the correlator will receive a correction which by equation (6.1) will translate into the operators acquiring anomalous dimensions 4) and the OPE coefficients receiving first-order corrections ∼ z ∆ f (∆, z), so if we give an anomalous dimension to ∆ the first-order correlator H (1) (z) must contain a log term. As a result, we take it to be of the form where R(z) and P (z) are a priory completly arbitrary functions. Comparing this with the block expansion we obtain ∆ (z), (6.7a)

Corrections to the anomalous dimension
We are now ready to find solutions to crossing which are consistent with the relations just presented. In order to do so, we take the function P (z) to be of the form and we assume that R(z) and Q(z) are rational functions. This assumption is inspired by the holographic calculation of [15], and can also be justified a posteriori if a solution is actually found. The idea is that the contribution from the connected Witten diagram in figure 6 is given by an integral of four bulk-to-boundary propagators living in AdS 2 , which is denoted by D ∆1∆2∆3∆4 in [15]. For the case of interest to us, the conformal dimensions of the external operators are all identical and take integer values, in which case the only transcendental functions appearing in D are log(z) and log(1 − z). Therefore, our ansatz (6.6) and (6.13) is the most general one representing a first order correction in the holographic dual. Due to the form of our ansatz, crossing symmetry does not impose conditions on the function R(z), however the braiding property does impose non-trivial relations on both R(z) and Q(z). It turns out that it is sufficient to solve (6.11) and that (6.10) does not impose extra constraints. Also, recall that under the assumption of rationality the coefficients of possible log terms have to cancel separately. Now we insert our ansatz (6.13) in (6.11a), and by extracting the coefficient of the log term, we obtain the following relation for the function R 0 (z): Similarly, by looking at (6.11b) we obtain an equation that mixes the two components of R(z) In addition to these relations, the function R(z) is constrained by the block expansion (6.7). In particular, in the limit z ∼ 0 it should satisfy (R 0 (z), R 1 (z)) ∼ (z 2 , −2z 2 ), (6.16) where the relative factor of −2 comes from the explicit normalization of the conformal blocks in the basis we employ. As discussed in [17], these conditions are not enough to fix the function R(z), and we need to look at the behavior of the function around z ∼ 1, which is correlated with the behavior of anomalous dimensions at large ∆. Because we are looking for a solution that can be interpreted as a holographic correlator, we will borrow some intuition from [63,64]. The idea is that the growth of anomalous dimensions is governed by how irrelevant the interaction is in the putative AdS dual. Because we are trying to bootstrap a leading correction to the holographic correlator, we should keep the solution with the weakest growth. Therefore, we impose that anomalous dimensions grow no faster than γ It is instructive to compare this result with the analysis of [17] for line defects in N = 4 theories. In the N = 4 case, there is only one function and the solution could be fixed up to an overall coefficient. Moreover, this coefficient is associated to a three-point function of half-BPS operators and can be fixed using localization [18]. In our case of line defects in N = 2 theories, we have two overall constants associated to each independent channel. Unlike N = 4 SYM, which seems to be unique, we know that there is an extensive catalog of N = 2 theories, and it is then no surprise that our solution has more freedom.
From the explicit solution for R(z), the anomalous dimensions can be read off from the block expansion in (6.7a): From this expression is clear that they scale as ∆ 2 for large ∆.

Corrections to the OPE coefficients
With the explicit solution for R(z) at hand, we can proceed to compute Q(z), which will allow us to extract the first-order correction to the OPE coefficients. The crossing equation gives non-trivial constraints for both components of Q(z), namely The equations coming from braiding will provide extra conditions, in particular if we insert the ansatz (6.13) in (6.11b) and now extract the term with no logs, we get As before, the other braiding equations do not provide extra conditions. It only remains to impose the boundary conditions for z ∼ 0 similarly to what we did for R(z). Our final solution for Q(z) is given by Having both R(z) and Q(z), we can now use the block expansion (6.7b) to extract corrections to the OPE coefficients, similarly to what we did for the anomalous dimension. It turns out that the corrections a Similar relations were originally observed in [63,65]. It is not clear to us which of our assumptions implies these relations, but in any case it is reassuring to see that they are satisfied. Let us finish with some comments. From the start we are assuming that the spectrum of the perturbed solution is the same as the spectrum of the zeroth-order starting point. In principle, there could be degenerate families that are lifted at first order. However, because we are looking at a single correlator, possible degeneracies are invisible at this stage of the calculation. The more correct way to interpret our results is as weighted averages [66,67]. In order to resolve possible degeneracies it is necessary to study a mixed correlator system. For example, one could use the correlators involving long multiplets that we present in appendix B, although perhaps more general correlators are needed in which the external operators carry non-zero quantum numbers under su(2) j × su(2) R . We leave this interesting problem for future work.
Let us also point out that this solution to crossing is interesting in its own right. It would be ideal to compare our result with other approaches and explicit holographic calculations in some selected N = 2 model, as it would allow us to understand the origin of the coefficients c 1 and c 2 . Finally, a similar calculation to ours was done in [26] using the exact functional method, where possible deformations of a free theory were bootstrapped by explicitly constructing the exact functionals that give the optimal bound. It would be interesting to adapat the approach of [26] to our crossing constraints (4.20).

Conclusions
In this work we have initiated the bootstrap program for line defects in N = 2 theories. We studied the 1d CFT that lives in a line defect using a collection of bootstrap techniques. Our results are for the most part very general, as they rely on basic symmetry principles and consistency requirements, and are therefore valid for standard Wilson and 't Hooft lines in gauge theories, but also for more exotic constructions like line defects in non-Lagrangian models [68][69][70].
We concentrated mostly on correlators of the displacemente operator, but one can also consider more general external multiplets and study a mixed correlator bootstrap. Partial progress towards this goal is already presented in appendix B, where conformal blocks for correlators that include scalar long multiplets as external operators are shown. The analysis of this paper shows that not only scalar long multiplets, but also multiplets charged under transverse spin, are generated in the OPE of two displacements. Therefore, it would be interesting to consider crossing involving long operators that sit in non-trivial representations of the bosonic subalgebra.
As a longer term goal, one could include local operators outside the defect. This is particularly interesting when considering that theories with the same local spectrum can support different line defects [1]. Basic kinematics constraints on two-point functions in the presence of an N = 2 line have not been calculated yet. A project for the not so distant future would be to consider a mixed system between the bulk stress tensor and the displacement operator, generalizing the analysis of [7] where the coupling between the displacement and the stress tensor was studied. It would also be interesting to see bootstrap constraints on possible line defects when assuming a given bulk CFT.
Another interesting follow-up would be to perform holographic calculations in some specific N = 2 model, in order to compare with our analytic correlator from section 6. There seems to be no calculation of this sort in the N = 2 literature. In N = 4 SYM the holographic calculation of [15] and the bootstrap analysis of [17] are in perfect agreement. We are confident that there will be a similar match in the N = 2 case.
One more possible avenue is to push the analytic analysis to higher orders in the perturbative expansion. This was done in [17] for N = 4, but in order to resolve the important issue of degeneracies a bigger collection of correlators has to be considered. In addition, one could also try to adapt the exact functional machinery developed in [24][25][26]. The systems studied in this work have interesting simplifying features, i.e. 1d CFTs with a high amount of supersymmetry, and perhaps exact solutions to the crossing equations are within reach.

A Conventions
In this appendix, we define an index-free notation to contract the fermionic coordinates θ a A of our superspace. These objects have one transverse-spin and one R-symmetry index, and since both groups are su(2), we will need to use the totally antisymmetric symbol As usual, the conventions to raise or lower indices are as follows There is only one meaningful way to contract two coordinates and form a scalar Note that θξ = −ξθ and therefore θθ = 0. Given three coordinates θ, ξ and ζ, they can be contracted as This contraction is interesting because it is inequivalent to contracting two coordinates as in (A.3) and then multiplying by the third one. As a result, it does not vanish even if two or three coordinates are the same: (θθθ) a A ≡ (θ 3 ) a A = 0. Finally, given four Grassmann variables there is one contraction such that it cannot be decomposed as a product of terms of the form (A.3) As before, this does not vanish even in the case of four identical coordinates θθθθ ≡ θ 4 = 0. Note also that we could have defined it as θξζη ≡ θ a A (ξζη) A a .

B Long blocks
In this appendix, we compute superconformal blocks involving unprotected operators. We start by obtaining the blocks of two displacements and two longs in the (12) → (34) channel, and then proceed to compute the same blocks involving four long operators. In order to study crossing for the full mixed system, one would still need to compute the blocks DDOO in the (14) → (23) channel, but we expect this not to be hard using the techniques presented in the paper.

B.1 Two displacements and two longs
We will start by computing the superconformal blocks of two displacements D(z) with two identical long scalar operators O(z) of dimension ∆ O in the (12) → (34) channel The steps of the calculation are analogous to section 4.1, with the exception that now the shortening conditions are given by (3.48) only. Therefore, there are three free functions f 0 (z), f 1 (z) and f 9 (z), and there must be an extra independent Casimir equation. As before, we apply the Casimir operator C 2 12 to the four-point function in the frame F 1 to simplify the computations. We get one of the original Casimir equations (4.6a), together with two new constraints: As discussed in the main text, we need to first "change basis" from the functions f i (z) to the G i (z), and then make an ansatz as a sum of bosonic blocks in order to solve the Casimir equations. We start by expanding the external fields in terms of their conformal descendants, and we obtain the same expansion as in the right-hand side of (4.7). Even though the operators at points z 3 and z 4 are longs, there are no new terms is the expansion because we work in the frame F 1 , where θ 3 = θ 4 = 0, and therefore we can only get contributions from the superconformal primary field A. As a result, the mapping (4.8) is still valid, and we find that the change of basis must be given by (4.9) together with 0 (z) 1152z and b i = c i = d i = 0. Note that one of the free parameters, say a 0 , can be fixed by choosing an overall normalization of the conformal block, as we did in (4.12). However, the new feature is that there is still a free parameter e 0 that cannot be fixed by superconformal symmetry. As a consistency check, we can take the OPE coefficients and norms of section 4.2 to rederive this result. The superblocks are given by where a i = b i = d i = e i = 0 and we could fix the normalization of the block by c 0 = 1.

B.2 Four longs
Finally, we compute the superconformal blocks that appear in the four-point function of long scalar operators in the (12) → (34) channel where for simplicity we assume that ∆ 1 = ∆ 2 = ∆ O and ∆ 3 = ∆ 4 = ∆ O . The steps in the calculation are very similar to the other studied cases, but the equations soon become quite long. For this reason, we will skip some intermediate results in our presentation, but the interested reader can find the details in an attached Mathematica notebook. The authors are also happy to provide further details on request. First, we consider the four-point function of interest, which is given by (3.41), and act on it with the Casimir operator C 2 12 . Since we do not impose any shortening conditions to the four-point function, the full system of Casimir equations involves ten independent functions f 0 (z), . . . , f 9 (z). The explicit differential equations, which are not particularly illuminating, can be found in the attached notebook.
In order to solve these equations, we need to first "change basis" to functions G i that capture the contribution of the conformal descendants in our multiplets. In addition to (4.8), we need to make the following identifications: Here one needs to be careful to map the G i (z) with the true conformal descendants in the O(z) superfield, namely one needs to use F p and G p defined in (3.26). With the above identifications, and following the obvious generalization of the steps in the main text, one can find the explicit change of basis f i (z) → G i (z). Again, this transformation is a bit involved, and the interested reader can find it in the attached notebook.
Finally, we make an ansatz for the functions G i (z) as a finite sum of sl(2; R) blocks, as in equation (4.11). Unlike the cases described so far, some of the G i represent four-point functions of descendants where the operators at x 1 and x 2 have different dimensions. In these cases, the sum of bosonic blocks must be given by the blocks (4.1) with ∆ 12 = 0. More specifically, we use the ansatz With these ingredients, one can fix the coefficients a i , . . . , e i by solving the Casimir equations as we previously did. Before we present the solutions, let us make some comments. First, compared to the cases studied before, there is a new solution corresponding to an exchanged operator with quantum numbers [∆, 0, 1], namely without transverse spin but with R-symmetry. Similarly to the discussion of the DDOO blocks, there are free parameters left in the solution. Some of them can be fixed by choosing an appropriate normalization, but superconformal symmetry is not powerful enough to fix the rest. Transverse-spin charged exchange For an exchanged operator with quantum numbers [∆, 1, 0], the Casimir eigenvalue is c = ∆(∆ + 1) + 2 and the blocks are given by