The dimensional reduction of linearized spin-2 theories invariant under transverse diffeomorphisms

Here we perform the Kaluza-Klein dimensional reduction from $D+1$ to $D$ dimensions of massless Lagrangians described by a symmetric rank-2 tensor and invariant under transverse differmorphisms (TDiff). They include the linearized Einstein-Hilbert theory, linearized unimodular gravity and scalar tensor models. We obtain simple expressions in terms of gauge invariant field combinations and show that unitarity is preserved in all cases. After fixing a gauge, the reduced model becomes a massive scalar tensor theory. We show that the diffeomorphism (Diff) symmetry, instead of TDiff, is a general feature of the massless sector of consistent massive scalar tensor models. We discuss some subtleties when eliminating St\"uckelberg fields directly at action level as gauge conditions. We also show that the reduced models all have a smooth massless limit. A non local connection between the massless sector of the scalar tensor theory and the pure tensor TDiff model leads to a parametrization of the non conserved source which naturally separates spin-0 and spin-2 contributions in the pure tensor theory. The case of curved backgrounds is also investigated. If we truncate the non minimal couplings to linear terms in the curvature, vector and scalar constraints require Einstein spaces as in the Diff and WTDiff (Weyl plus Diff) cases. We prove that our linearized massive scalar tensor models admit those curved background extensions.


Introduction
The Einstein general relativity (GR) and the standard cosmological model ΛCDM are very successful despite our present lack of understanding on important issues like the cosmological constant, dark energy, dark matter, and the discrepancy between different measurements of the Hubble constant, see [1] for a recent review work with more details. One of the possible modifications of GR which would be relevant for large scale physics and eventually contribute to our understanding of late time acceleration and the cosmological constant, is the existence of some graviton mass (m gr ). One of the striking successes of GR is the detection of gravitational waves coming from black-hole and neutron stars mergers [2], those experiments set an upper bound of about 10 −23 ev for m gr which is very small but it does not eliminate a possible tinier graviton mass still relevant for the accelerated expansion of the Universe in a pure massive gravity scenario, see [3,4] for review works on massive gravity.
Moreover, in order to figure out why the graviton is eventually massless we must, of course, start with some non zero mass and search for its consequences. In the early 1970 ′ s, one [5] noticed that no matter how small is m gr , its consequences for solar system tests of the gravitational interaction would be disastrous. This is the known vDVZ mass discontinuity problem. Soon one has realized [6] that the graviton mass introduces another scale in the theory that spoils the linearized approximation used in [5] as m gr → 0. Therefore, non linear terms must be considered, however they lead to ghosts [7]. That problem remained for decades until one has finally found graviton potentials which eliminate the ghost and solve the vDVZ problem altogether, see [8] and [9] and also the review works [3,4]. A general fiducial (fixed) metric has been introduced in [10] and later the addition of a kinetic term for such metric gave rise to the bimetric model [11] which has a massive plus a massless graviton coupled to each other, see also the review work [12]. The bimetric model does not suffer from an unstable Friedmann-Lemaitre-Robertson-Walker (FLRW) solution, a problem present in the model of [8], see [13]. Moreover, in the bimetric model [11] the graviton mass does not need to be small, see [14] for recent detailed studies on observational constraints on the parameter space of the bimetric model which includes the Fierz-Pauli mass.
In earlier calculations [5,6,7], in the ghost free massive gravities [8,10] and also in the bimetric model [11], the massive Fierz-Pauli (FP) model [15] is the paradigmatic starting point. It is a free theory for massive spin-2 particles where the linearized diffeomorphism (Diff) symmetry of the massless sector, linearized Einstein-Hilbert (LEH), is broken by the mass terms. Since the minimal symmetry for massless spin-2 particles is transverse diffeomorphisms (TDiff) instead of Diff, see [16], it is natural to search for the minimal way of describing massive spin-2 particles by adding mass terms to a massless TDiff tensor model. The question is: Is TDiff the minimal symmetry of the massless sector of a massive spin-2 theory ? This has been investigated in [17]. The TDiff tensor model describes in general massless spin-2 and spin-0 particles. The authors of [17] have concluded that, although one could add a consistent mass term for the spin-0 sector without problems, there is no mass term in the spin-2 sector that might avoid the presence of ghosts. They have shown that such negative result holds also in the special case of the linearized unimodular gravity where the TDiff symmetry is enhanced to WTDiff (Weyl plus TDiff).
Instead of trying to obtain mass terms via an Ansatz one can follow another route and automatically generate them by means of a Kaluza-Klein [18] dimensional reduction from D + 1 to D dimensions, restricted to one massive mode. Such procedure allows us to go, for instance, from Maxwell to Maxwell-Proca, from LEH to massive FP and holds also for higher spins [19,20]. This has been done in [21] in the special case of the WTDiff model. We comment on the results of [21] and compare to ours whenever possible. In particular, we end up with simpler compact formulae for the reduced massive theory and clarify the issue of gauge fixing, which is subtle now due to the transverse condition on the vector symmetry of the massless theory.
Here we perform the KK dimensional reduction of an arbitrary TDiff tensor model in order to generate possible mass terms and look for generalizations of the resulting models in curved backgrounds, see sections 3 and 5 respectively. In section 4 we analyse its content and present a covariant proof of unitarity. We find an interesting parametrization of the non conserved source in the massless TDiff tensor case. In section 6 we draw our conclusions, stressing that the massless limit must have Diff symmetry instead of TDiff. If we insist in TDiff symmetry at m = 0 we have no possible mass term. The appendix shows, for the reader's convenience, some technical details about spin projection and transition operators used to write down propagators.

