Superconformal Blocks: General Theory

In this work we launch a systematic theory of superconformal blocks for four-point functions of arbitrary supermultiplets. Our results apply to a large class of superconformal field theories including 4-dimensional models with any number $\mathcal{N}$ of supersymmetries. The central new ingredient is a universal construction of the relevant Casimir differential equations. In order to find these equations, we model superconformal blocks as functions on the supergroup and pick a distinguished set of coordinates. The latter are chosen so that the superconformal Casimir operator can be written as a perturbation of the Casimir operator for spinning bosonic blocks by a fermionic (nilpotent) term. Solutions to the associated eigenvalue problem can be obtained through a quantum mechanical perturbation theory that truncates at some finite order so that all results are exact. We illustrate the general theory at the example of $d=1$ dimensional theories with $\mathcal{N}=2$ supersymmetry for which we recover known superblocks. The paper concludes with an outlook to 4-dimensional blocks with $\mathcal{N}=1$ supersymmetry.


Introduction
Conformal blocks are an indispensable tool in conformal field theory that allows to decompose correlation functions of local and non-local operators into kinematically determined building blocks with dynamically determined coefficients. Such decompositions were introduced in the early days of conformal field theory, but the mathematical nature of the blocks remained elusive for a long time. In fact, before the work of Dolan and Osborn [1,2], the shadow formalism of Ferrara et al. [3], only provided certain integral expressions. Dolan and Osborn characterized the blocks through second order Casimir differential equations and thereby managed to uncover many of their properties, including explicit formulas for scalar four-point blocks in even dimensions. Boosted by the success of the numerical bootstrap [4][5][6][7][8], several groups contributed to the theory of conformal blocks for scalar and spinning fields [9][10][11][12][13][14]. In d = 4 dimensions, for example, conformal blocks for correlation functions of four fields with arbitrary spin are known [15,16].
In [17] the authors noticed that the Casimir equations of Dolan and Osborn could be considered as stationary Schroedinger equations for integrable two-particle Hamiltonians of Calogero-Sutherland type.
The latter have been studied extensively in the mathematical literature, starting with the work of Heckman and Opdam [18]. The connection uncovered in [17] implies that conformal blocks are certain multivariable hypergeometric functions with properties that follow from integrability of the quantum mechanical system and are very similar to those of ordinary hypergeometrics in one variable. Later, it was shown that the relation between conformal blocks and Calogero-Sutherland models is universal in that it applies to spinning and defect blocks etc, see [19][20][21].
Except for the conformal window of QCD, whose precise extent is still debated, all the d = 4 dimensional conformal field theories we know about are supersymmetric. The landscape of these superconformal models in higher dimensions is extremely rich and there exist a variety of complementary techniques to study these theories, including the AdS/CFT correspondence, localization, non-perturbative dualities and chiral algebras, to name just a few. Also the bootstrap programme, both in its numerical and analytical incarnation, has been applied to higher dimensional superconformal field theories, see [22][23][24]. Significant progress has been made by studying four-point blocks of half-BPS operators [25][26][27][28][29][30][31][32][33][34][35], or superprimary components of correlators for operators that are not half-BPS [36][37][38][39]. For correlation functions of BPS operators, the conformal blocks are similar to those of the ordinary bosonic conformal symmetry and hence they are well known. On the other hand, very little is actually known about blocks for external fields that belong to long multiplets. Also the methods developed in [40,41] have never been applied to such cases.
The first time the bootstrap programme has been implemented for long multiplets was in [42] for a study of 2-dimensional N = (2, 0) theories (afterwards also in [43]). In this case blocks for external long multiplets could be constructed 1 and it was shown that the numerical bootstrap with long multiplets is significantly more constraining than for external BPS operators. This may not come as a complete surprise: In the example of the 3-dimensional Ising model, very strong constraints on the precise location of the model were established by applying the numerical bootstrap programme to mixed correlators, i.e. to correlators involving two different scalar fields. In a supersymmetric theory, long multiplets contain a large number of fields so that their correlation functions are highly mixed. Up to now the only way to set up a numerical bootstrap for such correlators was through a decomposition with respect to blocks of the bosonic conformal group, but since this misses all the constraints from supersymmetry, the number of parameters is usually too large to obtain good numerical constraints. Superconformal blocks for external long multiplets include all the constraints from supersymmetry and hence a long multiplet bootstrap is expected to incorporate the constraining power of mixed correlators while still allowing for high precision numerics. In particular, interesting constraints on superconformal theories are expected to arise from the study of four point functions of non-BPS multiplets that contain conserved currents or the stress-tensor.
While there are many good reasons to study blocks for long multiplets, existing results are very sporadic.
Our goal is to address this important issue, in particular for 4-dimensional superconformal field theories.
In this work we shall develop a general algorithm that allows to construct superblocks for long and short external states systematically, starting from expressions for spinning bosonic blocks. Our constructions apply to a large class of superconformal algebras that include all 4-dimensional ones. Such applications in particular to 4-dimensional theories with N = 1 supersymmetry will be worked out in a forthcoming paper.
Let us now summarize the main results of this work and outline the content of the following sections.
The superprimary fields of a d-dimensional superconformal field theory are associated with representations of the group K = K bos × U where K bos = SO(1, 1) × SO(d) is generated by dilations and rotations and U is a (bosonic) group of internal symmetries that includes all R-symmetries. We shall denote a finite dimensional representation of K on the vector space V by π.
In the next section we shall explain how to realize superconformal blocks, or rather the associated partial waves (which are sums of the blocks and their shadows) for four-point functions of local operators as functions on a double coset of the bosonic conformal group G bos = SO(1, d + 1) by the subgroup K bos defined above. To each superprimary of weight ∆ i and spin λ i we associate a finite dimensional representation π i of K on the vector space V i . Given four such fields we shall show that conformal four-point partial waves span the space of functions Γ = C ∞ (K bos \G bos /K bos , W ) (1.1) in two variables parametrizing the double coset, which take values the finite dimensional vector space (1.2) Here Λg (1) is the algebra generated by fermionic coordinates on the conformal supergroup G or, in more mathematical terms, the exterior algebra of the vector space of odd elements in the superconformal algebra.
This exterior algebra carries a representation of the even subalgebra and hence of the group K. The same is true for the spaces V i andṼ i . The group K contains a subgroup B = SO(d − 2) × U and when we build the target space W of our functions we are instructed look for the subspace of B-invariant vectors within the tensor product of K-representations that appears inside the brackets on the right hand side of eq. (1.2).
The dimension M = dimW of the vector space W is often referred to as the number of four-point tensor structures in the conformal field theory literature. In the special case that all the external fields are scalars, i.e. the vector spaces V i are 1-dimensional, the number M − 1 counts the number of so-called nilpotent conformal invariants. Our derivation of the formula (1.1) in section 2 requires to extend a theorem for the tensor product of principal series representations of the conformal algebra from [45] to superconformal algebra g. The analysis in section 2 is similar to the discussion in [19,20] except that we will adopt an algebraic approach and characterize functions on the group through their infinite sets of Taylor coefficients at the group unit. That has the advantage that we can treat bosonic and fermionic variables on the same footing. Only at the very end we shall pass from the sets of Taylor coefficients back to functions, at least for the bosonic variables. The fermionic coordinates remain Taylor expanded, i.e. we think of a function on the supergroup and its cosets in terms of the component functions on the bosonic group that multiply various products of fermionic variables.
Even though this different treatment of bosonic and fermionic coordinates breaks the manifest supersymmetry, our construction of the space (1.1) in section 2 will show that the Laplace operator on the superconformal group G, as well as the higher order operators that are associated with higher Casimir elements, descend to some well-defined differential operators on Γ. In general, these Casimir operators on Γ are not that easy to work out and they may have a complicated form. For superconformal algebras of type I, however, not only are we able to construct them explicitly but they also turn out as simple as one could have hoped for. This simplicity results from a very special choice of coordinates and it makes it possible to construct solutions of the corresponding eigenvalue problem systematically through a perturbative expansion that truncates at some finite order and hence gives exact expressions for superconformal partial waves.
The precise definition of type I superalgebras will be given in section 3.1. One consequence is the existence of a U (1) R-charge, which of course can be part of a larger R-symmetry group. In particular, all superconformal algebras in d = 4 dimensions are of type I. The U (1) R-symmetry gives rise to a natural split of the fermionic supercharges Q into two set Q ± α of opposite R-charge and similarly for the special superconformal transformations S. We use this split when we introduce coordinates on the supergroup G as Here, G (0) is the bosonic subgroup of G and σ α q,s ,σ α q,s are Grassmann valued coordinates. Using a result from [46] we are then able to show that the Casimir equation for superconformal groups of type I takes the form of an eigenvalue equation for a Calogero-Sutherland Hamiltonian of the form Here H 0 is the Calogero-Sutherland Hamiltonian that gives rise to the Casimir equations of a specific set of spinning conformal blocks for the bosonic group G (0) . These are Calogero-Sutherland Hamiltonians with a matrix valued potential whose form was worked out in [19,20]. The bosonic Hamiltonian H 0 is perturbed by a second term A that may be considered as a nilpotent matrix valued potential. The operators∂ a and ∂ b denote derivatives with respect to the fermionic coordinates. We can think of them as annihilation operators on the exterior algebra Λg (1) and hence may represent them as matrices on the tensor product of spaces that appears inside the brackets on the right hand side of eq. (1.2). The combination of annihilation operators that appears in the second term of H is B-invariant and hence acts on Γ as a matrix valued potential term. The matrix elements are functions of the bosonic cross ratios z,z that are quite easy to work out explicitly.
There are two remarkable aspects about this result for the Casimir operator on Γ. The first concerns the fact that we were able to split off the bosonic Casimir operator for spinning blocks. The associated Casimir equations are actually well studied at least for dimension d ≤ 4. In particular, spinning bosonic blocks for d = 4 are known from [15]. The second remarkable fact concerns the form of A: Naively one might have expected that the coefficient functions D ab that multiply the annihilation (derivative) operators depend on nilpotent invariants as well. These would have been interpreted as creation operators on the exterior algebra. But this is not the case so that the second term A in our Hamiltonian is nilpotent, i.e. A N = 0 for some integer N . Since the eigenvalue problem for H 0 is solved, we want to consider A as a perturbation.
Nilpotency of A guarantees that the quantum mechanical perturbation theory truncates at order N − 1 so that we can obtain exact results by summing just a few orders of the perturbative expansion. It turns out that, at any order of the expansion, the perturbation may be evaluated explicitly with some input from the representation theory of SO(d + 2). In this sense our results provide a complete solution of the Casimir equations for type I superconformal symmetry and in particular for 4-dimensional conformal field theories with any number N of supersymmetries.
In section 4 we will illustrate this programme through the example of N = 2 superconformal symmetry in d = 1. The corresponding conformal blocks were originally constructed in [42] and here we shall show how to recover these results by summing two orders of the quantum mechanical perturbation theory we described above. While most of our analysis is motivated by the desire to construct conformal blocks for four-point functions of long (non-BPS) multiplets, we shall also discuss how to implement shortening conditions, both in general and in our d = 1 dimensional example. The paper concludes with a short outlook on the construction of blocks in 4-dimensional N = 1 theories. A detailed analysis of such blocks is in preparation, at least for four-point functions of two long and two BPS operators.

