Lagrangian description of massive higher spin supermultiplets in AdS3 space

We construct the Lagrangian formulation of massive higher spin on-shell (1,0) supermultiplets in three dimensional anti-de Sitter space. The construction is based on description of the massive three dimensional fields in terms of frame-like gauge invariant formalism and technique of gauge invariant curvatures. For the two possible massive supermultiplets (s,s+1/2) and (s,s-1/2) we derive explicit form of the supertransformations leaving the sum of bosonic and fermionic Lagrangians invariant.


Introduction
Three dimensional field models attract much attention due to their comparatively simple structure and remarkable properties of three-dimensional flat and curved spaces. One of the achievements in this area is a construction of three-dimensional higher spin field theories (see the pioneer works [1][2][3], for modern development see e.g. the recent papers [4,5] and references therein).
The aim of this work is to construct the massive higher spin supermultiplets in the three-dimensional anti-de Sitter space AdS 3 . As is well known [6], the AdS 3 space possesses the special properties since all the AdS 3 superalgebras (as well as conventional AdS 3 algebra itself) factorize into "left" and "right" parts. For the case of simplest (1,0) superalgebra (the one we are working here with) such factorization has the form: OSp(1, 2) ⊗ Sp (2) so that we have supersymmetry in the "left" sector only. It means that the minimal massive supermultiplet must contain just one bosonic and one fermionic degrees of freedom.

JHEP08(2017)021
Recently we constructed such supermultiplets using the unfolded formalism [7]. In this paper we develop the Lagrangian formulation for these supermultiplets. It generalizes the Lagrangian formulation for massive supermultiplets in three dimensional Minkowski space given in [8]. Note here that the off-shell superfield description for the supermultiplets containing topologically massive higher spin fields was constructed recently in [9]. 1 We develop the component approach 2 to Lagrangian construction for supersymmetric massive higher spin fields in AdS 3 on the base of gauge invariant formulation of massive higher spin fields. It was shown long enough [12,13] that massive bosonic (fermionic) spin-s field can be treated as system of massless fields with spins s, s − 1, s − 2, . . . 0(1/2) coupled by the Stueckelberg symmetries. Later, a frame-like formulation of massive higher spin fields has been developed in the framework of the same approach [14]. It allows us to reformulate the massive higher spin theory in terms of gauge invariant objects (curvatures). In massless four-dimensional higher spin theory such curvatures are very convenient objects and allow, e.g, to built the cubic higher spin interactions [15][16][17][18]. However the construction of curvatures proposed in [15][16][17][18] is essentially adapted only for theories in four and higher dimensions. Nevertheless the formalism of gauge invariant objects can be successfully applied to massive higher spin fields in three dimensions as well. It was shown that in three dimensions the gauge invariant Lagrangians for massive higher spin fields [19,20] can be rewritten in explicitly gauge invariant form [21]. In this work we elaborate this formalism for Lagrangian construction of massive higher spin supermultiplets with minimal (1,0) supersymmetry where the algebra of the supercharges has the form Here P α (2) and M α (2) are the generators of AdS 3 algebra with the following commutation relations (the conventions and notations for the indices are specified in the end of introduction) [M α (2) , M β (2) ] ∼ ε αβ M αβ , [P α (2) , P β (2) ] ∼ λ 2 ε αβ M αβ [M α (2) , P β (2) ] ∼ ε αβ P αβ Note that as in all three-dimensional AdS supergravities [6] (see also [22] for higher dimensions) in our frame-like formalism we consider supertransformations just as the part of local superalgebra acting in the fiber only. As a result the commutators of our supertransformations close off-shell without any need of some auxiliary fields (see section 6).
In the massive supermultiplets case the price we have to pay is that the Lagrangians are invariant under the supertransformations up to the terms proportional to the spin-1 and spin-0 auxiliary fields equations only.