The model and the notation
Here we closely follow the notation of [17] but we use η µν = diag(−1, 1, ..., 1). In terms of a rank-2 symmetric tensor h µν we start from the second order Lagrangian in D ≥ 3 dimensions The first term is required for spin-2 propagation and the second one must be as it stands for the elimination of spin-1 ghosts [17]. For any a, b ∈ R, It is convenient to split the discussion in three cases. The TDiff symmetry can be enhanced either to WTDiff (Weyl plus TDiff) or to arbitrary diffeomorphisms (Diff) according to a fine tune of the coefficients (a, b). Regarding the first case, the reader can check that the Weyl transformation δh µν = Λη µν will be a symmetry of (1) only if (a, b) = (2/D, (D + 2)/D 2 ). The corresponding WTDiff model L (2/D, (D + 2)/D 2 ) is the linearized version of unimodular gravity [17,21]. The second case corresponds to a = 1 = b. Now the symmetry is enhanced to arbitrary linearized diffeomorphisms (Diff): δh µν = ∂ µ ξ ν + ∂ ν ξ µ . In this case L(1, 1) = L LEH is the linearized version of the Einstein-Hilbert theory κ √ −gR about flat background, It turns out that L(1, 1) is just one example of a one parameter family of equivalent Lagrangians. Through the invertible redefinition (λ-shift) h µν → h µν + λ hη µν , with λ = −1/D, we generate a family of models L(A(λ), B(λ)) of the same form (1), where In particular, if we start with the linearized Einstein-Hilbert theory (a, b) = (1, 1), we generate a Diff family invariant under δh µν = ∂ µ ξ ν + ∂ ν ξ µ − 2λ(∂ ρ ξ ρ )/(λ D + 1). Notice that there is no WTDIFF family since (a, b) = (2/D, (D + 2)/D 2 ) is a fixed point of the λ-shift. It turns out that for both the WTDiff model and the Diff family, the Lagrangian L(a, b) describes physical massless spin-2 particles. Moreover, only in those cases we have f D (a, b) = 0, where we have defined a function of the parameters of the TDiff model in D dimensions: The above quantity shows up after eliminating λ from (3) and plugging it in (4), with (a, b) = (1, 1); accordingly we arrive at f D (A(λ), B(λ)) = 0. The third case is the main concern here and corresponds to pure TDiff models without enhanced symmetry. They describe massless spin-2 and massless spin-0 particles, the former are always physical while the latter ones are physical (definite positive Hamiltonian) whenever, see [17], we have This subset of models are the ones we call TDiff henceforth. For arbitrary a, b ∈ R, the model (1) may be identified with the linearized version of the following Lagrangian where P (−g) and Q(−g) are analytic functions at g = −1 such that P (1) > 0, they are otherwise arbitrary. The linearization is obtained via g µν = η µν +h µν / P (1) with the identification a = 1 + 2 P ′ (1)/P (1), b = 1 + 4 P ′ (1)/P (1) + 4 Q(1)/P (1). Here we are mainly interested in massive theories obtained from (1) via dimensional reduction so we are not going to explore (7) anymore, see e.g. [22] for further developments and phenomenological applications when compared to general relativity. It is known that TDiff is the minimal symmetry to have a Lorentz invariant S-matrix describing scattering of massless spin-2 particles [16,23]. It is also the maximal subgroup of the diffeomorphisms. We point out that we can always treat TDiff as an one-parameter Lagrangian since, without loss of generality, we can use the λ-shift and shift a = 2 D → a = 1 while keeping b the only free parameter. Similarly, we can fix a = 2 D and let b free, always bearing in mind that f D (a, b) > 0 in both cases. The case a = 1 may not be shifted into a = 2/D since this would require a non invertible λ-shift (λ = −1/D). The Kaluza-Klein (KK) dimensional reduction of both Diff and more recently WTDiff, see [21], have been already discussed in the literature, their results will be compared to ours whenever possible as will be explained in the next section.
Notice that the requirement of physical particles in D + 1 dimensions means 1 Defining the cyclic coordinate x D = y, we suitably decompose H M N (x, y): H yµ (x, y) = m π A µ (x) sin my, H yy (x, y) = m π ϕ(x) cos my.
The action in D + 1 dimensions is Integrating over y, we obtain the massive theory in D dimensions: where L(a, b) is the massless TDiff model in D dimensions given in (1). Once again we split the discussion in three cases.