Partial Waves from Harmonic Analysis
Following the strategy laid out in [19], our first task is to realize superconformal partial waves 2 as functions on the superconformal group. The observation which allows us to generalize many of the results from [19] to supersymmetric setup is that one can pass from the notion of an induced representations of a Lie group to that of a coinduced representation of its Lie algebra. Once this is done, adding supersymmetry largely amounts to inserting appropriate minus signs into the formulas. We shall initially consider correlators of generic (long) multiplets and then discuss the effect of shortening conditions in the final subsection.

Group theoretic background
Before we can start our discussion of conformal partial waves, we need to introduce a bit of notation concerning the superconformal Lie algebra and the associated group. Let G be some superconformal group, and g = Lie(G) the corresponding superconformal algebra. As usual, g splits into an even and an odd part. The even part g (0) is assumed to contain the conformal Lie algebra so(1, d + 1) as a direct summand. The other summands in g (0) describe internal symmetries. We shall denote these summands by u. In addition to the standard Z 2 grading that distinguishes between even and odd elements, the conformal Lie superalgebra g admits a finer grading which comes from decomposition into eigenspaces of ad D , where D is the generator of dilations, The even part of g is composed of g ±1 and k where g −1 =ñ contains the generators K µ of special conformal transformations while g 1 = n is generated by translations P µ . Dilations, rotations and internal symmetries make up Generators of g ±1/2 , finally, are supertranslations Q α and super special conformal transformations S α .
We shall also denote these summands as s = g −1/2 and q = g 1/2 .
The even and the odd subspace g (0) and g (1) both carry a representation of the even subalgebra g (0) (and hence, also its subalgebra k) which is defined through the adjoint action. We will denote by Λg (1) the exterior algebra of the odd subspace. It inherits a g (0) -module structure from that on g (1) in a natural way. In particular the exterior algebra carries a representation of the Lie algebra k. From the Poincare-Birkhoff-Witt-theorem for Lie superalgebras, the universal enveloping algebra of g is expressible as the vector space tensor product One may think of the universal enveloping algebra as the algebra of all right or left invariant differential operators on the supergroup. If we remove all the differential operators with respect to bosonic coordinates from the algebra of all differential operators, we remain with differential operators on the fermionic coordinates, i.e. with the exterior algebra.
Both tensor factors on the right hand side of (2.1) come equipped with an action of the even subalgebra g (0) that is inherited from the adjoint action on U (g). The isomorphism (2.1) respects this action, i.e. it is an isomorphism of g (0) modules under the adjoint action. If one replaces the adjoint action of g (0) on U (g) and U (g (0) ) with the left or right regular action the isomorphism above remains valid. It will be of some importance, however, that these isomorphisms are not canonical.
As a final element of notation, let us also agree to use p for the subalgebra that is generated by vectors of degree less than or equal to zero, and call it the parabolic subalgebra. There is a unique (connected) corresponding subgroup P ⊂ G such that p = Lie(P ). The superspace can be identified with the group of translations and supertranslations. It is defined as the homogeneous space G/P = C d|k . For more details about supermanifolds, Lie supergroups and their homogeneous spaces, we refer to the classical work of Kostant, [47].