JHEP08(2017)021
A general scheme for Lagrangian formulation of massive higher spin supermultiplets looks as follows. Let Ω A , Φ A is a set of fields and R A , F A is a set of curvatures corresponding to frame-like gauge invariant formulation of massive bosonic and fermionic fields respectively. The curvatures have the following structure where e ≡ e µ αβ is a non-dynamical background AdS 3 frame. Lagrangian both for bosonic and for fermionic massive higher spins are presented as the quadratic forms in curvatures expression [21] where L B is a bosonic field Lagrangian and L F is a fermionic one. Note that for massless higher spin fields in three dimensions such form of the Lagrangians is impossible. Then, in order to realize supersymmetry between the bosonic and fermionic massive fields we deform the curvatures by gravitino field Ψ µ α with parameter of supertransformations ζ α .
In the case of global supersymmetry we consider gravitino field as a non-dynamical background and parameter of supertransformations as global (i.e. covariantly constant). Such a construction can be interpreted as a supersymmetric theory in terms of background fields of supergravity. Schematically the curvature deformations are written as and supertransformations have the form The restrictions on the form of deformations and supertransformations are imposed by requirement of covariant transformations for deformed curvaturesR Finally the supersymmetric Lagrangian for given supermultiplets is the sum of Lagrangians (1.1) where initial curvatures are replaced by deformed ones R, F →R,F . Possible arbitrariness is fixed by the condition that the Lagrangian must be invariant under the supertransformations: Aim of the current paper is to demonstrate how such a general scheme can actually be realized for supermultiplets in AdS 3 . The paper is organized as follows. First of all we fix the notations and conventions. In section 2, following the above scheme we consider as an example, the detailed Lagrangian construction of massive supermultiplet (2, 3 2 ). Such an example illustrates all the key points of the construction. The next sections are devoted to generalizations of these results for arbitrary massive supermultiplets. In section 3 we consider the gauge invariant formulation JHEP08(2017)021 of massive fields with spin s and spin s + 1 2 which will be used for supersymmetric constructions. In particular, we write out all field variables and gauge-invariant curvatures and consider the Lagrangian in terms of these curvatures. Further, following the above general scheme, we study two massive higher spin supermultiplets. Supermultiplets (s, s + 1 2 ) is studied in section 4 and (s, s + 1 2 ) is studied in section 5. At last, in section 6 we show how the AdS 3 superalgebra is realized on our supermultiplets. In conclusion we summaries and discuss the results obtained. For completeness, we include in the paper two appendices devoted to frame-like description of massless fields in three dimensions. Appendix A contains the bosonic fields, appendix B contains the fermionic ones.
Notations and conventions. We use a frame-like multispinor formalism where all the objects (3,2,1,0-forms) have totally symmetric local spinor indices. To simplify the expressions we will use the condensed notations for the spinor indices such that e.g.
Also we will always assume that spinor indices denoted by the same letters and placed on the same level are symmetrized, e.g.
AdS 3 space will be described by the background frame (one-form) e α(2) and the covariant derivative D normalized so that Basis elements of 1, 2, 3-form spaces are respectively e α(2) , E α(2) , E where the last two are defined as double and triple wedge product of e α(2) : Also we write some useful relations for these basis elements Further on the sign of wedge product ∧ will be omitted.
2 Massive supermultiplet (2, 3 2 ) example In this section we consider in details the Lagrangian realization for massive supermultiplet (2, 3/2) example using the method mentioned above in the introduction. We start with the gauge-invariant formulations of free massive fields with spin 2 and spin 3/2 separately. Using such formulations, we present the full set of gauge-invariant curvatures for them. Then we consider the deformations of these curvatures by background gravitino field Ψ α and find suitable supertransformations. As a result we construct the supersymmetric Lagrangian.

JHEP08(2017)021
2.1 Free fields Spin 2. In gauge invariant form the massive spin-2 field is described by system of massless fields with spins 2, 1, 0. In frame-like approach the corresponding set of fields consists of (Ω α(2) , f α(2) ), (B α(2) , A) and (π α(2) , ϕ) (see appendix A for details). Lagrangian for free massive field in AdS 3 have the form [19] It is invariant under the following gauge transformations where m is the mass parameter and The curvatures invariant under gauge transformations (2.2) have the form Here we have changed a normalization for the two zero forms It is interesting to point out that, unlike massless theory in three dimensions, the Lagrangian for massive spin 2 (2.1) can be presented in manifestly gauge invariant form

JHEP08(2017)021
Spin-3 2 . In gauge invariant formulation, the massive spin-3/2 field is described by system of massless fields with the spins 3/2, 1/2. In frame-like approach the corresponding set of fields consists of Φ α , φ α . (see appendix B for details). The free Lagrangian for mass m 1 field in AdS 3 has the following form It is invariant under gauge transformations where One can construct the gauge invariant curvatures with respect (2.7). After change of normalization φ α → −2m 1 φ α they look like As in the previous spin-2 case, one notes that Lagrangian (2.6) can be rewritten in terms of curvatures (2.8) The above results on spin-2 and spin-3 2 fields are building blocks for supersymmetrization. Full set of gauge invariant curvatures contains (2.3) and (2.8) respectively. Corresponding expressions for Lagrangians in terms of curvatures are (2.5) and (2.9).