Massive Fierz-Pauli
If (a, b) = (1, 1), the D + 1 theory (8) is invariant under arbitrary diffeomorphisms without the restriction (9). Consequently, (15) becomes invariant under full Diff and U(1) transformations. We redefine the vector field in order to write down the gauge transformations in a diagonal form, i.e., where ψ µ (x) and Λ(x) are D + 1 independent gauge parameters which stem from The Lagrangian (15) becomes the usual massive spin-2 FP model in D dimensions written in terms of a gauge invariant field H Dif f µν , where L EH is the linearized Einstein-Hilbert Lagrangian. It is clear from (16)-(18) that a µ and ϕ are pure gauge. The massive spin-2 content of (15), assured by the corresponding FP conditions ∂ µ h µν = 0 = h and the Klein-Gordon (KG) equation ( −m 2 )h µν = 0, follows from the unitary gauge a µ = 0 = ϕ which can be set at action level without affecting the particle content of the model. The gauge completely (uniquely) determine the gauge parameters ψ µ and Λ, thus satisfying the "completeness" criterium of [24] for a good gauge to be fixed at action level. This is a key issue for the elimination of the Stückelberg fields as we will see in the next subsection.

Massive WTDiff
In the case [a, b] = [2/(D + 1), (D + 3)/(D + 1) 2 ], the model (8) becomes the massless WTDiff model in D + 1. Such dimensional reduction has been investigated in [21]. Our Lagrangian (15) coincides with the corresponding one of [21] in the above case. Although it stems from a WTDiff model in D + 1, (15) is invariant under full Diff and Weyl transformations. In order to single out the pure gauge degrees of freedom we find convenient to redefine the vector and scalar fields Accordingly, we have the following Diff and Weyl transformations: Notice that the U(1) parameter Λ has been eliminated via the constraint which follows from the higher dimensional transverse condition (9). The previous gauge transformations suggest the definition of a gauge invariant tensor as in the Diff case, namely, It turns out that the whole Lagrangian (15) reduces to the FP model: Notice that the replacement h µν → H W T µν is non trivial since it envolves double derivaties of the tensor field itself. However, although the U(1) symmetry disappears, we can use the Weyl symmetry altogether with the Diff symmetry in order to eliminate pure gauge degrees of freedom and fix the unitary gauge a W µ = 0 = Φ. Therefore, we recover spin-2 massive particles in D dimensions which is the expected result for a dimensional reduction of spin-2 massless particles in D + 1. The authors of [21] have chosen the partial gauge fixing a W µ = 0 which leaves us with a massive model with Weyl symmetry. It amounts to the FP model with the replacement h µν → h µν − η µν h/D + η µν φ which comes from (30) after an invertible redefinition of the scalar field Φ = (D + 1)(h/D − φ) where φ is now Weyl invariant. We stress that such partial gauge does satisfy the completeness criterion of [24], since a W µ = 0 completely (uniquely) fix the D parameters ψ µ , consequently it can be fixed at action level without problems even though the Weyl symmetry is left unbroken.
We have found interesting from the point of view of the completeness criterium of [24] to discuss a third gauge condition: where c is so far an arbitrary real constant. Are we allowed to fix such gauge at action level? After this gauge is fixed, the action (30) only depends upon the tensor field. We know that the only viable choice for massive spin-2 particles is the FP model or at most a λ-shifted (h µν → h µν +λη µν h) version thereof. Indeed, under gauge transformations the gauge conditions change as Under the residual transformations we have Therefore, if c = −1/(2(1 + D)) the above transformations tell us that the gauge conditions (31) do not completely (uniquely) fix the gauge parameters ψ µ and χ, since we can always add the γ-transformations (34) such that γ satisfies the Klein-Gordon equation On the other hand, if c = − 1 2(1+D) the gauge conditions will completely fix the gauge parameters and consequently we are allowed, according to [24], to fix the third gauge at action level. In fact, it is only at that particular point that the gauge fixed version of (30) becomes a λ-shifted version of the FP massive theory, namely, . For any c = − 1 2(1+D) the action (30) at the gauge (31) is not unitary [15,25].

