Weyl and transverse diffeomorphism invariant spin-2 models in D=2+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D=2+1$$\end{document}

There are two covariant descriptions of massless spin-2 particles in D=3+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D=3+1$$\end{document} via a symmetric rank-2 tensor: the linearized Einstein–Hilbert (LEH) theory and the Weyl plus transverse diffeomorphism (WTDIFF) invariant model. From the LEH theory one can obtain the linearized new massive gravity (NMG) in D=2+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D=2+1$$\end{document} via Kaluza–Klein dimensional reduction followed by a dual master action. Here we show that a similar route takes us from the WTDIFF model to a linearized scalar–tensor NMG which belongs to a larger class of consistent spin-0 modifications of NMG. We also show that a traceless master action applied to a parity singlet furnishes two new spin-2 self-dual models. Moreover, we examine the singular replacement hμν→hμν-ημνh/D\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$h_{\mu \nu } \rightarrow h_{\mu \nu } - \eta _{\mu \nu }h/D$$\end{document} and prove that it leads to consistent massive spin-2 models in D=2+1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D=2+1$$\end{document}. They include linearized versions of unimodular topologically massive gravity (TMG) and unimodular NMG. Although the free part of those unimodular theories are Weyl invariant, we do not expect any improvement in the renormalizability. Both the linearized K-term (in NMG) and the linearized gravitational Chern–Simons term (in TMG) are invariant under longitudinal reparametrizations δhμν=∂μ∂νζ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\delta h_{\mu \nu } = \partial _{\mu }\partial _{\nu }\zeta $$\end{document}, which is not a symmetry of the WTDIFF Einstein–Hilbert term. Therefore, we still have one degree of freedom whose propagator behaves like 1/p2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$1/p^2$$\end{document} for large momentum.

The WTDIFF model can be obtained from the usual LEH theory by the singular replacement h μν → h μν − η μν h/D. The reason why this replacement is successful is not obvious. An argument is given in [11]. Namely, we first introduce a harmless Stueckelberg scalar field altogether with a trivial Weyl symmetry in the LEH model via h μν → h μν + η μν φ, thus defining a conformal model which is now invariant under full linearized reparametrizations and Weyl symmetry, namely, δφ = −λ and δh μν = ∂ μ ξ T ν +∂ ν ξ T μ +∂ μ ∂ ν +η μν λ. Now on the one hand, we can choose to break only the Weyl symmetry by setting φ = 0 which brings us back to the LEH model while on the other hand, we can break only the longitudinal reparametrizations picking up φ = −h/D. In the latter case we are left with WTDIFF symmetry. Therefore, the LEH and WTDIFF models correspond to two differently partially broken versions of the same conformal theory. This is not a proof of equivalence, since the partial symmetry breaking conditions are implemented at action level. This is not the usual gauge fixing procedure. According to [12], the equivalence between a general gauge theory and its broken version (at action level) requires that the symmetry breaking proce-dure be complete which is not the case here. The key point is that the symmetry breaking at action level leads to less equations of motion. This is not equivalent in general to first derive the full set of equations of motion and impose those conditions afterwards.
Mainly motivated by the accelerated expansion of the universe, but also as a matter of principle, we are interested here in massive gravitational theories. They have been a subject of intense work in the last decade, (see [13,14] and the review works [15,16]). The modern massive gravities are built on top of the massive FP model, so we might wonder whether massive WTDIFF models do exist, or even before that, we must search for WTDIFF massive spin-2 theories. Naive addition of mass terms to the massless WTDIFF model breaks unitarity [2]. In [11] the reader can find a recent discussion in that direction via dimensional reduction.
Notice that the argument of [11] cannot be used in order to derive a WTDIFF version of the massive FP model. The condition φ = −h/D is not allowed, since there is no reparametrization symmetry to be broken or partially broken in the massive case. The best we can do is to replace h μν → h μν + η μν φ and carry out a field redefinition φ → φ − h/D. We end up with the Weyl symmetry δh μν = η μν but the new φ is not pure gauge anymore. It remains in the theory as an extra degree of freedom [11]. This is the typical situation for massive WTDIFF models; extra fields are required in general.
In D = 2 + 1 the situation is different. We may have massive spin-2 models still invariant under reparametrization. This is the case of the second-, third-and fourth-order selfdual models of helicity +2 or −2 (parity singlets) and the linearized version of the new massive gravity (NMG) [17] with both helicities ±2 (parity doublet). This raises the question of defining WTDIFF versions of those models according to the argument of [11] and eventually building unimodular versions of the corresponding massive gravitational theories. This issue is specially interesting from the point of view of renormalizability because the highest derivative term of topologically massive gravity (TMG) and of NMG is Weyl invariant at linearized level, contrary to the lower derivative term (Einstein-Hilbert). It would be interesting to have both terms Weyl invariant in order to make sure that all degrees of freedom have their large momentum behavior ruled by the highest derivative term. We examine that question here.
In Sect. 2 we show the consistency of the WTDIFF version of the linearized NMG model and of the second, third-and fourth-order spin-2 self-dual models SDn (n = 1, 2, 3). We also comment on possible unimodular massive gravities and the issue of renormalizability. In Sect. 3, by means of a traceless master action approach we derive a new scalar-tensor self-dual model of second order NSD2 and also a new and unusual fourth-order model NSD4 from NSD2. In Sect. 3.2 a traceless master action gives rise to a new scalar-tensor NMG model which is shown to be a specific subcase of a more general class of consistent spin-0 (scalar-tensor) deformations of NMG. In Sect. 4 we present our final comments.