Functions on supergroups
In [19,20] all relevant representations of the conformal symmetry and ultimately the space of conformal partial waves were realized as functions on the conformal group. The notion of a function on a supergroup is a bit more subtle and for this reason we will adopt a more algebraic approach. In brief, we shall pass from a function on the group to an infinite set of its Taylor coefficients at the unit element. It is intuitively clear that these should contain the same information as the function itself, but the generalization to supergroups turns out to be straightforward.
For a moment let us assume that G is an ordinary bosonic connected group and consider the space of smooth functions on G taking values in some vector space V . This space of functions carries two commuting actions of the Lie algebra g by left and right invariant vector fields. In other words, there exist maps x → L x , x → R x that send arbitrary elements x ∈ g to first order differential operators on the space of functions such that the Lie bracket it realized as the commutator. From the first order operators we can build up higher order ones by talking products and sums. In this way we obtain the algebra of left (resp. right) invariant differential operators on the space of functions. The latter may be thought of as a realization of the universal enveloping algebra U (g).
Given a function f ∈ C ∞ (G, V ) and an element A ∈ U (g) we can compute the vector i.e. we can evaluate the action of the differential operator L A on f at the group unit e ∈ G. As we scan over all elements A ∈ U (g), i.e. all left invariant differential operators, we obtain all the coefficients of the Taylor expansion at the group unit. In this way, we store the information of f in a linear map Just as the space C ∞ (G, V ) of functions f on the group carries two commuting actions of the Lie algebra g, so does the linear space Θ V G of Taylor coefficients. We denote these actions by the same letters L and R. For elements x ∈ g they are given by Our discussion shows that the space (2.2) of functions on G and the space (2.3) possess the same structure.
Up to this point we have assumed that the Lie algebra g is bosonic. Let us now go back to the case in which g is a Lie superalgebra. While it is not too obvious how too make sense of C ∞ (G, V ), at least not without making some choice of the coordinate system on the supergroup, the space Θ V G from eq. (2.3) of Taylor coefficients is well defined for any Z/2-graded vector space V . So, when dealing with superalgebras g, we simply adopt the latter as our basic model space, thereby avoiding all the issues of defining C ∞ (G, V ).
For supergroups it is actually quite common to go back from elements ϕ ∈ Θ V G to a function on the bosonic group G (0) with the help of the isomorphism (2.1) we discussed in the previous subsection, In the final step we traded the exterior algebra in the first argument for its dual in the second. The latter is denoted by Λg * (1) . The linear space on the right hand side may now be interpreted as a space of Taylor coefficients of functions i.e. of smooth functions on the bosonic group that take values in the tensor product of V with the dual of the exterior algebra. When we pass from ϕ ∈ Θ V G to f ∈ Γ V G , we leave the dependence on fermionic variables Taylor expanded. The different treatment of fermionic and bosonic variables has the advantage that we end up with ordinary functions, but it breaks supersymmetry. In particular, we noted above that isomorphisms in (2.1) with respect to the left or right regular actions of the even subalgebra are not canonical, i.e. they require additional choices that are associated with a choice of fermionic coordinates.
Whenever such a choice is made, the actions are implemented by a set of matrix valued first order differential operators with a non-trivial action on the exterior algebra. We will adopt such a choice later on in our discussion of type I superconformal groups, but for the moment we will simply work with the space Θ V G and various subspaces thereof.

Fields and principal series representations
With all this notation in place, let us now consider some superconformal field theory. Local operators O in such a theory are labeled by finite dimensional irreducible representations V of k. The commutation relation of a primary field with the with the (super-)conformal generators mean that fields are associated with principal series representations. In [19,20] these representations of the conformal algebra were realized in terms of functions of the conformal group satisfying the covariance law f (pg) = π(p)f (g) for p ∈ P . (2.7) Here we have extended the finite dimensional irreducible representation V of k to a representation of the parabolic subalgebra p by acting trivially with generators of p/k.
As we explained in the previous subsection, this is not the route we want to take here. Instead, we will realize the principal series representation on an appropriate subspace of the space Θ V G defined in (2.3) which is given by i.e. we realize the principal series representation on the space of complex linear maps ϕ : Here, and in the rest of the paper, |.| denotes the parity of a homogeneous element in a super vector space.
The equation above defines the parity of a covariant map ϕ. The superscript L we placed on the Hom reminds us that we use the left action of U (p) to formulate this condition. The index G/P on Θ may seem a bit unnatural since the right hand side only involves g or its universal enveloping algebra. Nevertheless we will continue to label the space Θ by groups and cosets thereof to keep notations as close as possible to those used in [19,20], except that now we use the spaces Θ of Taylor expansions rather than spaces Γ of functions. For later use we also note that our definition (2.8) implies that any element ϕ of Θ satisfies as a consequence of the fact that special (super)conformal transformations act trivially on the space V .
The action of x ∈ g on maps ϕ ∈ Θ V G/P is given by This action defines a representation of the superalgebra g on Θ V that we shall denote by π V . For a certain set of representations π of the subalgebra k, the corresponding representation π V of the superconformal algebra g is said to belong to the algebraic principal series. The precise conditions on V are not relevant in our subsequent discussion. In mathematics, the construction (2.8) of the representation space is known as coinduction or production. As we have explained above, coinduction of representations of Lie algebras naturally corresponds to induction of associated representations of Lie groups. For some more details, see the paper of Blattner, [48].

Tensor products of principal series representations
The superconformal partial waves we consider in this work are relevant for decompositions of correlation functions of four local primary operators, Here, the bracket · denotes the vacuum expectation value which is g invariant by definition. Hence, except for a simple prefactor, the four-point function Φ is an element of the space of g-invariants in the four-fold tensor product of principal series representations (2.10) In order to determine the space Θ of these invariants one starts by computing the tensor product of two principal series representations [19,20]. In the case of bosonic conformal groups, the relevant mathematical theorem was found in [45], see theorem 9.2. Here we shall formulate and prove this theorem in the superconformal setting.
The formulation of our new theorem requires a bit of additional algebraic structure, namely the so-called Weyl inversion, an inner automorphism s of g that may be constructed as follows. The restricted Weyl group of the ordinary conformal group SO(d + 1, 1) consists of two elements {1, σ}, [45]. The non-trivial element σ is an inner automorphism of so(d + 1, 1) that is implemented by conjugation with an element It is well known that σ flips the sign of the dilation generator, σ(D) = −D. We can now lift the equation (2.11) to a definition of the Weyl inversion -an automorphism s of the full superconformal algebra. Since it flips the sign of D, we infer that for a = 0, ±1/2, ±1. In particular, s maps k onto itself. Given any representation π of g, we denote by π s the representation obtained by composing it with s, i.e. we define π s = π • s. Clearly, for the coinduced module π V , i.e. the g representation on the space Θ V G/P , the carrier space of π s V takes the form where the representation V ′ of s(p) is obtained from the representation V of k by composition with the Weyl inversion and a trivial extension to s(p). As we recalled above, the inversion flips the sign of D.
On the other hand, it acts trivially on the generators U ∈ u of the internal symmetry and it maps a representation l of the rotation group to its dual l * . We will denote the g representation on the spacē The bar is supposed to remind us that we perform our coinduction from the image s(p) of the parabolic subalgebra under the Weyl inversion. Since s is inner, we of course have π V ∼ =πV ′ or Now we are prepared to state our theorem. Let us take two principal series representations associated with the two k modules V 1 and V 2 , respectively. Then the tensor product of these two representations is given by In order to prove this statement we shall construct the following linear map F between the modules on the left and the right hand side, Here, the two irreducible representations Θ andΘ are defined as in eqs. (2.8) and (2.12) with V = V 1 and The symbol ∆ denotes the usual coproduct in U (g). Using standard properties of the coproduct it is easy to see that F is well defined and a homomorphism of g-modules. Moreover, it is invertible. To show this, let ψ be an arbitrary element of the module on the right hand side. We shall reconstruct from it a function which is its preimage in the representation space on the left. Due to covariance properties, such a function is completely specified by the values Further, by the equation (2.9) Using that ∆(X) = X ⊗ 1 + 1 ⊗ X for all elements X ∈ g we conclude that and similarly for the second type of elements. Hence, we are able to recover ϕ from ψ. This shows that F is an isomorphism of g-modules and it is a natural generalization of Theorem 9.2 in [45] to the context of superconformal symmetry.