Massive TDiff model
This is the most involved case, the constants (a, b) are such that f D+1 (a, b) > 0. Differently from the previous two cases, the particle content of (8) consists of a massless spin-2 and a massless spin-0 particle. Thus, we expect massive spin-2 and massive spin-0 fields in D dimensions as will turn out to be the case. Once again the U(1) symmetry is eliminated via (28). So we have one less symmetry than in the previous two cases. We are left only with full Diff. Redefining the vector field as in the Diff case and the scalar field as in the WTDiff case we have After trying an Ansatz for H T D µν and for a massive scalar-tensor theory, we have been able to show that (15) can be written as where we have defined the gauge invariant tensor Notice that (39) and (40) include the two previous cases which satisfy f D+1 (a, b) = 0. The unitary gauge now corresponds to D−1 η µν Φ and decouple the massive spin-2 field from the scalar one. Remarkably, unitarity, f D+1 (a, b) > 0, of the D + 1 model (8) is strictly preserved by the dimensional reduction. In section 4 we find interesting to choose the gauge a µ = 0. This and the unitary gauge can be fixed at action level without changing the content of the theory. Before we leave this section, we look at the massless limit of (15).
In this sense the model (15) is a massive deformation of a Diff, WTDiff and TDiff theory in the corresponding three cases respectively. Regarding the particle content of (41), we have to split it in two cases. First, if a = 2/D, after a field redefinition h µν → h µν + a 2−a D η µν ϕ, we have: In the case of the reduction of the D +1 WTDiff model [a, b] = [2/(D +1), (D +3)/(D +1) 2 ] we have Y = 0 = Z. So we end up with a continuous massless limit with (in D = 4) 3 + 2 = 2s + 1 physical degrees of freedom, since the reduced Lagrangian and the unitarity condition for the TDiff model in D dimensions become respectively In the Diff case a = 1 = b, since Y = 0, Z > 0 and L(1, 1) is the usual EH Lagrangian, we have once again a smooth massless limit with 2 + 2 + 1 = 2s + 1 physical degrees of freedom in D = 4.
In the pure TDiff case, still assuming a = 2/D, after the redefinition ϕ → ϕ − Y h/Z in (42) we have a TDiff model plus Maxwell and a decoupled scalar field: where Z is given in (43) and , Due to f D+1 (a, b) > 0 it follows that Z and f D (a,b) are both positive and we have again a smooth massless limit with 3 + 2 + 1 = 2s The unitarity condition of the D+1 TDiff model f D+1 (2/D, b) > 0 assuresZ > 0 and unitarity of the TDiff model, since Thus, we have a smooth massless limit in all cases. 4 Massive reduced model at A µ = ∂ µ ϕ/(2 m)
Our second remark concerns the massless limit of (52), i.e., Although a scalar-tensor Lagrangian of the type L(a, b) + c 1 ϕ∂ µ ∂ ν h µν + c 2 ϕ h + c 3 ϕ ϕ is in general only invariant under TDiff, the coefficients in (53) are such that we have full diffeomorphism invariance: Thus, (52) is a massive deformation of Diff instead of TDiff! The same situation ocurred in [21], where the dimensional reduction of a WTDiff model has given rise to a Weyl Stückelberg version (h µν → h µν − η µν h/D + ϕη µν ) of the usual massive Fierz-Pauli (FP) model whose mass terms break Diff instead of TDiff. It seems that massive spin-2 particles require the breakdown of full diffeomorphisms in order to produce the correct number of constraints. In [17] it has been shown that there is no Lorentz covariant mass term that could be added to the TDiff pure tensor model (1) that might generate a stable theory of massive spin-2 particles. It seems that the addition of a scalar field does not help either. In session 5 we show that the Diff symmetry is required in the flat limit in order to have a vector constraint in a massive scalar tensor theory of second order in derivatives. The reader may find our conclusion doubtful from the point of view of the massless limit of (28), but notice that our gauge, and the vector gauge used in [21], is singular at m → 0. Notwithstanding, it is not fully inappropriate to call (52) a massive TDiff model since the particle content of (53) is exactly the same of a TDiff model in D dimensions, see (77), namely a physical massless spin-2 particle plus a massless spin-0 particle which is unitary whenever f D (a, b) > 0. If we compare (53) to (1) we have one more field but one more symmetry, longitudinal diffeomorphisms (LDIFF): δh µν = ∂ µ ∂ ν λ. However, the equivalence between (53) and (1) is not complete. It depends on the boundary conditions. In fact, (53) stands to (1) as LEH stands to the WTDiff model. Namely, if we first derive the equations of motion E µν = δS ST 0 /δh µν = 0 and δS ST 0 /δϕ = 0 and then fix the gauge condition ϕ = 0 On the other hand, if we first fix ϕ = 0 at action level, we lose its equation of motion and we can only derive from ∂ µ E µν = 0 that R(a, b) = c where c is a real constant not necessarily zero. We have lost information since the gauge ϕ = 0 does not completely determine the gauge parameters ψ µ due to the residual symmetry δψ µ = ∂ µ γ with γ = 0. This is similar to the fact that h = 0 at action level in the LEH action make us lose the trace of the linearized Einstein-Hilbert equation which becomes an integration constant related to the cosmological constant in the WTDiff model. So TDiff and WTDiff are obtained respectively from L ST 0 and L EH via an "illegal" gauge condition at action level. A stronger claim at nonlinear level, see [26], is that transverseDiff gravity (7) is to scalar tensor as unimodular gravity is to general relativity.