WTDIF invariant models in
In order to point out the subtleties of gauge fixing procedures at action level, it is instructive to first look at the massless case. It is well known that the Einstein-Hilbert theory has no propagating degrees of freedom in D = 2 + 1. At linearized level we have where the transverse operators are such that The equations of motion E ρδ E γ σ h δσ = 0 are equivalent (multiply by ρμν γ αβ ) to a vanishing linearized Riemann curvature R L μναβ (h) = 0 (flat space). The general solution is pure gauge h μν = ∂ μ ξ ν + ∂ ν ξ μ .
On the other hand, following the argument of [11], if we make the Stueckelberg replacement h μν → h μν + η μν φ in (1) followed by the symmetry breaking condition φ = −h/3 at the action level, we have a WTDIFF invariant model S L E H [h μν ] whose equations of motion are traceless: Applying ∂ ρ we show that the linearized scalar curvature is an arbitrary constant, not necessarily vanishing anymore, i.e., R L = ∂ μ ∂ νh μν = c. The integration constant c cannot be fixed by the equations of motion. Contracting (4) with ρμν γ αβ we have a maximally symmetric space in general, not necessarily flat: The solution to (5) is given bȳ Except for the c-dependent term, the solution is pure gauge. So the number of propagating degrees of freedom still vanishes. We have one extra parameter (c, a global one) to be fixed and the geometry has been changed as if we had a cosmological constant. 2 On the other hand, if after the Stueckelberg substitution in (1) we first derive the field equations with respect to h μν and φ and then require φ = −h/3, then we would have obtained R L μναβ (h) = 0 and consequently R L = ∂ μ ∂ νh μν = 0, which corresponds to c = 0. We learn that imposing symmetry breaking conditions at action level is nontrivial, specially regarding gravitational theories. Thus, whenever we do it, as in the next section, we must explicitly check the consistency of the resulting model. We cannot take physical equivalence for granted. In the following subsections we turn to massive models which are still gauge invariant in D = 2 + 1 dimensions.

