Quartic interaction vertex in the massive integer higher spin field theory in a constant electromagnetic field

We consider the massive integer higher spin fields coupled to an external constant electromagnetic field in flat space of arbitrary dimension and find a gauge invariant quartic interaction vertex which is quadratic in dynamical higher spin field and quadratic in external field. Construction of the vertex is based on the BRST approach to higher spin filed theory where no off-shell constraints on the fields and on the gauge parameters are imposed from the very beginning (unconstrained formulation).


Introduction
The higher spin field theory is the actively developing trend in modern theoretical and mathematical physics (see e.g. the reviews [1]). One of the interesting and important problems here is related with construction of the Lagrangians describing the interactions of the higher spin fields among themselves and with the various backgrounds (see e.g. the papers [2,3,4,5] and the references therein).
Most of the works on interacting Lagrangians of the higher spin fields deal with the cubic approximation. In particular, the cubic vertices of higher spin fields have been constructed in [2], the cubic vertices for higher spin fields coupled to external electromagnetic and gravitational backgrounds have been found in [3]. The quartic approximation of the interaction vertices has been studied much less (see e.g. [4,5]).
When considering interactions of higher spin fields with a nontrivial background one faces several difficulties such as a possibility of superluminal propagation and violation of the number of physical degrees of freedom. The requirement that the superluminal propagation is absent imposes in general the certain conditions on the background fields [6] (see also [7] for a recent discussion). Similarly, when turning on nonzero background fields the invariance of the initial system under its gauge transformations can be partially or completely lost and this means in turn that nonphysical polarizations can appear in the spectrum. The requirement of preserving the physical degrees of freedom generically imposes some extra conditions on the background. Therefore to construct a higher spin field theory on some background we should answer the question whether the background under consideration is physically acceptable i.e., whether it satisfies the constraints imposed by the above mentioned conditions.
In this paper we study a problem of interaction of massive totally symmetric bosonic higher spin fields with constant electromagnetic (EM) background in Minkowski space of an arbitrary dimension d. These higher spin fields are described by tensors with an arbitrary number s of totally symmetric tensorial indices. Our main aim is to derive the gauge invariant Lagrangian using the method of BRST construction [8] in the quadratic approximation in strength F µν of the external field. This method in fact yields a gauge invariant Lagrangian description for massive higher spin fields in extended Fock space and therefore the Lagrangian will contain, apart from the basic fields, some additional fields such as Stückelberg fields. Some of these fields are eliminated with the help of gauge transformations, some of the others should be eliminated as a result of the equations of motion. Therefore, in order to have a consistent gauge invariant description for massive higher spin fields, one should have enough gauge freedom and have the "correct" equations of motion, which ensure the absence of ghosts 1 . One can show that the preservation of physical degrees of freedom indeed takes place for the Lagrangian under consideration, provided that the terms containing the strength of the external field are considered as a perturbation.
The paper is organized as follows. Section 2 contains our main results. After a brief reminder of construction of Lagrangians for free massive bosonic higher spin fields we introduce interaction with background electromagnetic fields by deforming the operators which define the BRST charge. The requirement that the deformed operators form a closed algebra fixes the free parameters which are present in the definition of the deformed operators. Then we construct the corresponding BRST charge, derive the gauge invariant Lagrangian describing the interactions with a constant electromagnetic background. In Section 3 we derive from our main Lagrangian, obtained in Section 2, a family of the Lagrangian formulations with different sets of the auxiliary fields by partially or completely gauge fixing As examples we obtain first the Lagrangian description in terms of so called "quartet formulation" [9,10] (see also [11]) and second the Lagrangian formulation obtained in [4]. Actually the expressions for the operators obtained in Section 2 from the very beginning are more general in compare with earlier work [4] and hence we obtain new interaction vertices for quartic coupling of higher spin fields to constant electromagnetic background. The final Section contains the conclusions and a discussions.