Helicity variables and equations of motion
In this subsection we use helicity variables, see e.g. [27], in order to identify the different helicity modes of the massive spin-2 particle and split them from the scalar field in (52) without introducing field redefinitions involving time derivatives which might spoil the canonical structure of the theory. The helicity decomposition is also called sometimes "the cosmological decomposition" [17,28]. The symmetric tensor h µν is decomposed in its scalar, vector and purely tensor modes, similarly to [17], where ω ij = ∂ i ∂ j /∇ 2 , while V T i and F T i are transverse vectors, e.g. ∂ j V T j = 0. The tensor h T T ij is traceless and transverse. Applying to the Lagrangian (52), and eliminating the fields A, B, E and V T i via their equations of motion, saving many details specially in the messy scalar sector, we end up with where and 0 helicity modes of the spin-2 sector respectively, while Φ = ϕ + h stands for the spin-0 scalar particle whose propagation is physical if f D+1 (a, b) ≥ 0. This is exactly the unitarity condition for the massless TDiff theory in D + 1 dimensions which is the origin of (52). This completes the analysis of the particle content of (52) which coincides with the content of (39) at the unitary gauge mentioned in subsection 2.1. It is thus established that the gauge A µ = ∂ µ ϕ/(2m) can be fixed at action level without spoiling the physical content of the reduced model.
For future generalizations to curved backgrounds we find instructive to look at the equations of motion of (52). Before we do it, however, let us make the redefinition inspired by (39), ϕ = Φ − h. The tensor and scalar equations of motion become respectively, From (60) we have the vector constraint : In the Diff case a = 1 = b we get rid of the scalar field and the following combination provides a scalar constraint m 2 η µν E µν + (D − 2)∂ µ ∂ ν E µν = m 2 (D − 1)h = 0, back in (60) and (62) we obtain the usual FP conditions h = 0 = ∂ µ h µν and ( − m 2 )h µν = 0. Henceforth we assume the pure TDiff case f D+1 (a, b) > 0. The following combination supplies a scalar constraint A traceless and transverse tensor can be easily built and shown to satisfy the conditions for massive spin-2 particles, Notice that, due to (63), (65) is nothing but H T D µν , see (40), at the gauge a µ = 0.

Massive scalar-tensor coupled to sources
Now we couple (52) to arbitary tensor and scalar sources and investigate the influence of the scalar field in the vDVZ mass discontinuity [5]. The arbitrariness of the sources allows us to carry out an off-shell Lorentz covariant proof of unitarity. Motivated by simplicity and the previous discussions about the separation of the spin-2 and spin-0 degrees of freedom let us redefine ϕ → Φ − h and h µν → h µν + 1−a D−1 η µν Φ before adding sources. This cancels out the scalar tensor coupling in the mass term (m 2 hΦ) and leads to the FP Lagrangian in the tensor sector. Adding sources we have Since there is no local symmetry any more, the sources T µν and J are totally arbitrary.
Integrating over h µν and Φ in the path integral we derive where, suppressing the indices, The projection and transition operators P (s) IJ , where s stands for the spin of the projected subspace, are given in the appendix. The two-point amplitude in momentum space is given by The imaginary part of the residue of A ST (p) at the massive pole is given by which is definitely positive, if f D+1 > 0, since the first term is nothing but the usual FP result known to be positive. Consequently we have an off-shell Lorentz covariant proof of unitary for the scalar tensor model (52). Notice also that after replacing J in (67) following (71) and taking into account the field redefiniton before (67), we see that the tensor field effectively coupled to T µν is H T D µν given in (40) at the gauge a µ = 0. Regarding the vDVZ mass discontinuity, if we assume that the scalar source is proportional to the trace of spin-2 source, J = c T , with some real constant c, from (69) and (70) we have the following tensor structure at m → 0 in D = 4: where dots stand for analytic contributions which only lead to contact terms in the two-point amplitude. If we neglect the two terms inside the brackets we have the Einstein-Hilbert result. The 1/6 factor is the well known vDVZ mass discontinuity. Since f 5 (a, b) > 0, we see that the massive scalar field contribution is no cure for the mass discontinuity which is pushed even farther away.