The space of conformal partial waves
Now that we have realised the carrier space for the tensor product as stated in eq. (2.13), we are able to compute the space Θ of superconformal partial waves, In the first step we have inserted our result (2.13) to evaluate the tensor product of π 1 ⊗ π 2 ∼ = π 1 ⊗π ′ 2 . For the tensor product of π 3 ⊗ π 4 we employed a similar statement using the right action of k on U (g) instead of the left action, i.e.
In addition we introduced the shorthands to pass to the space of invariants. In the final line, the first tensor factor U (k) acts on U (g) from the left and it acts trivially on V (34) . The second tensor factor acts from the right and trivially on V (12) . Eq.
(2.15) is the final results of our short computation and it provides a concise description of the space of conformal partial waves.
In order to appreciate the results a bit better, we now want to go back from our spaces Θ of Taylor expansions to functions. As we have explained in the second subsection, we shall model the space Θ in eq. (2.15) in terms of functions on the bosonic group. In order to do so, we make use of the isomorphism As we explained before, the isomorphism (2.1) with respect to left or right action of U (g (0) ) is not canonical.
Consequently the extension of the left and right action of U (k) ⊗ U (k) in the last step is possible, but it depends on certain choices. Here we worked with one such choice in which the right factor U (k) acts trivially on the exterior algebra and its dual. In the target space we placed square brackets around the first two tensor factors to remind us that these are acted upon trivially by the right U (k). Our answer seems to break the symmetry between left and right, but we could have equally well moved the exterior algebra into the right tensor factor or we could have even split is to put part of it into the left and the rest into the right. All these spaces are certainly isomorphic as vector spaces. Finally, let us note that Λg * (1) ∼ = Λg (1) as g 0 -modules, so we can safely drop the star in various formulas that will follow.
It is now possible to interpret the space of superconformal partial waves in terms of functions on the bosonic group. By comparison with the discussion of bosonic partial waves in [19,20] we conclude that the corresponding space of functions is given by The presence of the stabiliser group B accounts for the fact that left and right actions of K on the bosonic subgroup G (0) are not independent. Once we divide G (0) by K from the right, the left action of K on Compared to the bosonic case, both the subgroup K and the stabilizer subgroup B are multiplied by the internal symmetry subgroup U , The second fact comes from the observation that internal symmetries commute with conformal transformations. The dimension M of the space of B invariants, computes the number of four-point tensor structures for generic long external multiplets. Of course, this number may be reduced by shortening conditions and conservations laws when we insert external BPS fields, conserved currents etc.

Shortening conditions
Our discussion so far was restricted to long multiplets. We now extend it to the case in which some or all of the four fields satisfy additional BPS conditions. This means that the superconformal primary operators O i are annihilated by a certain set I i of generators {Q α } with α ∈ I i . 3 We shall denote the spaces that are spanned by these generators as In terms of representation theory, the associated induced representation of g turns out to be reducible and the physical space of states is its irreducible quotient or the factor representation. For the coinduction, on the other hand, shortening conditions select a subspace of Θ V G/P defined by the equations Here v is the highest weight vector of the dual V * to the finite dimensional representation V . Obviously, the subspace of functions ϕ ∈ Θ V G/P satisfying this property is g-invariant The fact that (2.21) is the right notion of shortening follows from duality between induction and coinduction, [48] Proposition 1. Let us now consider two BPS representations associated with the representations V 1 and V 2 of k. According to our discussion above, their tensor product is isomorphic to Θ V1⊗V ′ 2 G/K . By substituting the explicit form of the isomorphism, ψ = (ϕ 1 ⊗ ϕ 2 ) • ∆, we see that BPS conditions imply that elements ψ satisfy for all α ∈ I 1 and β ∈ I 2 . Note that s(Q β ) = S β are generators of special superconformal transformations.
If the superconformal primary fields are scalars, there is only one vector in the dual of V 1 ⊗ V ′ 2 and conditions consequently simplify to ψ(Q α U (g)) = ψ(s(Q β )U (g)) = 0. (2.23) Now that we understand how to construct tensor products we can turn our attention to the space Γ of conformal partial waves. The arguments we have given so far imply that Γ consists of all functions In order to evaluate the fermionic left and right invariant vector fields, we first extend f to a function on the supergroup G. Then the actions of L and R are by the invariant vector fields.

Casimir Equations and Solution Theory
The main goal of this section is to obtain the Casimir equations for superconformal partial waves. In the previous section we have realized the latter through a special subspace of functions on the supergroup.
The Casimir equation is the restriction of the supergroup Laplacian to this subspace. As we shall show, this equation takes a very simple form for superconformal groups of type I. The type I condition will be introduced in the second subsection before we discuss the associated Casimir equation in the third.
The latter turns out to take the form of a Schroedinger problem that can be solved exactly starting from spinning bosonic partial waves by a nilpotent perturbation.

Casimir equations and Calogero-Sutherland Models
Our main result in the previous section was to realize the space of superconformal partial waves as a space of functions on G (0) . The relevant subspace consists of functions that obey a number of differential conditions involving left and right invariant vector fields. If all external fields are in long multiplets, we only need to impose conditions on the left and right invariant vectors fields that arise from left and right transformations with elements of the subgroup K ⊂ G. Additional shortening conditions set some of the fermionic vector fields to zero, as described in subsection 2.6.
The Laplacian on a group or a supergroup famously commutes with left and right invariant vector fields.
Hence the constraints we use to characterize our space Γ of superconformal partial waves respect the action of the Laplacian, i.e. the Laplacian descends to a second order differential operator on Γ. In principle it is rather straightforward to work out the Laplacian and its restriction to Γ explicitly. In order to do so, one picks some coordinates on G and computes e.g. the right invariant vector fields from the Maurer-Cartan form dgg −1 . Left invariant vector fields are computed from g −1 dg. As a result one obtains two sets of first order differential operators R x and L x that involve differentiation with respect to bosonic and fermionic coordinates as well as multiplication with functions on G (0) and the products of fermionic coordinates.
Differentiation and multiplication with respect to fermionic coordinates possess a natural interpretation in terms of (annihilation and creation) operators on the exterior algebra Λg (1) . Hence the left and right actions of the superalgebra g on the space (2.6) of functions in the bosonic group G (0) is given by two sets of first order differential operators in the bosonic coordinates that take values in the linear maps on the exterior algebra (the action on V is trivial).
Given such expressions for the left and right invariant vector fields we can compute the Casimir elements to obtain matrix valued higher order differential operators that act on the bosonic coordinates and descend to the space (2.18) of superconformal partial waves. In particular, the quadratic Casimir gives rise to matrix valued Casimir equations that are second order in derivatives with respect to the two bosonic cross ratios, i.e. the coordinates on K\G (0) /K. According to eqs. (2.15), the number of matrix components is given by the dimension M that we introduced in eq. (2.19). Note that our formula for M does not account for shortening conditions and conservation laws. These can remove some components. We shall discuss this in some examples below.
After an appropriate gauge transformation, the Casimir equations for the ordinary bosonic partial waves were observed to coincide with the eigenvalue equations for an integrable two-particle 1-dimensional Schroedinger problem of Calogero-Sutherland type. Conformal partial waves for correlators of four scalar fields are wave functions with a potential that contains six terms each of which is associated with a positive root of an non-reduced BC 2 root system. The coupling constants of these six terms, which describe an external potential and interaction terms for the two particles, depend on the conformal weights and the dimension d of space-time. If some of the external fields carry spin, the potential becomes matrix valued.
A general formalism and a few examples were worked out in [19,20].
The Casimir equations for superconformal partial waves give rise to certain supersymmetric Calogero-Sutherland models. Our goal now is to derive these for a certain subset of superconformal algebras for which the equations take a particularly simple form. Moreover, they can be solved very systematically.