WTDIFF linearized new massive gravity (parity doublet)
The linearized version of the new massive gravity [17] (LNMG) can be written in the compact Fierz-Pauli form where the dual field is given by [19] and identically If we replace h * μν by h μν in (8) we recover the usual massive FP model. The theory S LNMG [h] is DIFF invariant. The highest derivative term of (8) is invariant under Weyl symmetry δh μν = λ η μν which is broken by the EH term. Repeating in (8) the procedure of the last subsection, which amounts to the replacement h μν →h μν at action level, we derive a WTDIFF version of LNMG: S WLNMG (h) = S LNMG (h). Let us check the particle content of S WLNMG . The equations of motion δS WLNMG /δh μν = 0 are traceless, namely, From (10) we see that θ ρσ h * ρσ = 0. Applying ∂ μ on (11) we have ∂ μh * μν [h] = 0. Using the identities (3) and (10) we see that (11) is equivalent to the Klein-Gordon equations is transverse and traceless, and it satisfies the Klein-Gordon equations. Moreover, it is invariant under the WTDIFF gauge symmetry of S WLNMG , i.e., δh μν = ∂ μ ξ T ν + ∂ ν ξ T μ + η μν φ. So S WLNMG correctly describes massive spin-2 particles. From (10) and ∂ μh * μν = 0 we have ∂ μ h * = 0, so h * = η αβ h * αβ becomes an integration constant which plays no role from the point of view of the particle content of S WLNMG but from the point of view of a linearized gravitational theory works like a cosmological constant.
Although LNMG can be obtained from the usual massive FP model via master action, see for instance [19], we have not been able to derive the WLNMG model from any secondorder theory. The WLNMG model contains both helicities +2 and −2, in the next subsection we look at parity singlets of helicity +2 or −2 described in terms of a symmetric traceless tensor.

WTDIFF self-dual models (parity singlets)
Free helicity +2 or −2 states can be described by the so called spin-2 self-dual models (SDn), of nth order in derivatives with n = 1, 2, 3, 4. The SDn model can be obtained from SD(n − 1) via a consecutive Noether gauge embedding procedure as shown in [19]. The equivalence among all those models can be proved by means of a master action approach [20]; see [19,21], which also furnishes a dual map e μν → e * μν responsible for the equivalence of correlation functions of e μν in the SD1 model with correlation functions of e * μν in the higher-order SDn models. All SDn models can be written in a compact way 3 like the first-order model of Aragone and Khoudeir [24], which was the first one to be suggested, namely where 3 Similarly for the spin-1 case where n = 1, 2. The SD2 model is the Maxwell-Chern-Simons theory of [22] and SD1 was suggested in [23].
With the maps A * μ = A μ (n = 1) and The equations of motion from (13) are then given by Notice that (16) holds identically for the higher-order cases, n = 2, 3, 4, as a consequence of a local vector symmetry in those cases. Next, by acting with μνλ on (15) we conclude that e * [μν] = 0. If we take the trace of (15) we obtain e = 0. Therefore ∂ μ e * μν = 0. Then we can rewrite (15) in the form of the Pauli-Lubanski equation which specifies the helicity Now if we apply E μ σ in (17) and use it recursively we obtain the Klein-Gordon equation: SDn represent a massive particle of helicity +2 for all cases n = 1, 2, 3 and 4.