TDiff coupled to sources
Now we return to the massless case and study the spin-0 and spin-2 contributions to scattering amplitudes in the pure tensor TDiff model (1). We couple the massless TDiff model L(a, b) to sources, but from a slightly different perspective from [17]. First we remark that invariance of the source term d D xT µν h µν under TDiff does not require conserved sources, it only demands 2 that where J(x) is some local scalar quantity, which simply measures the non-conservation of T µν . First of all, we have found interesting to rewrite the source term following a curious non local correspondence that we have found between L(a, b) and the massless theory L ST 0 given in (53). Notice that after the invertible redefinition: the Lagrangian (53) decouples The fact that (77) has exactly the same particle content of L(a, b) in D dimensions has inspired us to find a closer connection between those models. If we substitute h µν → h µν + ∂µ∂ν ϕ in (1), we exactly reproduce (53). The field ϕ works like a Stückelberg field for longitudinal diffeomorphisms (LDiff). It leads to the symmetry δh µν = ∂ µ ∂ ν Λ, δϕ = − Λ, thus enlarging TDiff to Diff. By further taking into account (76), we can go from (1) directly to the decoupled scalar-tensor model (77) through the singular non invertible redefinition 3 In particular, at the D dimensional WTDiff point (a, b) = 2 D , D+2 D 2 , where f D = 0, the non invertible redefinition 4 h µν = H µν − ∂µ∂ν H takes us from the WTDiff model to the linearized EH theory. The Weyl symmetry is broken and replaced by LDiff, such that WTDiff→Diff. Now we are ready to go back to L(a, b) with sources. If we substitute (78) in the source term and use (75), we have (up to total derivatives) whereT The conservation ofT µν follows from (75): Expressions (77) and (79) suggest thatT µν andJ are the right source combinations which couple to the spin-2 and spin-0 modes of the TDiff theory without mixing. Indeed, we can invert (80) and obtain Since (80) is a fully invertible source redefinition, we interpret (82) as a convenient way, without loss of generality, of rewriting the original non conserved source in terms of a conserved one. Adding the source term and a gauge fixing one to L(a, b) , we have where, suppressing indices, The last term stands for the transverse gauge λ(∂ α ∂ µ ∂ ν h µν − ∂ µ h αµ ) 2 /2 as in [17]. Computing the two point amplitude in momentum space, the gauge parameter disappears as expected and we have 5 ,

Massive scalar-tensor models in curved backgrounds
This section is a preliminary step towards the construction of possible generalizations of the massive scalar tensor theory discussed before, beyond flat backgrounds. Following the approach of [33], we investigate under which conditions we have the correct number of degrees of freedom in a curved background. See also [3] and references therein and more recently [21,34].