Supersymmetric system
Before we turn to Lagrangian formulation for massive supermultiplet (2, 3/2) let us consider this supermultiplet in massless flat limit. That is we consider the sum of Lagrangians (2.3) and (2.6) in the limit m, m 1 , λ → 0. It has the form Such a Lagrangian describes the system of free massless fields with spins 2, 3/2, 1, 1/2, 0. One can show there exist global supertransformations that leave the Lagrangian (2.10) invariant. These supertransformations with the redefinition (2.4) have form

JHEP08(2017)021
The parameters β 1 , β 0 , α 0 ,δ 0 are arbitrary but, as it will be seen later, they are fixed in massive case. The choice of such notations for them will be clear from in next section for arbitrary higher spin supermultiplets. To prove the invariance we need to use the Lagrangian equations of motion for auxiliary fields π α(2) , B α(2) corresponding to spins 0 and 1 Thus, we see that in the massless flat limit the Lagrangian formulation of pure massive supermultiplets (2, 3 2 ) we must get the supertransformations (2.11). This requirement will provide us the unique possibility for construction of the correct supersymmetric massive theory.
Deformation of curvatures. Now we are ready to realize the massive supermultiplets. We do it deforming curvatures by background gravitino field Ψ α with global transformation in AdS 3 The main idea is to deform the curvatures so that they transform covariantly through themselves. It means that for all the deformed curvaturesR A = R A + ∆R A the following relations should take place where δ 0 is the transformation (2.13) and δ ζ is the linear supertransformation. Let us consider the following ansatz for deformation of spin-2 curvatures Also one introduces the corresponding supertransformations The form of the supertransformations is completely determined by the form of deformations for curvatures. Besides β 1 , β 0 , α 0 ,δ 0 parameters which remain arbitrary from the massless case, we have new arbitrary parameters ρ 1 ,ρ 1 ,ρ 0 ,β 1 . All the parameters will be fixed by requirement of covariant homogeneous curvature transformation (2.14). In addition there are two mass parameters M, M 1 an we will see that one is related to another.

JHEP08(2017)021
Let us check the requirement (2.14) for curvatures R α(2) , T α(2) . One one hand and on the other hand Comparing the above relations, we obtain the solution and on the other hand Comparison of above relations yield The transformation laws for curvatures A and Φ look like Now we consider ansatz for deformation of spin-3/2 curvatures One introduces the corresponding supertransformations Let us require the conditions (2.14). The we have on one hand and on the other hand Comparison of the above relations gives us at Thus imposing the condition of the covariant curvature transformations (2.14) we fix the supersymmetric deformations up to common parameter β 1 and relation between mass The law of supersymmetry transformations is given by (2.16), (2.20). The obtained result is in agreement with our recent work [7] where we studied the analogous supermultiplets (2, 3/2) in unfolded formulation.
Invariant Lagrangian. Now we turn to construction of supersymmetric Lagrangian corresponding to supermultiplets (2, 2 3 ). Actually in terms of curvatures it presents a sum of Lagrangians for spin 2 (2.5) and spin 3/2 (2.9), where the initial curvatures are replaced by deformed ones R →R Taking into account the equations of equation for fields B α(2) , π α(2) which are equivalent to the following relations we see that the variation δL vanishes.

JHEP08(2017)021
3 Free massive higher spin fields For completeness in this section we discuss the gauge invariant formulation of free massive bosonic and fermionic higher spin fields in AdS 3 [19,20]. Besides, we present the gauge invariant curvatures, the Lagrangians in explicit component form and the Lagrangians in terms of curvatures for bosonic spin s and fermionic spin s + 1/2 fields.