A note on renormalizability
The models S LNMG , SD3 and SD4 have gravitational nonlinear completions; they correspond, respectively, to NMG, topologically massive gravity (TMG) and higher derivative topologically massive gravity (HDTMG). In the cases of S LNMG and SD3 the highest derivative term, of fourth and third order, respectively, is invariant under WDIFF δh μν = ∂ μ ξ ν + ∂ ν ξ μ + η μν φ while the lowest derivative term (linearized Einstein-Hilbert) is only invariant under DIFF. As argued in [25] this is an obstruction to the renormalizability of their nonlinear completions, since there will always be one metric degree o freedom (absent in the highest derivative term due to the Weyl symmetry) whose propagator is governed by the Einstein-Hilbert term and behaves unfortunately like 1/ p 2 for large momentum.
On the other hand, in the last subsections we have shown that WLNMG and WSD3 correctly describe free massive spin-2 particles. They are obtained from LNMG and SD3 by the replacement h μν →h μν ≡ h μν − η μν h/3 which ensures that the Weyl symmetry is present in all sectors of the Lagrangian. In fact, they are invariant under WTDIFF transformations. The nonlinear version of such a replacement, i.e., g μν →ĝ μν ≡ g μν /(−g) 1/3 leads to unimodular theoriesĝ = −1 which are invariant under Weyl transformations and volume preserving diffeomorphisms (∇ μ ξ μ = 0). Now we can be sure that both highest and lowest derivative terms in the quadratic part of the action are invariant under WTDIFF by construction. So we may hope that all degrees of freedom behave like 1/P 4 in the case of unimodular NMG or 1/P 3 for unimodular topologically massive gravity, respectively. However, there is a subtlety. Due to their Weyl symmetry, the highest derivative terms are unchanged by the replacement h μν →h μν . So, they remain invariant under full WDIFF while the Einstein-Hilbert term is only invariant under WTDIFF. Consequently, the linearized K-term (NMG case) and the linearized gravitational Chern-Simons term (TMG case) still have one more local symmetry than the EH term, namely, they are invariant under longitudinal diffeomorphisms: δ h μν = ∂ μ ∂ ν ζ . Indeed, such symmetry can be used in order to obtain the WSD4 model, which is equivalent to SD4, from the WSD3 model via Noether gauge embedding just like the Weyl symmetry is used to get from SD3 to SD4 as shown in [19]. Therefore, the pure longitudinal sector of the metric will behave like 1/P 2 . So there is no improvement in the renormalizability as we go to the unimodular theories.
The case of HDTMG [19,26], i.e., the nonlinear completion of SD4, is even worse from the point of view of perturbative quantum field theory. Both terms of the quadratic (free) piece of HDTMG, i.e., the linearized K-term and the linearized gravitational Chern-Simons term are invariant under linearized WDIFF while the cubic and higher vertices are only invariant under DIFF. Thus, there is one metric degree of freedom which only appears in the vertices without any free propagator. At quantum level it gives rise to a nonlinear constraint whose role is unclear. A similar problem also appears in the massless limit of NMG as discussed in [27]. The replacement g μν →ĝ μν , which amounts to h μν →h μν in the quadratic (O(h 2 )) piece of the theory, turns the DIFF symmetry into Weyl plus volume preserving diffeomorphisms or WTDIFF at linearized level. However, the quadratic theory is invariant under the larger WDIFF transformations, so the pure longitudinal degree of freedom (∂ μ ∂ ν ζ ) of the metric only appears in the vertices, leading to an awkward constraint again. The only hope is to start with the SD4 model and examine the addition of cubic and higher vertices invariant under the full set of WDIFF.

Self-dual models
Let us consider the first-order self-dual model originally proposed by [24]: We can split the non-symmetrical field f μν into its traceless and trace full parts by making f μν =f μν + η μν φ where φ is a fundamental scalar field. After that we have The traceless Chern-Simons like term is invariant under δf μν = ∂ μ ξ T ν with ∂ ν ξ T ν = 0. Moreover, it is possible to show that it is trivial, it has no particle content by itself. This fact tells us that it might be used as a mixing term in order to construct a master action: Then it might be possible to interpolate between the firstorder self-dual model and alternative traceless descriptions. In order to implement it we define a generating functional by adding a source term to the field f μν , where one can easily see that after the shiftē μν →ē μν +f μν we have basically the first-order self-dual model, since we end up with a completely decoupled trivial Chern-Simons term. On the other hand without any shifts, we would have After functionally integrating overf μν and shifting, we can obtain the new second-order self-dual model given by where we have neglected quadratic contributions in the source term, which lead to contact terms when we are comparing correlation functions between SD1 and NSD2. As a byproduct we have obtained the following dual maps: The model that we have found in (29) is invariant under the gauge transformations δē μν = ∂ μ ξ T ν and δφ = 0. Surprisingly one can also note that the set of second-order terms in (29) is invariant under the gauge transformations: The second-order sector of (29) is free of particle content, which can be seen by means of a Hamiltonian analysis and also by studying its propagator. Thus, we can use it as mixing terms (S mix ) in order to construct another master action with the following structure: which after the shiftsf μν →f μν −ē μν and χ → χ − φ takes us back to the NSD2 model thanks to the triviality of the second-order sector. On the other hand we have After functionally integrating overē μν and the scalar φ and then defining f μν =f μν + η μν χ we arrive at a new, and unusual, new self-dual model which contains second-, thirdand fourth-order terms in derivatives: where we have defined the dual field: One can check that correlation functions of e μν in the firstorder self-dual model of [24] coincide with correlation functions of the dual field f * μν in the model S NSD4 up to contact terms. The model (34) is invariant under the gauge transformation δ f μν = ∂ μ A ν + ∂ ν B μ , which leaves f * μν also invariant.
Remarkably, the model S NSD4 can be written in the compact form (13) with the help of (35). Although the fourthorder term of (34) has no particle content, we have not been able to produce any higher (than four) self-dual model out of S NSD4 . It seems that the highest number of derivatives in spin-2 models in D = 2 + 1 is indeed four.