The constraints
In D = 4, our scalar-tensor models will contain a set of 11 independent variables, h (µν) and φ. This number must be reduced to 6 since we need 5 for the massive spin-2 and 1 for the massive scalar. So we have to find out 5 constraints from the equations of motion. We need to search for a vector and a scalar constraint. This is true also for any dimension D ≥ 3. We start writing the most general, up to second order in derivatives and quadratic in the fields, massive scalar-tensor model coupled to an external gravitational field via covariant derivatives and the addition of non-minimal coupling terms linear in curvatures. We begin with 14 arbitrary coefficients, including different mass terms for the tensor and scalar fields.
where we define the traceless part of the Ricci curvatureR µν = R µν − η µν R D and the minimally coupled TDiff-like scalar tensor theory, The equations of motion of (86) with respect to h µν are given by where o(h, ϕ) denotes terms with less than two derivatives. Explicitly, we have The equation of motion of (86) with respect to ϕ is Similarly to what we have done in the flat space in subsection 3.1 we try to build a vector constraint via the linear combination: One can show that where the dots denote terms that contain less than two covariant derivatives. We can guarantee the existence of a vector constraint if we get rid of the second covariant derivatives 6 , namely, If f D ≡ f D (a, b) = 0, we obtain, , The reader may worry about the denominators in (96), but it can be shown that if they vanish we necessarily have f D = 0. Notice that no non minimal terms are required for the existence of the vector constraint. Now we look for the scalar constraint via the Ansatz: The combination ∇ ν φ ν is required in order to cancel the four-derivative terms. Collecting terms with two derivatives, Once again dots stand for less than two derivatives. The first term of (99) implies 7 a 3 = 0. By using (96) in the four terms withR µν = 0, i.e. second to fifth terms, in (99), we can show that it is impossible to simultaneously get rid of these four terms. Consequently, we assume Einstein spaces:R The other six terms allow us to solve for the coefficients A 3 , A 4 , A 5 , A 6 , fixing the scalar constraint and determining two out of the seven coefficients a 1 , a 2 , b 1 , b 2 , c 1 , c 2 and c 3 . The conclusion is that regardless of the coefficients in the Lagrangian, see (86), Einstein spaces are always required. This is also the case when f D = 0, not considered in (96), it contains the massive Fierz-Pauli [33] and massive WTDiff [21] theories. The later one corresponds to the FP case with the replacement h µν → h µν − (h/D + φ)g µν , see [21]. It is not difficult to see that equation (95) is satisfied. Explicitly, for FP, ϕ = 0 = A 1 ⇒ φ ν = ∇ µ E µν = 0, whereas for WTDiff, A 2 = 1/D and A 1 is redundant since g µν E µν = 0 due to the Weyl symmetry, so that φ ν = ∇ µ E µν − 1/D∇ ν Φ = 0. The scalar constraint requires Einstein spaces and non minimal couplings. If one adds extra non minimal terms including higher powers in the curvature and negative powers of the mass, like e.g. R 4 /m 2 , it turns out [33] that one can lift the requirement of Einstein spaces. Moreover, it is remarkable [35,36] that the non minimal coefficients can be obtained from the ghost free massive gravity theory of [8,10] by eliminating the fiducial metric f µν order by order in 1/m 2 in terms of the background metric g (0) µν around which one expands the dynamic metric g µν = g (0) µν + h µν or by the expansion, see [37], of the bimetric model of [11] in the massive gravity limit. Here we only work with non singular powers of the mass and stick to Einstein spaces.
Back to our scalar-tensor models (f D = 0), that describe 6 degrees of freedom in D = 3+1, let us find out an explicit expression for the curved version of the massive extension (52). Fixing x = a − 1, y = a − b, z = 2a − b − 1, c 1 = b, c 2 = −y, c 3 = −z, and solving (95) and (99) for Einstein spaces, we obtain a consistent family of curved background generalizations of (52), where L ∇ T Dif f is given in (88). Although a 1 , a 2 and b 1 are free, there is no way of avoiding non minimal couplings just like in the Diff and WTDiff cases.

Massless symmetries
It is expected that local symmetries of the massless theory play a key role in the derivation of constraints in massive theory as in the usual flat space Maxwell-Proca and Fierz-Pauli models. So now we investigate the interesting interplay between the massless symmetries and the constraints.
From (86) with m = 0, we require its invariance under linearized generalized Diff where k 1 , k 2 must be determined. By explicit computation, we reach the same conclusions as before: Einstein spaces are required, and a 3 = 0. Moreover, we still have: So we do have TDiff symmetry (∇·ξ = 0) in the massless version of (86) on Einstein spaces if (a 1 , a 3 ) = (1/D, 0). Notice however, that the vanishing of the last three brackets supplies us with the same three equations (95) necessary for the vector constraint by identifying (A 1 , A 2 ) = (k 1 /2, k 2 /2). Thus, Diff symmetry at m = 0 implies the vector constraint. Conversely and more interesting, the existence of the vector constraint implies Diff symmetry at m = 0 in the flat limit. In particular, there is no hope of a consistent massive scalar tensor model whose massless limit is only TDiff invariant in the flat space. Although TDiff is the minimal symmetry for massless spin-2 particles, the massive case seems to require full Diff in the massless sector. Finally, we stress that, as in the f D = 0 case [33], within the truncations made here we can have a massive scalar tensor model in Einstein spaces with a scalar and a vector constraint without any local symmetry at m = 0. The requirement of those symmetries imposes further constraints on the non minimal coefficients. For instance, in order that we have Diff symmetry in the massless limit of (101) we must have, We recall the reader that in Einstein spaces the scalar curvature R is constant and plays a similar role of m 2 . There are special values of m 2 /R for which vector and scalar symmetries show up which are under investigation. At last, we point out that the existence of constraints is equivalent to a simple counting of degrees of freedom, a necessary but not a sufficient condition for the propagation of physical particles in a curved background, unitarity and causality should be further investigated even within the truncations made here.