Bosonic spin-s field
In gauge invariant form the massive spin s field is described by system of massless fields with spins s, (s − 1), . . . , 0. In frame-like approach the corresponding set of fields consists of (A) Free Lagrangian for the fields with mass m in AdS 3 have the form It is invariant under the following gauge transformations δf α(2) = Dξ α(2) + e α γ η αγ + a 1 e β(2) ξ α(2)β(2) + 2a 0 e α(2) ξ JHEP08(2017)021 One can construct the curvatures invariant under these gauge transformation. After change of normalization +a k e β(2) π α(2k)β(2) (3.6) In comparison with massive spin 2 case, the construction of curvatures for higher spins has some peculiarities. Namely, in order to achieve gauge invariance for all curvatures we should introduce the so called extra fields B α(2k) , π α(2k) , 2 ≤ k ≤ s − 1 with the following gauge transformations As we already pointed out above, in three dimensions it is possible to write Lagrangian in terms of the curvatures only. In case of arbitrary integer spin field, the corresponding Lagrangian (3.1) can be rewritten in the form JHEP08(2017)021 3.2 Fermionic spin-(s + 1 2 ) field In gauge invariant form the massive spin (s + 1/2) field is described by system of massless fields with spins (s + 1/2), (s − 1/2), . . . , 1/2. In frame-like approach the corresponding set of fields consists of (B) Free Lagrangian for fields with mass m 1 in AdS 3 looks like The Lagrangian is invariant under the gauge transformations Let us construct gauge invariant curvatures with respect (3.10). After change of normalization φ α → c 0 φ α the curvatures have form

JHEP08(2017)021
As in the case of integer spins in order to achieve gauge invariance for all curvatures we should introduce the set of extra fields φ α(2k+1) , 1 ≤ k ≤ (s − 1) with the following gauge transformation δφ α(2k+1) = ξ α(2k+1) Finally the Lagrangian (3.8) can be rewritten in terms of curvatures only as follows In section 5 we will need the description of massive spin-(s − 1/2) field. It can be obtained from the above description by replacement s → (s − 1). So we have considered the free massive fields with spins s and spins s + 1 2 . Also, we have formulated the gauge invariant curvatures (3.5), (3.6), (3.11) and gauge invariant Lagrangians (3.7), (3.12). In the next sections we will study a supersymmetrization of these results and construct the Lagrangian description of the supermultiplets (s, s + 1 2 ) (s, s − 1 2 ).

Massive supermultiplet (s, s + 1 2 )
In this section we consider the massive higher spin supermultiplets when the highest spin is fermion. For these supermultiplets we construct the deformation of the curvatures, find the supertransformations and present the supersymmetric Lagrangian.
Massless flat limit. Before we turn to realization of given massive supermultiplets let us consider their structure at massless flat limit m, m 1 , λ → 0. In this case the Lagrangian will be described by the system of massless fields with spins (s + 1 2 ), s, . . . , 1 2 , 0 in three dimensional flat space One can show that this Lagrangian is supersymmetric. Indeed, if the equations of motion (2.12) are fulfilled, the Lagrangian is invariant under the following supertransformations Ω α(2k) ζ α + 2(k + 1)β k+1 Ω α(2k+1)β ζ β JHEP08(2017)021 Here we take into account the normalization (3.4). Thus, requiring that massive theory has a correct massless flat limit we partially fix an arbitrariness in the choice of the supertransformations. Parameters α k , β k , β 0 , α 0 ,δ 0 at this step are still arbitrary.
Deformation of curvatures. Again we will realize supersymmetry deforming the curvatures by the background gravitino field Ψ α . We start with the construction of the deformations for bosonic fields Corresponding ansatz for supertransformations has the form All parameters will be fixed from requirement of covariant transformations of the curvatures (2.14). First of all we consider

JHEP08(2017)021
It leads to relation M 1 = M + λ 2 between mass parameters M 1 and M and defines the parameters From the requirement that

Requirement of covariant transformations for the other curvatures
gives the solution Now let us consider the deformation of curvatures for fermion. We choose ansatz in the form

JHEP08(2017)021
and ansatz for supertransformations in the form From the requirement that we have the same relation between masses M 1 = M + λ 2 . Besides, it leads to gives usγ k = γ k ,δ k = δ k ,α k = α k (2k + 1) ,β k = 2(k + 1)β k+1 At last, requirement for the other curvatures yields solution Now, all the arbitrary parameters are fixed.