Scalar-tensor new massive gravities
One way of obtaining the new massive gravity of [17] is to start with the massless linearized Einstein-Hilbert (LEH) theory in D = 3 + 1 and perform its Kaluza-Klein (KK) dimensional reduction leading to the massive Fierz-Pauli theory in D = 2 + 1 from which we obtain NMG as a dual model via a master action technique [20] where the mixing term between old and new (dual) fields is the full Einstein-Hilbert theory; see [19]. If we replace the LEH by the WTD-IFF model in D = 3+1, the KK dimensional reduction leads to a massive model where one of the Stueckelberg fields cannot be gauged away; see [11]. We may choose to end up with a lower dimensional theory which corresponds to the FP model after the replacement h μν →h μν + η μν φ. This is physically equivalent to the usual FP model, since it could have been obtained by first introducing a scalar Stueckelberg field h μν → h μν + η μν φ, altogether with a Weyl symmetry, followed by the harmless shift φ → φ − h/3. This new form of the FP theory inspires us to define a new master action with a traceless mixing term: Since the traceless LEH theory has no propagating degree of freedom, after the shiftf μν →f μν +h μν the fields decouple and it is clear that the particle content of (36) is the same as the one of the massive FP model, i.e., one helicity doublet +2 and −2. On the other hand, after integrating overh μν in (36) we have a quadratic scalar-tensor model depending upon (φ,f μν ). If we suppose that such a theory comes from the singular replacement f μν →f μν of a full reparametrization invariant model, its simplest nonlinear completion would be where g μν = η μν + f μν and The model (37) is a scalar modification of NMG. This becomes clearer after introducing an auxiliary scalar field which allows us, using (38), to rewrite (37) in the local form: Following [17] we can eventually introduce an auxiliary symmetric field and bring (39) to a fully second-order form. The NMG itself corresponds to (37) with (r, s) = (1, 3 m 2 ). In what follows we perform an analysis of the analytic structure of the linearized version of (37) in search for other viable (unitary and non-tachyonic) scalar deformations of NMG. The linearized version of (37), using the more common notation g μν = η μν + h μν , can be conveniently written where s( ) and r ( ) are now arbitrary functions of the d'Alembertian, while A is an arbitrary constant. In the case of (38) we had A = 1/12m 2 . We have used with the spin-2 and spin-0 (for later use) projection operators given by After a Gaussian integration of the scalar field, we rewrite the Lagrangian as follows: where The Lagrangian (43) can be further written in terms of a four index differential operator L SNMG ≡ h μν G μναβ h αβ . The inverse G −1 does not exist due to DIFF symmetry. After adding the de Donder gauge fixing term L GF = λ ∂ μ h μν − ∂ ν h/2 2 and suppressing the indices we have where dots stand for terms which vanish when we saturate G −1 with conserved sources and build a gauge invariant amplitude. The NMG case is recovered at F( ) = 0. The two point amplitude in the momentum space is given by Here G −1 (k) = G −1 (∂ μ → i k μ ) and k μ T μν = 0. More explicitly we have S (2) .
With k 2 = k μ k μ and where T = η μν T μν = −T 00 + T ii is the trace of the source in momentum space. The analytic structure of A(k) determines the particle content of the theory. Physical particles correspond to simple poles with residues with positive imaginary part. First we look at the massless pole k 2 = 0. Since both S (2) and S (0) are Lorentz invariant we can choose the convenient frame k μ = (k, , k), at the end we take → 0. In [28] we have shown that, in such a frame, up to terms of order and higher, we may write Therefore, requiring the imaginary part of the residue at k 2 = 0 vanishes and we get rid of the massless pole, The same mechanism works in the NMG case; see [29]. Now we look at possible massive poles k 2 = −m 2 . We choose the rest frame k μ = (m, 0, 0). From k μ T μν = 0 one can show [28] that, up to terms of order and higher, We see that S (2) > 0 while S (0) has no definite sign. Thus, if we have any massive pole coming from 1 − 4 k 2 F(−k 2 ) = 0, withm = m, its residue will be proportional to S (0) and we are doomed to have a ghost. It is impossible to have a physical massive scalar particle withm = m. The case k 2 =m 2 = m 2 is subtler since the residue acquires contributions from both the spin-2 and the spin-0 sectors. Let us suppose that with some continuous function G(k 2 ). Consequently, we have the imaginary part of the residue: If we take an arbitrary real constant a, we see from (53) and (54) that S (2) + a S (0) > 0 whenever 0 ≤ a ≤ 1, consequently we must have G(−m 2 ) ≤ −1/m 2 . On the other hand, from (51) and (55) we get G(0) = 1/m 2 . From those two points and the continuity of G(k 2 ) it is clear that G(−bm 2 ) = 0 with some 0 < b < 1. However, as we have argued before, we are not allowed to have a massive scalar particle withm = m. So (55) cannot be true and there cannot be any contribution to the residue at k 2 = −m 2 coming from the denominator of S (0) in A(k). Thus, we are left with I m = S (2) > 0 and we are left with only one massive spin-2 particle in the spectrum just like the NMG case.
The previous arguments amounts to the requirement that the numerator of the function be independent of . Thus, the polynomials r ( ) and s( ) must be such that Here A is an arbitrary constant and s 0 = s( = 0) After integration over the scalar field in (37) using (58), we have the following class of spin-0 nonlocal deformations of NMG: The case s( ) = s 0 corresponds to the NMG [17]. The reader can check that r ( ), s( ) and A given in (38) and in the text after (40), respectively, satisfy (58). Another special case is s 0 = 0 where the function H ( ) vanishes. Such momentum independent singularity in G −1 indicates the presence of a spin-0 local symmetry, in fact we have a Weyl symmetry. The corresponding model has been found before in our previous work [28]. It corresponds to making the Stueckelberg substitution h μν → h μν + η μν φ in the LNMG and then build its simplest nonlinear completion. Since this is not equivalent to first taking the nonlinear NMG and then making g μν → e φ g μν , we expect that the linearized unitarity of the s 0 = 0 case breaks down at nonlinear level, since φ stops being a pure gauge degree of freedom at nonlinear level, so the Weyl symmetry only exists in the linear theory.
Regarding the other solutions to (58), since they are not associated with any local symmetry, it is not clear whether the unitarity of the linearized model is broken in the nonlinear theory (37).

