Abstract
In this work, we investigate the BRST quantization of the massive \({\mathcal {N}}=4\) supersymmetric spinning particle, with a twofold purpose: exploring different approaches to give mass to spinning particle models and formulating a first-quantized theory for massive gravity on both flat and curved spacetime. The main contribution of this study is the development of a worldline formulation of the linear theory of massive gravity, namely of the Fierz–Pauli theory, on a curved spacetime; such a theory describes the propagation of massive spin 2 particle on a non-flat background. Our results suggest that achieving the nilpotency of the BRST charge requires an Einstein spacetime with vanishing cosmological constant as the only viable consistent background. In the course of the analysis, we take the \({\mathcal {N}}=2\) supersymmetric worldline as an exemplificative model, correctly producing the Proca theory on curved spacetime. Our analysis shows that the associated BRST system uniquely selects the minimal coupling to the background curvature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The theory of General Relativity (GR) has been the subject of modification attempts since the early years following Einstein’s formulation. Despite the considerable success of GR in the description of fundamental aspects of our reality, several phenomena persist unexplained, prompting the study of new physics. An intriguing modification of gravitational theories suggests that gravity is propagated by a massive spin 2 particle: a massive graviton. The question of whether the graviton possesses mass remains an unresolved inquiry to date. From an experimental point of view, insights into the graviton mass can be gleaned from different observations, such as the propagation of gravitational waves and solar system measurements [1]. Similarly, purely theoretical investigations can also contribute to gaining deeper insights. Within the framework of low-energy effective field theories (EFT), the parameter space of massive gravity theories can be significantly constrained. Indeed, the underlying theory in the UV must respect fundamental properties such as unitarity, causality, and locality, leading to the so-called “positivity bounds” [2]. These bounds have important implications for the graviton mass scale, which can be studied after the formulation of a non-linear massive gravity theory, as we will elaborate on later. The upshot of the discussion is that the prospect of a massive graviton is far from being dismissible and would entail profound consequences. This may be the reason for the enduring history of theoretical explorations dedicated to this possibility. The first theory of massive gravity dates back to 1939 when Fierz and Pauli proposed a relativistic action for a massive spin 2 particle on flat spacetime which is now known as Fierz–Pauli (FP) theory [3, 4]. While appearing deceptively simple in its formulation, the theory already reveals the roots of several issues that have consistently plagued every effort to improve massive gravity beyond the linear level. Specifically, two primary obstacles arise: the vDVZ discontinuity [5, 6], namely the different predictions between linear GR and the FP theory in the massless limit, and the presence of a Boulware–Deser (BD) ghost, an extra degree of freedom which inevitably appears at the non-linear level [7]. To this date, only a promising non-linear theory of massive gravity free from the DB ghost instability has been formulated, which is known as dRGT theory [8,9,10]. Within this new framework, several studies have explored the implications of positivity bounds for the graviton mass, see e.g. [11,12,13], establishing lower bounds on the spin 2 mass. When combined with the aforementioned observational constraints, these findings seemingly rule out the dRGT theory. Subsequent research has provided refinements and clarifications regarding this matter, constraining the parameter space of dRGT massive gravity to a small island [14,15,16,17]. Recent argumentsFootnote 1 suggest that the validity of this EFT is further constrained to an even smaller region [18, 19]. The reader interested in massive gravity theories may refer to excellent reviews for a comprehensive exploration of these subjects [20,21,22].
This paper represents the first attempt to contribute to the ongoing investigation from an alternative perspective by employing a worldline approach [23]. The primary goal is to achieve a first-quantized description of massive gravity. To this end, we exploit the first-quantized models known as \(O({{\mathcal {N}}})\) spinning particles. These are mechanical models with \({{\mathcal {N}}}\) local supersymmetry on the worldline that have been shown to describe, on Minkowski, a spin \(s=\frac{{{\mathcal {N}}}}{2}\) particle in first quantization and constitute an alternative to conventional second-quantized field theories in the study of quantum field theory (QFT) [24,25,26,27,28,29,30,31,32,33]. In recent years, considerable effort has been invested in exploring the consistent coupling of the spinning particles to more general backgrounds beyond flat spacetime. It was shown in [27] that for \({{\mathcal {N}}}>2,\) worldline supersymmetry transformation rules leave the spinning particle action invariant only if the target spacetime is flat. Subsequent progress was made in [34] and in [30], where it was established how to couple the spinning particle to (A)dS spaces and arbitrary conformally flat spaces respectively. A significant advance has been recently achieved realizing that the technique of BRST quantization – originally developed in the context of the path integral quantization of Lagrangian gauge theories [35] – provides a way to investigate different backgrounds rather efficiently. An appealing aspect of BRST quantization relies on the automatic generation of the complete spectrum of spacetime fields essential for the Batalin–Vilkovisky (BV) quantization of the corresponding spacetime quantum field theory [36, 37]. The BRST quantization of the spinning particle models led to a first-quantized description of Yang–Mills theory from the \({{\mathcal {N}}}=2\) spinning particle [38] and Einstein gravity from the \({{\mathcal {N}}}=4\) spinning particle [39]. The latter analysis showed quantum consistency in coupling the model to a more general set of backgrounds, namely to Einstein spaces. Furthermore, this formalism has been extended to include the NS-sector of supergravity in [40].
In this work, we intend to apply this procedure to reproduce linearized massive gravity (LMG) on both flat and curved spacetime. As a warm-up, we address the case of the massive \({{\mathcal {N}}}=2\) spinning particle and its connection to the Proca theory. This preliminary investigation serves a dual purpose: introducing the relevant methodologies and exploring the potential impact of the mass as an obstruction to the BRST algebra. One viable approach to incorporate a mass term is the Scherk–Schwarz mechanism [41], which entails a dimensional reduction of the massless model. Recently, another method has been developed consisting of the introduction of auxiliary oscillators describing the internal degrees of freedom of the spinning particle [42]. In this work, both methods are employed to confer mass to the graviton on a flat background, allowing for an in-depth exploration of the main features of the massive \({{\mathcal {N}}}=4\) supersymmetric worldline theory. Notably, these two approaches appear to yield different outcomes, with the first method providing the correct BV spectrum and field equations of linearized massive gravity. Conversely, the second approach encounters difficulties already at the initial stage. Subsequently, we attempt to couple the model to a generic curved background, and our findings suggest that the nilpotency of the BRST charge requires the background to be Einstein with cosmological constant set to zero.
The paper is organized as follows. In Sect. 2 we outline the main features of the \(O({{\mathcal {N}}})\) massless spinning particle models, providing the basis for the upcoming analysis. Section 3 provides an overview of the BRST quantization procedure, with emphasis on the first-quantized massless graviton both on flat and curved spacetime. In Sect. 4 we discuss how to confer a mass to a spinning particle model. We begin by taking the \({{\mathcal {N}}}=2\) spinning particle as an illustrative example to elucidate the role of the mass in the BRST algebra, showing that the model correctly reproduces the Proca theory on a general background. We then proceed to give a mass to the graviton and check whether the theory correctly reproduces that of Fierz–Pauli. Finally, in Sect. 5 we attempt to couple the model to a generic curved background, establishing the consistency of the BRST quantization exclusively on a subset of viable spacetimes. Conclusions and possible outlooks are presented in Sect. 6.
2 \(O({{\mathcal {N}}})\) massless spinning particles
The so-called \(O({{\mathcal {N}}})\) spinning particles represent prominent examples where gauge symmetries allow for a manifestly Lorentz covariant formulation. This, in turn, gives rise to a constrained Hamiltonian system with first-class constraints [43]. These kinds of constraints, denoted as \(C_\alpha \) (with \(\alpha \) spanning the number of constraints), satisfy upon quantization a graded algebra of the formFootnote 2
with some structure functions \(f_{\alpha \beta }{}^{\gamma }.\) The phase space action of such models depends on the particle spacetime coordinates \(x^\mu \) together with \({\mathcal {N}}\) real fermionic superpartners \(\Xi ^\mu _I\) introduced to describe the spin degrees of freedom. In the case of a flat d-dimensional target spacetime, the action is given byFootnote 3
where a dot indicates a contraction of the internal indices. The theory described by (2.2) should be regarded as a one-dimensional field theory living on the worldline, which provides a first-quantized description of relativistic particles of spin s. A few remarks regarding its field content are in order.
The canonical coordinates \((x^\mu , p_\mu , \Xi ^\mu _I)\,\) upon quantization are subject to the canonical commutation relations (CCR)
The worldline supergravity multiplet in one dimension \((e,\chi ^I, a_{IJ})\) contains the einbein e which gauges worldline translations, the \({{\mathcal {N}}}\) gravitinos \(\chi \) which gauge the worldline supersymmetry, and the gauge field a for the symmetry which rotates by a phase the worldline fermions and gravitinos, the R-symmetry. In (2.2) they act as Lagrange multipliers for the suitable first-class constraints, which are the Hamiltonian H, the supercharges \(q_I,\) and the R-symmetry algebra generators \(J_{IJ},\) choosing a specific order for the latter to avoid ambiguities
Hamiltonian and supercharges together form the following one-dimensional algebra:
These constraints have to be introduced to ensure the mass-shell condition and to eliminate negative norm states, ensuring the consistency of the model with unitarity at the quantum level [33]. On the other hand, regarding the aforementioned R-symmetry algebra one finds:
The gauging of the R-symmetry group is optional and can be used to constrain the model to deliver pure spin s states and have the minimal amount of degrees of freedom: to count them, one can construct the path integral on the one-dimensional torus of the free spinning particles, which has been achieved for all \({{\mathcal {N}}}\) in [44]. Equations (2.5) together with (2.6) form the so-called \(O({{\mathcal {N}}})\)-extended worldline supersymmetry algebra: it displays \({{\mathcal {N}}}\) supercharges \(q_I\) which close on the Hamiltonian H and which transform in the vector representation of \(SO({{\mathcal {N}}}),\) whose Lie algebra is described by the second line of (2.6). In the following, we will refer only to (2.5) as “\({{\mathcal {N}}}\) SUSY algebra”, since it will be appropriate to distinguish the two algebras in light of the future BSRT procedure. It is rather convenient to work with a complex redefinition of the original fermionic variables \(\Xi _I\rightarrow (\xi _i, {\bar{\xi }}^i),\) namely
for the case of even \({{\mathcal {N}}},\) i.e. for particles with integer spin. The respective CCR (2.3) become
Accordingly, both the supercharges and the R-symmetry generators split under the complex redefinition: we report the explicit expressions for the particle models of interest, namely the spin one and the spin two. By choosing a specific Fock vacuum, an arbitrary state \(\mathinner {|{\Psi }\rangle }\) in the Hilbert space is isomorphic to the wavefunction \(\Psi (x,\xi ),\) on which the conjugated momenta act as derivatives
Thus, for the case \({{\mathcal {N}}}=2,\) the spin one model, one has the splitting \(q_I \rightarrow (q, {\bar{q}})\) and \(J_{IJ} \rightarrow \text {J}\) as follows
where the shift \(-\tfrac{d}{2}\) in the definition of the R-symmetry generator is a quantum effect stemming from an antisymmetric ordering for the Grassmann variables [45]. For the \({{\mathcal {N}}}=4\) case, the spin two, one has \(q_I \rightarrow (q_i, {\bar{q}}^i)\) and the SO(4)-symmetry generators are realized maintaining manifest covariance only under a u(2)-subalgebra \(J_{IJ} \rightarrow (\text {J}_i{}^j, \text {Tr}^{ij}, \text {G}_{ij}),\) explicitly realized asFootnote 4
Note that the only surviving components of the \(\text {Tr}\) and \(\text {G}\) operators are those with \(i \ne j.\)
3 BRST quantization
There are at least two methods for dealing with first-class constraints and constructing canonical quantization of gauge systems: the Dirac method and the BRST quantization. In the former approach, the procedure entails turning the constraints into operators \(\hat{C}_\alpha \) and imposing that an element \(\mathinner {|{\Psi }\rangle }\) of the Hilbert space is physical if it gets annihilated by the constraint operators, i.e.
This procedure has been extensively employed in [30, 32] to quantize both massless and massive spinning particle models. It is a relatively straightforward and powerful method, however, its application fails when the constraints algebra ceases to be first-class. These considerations eventually led to the BRST analysis of [38,39,40], which is reviewed in the following to delineate the main steps of the quantization procedure, with the intention of applying them to the massive case.
Take the \({{\mathcal {N}}}=4\) spinning particle with a four-dimensional target space as an instructive example. The internal indices take values \(i=1,2\) and the \({{\mathcal {N}}}=4\) worldline SUSY algebra is explicitly realized as
The initial step of the BRST procedure entails an enlargement of the Hilbert space to realize ghost–antighost pairs of operators \((g^\alpha , P_\alpha )\) associated with each constraint \(C_\alpha ,\) with opposite Grassmann parity of the latter – that is, anticommuting ghosts for bosonic constraints and commuting ghosts for fermionic constraints – and canonical graded commutation relation
Hence, we assign the fermionic pair (c, b) to the Hamiltonian, and the bosonic superghost pairs \(({\bar{\gamma }}^i, \beta _i)\) and \((\gamma _i,{\bar{\beta }}^i)\) to the supercharges \(q_i\) and \({\bar{q}}^i\,\) respectively, obeying
with ghost number assignments
The second step consists of constructing the BRST operator \({{\varvec{\mathcal {Q}}}}.\) It is realized as follows
where \(\epsilon (g_\beta )\) is the Grassmann parityFootnote 5 of the ghost \(g^\beta .\) Equation (3.7) is exact if the structure functions \(f_{\alpha \beta }{}^{\gamma }\) are constant, and can be derived by demanding the following properties for the BRST operator:
-
It has to be anticommuting and of ghost number \(+1.\)
-
It has to act on the operators, corresponding to the original phase space variables prior to quantization, as the gauge transformations with the ghost variables replacing the gauge parameters. This, together with the latter requirement, is enough to constraint the structure to be \({{\varvec{\mathcal {Q}}}}=g^\alpha C_\alpha + \cdots \)
-
Finally, the BRST charge has to be nilpotent. This determines the second structure of (3.7) as can be checked by direct computation of \(\{{{\varvec{\mathcal {Q}}}},{{\varvec{\mathcal {Q}}}}\}.\)
Note that the BRST charge is nilpotent by construction as long as the associated algebra is first-class. In more general cases, higher-order terms may appear and need to be determined by the nilpotency condition. Given its significance for future discussions, we shall show it for the case of the \({{\mathcal {N}}}=4\) spinning particle. The BRST operator associated with the first-class algebra (3.2) is
To verify its nilpotency, it is first convenient to define \(\varvec{\nabla }:=\gamma \cdot {\bar{q}}+{\bar{\gamma }} \cdot q,\) such that for any operator of the form (3.8) one always finds the following potential obstruction-terms to its nilpotency
which are vanishing in the present case since
Notice the critical role played by the presence of the first-class algebra (3.2) in both the cancellation of (3.9) and of (3.10). The same does not hold anymore in more general cases. In the next section, we will illustrate how to address this issue.
The careful reader might wonder about the absence of a set of ghosts associated with the so(4) constraints. The key idea of the BRST procedure, as first developed in [38] providing a first-quantized description of the gluon, is to treat the R-symmetry constraints and the SUSY ones on different footings. The formers are imposed as constraints on the BRST Hilbert space, thus defining precisely the general dependence of the “string field” \(\Psi \) on the spacetime fields content.Footnote 6 It is within this restricted Hilbert space that the cohomology of the BRST charge has to be studied. The procedure remains consistent as long as the R-symmetry constraints (2.11) commute with the BRST charge: in order to achieve that, it is necessary to extend \((\text {J}, \text {Tr}, \text {G})\rightarrow ({\mathcal {J}}, {{{\mathcal {T}}}\!r}, {\mathcal {G}})\) as follows
The relevant so(4) generators to be imposed as constraints on the BRST Hilbert space are the two number operators \({\mathcal {J}}_i:={\mathcal {J}}_i{}^i\) (i not summed), namely the diagonal entries of \({\mathcal {J}}_i{}^j,\) the Young antisymmetrizer \({\mathcal {Y}}:={\mathcal {J}}_1^2,\) and finally the trace \({{{\mathcal {T}}}\!r},\) which implement the maximal reduction of the model. We collectively denote these constraints as \({\mathcal {T}}_\alpha :=({\mathcal {J}},{\mathcal {Y}},{{{\mathcal {T}}}\!r}).\) The BRST system is defined as follows
and its consistency is ensured by \([{{\varvec{\mathcal {Q}}}},{\mathcal {T}}_\alpha ]=0.\) This is indeed equivalent to saying that we are studying the cohomology of \({{\varvec{\mathcal {Q}}}}\) on the restricted Hilbert space of fixed R-charge defined by \({\mathcal {H}}_{\text {red}}:=\ker {\mathcal {T}}_\alpha .\) The system above will serve as the starting point for BRST quantization in both the massless and massive cases.
3.1 Massless graviton on a flat spacetime
The ghost vacuum \(\mathinner {|{0}\rangle }\) is chosen such that it is annihilated by \((b,{\bar{\gamma }}^i,{\bar{\beta }}^i)\) as in [39], so that a general state \(\mathinner {|{\Psi }\rangle }\) in the BRST extended Hilbert space is isomorphic to the wavefunction \(\Psi (x,\xi \,|\,c,\gamma ,\beta ),\) on which the antighosts act as derivatives, i.e.
In the following, we collectively denote the ghost oscillators as \({\mathfrak {g}}:=(c,\gamma ,\beta ).\) The BRST operator, making explicit the d’Alembertian \(\Box =\eta ^{\mu \nu }\partial _\mu \partial _\nu \) while adjusting the coefficients, acts as
while, regarding the so(4) generators
where we have explicitly expressed the number operators, counting the number of oscillators with a fixed flavor index, and where we solved ambiguities in the definition of \({\mathcal {J}}_i\) by choosing a symmetric ordering for the ghosts.
It is useful for future reference to highlight the intermediate steps of the calculation. The first condition imposed by \(\Psi \in {\mathcal {H}}_{\text {red}},\) namely \({\mathcal {J}}_i \mathinner {|{\Psi }\rangle }=0,\) significantly reduces the components of \(\Psi (x,\xi \,|\,{\mathfrak {g}})\) to
The latter expression is essentially a Taylor expansion in powers of c taking the form \(\Psi =\chi +\chi ^{*}c,\) where both terms \(\chi \) and \(\chi ^{*}\) of the wavefunction contain oscillators and spacetime-dependent field components. Requiring the entire wavefunction to have fixed Grassmann parity and fixed ghost number forces the field components in \(\chi ^{*}\) to have opposite parities and ghost numbers decreased by one compared to those in \(\chi .\) It is important to note that we are not yet in the position to correctly identify (anti)fields: we first need to reduce \(\Psi \) to include only the BV spectrum of the theory. Imposing the two remaining conditions we obtain
together with \(a_{\mu \nu }=a_{\nu \mu }\) using \({\mathcal {Y}}\mathinner {|{\Psi }\rangle }=0,\) while from \({{{\mathcal {T}}}\!r}\mathinner {|{\Psi }\rangle }=0\) we get
Now we can indeed interpret \(\Psi \) as a spacetime BV string field, that contains the whole minimal BV spectrum of pure gravity along with auxiliary fields: we assign Grassmann parity and ghost number to the component fields such that the entire wavefunction \(\Psi \) has total even parity and ghost number zero. It becomes explicit with the following identifications for the fields
and for the corresponding antifields
Grassmann parities and ghost numbers can be read from Table 1. The most general state in \({\mathcal {H}}_{\text {red}}\) is then
It contains the graviton \(h_{\mu \nu }\) and its trace h, an auxiliary vector field \(v_\mu ,\) and the diffeomorphism ghost \(\zeta _\mu ,\) while the remaining components are the corresponding antifields.
The final step involves evaluating the field equations of the theory, to verify that the model correctly reproduces a first-quantized representation of linearized gravity. This can be accomplished through the BRST closure equation
at ghost number zero, which produces the massless free spin two field equation
and
which implies a vanishing linearized Ricci scalar. To conclude this section, one is left to verify the accurate reproduction of the gauge symmetry: this is achieved from the ghost number zero part of
where \(\Lambda \in \ker {\mathcal {T}}_\alpha \) contains the gauge parameters of the associated symmetry while having the same functional form as \(\Psi ,\) with overall odd parity and ghost number \(-1,\) i.e.
where the gauge parameter \(\varepsilon _\mu \) has even parity and ghost number zero. As expected, the result is
For future reference, the closure equation at ghost number one is reported below:
Equations (3.28) represent a set of equations of motion for the diffeomorphism ghost \(\zeta _\mu (x).\)
3.2 Massless graviton on a curved background
The consistent coupling of the spinning particles to more general backgrounds beyond flat spacetime is a rather delicate matter [48]. In previous works, a quantization à la Dirac has been extensively employed. However, when the SUSY algebra fails to be first-class this method loses its validity, potentially leading to the misleading conclusion that quantization is not feasible in more general cases. This limitation was evident in the case of the \({{\mathcal {N}}}=4\) spinning particle, for which only certain restricted backgrounds were found to be viable until it was realized that the technique of BRST quantization offers a way to explore more general backgrounds, as recently discussed in [49, 50]. In this section, we review the exploration of such possibility.
The coupling of the massless \({{\mathcal {N}}}=4\) spinning particle to a curved background with metric \(g_{\mu \nu }(x)\) is realized by the covariantization of the derivatives, i.e.
where fermions carry flat Lorentz indices so that \(\xi ^\mu _i:=e^\mu _a(x)\,\xi ^a_i,\) introducing a background vielbein \(e_\mu ^a(x)\) and the torsion-free spin connection \(\omega _{\mu \, ab}.\) The covariant derivative operator \({\hat{\nabla }}_\mu \) reproduces the effect of the usual covariant (partial) derivative \(\nabla _\mu \) \((\partial _\mu )\) on the tensorial (scalar) components contained in the wavefunction (3.21), e.g.
The presence of a general background manifests itself as deformations of the original BRST system: indeed the supercharges become
The main consequence is that the SUSY algebra does not close anymore:Footnote 7
where the Laplacian is defined as
The BRST operator needs to be deformed as well, requiring the construction of an ansatz due to the fact that the associated algebra is no longer first-class. The general approach involves considering the same general form (3.8), but with the inclusion of more general terms accounting for the obstruction to the first-class character of the associated algebra, namely the curvature in the present case. Therefore, possible non-minimal couplings to the curvature, collectively denoted as \(\Re ,\) must be incorporated inside the Hamiltonian. These couplings may act as obstructions to the nilpotency of the BRST operator, and the BRST analysis aims to determine which of these terms persist to ensure a nilpotent \({{\varvec{\mathcal {Q}}}}.\) Avoiding higher powers of ghost momenta and assuming that derivatives are deformed only through minimal coupling, the ansatz for the BRST charge is
where \({\mathcal {D}}\) is the deformed Hamiltonian in its operatorial form
with \(\kappa \) a coefficient to be determined, and the \(\varvec{\nabla }\) operator has been conveniently redefined as
Note that only the so(4) constraints \({{\mathcal {T}}}_\alpha \) (3.15) remain unchanged, therefore the wavefunction \(\Psi (x,\xi \,|\,{\mathfrak {g}})\) is still expressed as in (3.21).
The BRST analysis starts with the general expression for \({{\varvec{\mathcal {Q}}}}^2,\) namely the extension of its flat spacetime counterpart (3.9) with adjusted coefficients:
which remains valid regardless of the specific spinning particle model coupled to a general curved background. In general, (3.37) includes two independent obstructions, which in this case are given by
Recall that the BRST cohomology is defined on the reduced Hilbert space \({\mathcal {H}}_{\text {red}},\) that is, one needs to evaluate the obstructions on \(\ker {{\mathcal {T}}}_\alpha .\) Therefore, for the sake of the cohomology, it suffices to ensure nilpotency of the BRST charge when acting on the physical sector of the theory:
The effect is for instance that any contribution with at least three barred oscillators is set to zero. Equations (3.38)–(3.39) get then reduced to
The conclusion is that the nilpotency of the BRST charge, in the massless case, is achieved only on Einstein manifolds, i.e.
upon setting \(\kappa =\tfrac{1}{2}.\) Let us clarify this crucial point for the upcoming discussion: while the obstruction given in (3.42) vanishes by itself on Einstein spaces, the one in (3.41) is zero only when acting on the physical sector:
The closure equation evaluated using the deformed BRST charge yields the correct field equations for a masslessFootnote 8 graviton on Einstein spaces, namely
together with
The correct gauge symmetry \(\delta h_{\mu \nu }=2\nabla _{(\mu }\varepsilon _{\nu )}\) is obtained as well.
4 Giving mass to the graviton
In this section, we present two methods to confer a mass to a spinning particle model. The first one, the Scherk–Schwarz mechanism, is analogous to the Kaluza–Klein compactification. In the second method, the auxiliary oscillators approach, the model is treated as a truncation of the RNS open superstring [52]. We employ both methods to give mass to the graviton on a flat background and subsequently discuss the results. However, before delving into the graviton case, we begin by examining the \({{\mathcal {N}}}=2\) scenario, in order to introduce the techniques and investigate the role of the mass as a potential obstruction to nilpotency of the BRST charge.
4.1 \({{\mathcal {N}}}=2\) massive spinning particle and the Proca theory
The massless \({{\mathcal {N}}}=2\) spinning particle has been thoroughly examined in previous works, leading to a first-quantized description of massless antisymmetric tensor fields of arbitrary rank [24,25,26,27,28]. It has been shown how to provide a first-quantized description of the photon both on a flat and on a curved spacetime [45, 50]. Additionally, the coupling to a non-abelian background has been explored, reproducing the non-linear Yang–Mills equations [38] upon BRST quantization.
The massive scenario has undergone investigation as well: the procedure à la Kaluza–Klein has been implemented in [25, 53] where it has been shown how to embed the model in an arbitrary curved spacetime background. This has allowed for the utilization of this model in the context of worldline quantum field theory formalism, particularly in modeling classical scatterings of compact objects in general relativity (see [54, 55] and related literature). More recently, the coupling to both an abelian and a non-abelian vector background field has been investigated in [42], where the authors first introduced the auxiliary oscillators approach.
4.1.1 Mass improvement on flat spacetime
The main features of the \({{\mathcal {N}}}=2\) model can be immediately derived from Sect. 2 by setting \(I=1,2.\) For a comprehensive analysis of the action, the first-class algebra, and the canonical quantization, we direct the reader to [53]. In this work, we will provide a concise overview of the essential elements of the BRST quantization of the massive case on flat and, most notably, on curved background as a toy model for the subsequent analysis, which is not covered in the literature mentioned above.
The procedure consists of starting with the massless theory formulated in one dimension higher, and subsequently reducing the dimensionality of the target space through the introduction of suitable constraints [32]. We consider the model to live in a flat spacetime of the form \({\mathcal {M}}_d\times S^1\) of \(D=d+1\) dimensions with coordinates and worldline superpartners given by
with the index splitting \(M=(\mu , D).\) The idea is to gauge the compact direction \(x^D,\) corresponding to \(S^1,\) by imposing the first-class constraint
This results in the phase space action (2.2) having a leftover term \(\sim \dot{x}^D,\) which can be regarded as a total derivative and thus dropped. The CCR (2.3) are realized explicitly as
with the other (anti)commutators being zero. The \({{\mathcal {N}}}=2\) SUSY constraints get modified by the presence of the mass, taking the form
while the R-symmetry generator (2.10) becomes
Together they still satisfy the same \({{\mathcal {N}}}=2\) supersymmetry algebra despite the mass improvement
which successfully remains first-class. Note the key role played by the surviving fermionic coordinates coming from the extra dimension \(\theta :=\xi ^D\) and \({\bar{\theta }}:={\bar{\xi }}^{D},\) which are responsible for the introduction of the mass term into the theory. Indeed, in the limit where \((\theta , {\bar{\theta }}) \rightarrow 0\) the massless theory must be recovered as a consistency check.
At this point, the BRST quantization on a four-dimensional flat spacetime proceeds smoothly, just as described for the \({{\mathcal {N}}}=4\) case. Upon enlarging the Hilbert space to realize the set of ghost operators \((c, {\bar{\gamma }}, \gamma )\) with relative momenta \((b,\beta , {\bar{\beta }})\) as in (3.4), the BRST charge is constructed as usual
and the so(2) constraint has to be extended to include ghost contributions as follows
with the usual prescription employed to resolve ambiguities. Nilpotency of \({{\varvec{\mathcal {Q}}}}\) is still guaranteed, despite the mass improvement, since the associated algebra is first-class
and the BRST system is consistent since \([{{\varvec{\mathcal {Q}}}},{\mathcal {J}}]=0.\) The physical sector is defined as the eigenspace of \({\mathcal {J}}\) with a fixed R-charge \(-\tfrac{1}{2},\)Footnote 9 i.e. physical states are eigenstates \({\mathcal {J}}\mathinner {|{\Psi }\rangle }=-\tfrac{1}{2}\mathinner {|{\Psi }\rangle }\) and are isomorphic to wavefunctions
Requiring \(\Psi \) to be Grassmann-odd and have ghost number zero, it can be interpreted as a spacetime BV string field displaying the complete minimal BV spectrum of the Proca theory along with an auxiliary field. The Grassmann parities and ghost numbers of the components can be found in Table 2. In contrast to the massless case, the physical fields include not only the massive spin one \(A_\mu \) but also the Stückelberg scalar \(\varphi .\) The inclusion of the Stückelberg scalar becomes necessary to restore the U(1) gauge symmetry [56], which is broken due to the introduction of the mass. Notably, the spectrum also includes the associated scalar ghost \(\Phi \) in the spectrum.
The field equations, upon solving for the auxiliary field, are
which are indeed the Proca field equations with the scalar \(\varphi (x)\) playing the role of Stückelberg field, while the gauge symmetry, from \(\delta \Psi ={{\varvec{\mathcal {Q}}}}\Lambda \) with
is
where \(\Sigma (x)\) is a local gauge parameter, of even parity and with ghost number zero. The same conclusions hold when employing the auxiliary oscillators approach, although it is not explicitly shown here. The subsequent analysis will elaborate on the limitations of this approach in the context of the graviton case.
4.1.2 Mass obstruction on curved spacetime
We are finally in the position to investigate whether the presence of the mass plays a role when a curved background is considered, generalizing the massless BRST analysis of [50]. The coupling of the massive \({{\mathcal {N}}}=2\) spinning particle to gravity is realized by the covariantization of the reduced model just discussed, with the mass already present in the theory. The supercharges are then deformed as follows
Unlike the situation with the \({{\mathcal {N}}}=4\) spinning particle (3.32), the \({{\mathcal {N}}}=2\) algebra (4.6) remains first-class regardless of a particular background, upon a suitable redefinition of the Hamiltonian
Indeed, the SUSY algebra takes the form
where the vanishing of the top-right commutators is guaranteed by the cyclic identity for the Riemann tensor. The corresponding BRST operator is defined as usual \({{\varvec{\mathcal {Q}}}}=c\,{\mathcal {D}}+\varvec{\nabla }+{\bar{\gamma }} \gamma \,b,\) with potential obstructions incorporated into the definition of \(\varvec{\nabla }\) with respect to the massless case:
The existence of an associated first-class algebra (4.17) ensures the nilpotency of the BRST operator without any further conditions on the background metric,Footnote 10 which is expected from QFT considerations. While this has been already established for the massless case, the same holds even in the massive one, as the mass does not affect the algebra, as we now shall work out explicitly. Starting from the general expression
one finds the following independent obstructions
In the present case, evaluating the BRST cohomology on the reduced Hilbert space, \(\ker {\tilde{\mathcal {{\mathcal {J}}}}},\) has the effect of setting to zero any obstruction of the form \({\mathcal {O}}^{AB}{\bar{Z}}_A{\bar{Z}}_B\) with \({\mathcal {O}}^{AB}\) arbitrary operators since an arbitrary state in the physical sector has the form
This is enough to conclude that indeed
without further conditions on the background; in other words, the massive \({{\mathcal {N}}}=2\) spinning particle can be coupled to off-shell gravity. Remarkably, the mass plays no role in the BRST algebra, as it is trivially canceled in (4.20) and commutes with any operator inside (4.21) being constant. It is worth noting that introducing a term proportional to the Ricci curvature inside the Hamiltonian (4.16) \({\mathcal {D}}\rightarrow {\mathcal {D}}+\kappa R,\) would force \(\kappa \) to be zero (either that or a vanishing Ricci scalar \(R=0\)). This is dictated by the BRST algebra (4.20)–(4.21), as any term of that form is incompatible with the closure of the \({{\mathcal {N}}}=2\) SUSY algebra (4.6). Interestingly, the \({{\mathcal {N}}}=2\) spinning particle appears to select only the minimal coupling to the background, as we shall check from the equations of motion. From the closure equation \({{\varvec{\mathcal {Q}}}}\Psi =0,\) one finds
which, upon eliminating the auxiliary field, yield
Equations (4.27)–(4.28) represent the field equations of the Proca theory on a general curved spacetime in its Stückelberg formulation. In particular, the \({{\mathcal {N}}}=2\) spinning particle provides a first-quantized version of the minimal extension for a theory of a free massive vector field in curved spacetime, without the inclusion of possible non-minimal couplings to the background in the corresponding spacetime quantum field theory [57, 58]. Their absence is attributed to the reasons previously discussed. As a final note, the gauge symmetry, using (4.13), reads
4.2 \({{\mathcal {N}}}=4\) massive spinning particle and linearized massive gravity
In the remainder of this section, the methods previously discussed are exploited to give a mass to the graviton, considering a flat target spacetime for the time being.
4.2.1 Dimensional reduction approach
The first method proceeds along the lines of what has been shown for the \({{\mathcal {N}}}=2\) case, namely through the reduction of the higher-dimensional massless model. The fermionic coordinates carry a flavor index
with CCR
The same applies to the SUSY constraints (2.4)
that satisfy the same first-class algebra
despite the mass improvement. Regarding the so(4) symmetry constraints, Eq. (2.11) become
At this point, the BRST quantization proceeds as outlined in Sect. 3, with the BRST system defined by (3.12). The BRST operator (3.14) takes the usual form when acting on wavefunctions \(\Psi (x,\psi ,\theta \,|\,{\mathfrak {g}})\)
and is still nilpotent, for the same reasons outlined in the previous section. The relevant so(4) generators (3.15) to be imposed on the extended BRST Hilbert space are extended to commute with \({{\varvec{\mathcal {Q}}}},\) including the extra fermionic oscillators
The physical subspace has a fixed \(U(1)\times U(1)\) charge corresponding to \(\tfrac{3-d}{2}.\) Let us comment on the fact that only in three spacetime dimensions the wavefunction \(\Psi \in \ker {\mathcal {J}}_i,\) which becomes relevant when dealing with the construction of the worldline path integral.Footnote 11 In four spacetime dimensions, physical states are charged \(-\tfrac{1}{2},\) and we shall consider the shifted operator \({\tilde{{\mathcal {J}}}} = {\mathcal {J}}+\tfrac{1}{2}\) for the sake of notational simplicity. To emphasize the impact of the introduction of a mass term, we follow the same steps as in the massless case to impose the condition \(\Psi \in {\mathcal {H}}_{\text {red}},\) with the reduced Hilbert space defined as the kernel of \({\tilde{{\mathcal {J}}}}_i\) and \({\mathcal {Y}}, {{{\mathcal {T}}}\!r}\) (4.36), still collectively denoted as \({\mathcal {T}}_\alpha .\) From \({\tilde{{\mathcal {J}}}}_i \mathinner {|{\Psi }\rangle }=0\) descends the general form of the wavefunction
where in the first line \(\left. \Psi \right| _{m=0}\) denotes the massless wavefunction (3.16). The condition \({\mathcal {Y}}\mathinner {|{\Psi }\rangle }=0\) produces, in addition to the “massless” contribution (3.17),
while the remaining \({{{\mathcal {T}}}\!r}\mathinner {|{\Psi }\rangle }=0\) produces
It is now possible to identify the BV spectrum of the theory, which becomes evident after renaming the field components as in (3.19) along with
and, for the corresponding antifields,
Requiring \(\Psi \) to be Grassmann-even and have ghost number zero the field content gets assigned with the corresponding Grassmann parities and ghost numbers as reported in Table 3. The most general string field \(\Psi \) in \(\ker {\mathcal {T}}_\alpha \) reads
where, for the sake of simplicity, the antifields content is left implicit.
A few comments are in order. Firstly, it can be verified that the first two lines of (4.42) correspond to the field content in the massless case (3.21). This is expected since, as previously suggested,
up to an obvious redefinition of the scalar field \(\varphi (x)\) which can be absorbed into the trace h(x). Taking into account also the other two lines, it is clear that \(\Psi \) contains the whole minimal BV spectrum of LMG, with the inclusion, with respect to the massless spectrum, of the two Stückelberg fields \(A_\mu \) and \(\varphi ,\) a scalar ghost field \(\Phi \) and an auxiliary scalar field \(\phi \) [60].
At this point, we proceed to analyze the field equations, which are derived from the closure equation at ghost number zero using the BRST operator (4.35). The result is
It is possible to solve (4.44e) and (4.44f) for the auxiliary fields \(v_\mu \) and \(\phi \) respectively, leading to the following equations
which can be further simplified combining (4.45b) and (4.45d) to reach the following set of equations
Equations (4.46)–(4.48) correspond to the field equations of linearized massive gravity in the Stückelberg formalism, where, as anticipated, \(\varphi (x)\) is the Stückelberg field and \(A_\mu (x)\) is its vector counterpart.
A few comments are in order.
-
Setting both Stückelberg fields to zero, which in literature is known as the unitary or physical gauge, equations (4.45) can be reduced to the Fierz–Pauli system
$$\begin{aligned}&\left( \Box -m^2\right) h_{\mu \nu }=0, \nonumber \\&\partial ^\nu h_{\mu \nu } =0, \nonumber \\&h=0, \end{aligned}$$(4.49)i.e. the field equations for the theory of a massive spin two field in which the mass term explicitly breaks the gauge invariance.
-
At first sight, the massless \(m \rightarrow 0\) limit is rather peculiar. Instead of resulting in the free and massless spin two field equations (3.23), it produces the following outcome
$$\begin{aligned}&\Box h_{\mu \nu }-2\partial _{(\mu } \partial \cdot h_{\nu )}+\partial _\mu \partial _\nu h=2\partial _\mu \partial _\nu \varphi , \end{aligned}$$(4.50)$$\begin{aligned}&\Box A_\mu -\partial _\mu \partial \cdot A=0, \end{aligned}$$(4.51)$$\begin{aligned}&\Box \varphi =0. \end{aligned}$$(4.52)Equation (4.51) represents the field equation for a free-propagating vector field \(A_\mu (x),\) describing a spin one massless particle that becomes decoupled in this limit. On the other hand, (4.52) describes the propagation of a massless scalar field \(\varphi (x),\) which, surprisingly enough, is still coupled to the wanna-be free massless graviton field \(h_{\mu \nu }(x)\) in (4.50). This hints at the vDVZ discontinuity, a peculiarity associated with the Fierz–Pauli formulation of massive gravity. Notably, there exist other LMG formulations in which this discontinuity is absent, as discussed in [61,62,63] and related literature. The origin of the discontinuity is traced back to the fact that the massless limit of a Fierz–Pauli graviton is not a massless graviton, but rather a massless graviton plus a coupled scalar.Footnote 12 Remarkably, our model captures this characteristic feature of massive gravity.
Let us finalize the analysis by investigating the gauge symmetries of the theory.
Any theory of massive gravity – particularly the Fierz–Pauli theory – is not gauge invariant due to the presence of the mass term, unless redundant degrees of freedom are introduced, as is the case for the Stückelberg trick. To explore this fact from a first-quantized perspective, it is sufficient to consider the closure equation at ghost number one: while in the massless case, the result is a set of dynamical equations for the diffeomorphism ghost (3.28), in the massive scenario things become more intricate due to the presence of another ghost field \(\Phi (x).\) The outcome manifests the following additional equations:
This indicates that both the scalar and the diffeomorphism ghosts are set to zero, which accounts for the breaking of the gauge invariance due to the presence of a mass term. To display said symmetries, one has to compute the ghost number zero component of \(\delta \Psi ={{\varvec{\mathcal {Q}}}}\, \Lambda ,\) where \(\Lambda \) is the massive extensions of (3.26), namely
where \(\varepsilon (x)\) and \(\Sigma (x)\) are the two gauge parameters associated with the two gauge symmetries. The outcome is
as expected from the Stückelberg formulation. Therefore, the massive \({{\mathcal {N}}}=4\) spinning particle produces a gauge invariant formulation of LMG.
4.2.2 Auxiliary oscillators approach
The main idea of the auxiliary oscillators approach consists of enlarging the BRST algebra with additional variables, whose physical interpretation can be seen as to describe the internal degrees of freedom of the \({{\mathcal {N}}}=4\) spinning particle. Thus, the first step involves an extension of the phase space by introducing two canonically conjugated complex bosonic variables, denoted as \((\alpha ^a, \bar{\alpha }_a),\) with commutation relation
Note that the index a may run over an arbitrary set, including a single value. To preserve the \({\mathcal {N}}=4\) worldline supersymmetry, the introduction of four complex fermionic variables \((\eta _i^a,\bar{\eta }^i_a)\) is necessary. They represent the superpartners of the \(\alpha \)’s, with anticommutator
The next step involves finding a way to deform the SUSY constraints while ensuring the closure of the algebra. A straightforward attempt would be to extend the \({{\mathcal {N}}}=2\) constraints of [42], resulting in
However, this leads to \(\left\{ q_i,{\bar{q}}^j \right\} \ne 2\delta _i^j \, H,\) specifically
and there is not an obvious redefinition of the Hamiltonian that allows for a closure. Consequently, the resulting algebra is not first-class, and potential issues are anticipated in the quantization process. Indeed, the associated BRST charge \({{\varvec{\mathcal {Q}}}}= c\,H+\gamma \cdot {\bar{q}}+{\bar{\gamma }} \cdot q-2{\bar{\gamma }} \cdot \gamma \, b\) fails to be nilpotent:
The auxiliary oscillators approach may be a viable option, although it is necessary to follow the principles outlined in Sect. 3.2. One should engineer a deformation of the BRST algebra that leads to preventing the obstruction given by (4.61), e.g. through a suitable redefinition of the Hamiltonian and of the so(4) constraints. Further work is needed to explore this avenue, but such investigations are beyond the scope of the current discussion, as a promising method for dealing with a massive graviton is already at hand.
5 Massive graviton on curved spacetimes
In this section, the investigation of a first-quantized massive graviton on a curved spacetime is carried out. Previous works have addressed the challenge of coupling massive higher spin fields – which, in the present formalism means for \({{\mathcal {N}}}>2\) – but the analysis failed in going beyond (A)dS spaces [32]. The goal of the present work is to overcome said result with the \({{\mathcal {N}}}=4\) spinning particle. Let us rephrase the objective more clearly: the aim is to provide a worldline formulation of the linear theory of massive gravity, namely of the Fierz–Pauli theory, on a curved spacetime; such a theory describes the propagation of massive spin 2 particle on a non-flat background.
The coupling to a generic curved background is achieved through the covariantization of the reduced model previously discussed, which results only in a mild modification of the massless model of Sect. 3.2. The supercharges are deformed as
and together with the Laplacian \(\nabla ^2\) form the same obstructed algebra (3.32), with the sole modification arising from the following anticommutator
The deformed BRST charge displays still the general form \({{\varvec{\mathcal {Q}}}}=c\,{\mathcal {D}}+\varvec{\nabla }+{\bar{\gamma }} \cdot \gamma \,b,\) where now
The model is considered on Einstein spaces: indeed, it is expected for the massive theory to reproduce the correct results in the \(m \rightarrow 0\) limit – similarly to the flat spacetime scenario – and the massless BRST charge is nilpotent only when \(R_{\mu \nu }=\tfrac{1}{4} g_{\mu \nu }R.\) It is not possible to obtain a weaker condition for the background in the massive case. Moreover, from a QFT perspective, it is known that an Einstein space is the only space on which a free (massive) graviton can consistently propagate [65,66,67,68]. Hence, it is natural to implement this condition right at the beginning of the analysis.
The so(4) constraints \({{\mathcal {T}}}_\alpha \) are given in (4.36), thus the wavefunction \(\Psi \) can be read from (4.42). This section aims to investigate if and how the presence of the mass affects the nilpotency of the BRST operator. In contrast to the case of the massive spin one particle on a general background, where nilpotency was not a concern even in the massless case, the situation is different here. The massless \({{\mathcal {N}}}=4\) spinning particle already selects only a specific subset of available backgrounds. The starting point remains
and thus, it is necessary to address the independent obstructions
Just as in the case of the Proca theory, it is evident that the mass does not enter into the BRST algebra. Specifically, note that the term in (5.6) is canceled both from a symmetry-based argument and by the fact that it annihilates any states \(\Psi \) in the physical sector, thereby being set to zero. Additionally, no mass term survives inside the commutator in (5.7). Consequently, the mass does not explicitly obstruct the nilpotency. The expressions remain the same as in the massless case: once evaluated on the reduced Hilbert space \({\mathcal {H}}_{\text {red}},\) taking Einstein manifold simplifications into account, they read
The leftover operator (5.8) is vanishing when acting on the massless physical wavefunction \({{\varvec{\mathcal {Q}}}}^2\left. \Psi \right| _{m=0}=0.\) However, this is not the case for the massive graviton, as the wavefunction has changed. When acting on the physical sector, the outcome is
Let us highlight that attempts to implement possible couplings involving traces of the Riemann tensor and the newly introduced fermionic variables inside the Hamiltonian (5.3), such as
do not solve the issue. Although an appropriate tuning of the coefficients – in particular one finds \(c_1+c_2=-2\) – potentially addresses the first obstruction (5.8), these terms would disrupt the second one (5.9), compelling \(c_1=c_2=c_3=0.\) This explains why those terms have been omitted right from the beginning: as already discussed in [39], one cannot have fermions inside \(\Delta R.\) The only possibility to achieve nilpotency of the BRST operator is to consider Ricci-flat backgrounds, i.e.
which immediately addresses the remaining obstruction (5.8), yielding a nilpotent BRST charge. This outcome resembles the scenario encountered in string theory, where consistency of the string propagation, worldsheet conformal invariance, implies Ricci flatness to leading order [69]. Such an unfortunate result amounts to the difficulties that arise when trying to give a mass to a graviton and trying to generalize it to a curved spacetime. As discussed in the introduction, several obstacles have been encountered on the quantum field theory side, with a promising solution emerging only in recent years. It is plausible that a similar intricate path has to be navigated even within the worldline formalism. The present work may then serve as an initial step in the direction of future developments: in fact, having explicitly developed the BRST algebra in the massive case (5.6)–(5.7), it might be possible with a deeper investigation to find a suitable deformation of the BRST charge that makes it nilpotent even in the presence of a non-zero cosmological constant. It is reasonable to assume that such a modification should involve the new fermionic coordinates \((\theta , {\bar{\theta }}),\) however, a more elaborate ansatz than that suggested in (5.11) needs to be formulated, which is left for future research.
In conclusion, the field equations for a massive graviton on an Einstein background with zero cosmological constant are evaluated using the deformed BRST operator incorporating the appropriate curvature terms. Upon eliminating auxiliary fields, the resulting equations of motion are
which can be simplified as
Equations (5.14)–(5.16) correspond to the field equations governing linearized massive gravity on a Ricci-flat background within its Stückelberg formulation. The same equations of motion can be derived from a field theory approach: one has to take into account the most general action functional while keeping only a restricted class of non-minimal couplings to the background, namely, the ones that do not excite possible unphysical degrees of freedom [67]. The final step involves performing the necessary Stückelberg tricks to restore gauge invariance. As a final remark, it is worth noting that the correct gauge symmetries can be derived from \(\Lambda \) (4.54), yielding
6 Conclusions
In this work, we have investigated the issue of consistently coupling massive higher-spin fields to a general curved background within the worldline formalism, with our primary focus being that of a first-quantized formulation of linearized massive gravity. During this investigation, we have explicitly shown the BRST quantization of the massive \({{\mathcal {N}}}=2\) spinning particle coupled to off-shell gravity, which, to the best of our knowledge, has never been investigated before in the literature with these tools. Our results show that the model reproduces the Proca theory on curved spacetime with the specific selection of the minimal coupling to the background, improving knowledge built on previous results and offering potential utility in the context of worldline computations employing this model. Subsequently, we have addressed directly the issue of a first-quantized massive graviton, discussing the correct reproduction of the Fierz–Pauli theory on a flat spacetime through the dimensional reduction of the higher-dimensional massless \({{\mathcal {N}}}=4\) spinning particle. Additionally, we addressed the challenges associated with the auxiliary oscillators approach. Finally, we tried to couple the massive particle to an Einstein background. Our findings suggest that a Ricci-flat spacetime emerges as the only available background for consistency at the quantum level. Let us stress that the theory constructed here is the worldline counterpart of the linear theory of massive gravity, namely the Fierz–Pauli theory from a QFT perspective: Sect. 5 has been devoted to the correct reproduction, starting from the BRST system of the spinning particle model (3.12), of the field equations and the gauge symmetries of LMG in the Stückelberg formulation. In particular, from the quantum field theory side, the same results can be derived from the FP action put on a curved spacetime, which is the theory for a massive spin 2 propagating on non-flat geometry and which can be obtained as the first approximation of a general massive gravity theory around a given fixed background. Even from the quantum field theory side, the construction of interacting theories of massive gravity is much harder, and a well-defined non-linear completion of the theory has been only recently constructed: achieving such a result in the first quantization formalism – if feasible – would require a considerable effort and is beyond the scope of the present work.
With these results at hand, this work may be regarded as a first step towards the realization of a first-quantized massive graviton on an Einstein spacetime with non-zero cosmological constant, either by identifying consistent improvements in the dimensional-reduced BRST system, or fully pursuing the auxiliary oscillators procedure, contingent on resolving the seemingly simpler yet already intricate flat spacetime scenario first. As a preliminary step in both instances, an intriguing prospect involves investigating whether modifying the model could result in a first-quantized partially massless graviton [70, 71]. There are possible extensions worth exploring, such as relaxing the constraint on the BRST Hilbert space to subalgebras, which should in principle lead to the inclusion inside the BV spectrum of the \({{\mathcal {N}}}=0\) supergravity, i.e. the particle theory that has in its spectrum the graviton, the dilaton, and the antisymmetric Kalb–Ramond tensor field. Such extensions might be pursued along the lines of [40], investigating possible couplings to the background fields through deformations of the BRST charge. Furthermore, the massive \({{\mathcal {N}}}=4\) worldline model developed here could be exploited in future computations. One potential application involves investigating the one-loop divergences of massive gravity, reproducing, and potentially extending, the results recently obtained from the quantum field theory side [72, 73]. To pursue this application, it is necessary to establish a suitable one-loop quantization of the massive model and study the corresponding partition function on the one-dimensional torus. The initial step would be to determine the correct measure on the moduli space of the supergravity multiple, implementing the correct projection on the massive gravity contribution, following the analysis of [74]. The computation of the heat kernel/effective action coefficients should proceed along the lines of [75], where the counterterms necessary for the renormalization of the one-loop effective action of pure gravity were computed using the massless \({{\mathcal {N}}}=4\) spinning particle. This project is currently underway [59].
Data availability statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: Data sharing not applicable to this article as no datasets were generated or analysed during the current study.]
Code Availability Statement
My manuscript has no associated code/software. [Author’s comment: Code/Software sharing not applicable to this article as no code/software was generated or analysed during the current study.]
Notes
We thank the referee for bringing these recent developments to our attention.
With the following notation for the graded commutator:
$$\begin{aligned} {[}\cdot ,\cdot \}= {\left\{ \begin{array}{ll} \{\cdot ,\cdot \} \quad \text {anticommutator if both variables are fermionic}, \\ {[}\cdot ,\cdot ] \quad \text {commutator otherwise}. \end{array}\right. } \end{aligned}$$The Minkowski metric \(\eta _{\mu \nu }\sim (-,+,\ldots ,+)\) is used to raise and lower spacetime indices. Indices named \(\mu ,\nu ,\ldots \) refer to spacetime indices \((\mu ,\nu =0,1,\ldots ,d-1),\) while those named \(I,J,\ldots \) stand for internal \(SO({{\mathcal {N}}})\) indices \((I,J=1,\ldots , {{\mathcal {N}}}).\)
In the following, whether a dot \(\cdot \) indicates contractions on internal or spacetime indices should be clear within the context.
We employ the following convention: the parity of \(g^\alpha \) is 0 if \(g^\alpha \) is Grassmann even and 1 if \(g^\alpha \) is Grassmann odd.
Regarding terminology, we deliberately confuse “string field” and “BRST wavefunction” since \(\Psi \) plays the same role in the worldline theory as it would in string field theory: its expansion as a linear combination of first-quantized states display coefficients which correspond to ordinary particle fields [46, 47].
As to not further burden the notation we denote \( \varvec{R}_{\mu \nu }:=R_{\mu \nu \lambda \sigma }\,\xi ^\lambda \cdot {\bar{\xi }}^\sigma \) and \(\varvec{R}:=R_{\mu \nu \lambda \sigma }\,\xi ^\mu \cdot {\bar{\xi }}^\nu \,\xi ^\lambda \cdot {\bar{\xi }}^\sigma .\)
It is a rather fascinating topic the concept of mass on a general spacetime, which is not well defined. In particular, one should be careful to call a particle massless: see [51] for a discussion on the connection between gauge invariance, masslessness, and null cone propagation.
This condition is equivalent to demanding that \(\Psi \in {\ker }{{\tilde{{\mathcal {J}}}}},\) with \({\tilde{{\mathcal {J}}}}\) being the shifted SO(2) constraint \({\tilde{{\mathcal {J}}}} = {\mathcal {J}}+\tfrac{1}{2}.\) The procedure remains consistent as long as \([{{\varvec{\mathcal {Q}}}},{\tilde{{\mathcal {J}}}}]=0.\) Eventually, the shift can be interpreted as the introduction of a Chern-Simons term selecting the desired degrees of freedom, as in [53].
Actually, the only requirement is that of a torsionless connection, i.e. \(T^\mu _{\nu \rho }:=\Gamma ^\mu _{[\nu \rho ]}=0.\)
This analysis has been conducted in order to correctly calculate the one-loop divergencies of the effective action of linearized massive gravity and will be published in a separate paper [59].
The resolution lies in the so-called Vainshtein mechanism: in a nutshell, general relativity can be recovered around massive bodies by hiding extra degrees of freedom by strong kinetic self-coupling so that they almost do not propagate. We refer to the review [64] for further details.
References
C. de Rham, J.T. Deskins, A.J. Tolley, S.-Y. Zhou, Graviton mass bounds. Rev. Mod. Phys. 89, 025004 (2017). https://doi.org/10.1103/RevModPhys.89.025004. arXiv:1606.08462
A. Adams, N. Arkani-Hamed, S. Dubovsky, A. Nicolis, R. Rattazzi, Causality, analyticity and an IR obstruction to UV completion. JHEP 10, 014 (2006). https://doi.org/10.1088/1126-6708/2006/10/014. arXiv:hep-th/0602178
M. Fierz, Force-free particles with any spin. Helv. Phys. Acta 12, 3 (1939)
M. Fierz, W. Pauli, On relativistic wave equations for particles of arbitrary spin in an electromagnetic field. Proc. R. Soc. Lond. A 173, 211 (1939). https://doi.org/10.1098/rspa.1939.0140
H. van Dam, M.J.G. Veltman, Massive and massless Yang–Mills and gravitational fields. Nucl. Phys. B 22, 397 (1970). https://doi.org/10.1016/0550-3213(70)90416-5
V.I. Zakharov, Linearized gravitation theory and the graviton mass. JETP Lett. 12, 312 (1970)
D.G. Boulware, S. Deser, Can gravitation have a finite range? Phys. Rev. D 6, 3368 (1972). https://doi.org/10.1103/PhysRevD.6.3368
C. de Rham, G. Gabadadze, Generalization of the Fierz–Pauli action. Phys. Rev. D 82, 044020 (2010). https://doi.org/10.1103/PhysRevD.82.044020. arXiv:1007.0443
C. de Rham, G. Gabadadze, A.J. Tolley, Resummation of massive gravity. Phys. Rev. Lett. 106, 231101 (2011). https://doi.org/10.1103/PhysRevLett.106.231101. arXiv:1011.1232
C. de Rham, G. Gabadadze, A.J. Tolley, Ghost free massive gravity in the Stückelberg language. Phys. Lett. B 711, 190 (2012). https://doi.org/10.1016/j.physletb.2012.03.081. arXiv:1107.3820
C. Burrage, N. Kaloper, A. Padilla, Strong coupling and bounds on the spin-2 mass in massive gravity. Phys. Rev. Lett. 111, 021802 (2013). https://doi.org/10.1103/PhysRevLett.111.021802. arXiv:1211.6001
N. Kaloper, A. Padilla, P. Saffin, D. Stefanyszyn, Unitarity and the Vainshtein mechanism. Phys. Rev. D 91, 045017 (2015). https://doi.org/10.1103/PhysRevD.91.045017. arXiv:1409.3243
B. Bellazzini, F. Riva, J. Serra, F. Sgarlata, Beyond positivity bounds and the fate of massive gravity. Phys. Rev. Lett. 120, 161101 (2018). https://doi.org/10.1103/PhysRevLett.120.161101. arXiv:1710.02539
C. de Rham, S. Melville, A.J. Tolley, Improved positivity bounds and massive gravity. JHEP 04, 083 (2018). https://doi.org/10.1007/JHEP04(2018)083. arXiv:1710.09611
C. de Rham, S. Melville, A.J. Tolley, S.-Y. Zhou, Positivity bounds for massive spin-1 and spin-2 fields. JHEP 03, 182 (2019). https://doi.org/10.1007/JHEP03(2019)182. arXiv:1804.10624
L. Alberte, C. de Rham, A. Momeni, J. Rumbutis, A.J. Tolley, Positivity constraints on interacting spin-2 fields. JHEP 03, 097 (2020). https://doi.org/10.1007/JHEP03(2020)097. arXiv:1910.11799
L. Engelbrecht, C.R.T. Jones, S. Paranjape, Supersymmetric massive gravity. JHEP 10, 130 (2022). https://doi.org/10.1007/JHEP10(2022)130. arXiv:2205.12982
B. Bellazzini, G. Isabella, S. Ricossa, F. Riva, Massive gravity is not positive. Phys. Rev. D 109, 024051 (2024). https://doi.org/10.1103/PhysRevD.109.024051. arXiv:2304.02550
H. Xu, S.-Y. Zhou, Triple crossing positivity bounds, mass dependence and cosmological scalars: Horndeski theory and DHOST. JCAP 11, 076 (2023). https://doi.org/10.1088/1475-7516/2023/11/076. arXiv:2306.06639
K. Hinterbichler, Theoretical aspects of massive gravity. Rev. Mod. Phys. 84, 671 (2012). https://doi.org/10.1103/RevModPhys.84.671. arXiv:1105.3735
C. de Rham, Massive gravity. Living Rev. Relativ. 17, 7 (2014). https://doi.org/10.12942/lrr-2014-7. arXiv:1401.4173
A. Schmidt-May, M. von Strauss, Recent developments in bimetric theory. J. Phys. A 49, 183001 (2016). https://doi.org/10.1088/1751-8113/49/18/183001. arXiv:1512.00021
C. Schubert, Perturbative quantum field theory in the string inspired formalism. Phys. Rep. 355, 73 (2001). https://doi.org/10.1016/S0370-1573(01)00013-8. arXiv:hep-th/0101036
F.A. Berezin, M.S. Marinov, Particle spin dynamics as the Grassmann variant of classical mechanics. Ann. Phys. 104, 336 (1977). https://doi.org/10.1016/0003-4916(77)90335-9
L. Brink, P. Di Vecchia, P.S. Howe, A Lagrangian formulation of the classical and quantum dynamics of spinning particles. Nucl. Phys. B 118, 76 (1977). https://doi.org/10.1016/0550-3213(77)90364-9
V.D. Gershun, V.I. Tkach, Classical and quantum dynamics of particles with arbitrary spins. JETP Lett. 29, 288 (1979)
P.S. Howe, S. Penati, M. Pernici, P.K. Townsend, Wave equations for arbitrary spin from quantization of the extended supersymmetric spinning particle. Phys. Lett. B 215, 555 (1988). https://doi.org/10.1016/0370-2693(88)91358-5
P.S. Howe, S. Penati, M. Pernici, P.K. Townsend, A particle mechanics description of antisymmetric tensor fields. Class. Quantum Gravity 6, 1125 (1989). https://doi.org/10.1088/0264-9381/6/8/012
W. Siegel, Conformal invariance of extended spinning particle mechanics. Int. J. Mod. Phys. A 3, 2713 (1988). https://doi.org/10.1142/S0217751X88001132
F. Bastianelli, O. Corradini, E. Latini, Spinning particles and higher spin fields on (A)dS backgrounds. JHEP 11, 054 (2008). https://doi.org/10.1088/1126-6708/2008/11/054. arXiv:0810.0188
O. Corradini, Half-integer higher spin fields in (A)dS from spinning particle models. JHEP 09, 113 (2010). https://doi.org/10.1007/JHEP09(2010)113. arXiv:1006.4452
F. Bastianelli, R. Bonezzi, O. Corradini, E. Latini, Massive and massless higher spinning particles in odd dimensions. JHEP 09, 158 (2014). https://doi.org/10.1007/JHEP09(2014)158. arXiv:1407.4950
O. Corradini, C. Schubert, J.P. Edwards, N. Ahmadiniaz, Spinning particles in quantum mechanics and quantum field theory (2015). arXiv:1512.08694
S.M. Kuzenko, Z.V. Yarevskaya, Conformal invariance, N extended supersymmetry and massless spinning particles in anti-de Sitter space. Mod. Phys. Lett. A 11, 1653 (1996). https://doi.org/10.1142/S0217732396001648. arXiv:hep-th/9512115
C. Becchi, A. Rouet, R. Stora, Renormalization of gauge theories. Ann. Phys. 98, 287 (1976). https://doi.org/10.1016/0003-4916(76)90156-1
I.A. Batalin, G.A. Vilkovisky, Gauge algebra and quantization. Phys. Lett. B 102, 27 (1981). https://doi.org/10.1016/0370-2693(81)90205-7
I.A. Batalin, G.A. Vilkovisky, Quantization of gauge theories with linearly dependent generators. Phys. Rev. D 28, 2567 (1983). https://doi.org/10.1103/PhysRevD.28.2567
P. Dai, Y.-T. Huang, W. Siegel, Worldgraph approach to Yang–Mills amplitudes from N = 2 spinning particle. JHEP 10, 027 (2008). https://doi.org/10.1088/1126-6708/2008/10/027. arXiv:0807.0391
R. Bonezzi, A. Meyer, I. Sachs, Einstein gravity from the \({\cal{N}}=4 \) spinning particle. JHEP 10, 025 (2018). https://doi.org/10.1007/JHEP10(2018)025. arXiv:1807.07989
R. Bonezzi, A. Meyer, I. Sachs, A worldline theory for supergravity. JHEP 06, 103 (2020). https://doi.org/10.1007/JHEP06(2020)103. arXiv:2004.06129
J. Scherk, J.H. Schwarz, How to get masses from extra dimensions. Nucl. Phys. B 153, 61 (1979). https://doi.org/10.1016/0550-3213(79)90592-3
M. Carosi, I. Sachs, Proca theory from the spinning worldline. JHEP 01, 135 (2022). https://doi.org/10.1007/JHEP01(2022)135. arXiv:2110.10573
F. Bastianelli, C. Schubert, Worldline Path Integrals and Quantum Field Theory. Cambridge Monographs on Mathematical Physics (Cambridge University Press, Cambridge, to appear)
F. Bastianelli, O. Corradini, E. Latini, Higher spin fields from a worldline perspective. JHEP 02, 072 (2007). https://doi.org/10.1088/1126-6708/2007/02/072. arXiv:hep-th/0701055
F. Bastianelli, P. Benincasa, S. Giombi, Worldline approach to vector and antisymmetric tensor fields. JHEP 04, 010 (2005). https://doi.org/10.1088/1126-6708/2005/04/010. arXiv:hep-th/0503155
J. Gomis, J. Paris, S. Samuel, Antibracket, antifields and gauge theory quantization. Phys. Rep. 259, 1 (1995). https://doi.org/10.1016/0370-1573(94)00112-G. arXiv:hep-th/9412228
C.B. Thorn, String field theory. Phys. Rep. 175, 1 (1989). https://doi.org/10.1016/0370-1573(89)90015-X
E. Getzler, The spinning particle with curved target. Commun. Math. Phys. 352, 185 (2017). https://doi.org/10.1007/s00220-016-2764-y. arXiv:1605.04762
E. Boffo, Particles in the superworldline and BRST (2022). arXiv:2207.02041
M. Grigoriev, A. Meyer, I. Sachs, A toy model for background independent string field theory. JHEP 05, 020 (2022). https://doi.org/10.1007/JHEP05(2022)020. arXiv:2106.07966
S. Deser, R.I. Nepomechie, Gauge invariance versus masslessness in de Sitter space. Ann. Phys. 154, 396 (1984). https://doi.org/10.1016/0003-4916(84)90156-8
M.B. Green, J.H. Schwarz, E. Witten, Superstring Theory Vol. 2: 25th Anniversary Edition. Cambridge Monographs on Mathematical Physics (Cambridge University Press, Cambridge, 2012). https://doi.org/10.1017/CBO9781139248570
F. Bastianelli, P. Benincasa, S. Giombi, Worldline approach to vector and antisymmetric tensor fields. II. JHEP 10, 114 (2005). https://doi.org/10.1088/1126-6708/2005/10/114. arXiv:hep-th/0510010
G. Mogull, J. Plefka, J. Steinhoff, Classical black hole scattering from a worldline quantum field theory. JHEP 02, 048 (2021). https://doi.org/10.1007/JHEP02(2021)048. arXiv:2010.02865
G.U. Jakobsen, G. Mogull, J. Plefka, J. Steinhoff, SUSY in the sky with gravitons. JHEP 01, 027 (2022). https://doi.org/10.1007/JHEP01(2022)027. arXiv:2109.04465
E.C.G. Stueckelberg, Theory of the radiation of photons of small arbitrary mass. Helv. Phys. Acta 30, 209 (1957)
A. Belokogne, A. Folacci, Stueckelberg massive electromagnetism in curved spacetime: Hadamard renormalization of the stress-energy tensor and the Casimir effect. Phys. Rev. D 93, 044063 (2016). https://doi.org/10.1103/PhysRevD.93.044063. arXiv:1512.06326
I.L. Buchbinder, T. de Paula Netto, I.L. Shapiro, Massive vector field on curved background: nonminimal coupling, quantization, and divergences. Phys. Rev. D 95, 085009 (2017). https://doi.org/10.1103/PhysRevD.95.085009. arXiv:1703.00526
F. Fecit, Worldline path integral for the massive graviton. Eur. Phys. J. C 84(3), 339 (2024). https://doi.org/10.1140/epjc/s10052-024-12707-8. arXiv:2402.13766
N. Boulanger, C. Deffayet, S. Garcia-Saenz, L. Traina, Consistent deformations of free massive field theories in the Stueckelberg formulation. JHEP 07, 021 (2018). https://doi.org/10.1007/JHEP07(2018)021. arXiv:1806.04695
A.H. Chamseddine, V. Mukhanov, Mimetic massive gravity: beyond linear approximation. JHEP 06, 062 (2018). https://doi.org/10.1007/JHEP06(2018)062. arXiv:1805.06598
G. Gambuti, N. Maggiore, Fierz–Pauli theory reloaded: from a theory of a symmetric tensor field to linearized massive gravity. Eur. Phys. J. C 81, 171 (2021). https://doi.org/10.1140/epjc/s10052-021-08962-8. arXiv:2102.10813
J.A.M.L. de Freitas, I. Kuntz, Massive graviton from diffeomorphism invariance. arXiv:2307.13803
E. Babichev, C. Deffayet, An introduction to the Vainshtein mechanism. Class. Quantum Gravity 30, 184001 (2013). https://doi.org/10.1088/0264-9381/30/18/184001. arXiv:1304.7240
C. Aragone, S. Deser, Constraints on gravitationally coupled tensor fields. Nuovo Cim. A 3, 709 (1971). https://doi.org/10.1007/BF02813572
I. Bengtsson, Note on massive spin-2 in curved space. J. Math. Phys. 36, 5805 (1995). https://doi.org/10.1063/1.531288. arXiv:gr-qc/9411057
I.L. Buchbinder, D.M. Gitman, V.A. Krykhtin, V.D. Pershin, Equations of motion for massive spin-2 field coupled to gravity. Nucl. Phys. B 584, 615 (2000). https://doi.org/10.1016/S0550-3213(00)00389-8. arXiv:hep-th/9910188
S. Deser, M. Henneaux, A note on spin two fields in curved backgrounds. Class. Quantum Gravity 24, 1683 (2007). https://doi.org/10.1088/0264-9381/24/6/N01. arXiv:gr-qc/0611157
H. Lu, C.N. Pope, K.S. Stelle, Higher order corrections to noncompact Calabi–Yau manifolds in string theory. JHEP 07, 072 (2004). https://doi.org/10.1088/1126-6708/2004/07/072. arXiv:hep-th/0311018
A. Higuchi, Forbidden mass range for spin-2 field theory in de Sitter space-time. Nucl. Phys. B 282, 397 (1987). https://doi.org/10.1016/0550-3213(87)90691-2
S. Deser, A. Waldron, Partial masslessness of higher spins in (A)dS. Nucl. Phys. B 607, 577 (2001). https://doi.org/10.1016/S0550-3213(01)00212-7. arXiv:hep-th/0103198
F.A. Dilkes, M.J. Duff, J.T. Liu, H. Sati, Quantum discontinuity between zero and infinitesimal graviton mass with a Lambda term. Phys. Rev. Lett. 87, 041301 (2001). https://doi.org/10.1103/PhysRevLett.87.041301. arXiv:hep-th/0102093
R. Ferrero, M.B. Fröb, W.C.C. Lima, Heat kernel coefficients for massive gravity. arXiv:2312.10816
F. Bastianelli, R. Bonezzi, O. Corradini, E. Latini, One-loop quantum gravity from the \({\cal{N}} =4\) spinning particle. JHEP 11, 124 (2019). https://doi.org/10.1007/JHEP11(2019)124. arXiv:1909.05750
F. Bastianelli, F. Comberiati, F. Fecit, F. Ori, Six-dimensional one-loop divergences in quantum gravity from the \({\cal{N}} = 4\) spinning particle. JHEP 10, 152 (2023). https://doi.org/10.1007/JHEP10(2023)152. arXiv:2307.09353
Acknowledgements
I am deeply grateful to R. Bonezzi and I. Sachs for helpful discussions and insightful suggestions at various stages of this research. Additionally, I am thankful to F. Bastianelli for providing valuable input and offering constructive feedback on the draft. I further thank V. Larotonda for careful draft reading. I would like to express gratitude to the organizers and the students of the 29th W.E. Heraeus Summer School “Saalburg” for Graduate Students on “Foundations and New Methods in Theoretical Physics” for generating an inspiring scientific environment, which led to meaningful discussions. I also acknowledge hospitality during the final stage of the work by the LMU Munich.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3.
About this article
Cite this article
Fecit, F. Massive gravity from a first-quantized perspective. Eur. Phys. J. C 84, 445 (2024). https://doi.org/10.1140/epjc/s10052-024-12799-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-024-12799-2