Superconformal groups of type I
In the following we will focus our analysis of Casimir equations and their solutions to the cases in which the superconformal algebra g is of type I (in Kac's original notation [49] called case II). In addition to requiring that the even part g (0) of g contains the conformal Lie algebra g c = so(1, d + 1) as a direct summand, this means that the odd subspace decomposes as a direct sum of two irreducible representations of g (0) The two modules g ± are dual to each other. Finally, the action of so(d) ⊂ g c on the odd subalgebra should decompose into a direct sum of spinor representations only.
The conditions we listed imply that generators of g + anti-commute with each other and the same is true In addition, the bosonic algebra has the form The u(1) summand is part of the R-symmetry. With respect to its generator, all elements in g + possess the same R-charge. The same is true for the elements of g − , but the R-charge of these elements has the opposite value. Elements in the even subalgebra g (0) , on the other hand, commute with the generator of the u(1) and hence possess vanishing R-charge under this part the R-symmetry.
In superconformal algebras we had seen a different split of the odd generators in section 2, namely the split onto super-translations Q α and special superconformal transformations S α . This split is not the same as the split into g ± . The anti-commutator of super-translations, for example, gives translations and hence is non-zero in general. Let us denote the intersections of the subspaces q and s with g ± by q ± = q ∩ g ± , s ± = s ∩ g ± . (3.1) The subspaces q ± and s ± do not carry a representation of g (0) any more but they do carry a representation of k. This also means that in type I superconformal algebras, the action of k on super-translations decomposes into two or more irreducible representations. It turns out that dim(q ± ) = dim(s ± ) = dim(g (1) )/4 .
It is not difficult to list the superconformal algebras, using e.q. [49]. In d = 4 dimensions, the superconformal algebras sl(4|N ) with any number N of supersymmetries are of type I. In addition, the type I condition is satisfied by psl(4|4) as well as the series sl(2|N ) of super-conformal algebras in d = 1 dimension. Finally, it also holds for psl(2|2) and for osp(2|4). While the former is also relevant for d = 1, the latter appears as the superconformal algebra for systems in d = 3 with N = 2 supersymmetries. Finally, our analysis also applies for d = 2 dimensional systems whose symmetry is a product of type I superconformal algebras sl(2|N ) or psl(2|2). The discussion here was restricted to complex Lie superalgebras -for different spacetime signatures one considers their various real forms.

Reduction to the bosonic case
The advantage of dealing with a type I superalgebra is that there exists a convenient choice of coordinates on the corresponding supergroup in which the Laplacian takes a simple form. In the reduction from G to the double coset K\G/K it is advantageous to work with coordinates that are based on a KAK decomposition of group elements since the space Γ of partial waves is characterized by how left and right invariant vector fields L x and R x act for x ∈ K. When G is a supergroup, the middle factor A = A F in such a decomposition would contains the two bosonic coordinates that parametrize the double coset K\G (0) /K along with all fermionic coordinates of the supergroup.
In working out the Casimir equations for type I superconformal algebras we shall slightly deviate from such a parametrization for two reasons. First, as we have stressed before, it will turn out that the Casimir operator can be written as a sum of the Casimir operator for bosonic spinning partial waves and a purely fermionic perturbation. In arriving at such a result, it is a good strategy to keep the bosonic generators of the superconformal algebra together and not to separate them through some fermionic ones as in the KA F K decomposition where exponentials of fermionic generators appear in A F , separating the two bosonic factors K to the left and right.
In addition, our discussion of shortening conditions shows that, in the case some of the external operators belong to BPS multiplets, the K-covariance conditions that select partial waves from general functions of the superconformal group are supplemented by similar fermionic constraints (2.24). This makes it natural to choose coordinates in which such fermionic constraints are as easy to implement as those for the left and right invariant vector fields associated with the bosonic subalgebra k. Since we have to implement constraints on left and right invariant vector fields associated to the supercharges Q α it seems natural to separate the supercharges into two subsets, one to be placed to the left, one to the right and similarly for the fermionic generators S α .
In type I superconformal algebras there is a natural way to split both q and s as described in eq. (3.1).
All this suggest to introduce the following parametrization of the superconformal group G, Here A (0) is the purely bosonic factor from the KAK = KA (0) K decomposition of G (0) . The elements Y a form a basis of g − with the index a running through a = 1, . . . , dimg − . Elements of the dual basis in g + are denoted by Y a . When written in terms of the usual supercharges and special superconformal transformations, the exponents read Here Q ± β is a basis of q ± and S ± β is a basis of s ± so that β runs through β = 1, . . . , dimg (1) /4. Since we have moved the fermionic generators from g − into the leftmost factor, left translations with elements x ∈ k act on the corresponding Grassmann coordinates. Hence, the constraints we impose on functions f when we descent from G to the space of partial waves determine the combined transformation behavior of bosonic and fermionic coordinates. When we strip off the fermionic coordinates and describe a function f on the supergroup in terms of a set of bosonic coefficients, we need to keep the non-trivial transformation of fermions into account. In other words, we conclude that the space of superconformal partial waves of a type I superconformal algebra takes the form Γ = Γ VL,VR In comparison with our general result (2.18), we have split the exterior algebra Λg (1) = Λg + ⊗ Λg − and then distributed the two factors such that one is combined with the left space V (12) and the other with the right space V (34) , whereas before we combined Λg (1) with the left factor. Of course, as a linear space, Γ does not depend on such choices as we remarked above. But as we shall see in a moment, the choice of V L and V R we have made here does allow us to read off the precise spin content of the unperturbed Hamiltonian H 0 .
We have tried to motivate the choice of coordinates (3.2) above, mostly by anticipating that for this special choice the Laplacian on the superconformal group is known to assume a remarkably simple form [46,[50][51][52], namely Here, ∆ 0 is the Laplacian for a collection of spinning partial waves on the bosonic conformal group. Such spinning partial waves are characterized by the choice of two representations of K. In the case at hand, these are the representations on the finite dimensional vector spaces V L and V R we have introduced above.
For a superconformal group this Casimir of the bosonic subgroup receives a very simple correction: a term that involves only second order derivatives of fermionic coordinates with bosonic coefficients. In eq. When we choose coordinates through the KAK decomposition of the conformal group, the Laplacian was shown to take the form of a matrix Calogero-Sutherland model [19,20]. The calculations from these papers can be copied more or less line by line to derive our eq. (1.4) for the Calogero-Sutherland Hamiltonian H of the superconformal system from our formula (3.3) for the Laplacian. The only step we briefly want to comment on appears at the very end: After restricting the Casimir to the double coset, one still needs to conjugate with the square root of the volume of the K × K orbits in G in order to trivialize the measure on the section A. The Haar measure on the supergroup is known, see e.g. [46], and it differs from the one on the bosonic conformal group by an additional factor. One may observe, however, that this additional factor does neither depend on the bosonic cross ratios, nor on the fermionic variables. Hence, the volume of the K × K orbits has the same dependence on the cross ratios as in the bosonic case and it is independent of the fermionic variables so that conjugation with the square root of the volume turns the restriction of ∆ 0 into H 0 , the same Hamiltonian as in the bosonic case, and it leaves the nilpotent potential term A unaffected. The final result is indeed given by eq. (1.4). The simplicity of this Hamiltonian is remarkable and it will allow us to construct solutions of the superconformal Casimir equations explicitly from known expressions of bosonic spinning partial waves.
Before we explain how this is achieved, we want to close this subsection with a few comments on multiplet shortening. As we explained above, the shortening conditions (2.24) involve expressions for fermionic left and right invariant vector fields. The latter also take a rather simple form in our coordinates (3.2). Right invariant derivatives with respect to elements in g − and left invariant derivatives with respect to elements in g + are particularly simple, namely RȲ a =∂ a and L Ya = −∂ a . For the remaining derivatives, things become a bit more difficult, but explicit formulas are also known, [46]. For example and similarly for left invariant derivatives with respect toȲ a . Here, the indices i, j run over a basis x i of the even subspace g (0) , κ is the corresponding Killing form and R B are right invariant vector fields on the bosonic subgroup G (0) . We see that shortening conditions are very easy to implement when the subspaces We shall study these in more detail for the example we consider in the subsequent section.

Nilpotent perturbation theory
Having seen that for type I superconformal symmetry the Casimir equation can be regarded as a nilpotent perturbation of Casimir equations for a set of spinning bosonic conformal partial waves, our strategy is to construct supersymmetric partial waves as a perturbation of spinning partial waves. Since the perturbing term A is nilpotent, we can obtain exact formulae at some finite order, which depends on the precise setup, such as the dimension d and possible shortening conditions for some or all of the external operators.
For N = 2 supersymmetry in d = 1 and also for the kind of mixed correlators in N = 1 superconformal theories in d = 4 we intend to study in our upcoming work, the second order perturbation turns out to be exact. The general methods to solve for eigenfunctions of a Hamiltonian H = H 0 + A in terms of those of H 0 are certainly well established. In our exposition we shall follow Messiah, [53]. For presentational purposes we shall assume that H and H 0 have discrete spectra and finite dimensional eigenspaces. By a limiting process, the construction can be extended to more general spectra.
Let us first set up a bit of notation. The Hilbert space on which the operators act is denoted by H and H 0 is assumed to be hermitian. We shall denote by V 0 n and V n the eigenspaces of H 0 and H with eigenvalues ε 0 n and ε n . Furthermore, let us denote the projectors to these eigenspaces by P 0 n and P n , respectively. Next we introduce the two resolvents for the Hamilton operators of the unperturbed and the perturbed system. Here, the subscript [0] means that we either put zero or not, i.e. G [0] is a shorthand for the pair G 0 , G etc. respectively. Obviously, these resolvents can be expanded in the projectors P n .

Conversely, the projectors P [0]
n are obtained as the residues of the resolvents, where Γ n is a small contour encircling z = ε [0] n and none of the other eigenvalues. Inserting the relation H = H 0 + A between the two Hamilton operators into the resolvent G, one can perform an expansion in A to obtain Here we have truncated the sum to a finite order N in view of our application to a nilpotent perturbation A of order N . Note that A N = 0 implies (AG 0 ) N = 0 in our application since G 0 acts diagonally on H = L 2 (C m ) ⊗ C l and A is a triangular matrix of functions. Computing residues of the previous expansion for G at ε 0 i we obtain and so on. Here, the symbol S i denotes the following operator Since the sum over j is restricted to j = i we infer that S i P 0 i = P 0 i S i = 0, a property we shall use frequently below.
The idea now is to solve the eigenvalue equation H|ψ = ε|ψ by transporting the operator identity i of the unperturbed Hamiltonian. We can do so if the restriction of the projectors P i : If that is the case, we use P 0 i to transport the two sides of HP i = εP i to V 0 i , i.e. we define In the evaluation of K i we have inserted the expansion (3.6) of P i and made use of the fact that P 0 i S i = S i P 0 i = 0. We have only displayed the terms up to second order in A. To evaluate H i we inserted H = H 0 + A and used that P 0 i H 0 = ε 0 i P 0 i to write the first term as ε 0 i K i . In the second term we inserted once again the expansion (3.6) of P i , but this time only to first order since P i is multiplied by A already.

With these notations, the original eigenvalue equation becomes
for |ψ ∈ V 0 i . Once we have found a solution to this equation, we can map it back to V i using P i to find the eigenvectors P i |ψ of H in V i .

An Example: N = 2 Supersymmetry in d = 1
The goal of this section is to illustrate the general theory we have developed in the previous sections at the example of N = 2 supersymmetry in d = 1 dimensions, i.e. for the conformal superalgebra su(1, 1|1).
We will first provide all the necessary mathematical background by describing the algebra itself and its various subalgebras and the Casimir elements. Then we spell out the Casimir equation as a nilpotent perturbation of a certain set of Calogero-Sutherland models. The nilpotent terms are of order two and we will explicitly construct the exact solution in the third subsection. These are mapped to blocks for long multiplets that were originally constructed in [42] in section 4.4. Finally, we also discuss shortening conditions and identify the relevant blocks.

The Lie superalgebra and representation theory
The N = 2 superconformal algebra in d = 1 dimension is the Lie superalgebra su (1, 1|1), a real form of g = sl(2|1). We will work with the complexification sl(2|1) until the very end when we choose an appropriate real slice of the obtained integrable model. In the notation introduced in the previous sections, g = g (0) ⊕ g (1) . The bosonic subalgebra g (0) is generated by the dilation D, a single translation P along with a corresponding special conformal transformations K, and an R-charge R. The fermionic subspace, on the other hand, contains four basis elements which we shall denote as Q ± and S ± . The lower indices of fermionic generators denote the eigenvalues of ad R and are degrees of elements in a Z-grading. In this case the subalgebra k is spanned by the generators of dilations D along with the R-charge R. The non-trivial The even part g (0) is the usual one dimensional conformal Lie algebra su(1, 1) = so(1, 2), extended by a U (1) R-symmetry, that is Representations [j, q] of this bosonic Lie algebra are labeled by a spin j and an R-charge q. For finite dimensional (non-unitary) representations, j is half-integer while q can be any complex number. We see that the odd subspace g (1) decomposes into a sum of two irreducible representations, Since the subalgebra k is generated by two U (1) generators, the dilation D and the R-charge R, all its irreducible representations (∆, q) are one-dimensional. When we restrict the irreducible representations g ± to k, they decompose into a sum of two irreducibles each, where Recall that q ± are the spaces spanned by Q ± , respectively, and the same for s ± . In our analysis of the Casimir equations for generic long multiplets it is also important to know the representation content of Λg ± which is given by Let us finally recall that the superalgebra sl(2|1) possesses two algebraically independent Casimir elements, one of second order and one of third. The quadratic Casimir element is given by The cubic Casimir element, on the other hand, reads Long multiplets of the superalgebra sl(2|1) can be distinguished by the values of these two Casimir elements. For short multiplets this is not the case. For those multiplets both Casimirs are zero regardless of the precise representation we consider, see e.g. [54,55].

The supergroup and Hamiltonian reduction
According to the general prescription, the coordinates on the supergroup G = SU (1, 1|1) are introduced by writing its "elements" as g = e̺ Q−+σS− e κR e ν1D e µ(P +K) e ν2D e σS++̺Q+ . Two such elements can be formally multiplied together using the Campbell-Baker-Hausdorff formula to obtain an element of the same form. In the following, we will treat eq. (4.5) as an honest decomposition, like in ordinary Lie theory, bearing in mind that all our constructions are rigorously formulated in terms of the structure algebra A(G). We can now execute the steps we described in the first section 3.1 to find Laplacian and descend to the double coset K\G (0) /K.
Since the algebra k is abelian, the spaces V i and hence also V (12) and V (34) are all one-dimensional. We will assume that the R-charges q i , i = 1, . . . , 4 of the four external fields sum up to q i = 0. Recall that the Laplacian acts on a space of functions (2.18) that take values in B-invariants where in the case at hand, B coincides with the R-symmetry group U (1) and hence it is generated by a single element R. With our assumption of vanishing total R-charge of the external superprimaries we find Each function on the one-dimensional coset space K\G (0) /K that takes values in this subspace can extended to a covariant function f on the entire supergroup as Recall that we assumed that q i = 0 so that q 1 + q 2 = −q 3 − q 4 . The precise form of the ν i and κdependent prefactor depends on the fermionic coordinates they are multiplied with. The first term in the expansion above, one that contains no fermionic coordinates, is multiplied by the character of K × U (1) D on V (12) × V (34) where U (1) D denotes the U (1) subgroup of the right factor K that is associated with dilation. In the remaining terms, this basic character is multiplied with the character of K × U (1) D on the corresponding product of fermionic variables, taking into account thatσ and̺ have R-charge q = 1 under left multiplication with elements in U (1) R while σ and ̺ transform trivially. With respect to left dilations, σ andρ have weight ∆ = ±1/2. The weights of σ and ̺ are the same but there is an additional minus sign since in the right regular action group element is inverted. Notice that we are working in one-dimensional theory and did not assume that it is a holomorphic part of a two-dimensional theory. This is why our conventions for the relation between the parameters a, b with the external conformal weights differ from the standard ones by a factor of two, see [56].
The Laplace-Beltrami operator is obtained by substituting explicit expressions for the left or right invariant vector fields in the quadratic Casimir (4.4). Once we carry out all derivatives with respect to κ, ν i and the four fermionic variables we end up with a second order differential operators that acts on the six component functions f 1 (µ), . . . , f 6 (µ). The corresponding eigenvalue problem assumes the form of a matrix Schroedinger equation where the Hamilton operator is of the form H = H 0 + A with and a nilpotent perturbation .

Solutions on a compact domain
We will now apply the exact nilpotent perturbation theory we reviewed in section 3.4 to solve the eigenvalue problem (4.7) for the case a = b = q = 0. It is seen that A 2 has a single non-zero entry, namely a constant −2 in the top right corner, and A 3 = 0. Hence our perturbative expansion truncates after the second order.
For simplicity we shall first solve the eigenvalue problem in the trigonometric case in which the potential diverges for µ = 0, π/2. Hence, the spectrum of the Schroedinger problem on the interval µ ∈ [0, π/2] is discrete.
These results imply that Here, the index i = (σ, n) runs over σ = 0, 1 and n = 0, 1, 2, . . . or alternatively the corresponding set of eigenvalues n(n + 1) and (n + 1) 2 . Looking back at the relations between projectors, we see that any |ψ ∈ V 0 n solves the eigenvalue problem and has the eigenvalue ε i = ε 0 i . In particular, H 0 and H have the same spectra. To get the eigenvectors of H all we have to do is to apply the projectors P i to |ψ . Using equation (3.6) and the expressions (3.7) and (3.8) for P (1) i , P (2) i we obtain the following set of linearly independent eigenfunctions of the perturbed Hamiltonian, i.e. the Laplacian on the supergroup, and it is therefore discarded. Indeed, the perturbed Hamiltonian is seen to be no longer diagonalizable on the full Hilbert space, but it is diagonalizable on a codimension-one subspace. Non-diagonalizability is a known feature of the Laplacian on supergroups, [50,51], and is related to the presence of atypical modules in the decomposition of the regular representation. In our case, as mentioned above, atypical (short) representations can appear only for eigenvalue zero, consistent with the findings here. In the conformal field theory language, the number of conformal blocks reduces when the field in the intermediate channel is BPS.

Conformal blocks and comparison
In order to obtain conformal blocks and to compare them with the expressions that were found in [42] we need to perform a few simple steps. First of all, we need to adapt the solution of the trigonometric model we constructed in the previous subsection to the hyperbolic theory. This is fairly straightforward. The hyperbolic model has a continuous spectrum that is parametrized by λ instead of the discrete parameter n and the eigenfunctions do not depend on a variable µ but rather on u = 2iµ which takes values in the non-negative real numbers.
The building blocks of the solution for the hyperbolic models can be found within the following family of where the variable y is related to u as For our special values of the parameters a, b we introduce in particular (4.10) When these are evaluated at special points λ, we obtain the polynomial building blocks of our solution for the trigonometric model, more precisely with a prefactor c given by .
Thus, the wavefunctions F (i) give two families of solutions which are obtained by expressing F (i) λ in terms of Ψ (a,b) λ and attaching an index + (respectively −) to them. For λ, ε > 0, the set of solutions which decay at infinity is The other set of solutions is similar and can be found in appendix A. In this appendix we also demonstrate explicitly that the superconformal blocks G λ can be mapped to the superconformal blocks found in [42] by an appropriate gauge transformation.

Shortening conditions
In this final subsection we want to discuss shortening conditions and the relevant blocks for correlation functions in which some of all of the external fields are BPS operators. Let us first consider the case of the correlation function ϕOφO , (4.13) where the fields ϕ andφ are chiral and anti-chiral, respectively, while the other two fields O are arbitrary.
This means that the operator ϕ is annihilated by Q − and thatφ is annihilated by Q + . Consequently, the superconformal blocks obey the following two shortening conditions (4.14) As we have pointed out above right invariant vector fields for the fermionic generator Q − is simply given by a partial derivative with respect to the coordinate̺ while the left invariant vector field for Q + is a derivative with respect to ̺. In order for the constraints (4.14) to be satisfied, the conformal block should not have any dependence with respect to ̺,̺, i.e. it should satisfy G (i) j = 0 for j = 3, 4, 5, 6. This is the case for two of our solutions, namely for the blocks G (1) n and G (2) n . This case further specialises to that of four short operators ϕϕφφ , (4.15) which is characterized by the additional two shortening conditions Since the Weyl inversion s acts trivially on the U (1) R-charge, the image of Q ± is S ± = s(Q ± ). Once again, the two vector fields that appear in eq. The case when the two BPS fields ϕ andφ are in the third and fourth spot is analogous. The differential equations obeyed by superconformal blocks now take the form The first condition implies that̺-components of the block vanish, as above. Looking back at our expression for blocks G (i) we see that this condition is satisfied for i = 1, 2, 3. By pulling the functions back to the supergroup G we can explicitly check that the space of solutions of the second condition is spanned by To verify that these two blocks do indeed satisfy R S+ G = 0 is a bit cumbersome due to the fact that right invariant vector fields with respect to fermionic directions of positive R-charge involve differentiation with respect to both fermionic and bosonic coordinates with non-trivial coefficients. But the answer we gave satisfies stringent consistency checks that arise from considering special cases of the correlator (4.17). Let us first consider the case ϕφφϕ , which is a specialization of the correlators (4.13) and (4.17) at the same time. Hence the relevant block that satisfies (4.20) in addition to the constraints (4.18), so it must be G (2) . The other special case addresses correlators of the form ϕφϕφ , (4.21) which obey The second of equation tells us that the σ-components vanish and consequently the block has to be G (3) .

Summary, Outlook and Open Problems
In this final section we want to provide a detailed outlook to some direct applications of the Casimir equations we have derived above. In particular, we summarize the main results of our upcoming paper on superblocks for N = 1 superconformal field theories in d = 4 dimensions. The section concludes with a list of directions that should be pursued in the future.

Brief summary of results
Here we studied superconformal blocks, for both long and short external operators. In the first step, we realized the space of blocks through a specific space of functions (1.1) on the 2-dimensional bosonic double coset K bos \G bos /K bos that take values in the finite dimensional space (1.2) of four-point tensor structures.
In order to establish this model for the space of superblocks we proved a supersymmetric extension of theorem 9.2 in [45]. Let us stress that this first step of our analysis applies to all superconformal algebras, not just those of type I.
For superconformal algebras of type I we were able to obtain a universal formula (1.4) for the Casimir operator. Its universality and the amazing simplicity is based on a special choice (1.3) of coordinates that only exist for type I superalgebras. The Casimir operator was written in the form of a quantum mechanical Hamiltonian of Calogero-Sutherland type with a matrix valued potential. Unlike its bosonic cousin, the potential of the supersymmetric model also involves hyperbolic functions of the particle coordinates (cross ratios) that appear in the numerator. The associated Schroedinger eigenvalue equations are equivalent to the Casimir equations of superconformal field theory which had only been worked out in very few cases before [42,43]. Let us stress again that our Casimir operators for type I superconformal algebras are completely explicit, at least for those cases in which the Casimir equations of spinning blocks are known.
The only term we need in passing from spinning bosonic blocks to superblocks is the nilpotent potential A which contains matrix elements of a finite dimensional representation of SO(1, d + 1), restricted to the 2-dimensional bosonic subspace A in the KAK decomposition of the bosonic conformal group SO(1, d+1).
Because the additional term A in the potential of the superconformal Calogero-Sutherland model is nilpotent, one can construct eigenfunctions systematically by means of a perturbative expansion that truncates at some finite order. We explained this in general but only worked it out for one example, namely for N = 2 superconformal symmetry in d = 1 dimensions. In this case we were able to recover the known expressions for long superconformal blocks from [42]. There are two points in this analysis that we would like to stress a bit more. The first concerns our expressions for the integrals I 1 and I 2 in section 4.3 that were needed to evaluate the perturbative expansion. One can rephrase these in terms of representation theory of SO(d + 2) = SO(3) and express I 1 and I 2 through certain Clebsch-Gordan coefficients. The generalization of this part of our analysis will be developed in our forthcoming paper. It is clearly necessary in order to obtain explicit formulas for superconformal blocks in dimension d > 2. Let us stress, however, that this input into our program involves only results from the group theory of compact groups SO(d + 2) and hence long established mathematics, see e.g. [57]. and can certainly be constructed explicitly. We will address this in our forthcoming paper.
While we were able to write down the Casimir equations for superblocks explicitly, even in cases without shortening, the size of the system of equations can become very large. As we have seen above, shortening conditions can reduce the number M of components and hence the complexity of the solution theory.
Our approach allows to implement at least part of the shortening conditions before solving the Casimir equations. In order to obtain simple Casimir equations, we had to separate the coordinates according to the U (1) R-charge, placing those with positive R-charge to the right and those with negative R-charge to the left. The left side is associated with the fields that are inserted at x 1 and x 2 . For these fields we can therefore implement all shortening conditions that arise from supercharges with negative U (1) R-charge. Shortening conditions for the fields at x 3 and x 4 , on the other hand, are easy to implement for supercharges with positive R-charge. Shortening conditions involving supercharges with the opposite sign of the R-charge, however, can only be imposed after solving the system. This means that, depending on the precise set of external multiplets and on the channel, one may be forced to work with a set of equations that is larger than the set of solutions.

Applications to 4-dimensional N = 1 theories
The physically most interesting cases to which our theory applies are d = 4 dimensional superconformal field theories. In a forthcoming paper we will work out explicit formulas for superconformal blocks in theories with N = 1 supersymmetry. The blocks we shall consider appear in the decomposition of fourpoint functions involving two long multiplets O along with one chiral field ϕ and one anti-chiralφ. Let us first look at the four-point function The odd subspace g (1) of the Lie superalgebra g = sl(4|1) has dimension dimg ( The Casimir equations for blocks of (5.1) will be worked out and solved in our forthcoming paper. It turns out that in this case the nilpotent term has order two as well, just as in the case of the d = 1 example we discussed in section 4. The eigenfunctions of the trigonometric version of the relevant Calogero-Sutherland system, but we expect that the nilpotent perturbation theory is manageable. Once the solutions have been constructed, the second half of the shortening conditions are used so select the relevant subset from the 15 solutions one finds while solving the partially shortened Casimir system.
Given the enormous interest in 4-dimensional N = 2 superconformal field theories, it would certainly be desirable to construct superblocks for su(2, 2|2). Once again, it is a good strategy to consider e.g. mixed correlators between BPS operators and longer multiplets, and in particular of correlators involving the stress tensor multiplet. In N = 2 theories, there exist two types of half-BPS fields. Coulomb branch operators E r satisfy two shortening conditions which have the same sign of R-charge and hence there is a chance to implement their shortening before solving the Casimir equations. Higgs Branch operatorsB R , on the other hand, are characterized by two shortening conditions of opposite U (1) R-charge and hence only half of the shortening conditions may be implemented before we solve the Casimir equations.
Let us stress again that even in the absence of shortening, our solution theory for the Casimir equations is algorithmic and gives results in terms of finite sums over spinning bosonic blocks. The only issue we face if we can only implement a small number of shortening conditions before solving the equations is that the solutions involve a larger sum of terms. These sums may obscure some features of the new superblocks. One way to understand the properties of blocks is through the integrability of the Calogero-Sutherland model [56]. Integrability of the supersymmetric Casimir equations for superconformal algebras therefore offers another interesting direction for future research. Ordinary Calogero-Sutherland systems are well known to be integrable and even super-integrable in some cases, see [20,56] for an extensive list of references.
Certain types of models with spin have recently been studied in [58,59] from the Hamiltonian reduction perspective and their degenerate (or super-) integrability was established. The quantum analogue of [59] finds roots in the work of Harish-Chandra and Kostant and Tirao [60]. One observes that our reduction of section 2 is a supersymmetric version of these constructions. The algebra of first integrals is generally enlarged compared to the bosonic one -already in the model that was solved in section 4.3 it contains the supersymmetry algebra sl(1|1). It seems that similar statements hold for other superconformal algebras.
We will return to this topic in future work.
Finally, it would also be interesting to study two-point functions of local superfields in the presence of a superconformal defect. Such a configuration admits two channels, the defect and the bulk channel [21,[61][62][63]. While defect channel blocks split into simple products of hypergeometric functions in one variable [61], the construction for bulk channel blocks with scalar external fields was only completed recently in [21], see also [62] for earlier results. An extension to bulk channel blocks for spinning operators was initiated recently in [63]. The extension of such studies to superconformal defects should be simpler than for four-point functions of bulk fields. On the one hand, the smaller number of tensor structures in the defect setup reduces the size of the system of Casimir equations as well as the order to which we have to perform our perturbative expansion. In addition, the starting point of our perturbation series, spinning bosonic defect blocks, are also simpler than their four-point counterparts [63]. There are many potentially interesting applications, in particular to line defects in superconformal field theories, see e.g. [35,[64][65][66]. A Conformal partial waves and blocks for sl(2|1) In this appendix, we collect some formulas which complement the derivation of superconformal blocks from compact partial waves given in section 4.4. The solutions obtained by analytically continuing f n to complex values of the parameter read Notice that F (6) λ comes from the analytic continuation of a linear combination of f (1) n and f (6) n . Our choice ensures that functions F that the following functions f 0 = g 0 , f 1 = g 1 , f 2 = g 2 , coincide with the functions f e , e = 0, . . . , 5 that were introduced in [42]. If we apply these transformations to our first solutions G (1) , for example, the resulting set of f e are those blocks that describe the intermediate channel in which the U (1) charge is shifted by one unit. Let us note that the transformation we have constructed is invertible and can also be used in order to construct our blocks G i from the blocks f e in [42]. The relation between the eigenvalues is λ = h ex and c 3 /ε = q ex .