Conclusion
Here we have examined different issues regarding the Weyl and transverse diffeomorphism (WTDIFF) symmetry in D = 2 + 1 massive spin-2 theories as well as their nonlinear analogues (unimodular theories).
The issue of imposing symmetry breaking conditions at the action level is tricky; see [12]. In particular, the triviality of Einstein-Hilbert gravity in D = 2 + 1 is lost in its unimodular (g = −1) version as we have briefly commented in the beginning of Sect. 2 using the linearized theory. Instead of flat space we have now a maximally symmetric space in general which may include BTZ black holes [30] in the nonlinear case, depending on the sign of an integration constant which plays the role of a cosmological constant.
We have explicitly checked that WTDIFF versions of massive spin-2 theories (one and two helicities) are fully consistent. In the special cases of the third and fourth order (in derivatives) self-dual (one helicity) theories, they correspond to linearized versions of unimodular topologically massive gravity and unimodular higher derivative topologically massive gravity. Likewise, in the case of a parity doublet we have a linearized version of a unimodular new massive gravity.
At the end of Sect. 2 we have examined the issue of renormalizability and Weyl symmetry. We argued that although both highest and lowest derivative terms in the free (quadratic) sector of unimodular TMG and unimodular NMG are Weyl invariant, we still have a mismatch of local symmetries, which is dangerous for the renormalizability as pointed out in [25]. The Einstein-Hilbert theory is only invariant under WTDIFF (linearized theory) while the highest derivative term (gravitational Chern-Simons term or the K-term) is invariant under full WDIFF. Thus, the pure longitudinal degree of freedom h μν ∼ ∂ μ ∂ ν φ only appears in the Einstein-Hilbert term. Consequently, it propagates like 1/ p 2 at large momentum and no improvement is achieved for renormalizability in unimodular theories. The mismatch between the symmetries of the highest derivative term and the lower one seems to be unavoidable. In [31] we have pointed out that there exists a massive spin-2 model in D = 2 + 1 described by a nonsymmetric tensor e μν , see [32], where both the second-and the fourth-order terms are Weyl invariant, however, only the fourth-order one is invariant under antisymmetric shifts. The mismatch also occurs in the higher-dimensional analog of the linearized NMG; see [33] and [34]. This is the higher derivative analog of the usual breakdown of gauge symmetries by mass terms as in the Proca (s = 1) and massive Fierz-Pauli (s = 2) theories. The only hope is to find a theory where the lowest derivative term has already more than two derivatives.
It is well known that massive theories in D dimensions can be obtained from D + 1 massless theories via Kaluza-Klein dimensional reduction. From the massless spin-2 linearized Einstein-Hilbert theory in D = 3 + 1 one can obtain the massive spin-2 Fierz-Pauli theory in D = 2 + 1. From the latter theory one can derive, via the master action approach of [20], the fourth-order linearized new massive gravity theory [17]. A key point in this approach is the absence of propagating degrees of freedom of the Einstein-Hilbert theory in D = 2 + 1, which works like a mixing term between old and new (dual) fields in the master action approach. If, however, we replace the linearized EH theory in D = 3 + 1 as starting point by the WTDIFF massless spin-2 theory, its dimensional reduction 4 [11] leads to the massive FP theory with the replacement h μν →h μν + η μν φ. In Sect. 3, starting from the latter theory we have defined a noncanonical (traceless) master action where the mixing term is the EH action for the traceless fieldh μν . This leads to a scalar-tensor modification of the NMG theory. We have shown it belongs to a more general class of consistent (unitary at quadratic level) scalar-tensor modifications of NMG. The consistency of their nonlinear completion (37) demands further investigations.
From the point of view of dimensional reduction the appearance of an extra scalar field in the massive model is a consequence of the fact that the gauge parameter of the massless higher dimensional theory satisfies the scalar constraint ∂ M ξ T M = 0 with M = 0, . . . , D. This makes the lower dimensional gauge parameters not independent, consequently we are not able to eliminate all the Stueckelberg fields and we may choose to be left with one scalar Stueckelberg field; see [11]. This is similar to the massive spin-3 theory, which requires an extra scalar field besides a totally symmetric rank-3 tensor φ αβγ due to the constrained symmetry of the higher dimensional massless theory δφ αβγ = ∂ (αξβγ ) where η μν ξ μν = 0.
Still in Sect. 3 we have also applied the traceless master action approach on the first-order self-dual model of [24] and derived a new second-order model (NSD2) which, in its turn, has given rise to a new fourth-order model (NSD4). The unusual NSD4 model contains second-, third-and fourthorder terms. Remarkably, the SDn models and also NSD4 can