Conclusion
We have made the Kaluza-Klein dimensional reduction from the D + 1 TDiff model (8) to D dimensions and have obtained, for arbitrary values of (a, b), the simple expression (39) in terms of gauge invariant fields. The connection between the original tensor field h µν and H T D µν is nontrivial in general but we have shown the existence of unitary gauges in all cases. The case f D+1 (a, b) = 0 contains the Diff model, linearized general relativity, and WTDiff, linearized unimodular gravity. Both cases lead to massive spin-2 particles. All remaining cases correspond to a massive scalar tensor model. We point out that there is no guarantee, in general, that one will be able to write down the reduced model in terms of field combinations involving the Stückelberg fields invariant under all local symmetries. It may happen, see [38], that there is no combination of fields large enough to accommodate all symmetries, so part of them must be realized dynamically by combining the different terms in the Lagrangian.
In subsection 3.1.2 we have investigated the nontrivial issue of gauging away Stückelberg fields at action level and showed that the completeness (uniqueness) criterion of [24] fits well with the unitary requirements for a massive spin-2 theory. The message is that we have to be careful and avoid gauge conditions with residual symmetries.
In subsection 3.2 we have checked, in all cases, that the massless limit of the reduced model (39) contains the same number of degrees of freedom as the corresponding massive theory, thus providing a smooth massless limit.
In section 4 we obtain the massive scalar tensor model (52) via gauge fixing of the reduced model. The scalar and tensor degrees of freedom can not be decoupled by any local field redefinition. By means of a helicity decomposition we have identified the different helicity modes. We have also worked out the equations of motion and the necessary vector and scalar constraints for a massive scalar tensor theory. The coupling to arbitrary sources have allowed us to prove unitarity in a covariant way and to show that the scalar field can only worsen the mass discontinuity problem [5].
The massless version of (52), i.e., (53) is invariant under Diff and not TDiff, similarly the massless limit of the WTDiff reduced model investigated in [21] is invariant under WDIFF and not WTDiff. In section 5 we show, starting from a more general Ansatz, that in order to have the vector and the scalar constraints in a second order scalar tensor model we do need Diff symmetry in the massless sector in flat space. So the absence of a consistent Lorentz covariant mass term for spin-2 particles in the pure tensor TDiff model (1) seems to be more general. Apparently, although TDiff is the minimal symmetry [16] for massless spin-2 particles, the massless sector must be Diff invariant in order that the mass terms produce the necessary number of constraints for the elimination of non physical degrees of freedom.
We have found a non local correspondence (78) between the pure tensor model (1) and (41) leading to a parametrization (82) of the non conserved source allowing an explicitly covariant proof of unitarity of (1) and a clear separation of the spin-2 and spin-0 contributions to the two point amplitude of the pure tensor TDiff model, see (85). The relationship (78) takes us also from the WTDiff model to the Einstein-Hilbert theory. We wonder whether there would be any nonlinear generalization connecting unimodular gravity to general relativity.
Finally, in section 5 we investigate linearized massive scalar tensor theories in curved backgrounds. We go beyond the scalar tensor theory obtained via dimensional reduction and start from a rather general second order, in derivatives, Ansatz with 14 parameters and non minimal terms linear in the curvature. The requirement of a vector plus a scalar constraint leads to the equations (62) and (99). Instead of a detailed analysis of a complicate system of equations (under investigation) we show that the specific flat space massive model (52) does admit a family of curved background extensions on Einstein spaces with three free non minimal parameters. If we demand Diff symmetry at m = 0, only one parameter, see (104), remains arbitrary. The natural way of lifting the Einstein spaces demand is to include non minimal terms with higher powers in the curvature and negative powers in m 2 as in [33]. We may go even ahead that perturbative approach and try to formulate a massive scalar tensor gravity along the lines of [8] or even a scalar bi-tensor theory generalizing [11]. This is beyond the scope of the present work.

Acknowledgements
The work of D.D. is partially supported by CNPq (grant 306380/2017-0). R. R. is supported by a research grant (29405) from VILLUM FONDEN, and grateful for the support by FAPESP (grant 2018/24767-2) and CNPq. D.D. is grateful to Gabriel B. de Gracia for earlier (2016) discussions on the dimensional reduction of TDiff models. We thank the anonymous referee for suggestions.
In this case, it is necessary to include transition operators Both projection and transition operators satisfy the following algebra and the closure relation is given by 1 µναβ S ≡ 1 2 η µα η νβ + η να η µβ = P (2) ss + P (1) ss + P (0) ss + P (0) ww µναβ , The trace of projection operators P (s) ij is related to spin s through: trace = 2s + 1.