BRST Lagrangian construction for massive higher spin bosonic fields on electromagnetic background
Let us briefly summarize the features of the BRST approach for the construction of the gauge invariant bosonic and fermionic higher spin field Lagrangians [8]. First one introduces a set of operators that define a spectrum of the theory 2 . Provided these operators form a closed algebra one builds a nilpotent BRST charge Q, which in turn yields a quadratic gauge invariant Lagrangian in terms of the Fock sate vectors of the form where |χ is a vector in an extended Fock space. The gauge invariance of the Lagrangian under the linear gauge transformations δ|χ = Q|Λ (2.2) is guaranteed by the nilpotency of the BRST charge, Q 2 = 0. The situation can be more complicated if the closure of the algebra of the initial set of operators requires inclusion of certain additional operators into the above set. These extra operators can impose too strong conditions on the field |χ so that there will be no nonzero solution to the equation This problem is overcome as follows [8]. One introduces the additional sets of oscillator variables and builds an auxiliary representation of the generators of the algebra (i.e. of the operators under consideration) in terms of these new variables. Then one defines a modified set of operators as a sum of new and old ones and considers the problem in an extended Fock space (including the new oscillators). After that one builds BRST charge for modified generators in the standard way since the generators form a closed algebra. It allows us to construct a Lagrangian on the base of the BRST charge under consideration. After this reminder let us turn to a description of massive bosonic higher spin fields. To this end we introduce the Fock space spanned by the oscillators [a µ , a + ν ] = η µν , , η µν = diag(−1, 1, ..., 1) (2.4) and consider the operators The first of the operators in (2.5) corresponds to the Klein-Gordon operator for the massive boson, the second operator is a divergence operator, and the third one is an operator which takes a trace. In order to have a hermitian BRST charge we also introduce operators which are hermitian conjugate to the operators l ′ 1 and l ′ Finally in order to close the algebra one introduces the extra operators and g ′ m = m 2 . The operator g ′ 0 is a "particle" number operator and its eigenvalues are always strictly positive. Therefore, we have a situation described earlier in this Section. We introduce two sets of additional bosonic oscillator variables with commutation relations Using these new variables one can build auxiliary representation for the original operators and define modified operators as where h is an arbitrary real constant. The algebra of these operators is given by Table 1.
In order to introduce an interaction of the bosonic fields with an external constant EM background field F µν = const we shall proceed as follows. First we replace all the partial derivatives by the U(1) covariant ones D µ = ∂ µ − ieA µ and include into the expressions of the operators 3 (2.9)-(2.12) terms which vanish in the limit F µν → 0. After that we require that the new operators form a closed algebra.
Before writing an ansatz for the operators let us note that since the trace of a field and its traceless part are independent from each other one can shift the trace of a field so that the traceless condition remains unchanged. Thus we suppose that the operators related with the traceless condition l 2 , l + 2 as well as the number operator g 0 remain unchanged Moreover, since the oscillator variables b 2 , b + 2 (2.8) are included only in operators (2.13) (see also the expressions (2.11)-(2.12)) we assume that these variables are not present in the expressions of the operators L 0 , L 1 , L + 1 . Since we are going to consider first the linear in F µν approximation we take the following ansatz for the operators where α 0(k) , . . . , γ ′ 0(k) are arbitrary complex constants and the rest of the operators (2.11)-(2.12) are unchanged as one can see form the equation (2.13). Let us note that the above relations can be treated as the deformations of the corresponding relations of free theory by the terms linear in F µν .
Let us point out that the ansatz for the operators L 1 , L 0 , L + 1 (2.14)-(2.16) is not the most general one. The ansatz is taken on the basis of the following "minimal" rule. Let us consider the operators (2.14)- (2.16) in free theory, replace the partial derivatives by the covariant ones and calculate the commutators. Obviously the algebra will not be closed. Then one adds to these operators the minimal number of terms linear in F µν in such a way that the algebra is closed in the linear approximation. One can see that according to this "minimal" rule the Lorentz indices of the creation and annihilation operators are always contracted with an index or indices of F µν . In principle it is possible to consider other deformations of the free theory by the terms linear in F µν . For example, one can add to L 1 a term of the form a + µ a µ a α F ασ D σ but this term does not obey the "minimal" rule.
From the requirement the L 0 to be hermitian, from the condition (L 1 ) + = L + 1 and from the requirement that the total system of operators forms a closed algebra in the linear approximation one finds the expressions for constants which are present in (2.14)- (2.16) and these constants are expressed through four arbitrary real constants c 1 , c 2 , c 3 , c 4 . These expressions are summarized in the Appendix.
Let us consider the second order approximation in F µν . Ansatz for corrections to operators L 1 , L 0 and L + 1 in this case looks like where α i(k) , . . . , γ ′ j(k) are arbitrary complex constants. Analogously to the linear approximation from the requirement the L 0 to be hermitian, from the condition (L 1 ) + = L + 1 and from the requirement that the total system of operators forms a closed algebra in the quadratic approximation one finds the expressions for constants which are present in (2.17)- (2.19). These expressions are summarized in the Appendix and all of them are expressed through eight independent real constants. One should note that the quadratic approximation gives the additional restrictions on the arbitrary real constants c 1 and c 3 of the linear approximation (B.1).
Note that a similar problem was considered in [4], but our approach leads to more general Lagrangian construction. We found two more arbitrary constants in the linear approximation and six 4 more arbitrary constants in the quadratic approximation because, unlike [4], we do not require from the very beginning that the coefficients in (2.14)-(2.16) and (2.17)-(2.19) must satisfy reality conditions. As one can see from the Appendix, the complex coefficients are also acceptable.
The new operators form an algebra which is the same as in the free theory and it is given in Table 1. After we have achieved the closure of the algebra for the operators, the next step is to construct the corresponding BRST charge. This procedure follows closely the one developed for the bosonic fields in [8] to which we refer for more details. First we construct the standard BRST operator on the basis of the operators (2.13)-(2.19) (2.20) Here η 0 , η + 1 , η 1 , η + 2 , η 2 , η G are fermionic ghost "coordinates" corresponding to their canonically conjugate ghost "momenta" P 0 , P 1 , P + 1 , P 2 , P + 2 , P G . They obey the anticommutation relations and possess the standard ghost number distribution, gh(η) = −gh(P) = 1, which gives gh(Q) = 1.
For the subsequent computations it is convenient to present the BRST operator (2.20) in the form Next we choose the following representation for the vacuum in the Fock space and suppose that the vectors and gauge parameters do not depend on η G , The sum in (2.23) is taken over k 0 , k 6 , k 7 , running from 0 to infinity, and over k 1 , k 2 , k 3 , k 4 , k 5 , running from 0 to 1. Then, we derive from the equations ( δ|Λ =Q|Λ (1) , By fixing the value of spin, we also fix the parameter h, according to (2.27 where we have decomposed state vector |χ as follows is needed to maintain Hermiticity of the Lagrangian since as one can see from the auxiliary representations for operators (2.11) one has (l 2 ) + = l + 2 . The Lagrangian (2.28) describes the interaction of massive bosonic fields with constant electromagnetic field in quadratic approximation in F µν and it is our main result. It contains, apart from the basic field ϕ µ 1 ...µs (x) in |S (2.29) |S = ϕ µ 1 ...µn (x)a +µ 1 . . . a +µn |0 + . . .
(2.32) a number of additional fields 5 , whose number increases with spin value.
In the next section we show that after partially or completely gauge fixing one can obtain different Lagrangian formulations with a smaller number of additional fields.

Partial gauge fixing and different Lagrangian formulations
In this Section we are going to obtain from (2.28) the various equivalent Lagrangian formulations by partially fixing the gauge invariance. First we derive a quartet Lagrangian formulation [9,10]. Initially this formulation was developed for the massless higher spin fields in flat and AdS background in [9]. Its bosonic version contains six unconstrained fields (one physical field and five additional fields two of which are Lagrangian multipliers) and one unconstrained gauge parameter. 6 Using dimensional reduction one can obtain in principle the quartet formulation for massive higher spin fields [10].
To derive the unconstrained formulation from the Lagrangian (2.28) we partially fix gauge invariance as it was done in [8] (putting there the curvature to zero R = 0), except we will not fix gauge invariance corresponding to gauge parameter |ε (we remove dependence only on b + 2 ) |Λ = P + 1 |ε + . . . , Next one can show that after the gauge fixing some of the remaining fields can be removed with the help of the equations of motion analogously to [9] and the non-vanishing fields in the quartet formulation are The Lagrangian and the gauge transformation for the massive bosonic higher spin field interacting with constant electromagnetic field in the quartet formulation are 7 In the above relations the small letters in the state vectors |s i and |a i denote the parts of the corresponding vectors |S i and |A i depending only on the oscillators (a µ , b 1 ). Also the operators L ′ 2 and L +′ 2 are the (a µ , b 1 ) parts of the operators L 2 and L + 2 (2.11) Next we will show that the Lagrangian formulation, which obtained in [4], is a particular case of our general result (2.28). To get such Lagrangian formulations from (3.5) we first partly fix the gauge, removing the field |s 4 with the help of gauge transformations (3.6) and then integrate out all the fields except the field |s 1 . The result is where the state |s 1 and the parameter of gauge transformations |ε obey the constraints Such a partial form of the Lagrangian was obtained in [4], but with less general 8 expressions for the operators (2.13)- (2.16).
We can proceed to obtain the different forms of the Lagrangian formulation possessing the interesting properties. For example, we can resolve constraints on the field and the gauge parameter (3.10). Using decomposition (3.2) for |ε and analogous decomposition for |s 1 3.11) we find that gauge parameters |ε s−1 and |ε s−2 are not restricted and the other parameters |ǫ k are expressed in terms of their traces 3.12) where l ′ 2 was defined in (2.5). So we may make gauge transformation using the unrestricted gauge parameters |ε s−1 and |ε s−2 .
One can do the same for the field |s 1 . Due to restriction (3.10) there are only four independent fields |ϕ s , |ϕ s−1 , |ϕ s−2 , |ϕ s−3 and all the other fields are expressed through these four fields Thus one can obtain 9 the gauge invariant Lagrangian formulations for a massive bosonic field interacting with constant electromagnetic field with the help of four fields |ϕ s , |ϕ s−1 , |ϕ s−2 , |ϕ s−3 and two gauge parameters |ε s−1 and |ε s−2 .
Finally, using the remaining unrestricted gauge parameters |ε s−1 and |ε s−2 one can remove fields |ϕ s−1 , |ϕ s−2 using gauge transformation and obtain the Lagrangian formulation in terms of two traceful unrestricted fields: a field |ϕ s whose traceless part is a physical field and an additional |ϕ s−3 field. This Lagrangian has no gauge invariance since we have already used entire gauge freedom. It should be noted that if we decompose the traceful fields |ϕ s and |ϕ s−3 in a series of traceless fields we obtain set of the fields which coincide with the set of fields of Singh and Hagen [14].

