1. Introduction
The construction of interacting higher spin field theory attracts significant attention both from a general theoretical point of view and in connection with the possibilities of discovering new approaches to describe gravity at the quantum level (see for a review, e.g., [
1,
2,
3,
4,
5,
6,
7] and the references therein). The extension of General Relativity on a base of local supersymmetry principle up to the supergravity models [
8] with improved quantum properties and a connection with (Super)string Field Theory permits one to include massless fields of spins
in Higher Spin Gravity (see [
9] and references therein) with respecting the string field theory properties, asymptotic safety and some others. The AdS/CFT correspondence gives strong indications that higher spin excitations can be significant to elaborate the quantum gravity challenges [
10]. Interacting massive and massless higher spin fields in constant-curvature spaces provide another possible insight into the origin of Dark Matter and Dark Energy [
11,
12] beyond the models with vector massive fields [
13] and sterile neutrinos [
14] to be by reasonable candidates for Dark Matter, see for reviews [
15,
16,
17].
The simplest of higher spin interactions, the cubic vertex for various fields with higher spins, has been studied by many authors with the use of different approaches (see, e.g., the recent papers [
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31] and the references therein) (A complete list of papers on a cubic vertex on constant curvature spaces contains dozens of papers. Here, we cite only the recent papers containing a full list of references). Note, the results on the structure of cubic vertices obtained in terms of physical degrees of freedom in a concise form in the light-cone approach in [
31,
32]. In the covariant metric-like form, the list of cubic vertices for reducible representations of the Poincare group with discrete spins (being consistent with [
32]) are contained in [
18], where the cubic vertices were derived using the constrained BRST approach, but without imposing on the vertex the algebraic constraints. The latter peculiarity leads to the violation of the irreducibility of the representation for interacting higher spin fields and, hence, to a possible change of the number of physical degrees of freedom (Without finding the solution for the vertex respecting the algebraic constraints, the number of physical degrees of freedom, which is determined by one of the independent initial data for the equations of motion for the interacting model is different (less) than as one from that for the undeformed model with vanishing algebraic constraints evaluated on respecting equations of motion, but with the deformed gauge symmetry not respecting these constraints). Also, we point out the constructions of cubic vertices within the BRST approach without the use of constraints responsible for trace conditions in the BRST charge (see e.g., [
30] and the references therein). It means, in fact, that the vertex is obtained in terms of reducible higher spin fields (To avoid various misunderstandings, we emphasize that we use the term “unconstrained formulation” in the sense that all possible constraints are consequences of the Lagrangian equations of motion. No additional restrictions, separate from the equations of motion, are imposed).
In this paper, we derive the cubic vertices for irreducible massless and massive higher spin fields focusing on the manifest Lorentz covariance. The analysis is carried out within the BRST approach with complete BRST operator that extends our earlier approaches [
33,
34,
35] and involves a converted set of operator constraints forming a first-class gauge algebra. The set of constraints includes on equal-footing the on-shell condition
and constraints
, responsible for divergences and traces. Unlike our consideration, in the constrained BRST approach, the operator
is imposed as a constraint on the set of fields and gauge parameters outside of the Lagrangian formulation for simplicity of calculations. Such an approach inherits the way of obtaining the Lagrangian formulation for higher spin fields from the tensionless limit [
36] for (super)string theory with resulting in a BRST charge without the presence of the algebraic (e.g., trace) constraints. We have already noted [
33] that this way of consideration is correct but the actual Lagrangian description of irreducible fields is achieved only after additional imposing the subsidiary conditions which are not derived from the Lagrangian. Of course, the Lagrangian formulations for the same free irreducible higher spin field in Minkowski space obtained in constrained and unconstrained BRST approaches are equivalent [
37] (For irreducible massless and massive field representations with half-integer spin the Lagrangians with reducible gauge symmetries and compatible holonomic constraints, were firstly obtained therein). However, the corresponding equivalence has not yet been proved for interacting irreducible higher-spin fields as it was recently demonstrated for massless case [
33,
34] for cubic vertices. Aspects of the BRST approach with complete BRST operator for a Lagrangian description of various free and interacting massive higher spin field models in Minkowski and AdS spaces were developed in many works (e.g., see the papers [
38,
39,
40,
41,
42,
43,
44,
45], and the review [
3]).
As a result, we face the problem when constructing the cubic vertex for irreducible massless and massive higher integer spin fields on
d-dimensional flat space-time within metric-like formalism on the base of the complete BRST operator. It is exactly the problem that we intend to consider in the paper. We expect that the final cubic vertices will contain new terms (as compared with [
18]) with the traces of the fields. Such new terms may evidently have significance when gauging away auxiliary gauge symmetry and fields to obtain a component Lagrangian formulation.
The aim of the paper is to present a complete solution of the above problem for the cubic vertices for unconstrained irreducible massless and massive higher spin fields within BRST approach and to obtain from general oscillator-like vertices explicit tensor representations for Lagrangian formulations with reducible gauge symmetry for some triples of interacting higher spin fields.
The paper has the following organization.
Section 2 presents the basics of a BRST Lagrangian construction for a free massive higher spin field, with all constraints
taken into account. In
Section 3, we deduce a system of equations for a cubic (linear) deformation in fields of the free action (free gauge transformations). A solution for the deformed cubic vertices and gauge transformation is given in a
Section 4 for one massive and two massless fields; for two massive with different and coinciding masses and one massless field. The number of examples for the fields with a special set of spins are presented in the
Section 5. The main result of the work is that the cubic vertices and deformed reducible gauge transformations include both types of constraints: with derivative
and one with trace
. In conclusion, a final summary with comments is given. A derivation of Singh–Hagen Lagrangian from free BRST Lagrangian formulation for the massive field of spin
s presented in
Appendix A.
Appendix B and
Appendix C contain results of calculations for component interacting Lagrangian and gauge transformations for massive field of spin
s with massless scalars and with massless vector and scalar. In
Appendix D we formulate conditions for the incomplete BRST operator, traceless constraints and cubic vertices to obtain non-contradictory Lagrangian dynamics for a model with interacting fields with given spins. We find the form of projectors
for .respective cubic vertices
from [
18] to have the cubic vertices
, firstly determined by (
A66) and (
A68) for irreducible interacting fields. We use the usual definitions and notations from the work [
33] for a metric tensor
with Lorentz indices
and the respective notation
,
,
,
,
for the values of Grassmann parity and ghost number of a homogeneous quantity
F, as well as the supercommutator, the integer part of a real-valued
x and for the triple
.
2. Lagrangian Formulation for Free Massive Higher Spin Fields
Here, we present the basics of the BRST approach to free massive higher integer spin field theory for its following use to construct a general cubic interacting vertex.
The unitary massive irreducible representations of Poincare
group with integer spins
s can be realized using the real-valued totally symmetric tensor fields
subject to the conditions
The basic vectors
and the operators
above are defined in the Fock space
with the Grassmann-even oscillators
, (
) as follows
The free dynamics of the field with definite spin
s in the framework of the BRST approach is described by the first-stage reducible gauge theory with the gauge invariant action given on the configuration space
whose dimension grows with the growth of “
s”, thus, including the basic field
with many auxiliary fields
of lesser than
s ranks. All these fields are incorporated into the vector
and the dynamics is encoded by the action
where
and
K are, respectively, a zero-mode ghost field and an operator defining the inner product. The action (
3) is invariant under the reducible gauge transformations
with
,
to be the vectors of zero-level and first-level gauge parameters of the abelian gauge transformations (
4). The quantity
Q in (
3) is the BRST operator having the same structure as one for massless case [
33] constructed on the base of the constraints
with the Grassmann-odd ghost operators
,
,
,
where
Here
and
The algebra of the operators
,
,
looks like
and their independent non-vanishing cross-commutators are
,
.
The ghost operators satisfy the non-zero anticommuting relations
The theory is characterized by the spin operator
, which is defined according to
Here,
,
(
,
) are two pairs of auxiliary Grassmann-even oscillators. The operator
selects the vectors with definite spin value
s
where the standard distribution for Grassmann parities and the ghost numbers of these vectors are
,
, respectively.
All the operators above act in a total Hilbert space with the scalar product of the vectors depending on all oscillators
=
and ghosts
The operators
are supercommuting and Hermitian with respect to the scalar product (
12) including the operator
K (see e.g., [
37,
39,
45]) being equal to 1 on Hilbert subspace not depending on auxiliary
operators
The BRST operator
Q is nilpotent on the subspace with zero eigenvectors for the spin operator
(
11).
The field
, the zero
and the first
level gauge parameters labeled by the symbol
as eigenvectors of the spin condition in (
11) has the same decomposition as ones in [
33] but with ghost-independent vectors
,
instead of
,
Here,
We prove in the
Appendix A that after imposing the appropriate gauge conditions and eliminating the auxiliary fields with help of the equations of motion, the theory under consideration is reduced to Singh–Hagen ungauged form [
46] in terms of a totally symmetric double traceless tensor field
and auxiliary traceless
.
Now we turn to the interacting theory.
3. System of Equations for Cubic Vertex
Here, we follow the general scheme developed for massless case in [
33] to find the cubic interaction vertices for the models with one massive and two massless higher spin fields, two massive and one massless higher spin field with different mass value distributions and derive the equations for these vertices.
To include the cubic interaction we introduce three vectors
, gauge parameters
,
with corresponding vacuum vectors
and oscillators, where
. It permits to define the deformed action and the deformed gauge transformations as follows
with some unknown three-vectors
Here,
is the free action (
3) for the field
,
is the BRST charge corresponding to spin
,
is the operator
K (
15) corresponding to spin
for massive and with change
for massless field and
g is a deformation parameter (called usually as a coupling constant). Also, we use the notation
and convention
.
The concrete construction of the cubic interaction means finding the concrete vectors
,
,
. For this purpose, we can involve the set of fields, the constraints, and ghost operators related with spins
and the respective conditions of gauge invariance of the deformed action under the deformed gauge transformations as well as the conservation of the form of the gauge transformations for the fields
under the gauge transformations
at the first power in
g (In this connection, note also the results of recent works [
47,
48,
49,
50] obtained on the base of the deformation of general gauge theory [
51,
52,
53,
54]).
where
Following our results, [
33,
34] we choose coincidence for the vertices:
=
=
, which provides the validity of the operator equations at the first order in
g (the highest orders are necessary for finding the quartic and higher vertices)
jointly with the spin conditions as the consequence of the spin Equation (
11) for each sample (with
) providing the nilpotency of total BRST operator
when evaluated on the vertex due to the Equations (
13) and
for
.
A local dependence on space-time coordinates in the vertices
,
,
means
(for
). We have the conservation law:
, for the momenta associated with all vertices. Again as for the massless case [
33], the deformed gauge transformations still form the closed algebra, that means after the simple calculations
with the Grassmann-odd gauge parameter
being a function of the parameters
.
The Equations (
27) (for coinciding vertices
) together with the form of the commutator of the gauge transformations (
29) determine the cubic interacting vertices for irreducible massive and massless totally symmetric higher spin fields.
6. Conclusions
To sum up, we have constructed the generic cubic vertices for a first-stage reducible gauge-invariant Lagrangian formulations of totally symmetric massless and massive higher spin fields with arbitrary integer helicities and spins in
d-dimensional Minkowski space-time in three different cases: for two massless fields of helicities
and massive field of spin
; for one massless field of helicity
and two massive fields of spins
, first, with coinciding masses, second, with different masses
. The procedure is realized in the framework of the BRST approach, developing our earlier results for cubic vertices for irreducible massless fields [
33,
34] to higher spin field theories with the complete BRST operator, which includes all the constraints that determine an irreducible massless or massive higher spin representation on equal footing. This approach allows us to preserve the irreducibility of the Poincare group representation for each interacting higher spin field and as a consequence, provide the preservation of the number of physical degrees of freedom on the cubic level up to the first power in the deformation parameter
g.
To determine cubic vertices being consistent with a deformed gauge invariance, we have realized an additive deformation of classical actions for three copies of the respecting massless and massive higher spin fields and the gauge transformations for the fields and gauge parameters, while requiring the deformed action to be invariant in a linear approximation with respect to
g, and for the gauge algebra to be closed on a deformed mass shell up to the second order in
g. These requirements, as for as for massless case [
33], result in a system of generating equations for the cubic vertices, containing the total BRST invariance operator condition
,
(
26), the spin condition, and the condition (
29) for the gauge algebra closure. The cubic vertex, in the particular case of coinciding operators,
, satisfies the Equations (
27), and their solutions are found using a respective set of spin- and BRST-closed forms within a classification of vertices with respect to values of polynomials of the fourth order
and the first order
in power of mass, considered, firstly for
in [
31], and extracting the cases of real (
), virtual (
) processes, and real process (
) with vanishing transfer of momentum. For two massless and one massive higher-spin field, the modified BRST-closed differential forms (
58), (
62), (
66), (
76), (
77) constructed from ones in [
18], and the new forms (
54) related to the trace operator constraints (having dependence on additional oscillators,
,
,
) compose the parity invariant cubic vertex
(
78). The vertex has a non-polynomial structure and presents
-parameters family to be enumerated by the natural parameters
respecting the orders of traces incoming into the vertex, and
k enumerating the order of derivatives in it (For another elaboration of inclusion the trace constraints in Maxwell-like Lagrangians for interacting massless higher spin fields on constant curvature spaces with multiple traces see [
26]). As a result parity invariant cubic vertices for irreducible fields may involve terms with less space-time derivatives as compared with [
18]. This vertex may be equivalently presented in the polynomial form with non-commuting BRST-closed generating elements:
(
83) and
(
66), (
76) for
, which depend in addition on annihilation oscillators as compared to the standard receipt [
3,
18]. The vertex admits a trace-deformed generalization leading to the change in the standard trace restrictions on fields and gauge parameters imposing off-shell in the constrained BRST approach that is revealed in the BRST-closed modification of two form
(
85) by “trace”
ghost. It means that after performing the gauge-fixing procedure and partial resolution of the interacting equations of motion the final trace restrictions for the initial higher-spin fields should not coincide with standard ones derived from the Lagrangian formulations for free fields.
For the case of one massless and two massive fields coinciding masses (when
) the solution for the vertex contains more BRST-closed generating differential forms given by three sets (
95): Yang–Mills type form
(
98) mixed-trace forms
(
97) with new trace forms the parity invariant cubic vertex
(
94), (
99) is constructed. It presents the
-parameter family to be enumerated by the natural parameters (corresponding for traces)
and
,
corresponding for order of derivatives. Again, the vertex admits a polynomial representation in terms of non-commuting BRST-closed generating operators.
For the variant of one massless and two massive fields with different masses (when
) derived spin- and BRST-closed vertex
(
106), (
107) was constructed as the product of differential
sets of differential
(
108) and mixed-trace
, for
(
110), (
111) and respective new trace forms
of the rank
. The vertex represents the
-parameter family to be enumerated by the natural parameters
and
. A polynomial representation for the vertex also exists.
From the obtained solutions it follows, first, the possibilities to construct cubic vertices and interacting first-stage reducible Lagrangian formulations for the mentioned three cases including the fields with all helicities and spins, e.g., for triples with two massless and one massive field
with the same mass for massive fields
with different values of spin
.
Second, a condition that the cubic approximation for the interacting model will be the final term (without higher order vertices) in both Lagrangian and gauge transformations is based on the non-trivial solution of the operator equation on the vertex
in the second order in deformation constant
g:
which should be considered additionally to the system (
27).
The inclusion of trace constraints into the complete BRST operator has led to a larger content of configuration spaces in Lagrangian formulations for interacting massless and massive fields of integer spins in question (in comparison with the constrained BRST approach [
18]), which has permitted the appearance of new trace operator components
in the cubic vertex. In this regard, the correspondence between the obtained vertices
and the respective vertices
of [
18] is not unique due to the fact that the tracelessness conditions for the latter vertex are not satisfied:
as was discussed in detail in the
Appendix D. Both vertices for the same set of higher-spin fields will correspond to each other, first, after extracting the irreducible components
from
, satisfying
according to (
A68). We pay attention, to the form of the cubic vertices for irreducible (massless and massive) higher-spin fields within the approach with an incomplete BRST operator are firstly obtained by the Equation (
A68). Then, after eliminating the auxiliary fields and gauge parameters by partially fixing the gauge and using the equations of motion, the vertex
will transform to
in a triplet formulation of [
18], so that, up to total derivatives, the vertices
and
must coincide. At the same time, the different representation for the vertices with the same set of fields, among them with trace-deformed generalization (
85), leads to different local representations of the interacting Lagrangian formulations as shown with the generation of non-trivial deformed first-level gauge transformation for vector gauge parameter (
150) for the interacting massless vector and scalar fields with massive
fields. We stress, following the
Appendix D results, that imposing only traceless constraints on fields and gauge parameters (
A47) represents the necessary but not sufficient condition for the consistency of deformed (on cubic level) Lagrangian dynamics for interacting higher spin fields with spins
within a constrained BRST approach. In addition to BRST closeness, one should validate the traceless conditions for the cubic vertices (
A59) that guarantee the preservation of Poincare group irreducibility for the interacting higher spin fields in question. Without it, the number of physical degrees of freedom, which is determined by one of the independent initial data for the equations of motion (partial differential equations) due to (
A63) for the interacting model is different than one from that for the undeformed model with vanishing traceless constraints evaluated on respecting equations of motion.
To illustrate the generic cubic vertices solutions we have also elaborated a number of examples of the interacting Lagrangian for the unconstrained fields with special value of spins. The basic results were achieved with cubic interactions for triple fields with
,
,
in
Section 5.1.1 on the basis of
Appendix A for different Lagrangian formulations of free massive higher-spin field from BRST representation and
Appendix B for respective interacting components and tensor representations. The resulting interacting model is given in ghost-independent (
123)–(
125) and tensor (
127) representations with deformed gauge transformations for the massless scalars (
128), (
A35), (
A36) and untouched for massive higher-spin field. An application of the gauge-fixing procedure admissible from the free formulations permit to present the interacting Lagrangian both in triplet tensor form (
132), (
A16) with off-shell traceless constraints (
A15) with interacting action depending on 2 sets of fields with irreducible deformed gauge transformations (
137), (
138), then in the tensor form (
136) with only massless scalars
,
, basic massive field
and set of auxiliary fields
and in ungauged form for only a quartet of unconstrained fields
,
,
, (
139), (
140), (
A22), or in terms of double-traceless initial and traceless auxiliary tensor fields. This result appears by a new one and is explicitly demonstrated by the interacting action (
141) for massive spin
field. The example on the stage of triple and singlet fields formulations admit a massless limit, so that for the triple of fields
,
,
we obtain a non-trivial cubic vertex with deformed gauge transformations for the scalars according to [
57]. The ghost-independent forms for the interacting Lagrangian formulations have been developed also for the set of four triples: [
,
] for
; [
,
,
] and for the massless scalar with a massive scalar and massive field of spin
with coinciding masses [
,
,
]. The interacting first-stage reducible Lagrangian for the fields with [
,
,
] are given by (
145), (
146) whereas the deformed part of the gauge transformations in (
147)–(
148) for massless vector and scalar and for massive tensor component (
149), (
A41)–(
A46). The cubic vertex for two massless vectors and massive
tensor was presented by the relations (
151)–(
154). For the case fields with [
,
,
] the cubic vertex, interacting Lagrangian and deformed reducible gauge transformations for only the scalars are given by (
159), (
160), (
161) and (
162), (
163), respectively. Note, the interaction of the massless field of helicity
with massless and massive scalars are trivial (
155) which, however, vanishes after passing to the Fronsdal (single-field) formulation. We stress, that there are no terms in any obtained interacting vertices, and therefore, in the interacting part of the action with divergences by construction. It means that on mass-shell after gauge-fixing determined by the Lorentz-like or (in general,
-type, see e.g., [
58]) gauge to derive the non-degenerate quantum action for the interacting model in question the vertices do not vanish.
There are many possibilities to apply and to develop the suggested method. Among them, we can highlight a finding cubic vertices, first, for irreducible massless and for massive half-integer higher spin fields on flat backgrounds, second, for mixed-symmetric higher spin fields, third, for higher spin supersymmetric fields, where in all cases the vertices should include any powers of traces. The construction in question may be generalized to determine cubic vertices for irreducible higher spin fields on anti-de-Sitter spaces, having in mind the bypassing of a flat limit absence for many of the cubic vertices in the formulation [
59,
60], because of one-to-one correspondence of cubic vertices in flat and anti-de-Sitter spaces in the Fronsdal formulation demonstrated for specific cases in [
61] and more generally in [
26,
62]. In this way, we may use the ambient formalism of embedding
d-dimensional anti-de-Sitter space in
-dimensional Minkowski space [
63] (see, as well [
64] and references therein) to uplift obtained covariant cubic vertices in anti-de-Sitter space.
In this connection, it is appropriate to point out some features of the BRST construction for higher spins in the (A)dS space in comparison with the Minkowski space. Here, we should stress that the description of irreducible representations for the (A)dS group with both integer and half-integer spins in (A)dS space is completely different as compared with ones for the Poincare group in flat space-time even for free theories. In all known cases, the Lagrangian constructions for the same higher spin field obtained within the constrained (incomplete) BRST approach with additional non-differential constraints and within approach with complete BRST operator do not coincide. The Lagrangian formulations for both integer and half-integer spins in AdS spaces in the BRST approach with a complete BRST operator, has been successfully formulated for massless and massive particles of integer spins in [
39,
65] (recently for mixed-symmetric case [
66]) and for massive particles of half-integer spins in [
67]. Problems related to the approach using an incomplete BRST operator have not been discussed in detail even for a free field of a given higher spin.
One should also note the problems of constructing the fourth and higher vertices and related various problems of locality (see the discussion initiated in [
68], then in [
69,
70,
71] with recent analysis [
72] and also [
73,
74,
75,
76]), where the BRST approach can possibly be useful. The construction and quantum loop calculations with the BRST quantum action for the models with derived cubic vertices can be realized within the BRST approach following to [
58]. We plan to address all of the mentioned problems in the forthcoming works.