Massive supermultiplet (s, s − 1 2 )
In this section we consider another massive higher spin supermultiplet when the highest spin is boson. The massive spin-s field was described in section 3.1 in terms of massless fields. The massive spin-(s − 1/2) field can be obtained for the results in section 3.2 if one makes the replacement s → (s − 1). So the set of massless fields for the massive field with spin s − 1/2 is Φ α(2k+1) , 0 ≤ k ≤ s − 2 and φ α . The gauge invariant curvatures and the Lagrangian have the forms (3.10) and (3.12) where the parameters are Following our procedure we should construct the supersymmetric deformations for curvatures. Actually the structure of deformed curvatures and supertransformations have the same form as in previous section for supermultiplets (s, s + 1/2). There is a difference only in parameters (5.1). Therefore we present here only the supertransformations for curvatures. Requirement (2.14) for bosonic fields 6 Realization of AdS 3 (super)algebra In this section we analyze the commutators of (super)transformations and show how the (super)algebra is realized in our construction. All considerations are valid both for (s, s + 1/2) supermultiplets and for (s, s − 1/2) one.

AdS-transformations
Before we turn to supersymmetric theory let us discuss the conventional AdS 3 algebra. In the frame formalism, AdS space is described by background Lorentz connection fields ω α (2) and background frame field e α (2) . First of them enters implicitly through the covariant derivative D, second one enters explicitly. Let η α(2) and ξ α(2) be the parameters of Lorentz transformations and pseudo-translation respectively. The theory of massive spin-s field has the following laws under these transformations here a k and b k are defined by (3.2). For massive spin-(s ± 1/2) field the transformation laws look like here c k and d k are defined by (3.9) for spin-(s + 1/2) and (5.1) for spin-(s − 1/2). To consider a structure of the AdS 3 algebra Sp(2) ⊗ Sp(2) only in left sector we introduce the new variables for bosonic fieldŝ so that the variablesΩ α(2k) correspond to left sector. In terms of this variables the transformations (6.1), (6.2) have form

JHEP08(2017)021
mations. We obtain Here we use the explicit expressions for α k and β k and conditions Comparing the commutators of supertransformations with (6.3) we obtain the (1,0) AdS 3 superalgebra with the commutation relation As we see, the algebra of the supertransformations is closed. It is worth emphasizing that we did not apply the equations of motion to obtain the relation (6.6) both in bosonic and in fermionic sectors. This situation is analogous to one for massless higher-spin fields in the three-dimensional frame-like formalism. Recall that in the massive supermultiplets case the invariance of the Lagrangians is achieved up to the terms proportional to the spin-1 and spin-0 auxiliary fields equations only. Note that in dimensions d ≥ 4 one would have to use equations for the higher spins auxiliary fields as well (though in odd dimensions there exist examples of the theories where Lagrangians are invariant without any use of e.o.m [22]). The difference here comes from the well known fact that all massless higher spin fields in three dimensions do not have any local degrees of freedom.

Summary
Let us summarize the results. In this paper we have constructed the Lagrangian formulation for massive higher spin supermultiplets in the AdS 3 space in the case of minimal (1,0) supersymmetry. For description of the massive higher spin fields we have adapted for massive fields in three dimensions the frame-like gauge invariant formalism and technique of gauge invariant curvatures. The supersymmetrization is achieved by deformation of the curvatures by background gravitino field and hence the supersymmetric Lagrangians are formulated with help of background fields of three-dimensional supergravity. In AdS 3 the space the minimal (1,0) supersymmetry combines the massive fields in supermultiplets JHEP08(2017)021 with one bosonic degree of freedom and one fermionic one. As a result we have derived the supersymmetric and gauge invariant Lagrangians for massive higher spin (s, s + 1/2) and (s, s − 1/2) supermultiplets. Acknowledgments I.L.B and T.V.S are grateful to the RFBR grant, project No. 15-02-03594-a for partial support. Their research was also supported in parts by Russian Ministry of Education and Science, project No. 3.1386.2017.

A Massless bosonic fields
In this appendix we consider the frame-like formulation for the massless bosonic fields in three dimensional flat space. For every spin we present field variables and write out the corresponding Lagrangian. All massless fields with spin s ≥ 1 are gauge ones so that we also present the gauge transformations for them.

B Massless fermionic fields
In this appendix we consider the frame-like formulation for the massless fermionic fields in three dimensional flat space. For every spin we present field variables and write out the corresponding Lagrangian. All massless fields with spin s ≥ 3/2 are gauge ones so that we also present gauge transformations for them.
Spin 1/2. It is described by master 0-form φ α . Lagrangian looks like L = 1 2 φ α E α β Dφ β Spin 3/2. It is described by physical 1-form Φ α . Lagrangian and gauge transformations have the form L = − i 2 Φ α DΦ α , δΦ α = Dξ α Spin k + 1/2. It is described by physical 1-form Φ α(2k−1) . Lagrangian and gauge transformations have the form Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.