Conclusions
In the present paper we have developed the BRST approach to Lagrangian description of massive higher spin bosonic fields coupled to a constant external electromagnetic field and constructed the corresponding quartic interaction vertex. Such a vertex is quadratic in dynamical higher spin fields and quadratic in external field. To this end, we deformed the operators underlying the BRST charge, which correspond to the noninteracting bosonic massive higher spin fields, by the terms depending on the electromagnetic field. Our main result is Lagrangian (2.28) which contains apart from the basic field also some number of auxiliary fields which provide the gauge invariant description for massive theory, and the number of these fields grows with the value of the spin.
We have shown that one can partially or completely fix the gauge invariance and obtain from the general Lagrangian (2.28) a family of different Lagrangian formulations with a smaller number of auxiliary fields. As an example we have derived a Lagrangian formulation for the massive bosonic higher spin fields coupled to a constant electromagnetic background in the quartet (unconstrained) formulation (3.5) [9,10] and obtained the results of paper [4] (3.8) as a particular case of the general Lagrangian (2.28).
Since in our previous paper [15] we have considered fermionic higher spin fields it would be naturally interesting to generalize the present results for the case of supersymmetric systems 10 as well as to consider higher order interactions. Inclusion of a nontrivial gravitational background is another interesting problem to consider (see for example [17] for recent progress in these directions). It would be interesting also to establish more connection of BRST approach with the recent studies in conformal higher spin fields (see for example [18]). We hope to address these questions in future publications. and RFBR grants, projects  for partial support. Research of V.A.K was also supported in part by Russian Ministry of Education and Science under contract 3.867.2014/K.

A The arbitrary parameters in the first order in F µν
Below we give the expressions for free parameters which are present in the equations (2.14)-(2.16) Here c 1 , c 2 , c 3 , c 4 are arbitrary dimensionless constants.