Dimensional reduction of the massless limit of the linearized ‘New Massive Gravity’

Open Access
Regular Article - Theoretical Physics


The so-called ‘New Massive Gravity’ in \(D=2+1\) consists of the Einstein–Hilbert action (with minus sign) plus a quadratic term in the curvature (\(K\)-term). Here we perform the Kaluza–Klein dimensional reduction of the linearized \(K\)-term to \(D=1+1\). We end up with fourth-order massive electrodynamics in \(D=1+1\), described by a rank-2 tensor. Remarkably, there appears a local symmetry in \(D=1+1\), which persists even after gauging away the Stueckelberg fields of the dimensional reduction. It plays the role of a \(U(1)\) gauge symmetry. Although of higher order in the derivatives, the new 2D massive electrodynamics is ghost free, as we show here. It is shown, via a master action, to be dual to the Maxwell–Proca theory with a scalar Stueckelberg field.


Dimensional Reduction Particle Content Massive Gravity Maxwell Theory Proca Theory 

1 Introduction

The authors of [1] have suggested an invariant theory under general coordinate transformations which describes a massive spin-2 particle (graviton) in \(D=2+1\). The model contains the Einstein–Hilbert theory and an extra term of fourth order in the derivatives and quadratic in the curvatures, the so-called \(K\)-term, which has been analyzed in [2], see also [3]. Since massless particles in \(D\) dimensions have the same number of degrees of freedom as massive particles in \(D-1\) dimensions, one might wonder whether the ‘New Massive Gravity’ (NMG) theory might be regarded as a dimensional reduction of some fourth-order (in the derivatives) massless spin-2 model in \(D=3+1\), which would be certainly interesting from the point of view of renormalizable quantum gravity in \(D=3+1\). As far as we know there has been given no positive answer to that question so far.1 As an attempt to gain more insight in that question we investigate here the dimensional reduction of the massless part of the linearized NMG theory, the linearized \(K\)-term. We show here that the linearized \(K\)-term is reduced to a kind of higher-derivative massive 2D electrodynamics, which is in agreement with the fact that the linearized \(K\)-term is dual to the Maxwell theory in 3D as shown in [5]; see also [2] and [6]. However, it is remarkable that a new local symmetry shows up after dimensional reduction and plays the role of a \(U(1)\) symmetry not broken by the mass term. We also derive in Sect. 4 a master action interpolating between the new (higher-order) massive 2D electrodynamics and the usual Maxwell–Proca theory with a Stueckelberg field. We emphasize that throughout this work we only deal with quadratic (linearized) free theories.

2 From \(2+1\) to \(1+1\)

Here we take capital indices in three dimensions (\(M,N=0,1,2\)) and Greek lower-case indices in two dimensions \((\mu ,\nu = 0,1)\), except in the appendix. Expanding about a flat background, \(g_{MN}= \eta _{MN} + h_{MN}\), where \(\eta _{MN}=(-,+,+)\), the \(K\)-term [1, 2] becomes, in the quadratic approximation,
$$\begin{aligned} S_K&= \int \hbox {d}^3 \, x \sqrt{-g}\left( R_{MN} R^{MN} - \frac{3}{8} R^2 \right) _{hh} \end{aligned}$$
$$\begin{aligned}&= \frac{1}{4}\int \hbox {d}^3 \, x \left[ \left( \Box \theta _{AN}h^{NM} \right) \left( \Box \theta _{MB}h^{BA}\right) \right. \nonumber \\&\left. - \frac{\left( \Box \theta _{MN}h^{MN}\right) ^2}{2} \right] \end{aligned}$$
$$\begin{aligned}&= \frac{1}{4}\int \hbox {d}^3 \, x h^{AB}\left( \Box ^2 P_{TT}^{(2)} \right) _{ABCD}h^{CD}, \end{aligned}$$
where we have the spin-1 projection operator
$$\begin{aligned} \theta _{MN} = \eta _{MN} - \frac{\partial _M\partial _N}{\Box } , \end{aligned}$$
while \(P_{TT}^{(2)}\) is the spin-2 projection operator acting on symmetric rank-2 tensors in \(D=3\). It is given in (62) of the appendix for arbitrary dimensions.
Since projection operators of different spins are orthogonal, it is clear from (3) that there is a general spin-1 plus a general spin-0 local symmetry in the quadratic approximation for the \(K\)-term, i.e.,
$$\begin{aligned} \delta h_{AB} = \partial _A \xi _B + \partial _B\xi _A + \eta _{AB} \Lambda . \end{aligned}$$
The vector symmetry corresponds to linearized reparametrizations as expected from the general covariant form of the nonlinear theory (1). The Weyl symmetry is surprising from the point of view of the nonlinear version of (1) since it does not hold beyond the quadratic approximation. It leads to an awkward situation for perturbation theory, where a scalar degree of freedom is present in interacting vertices but it does not propagate; see the comments in [2, 7]. Indirectly the Weyl symmetry leads to an unexpected symmetry in the reduced theory, as we show here.
In order to proceed with the dimensional reduction we consider the second space dimension \((x_2 \equiv y )\) constrained to a circle of radius \(R=1/m\). Explicitly, the action \(S_K\) becomes
$$\begin{aligned} S_K&= \frac{1}{4} \int \limits _{0}^{2\pi R}\,\hbox {d}y \int \,\hbox {d}^2 x \left[ h_{AB}\Box ^2 h^{AB} + 2 \partial _Ah^{AB}\Box \partial ^{C}h_{CB} \right. \nonumber \\&+ \frac{1}{2} (\partial _A\partial _Bh^{AB})^2 - \frac{1}{2} h \Box ^2 h + \partial _A\partial _Bh^{AB}\Box h \left. \!\!\right] . \end{aligned}$$
As usual for Kaluza–Klein reductions, we expand tensor fields with even (odd) number of indices in the y-dimension in terms of periodic even (odd) functions, see e.g. [8]. Using
$$\begin{aligned} h_{\mu \nu }(x,y)&= \sqrt{\frac{m}{\pi }} h_{\mu \nu }(x) \cos (m\,y); \nonumber \\ h_{\mu ,2} (x,y)&= \sqrt{\frac{m}{\pi }} \phi _{\mu }(x) \sin (m\, y) , \end{aligned}$$
$$\begin{aligned} h_{22}(x,y)&= \sqrt{\frac{m}{\pi }} H (x) \cos (m\,y) , \end{aligned}$$
back in the action (6) we obtain the complicated action in \(D=1+1\):
$$\begin{aligned} S_{2\mathrm{D}}&= \frac{1}{4}\int \hbox {d}^{2}x\left[ m^{4}\left( h_{\nu \mu }h^{\nu \mu }- h^{2}/2 \right) \right. \nonumber \\&- 2\, m^{3}\left( 2\partial ^{\mu }h_{\mu \lambda }\phi ^{\lambda }+ \partial _{\beta }\phi ^{\beta }h \right) \nonumber \\&+ \left. m^{2}\left( -2h_{\nu \mu }\Box h^{\nu \mu }-2\phi ^{\nu }\Box \phi _{\nu } - 2\partial ^{\mu }h_{\nu \mu }\partial _{\beta } h^{\nu \beta }\right. \right. \nonumber \\&-2\partial _{\nu }\partial _{\mu }h^{\nu \mu }H \left. \left. + H\Box h -\partial _{\alpha }\partial _{\beta }h^{\alpha \beta }h+ h\Box h \right) \right. \nonumber \\&+ \left. 2\, m(-\partial ^{\mu }\phi _{\mu }\Box H + 2\, \partial ^{\mu }h_{\nu \mu }\Box \phi ^{\nu }+ \partial _{\nu }\partial _{\mu }h^{\nu \mu }\partial _{\alpha }\phi ^{\alpha } \right. \nonumber \\&+ \left. \partial _{\beta }\phi ^{\beta }\Box h) + 2\, \phi ^{\nu }\Box ^{2}\phi _{\nu }+\frac{1}{2}H\Box ^{2}H\right. \nonumber \\&+ 2\, \Box \partial ^{\mu }h_{\nu \mu }\partial _{\beta } h^{\nu \beta }+\frac{1}{2}(\partial _{\nu }\partial _{\mu }h^{\nu \mu })^{2} \nonumber \\&- \left. \frac{1}{2}h\Box ^{2}h - H\Box ^{2}h+\partial _{\alpha }\partial _{\beta }h^{\alpha \beta }\Box h + \partial _{\alpha }\partial _{\beta }h^{\alpha \beta }\Box H \right. \nonumber \\&\left. + 2(\partial _{\mu }\phi ^{\mu })\Box (\partial _{\nu }\phi ^{\nu })+ h_{\mu \nu }\Box ^{2}h^{\mu \nu }\right] . \end{aligned}$$
Following the same rationale already mentioned, we expand the parameters of the 3D symmetry (5) as follows:
$$\begin{aligned} \xi _{\mu }(x,y)&= \sqrt{\frac{m}{\pi }} \xi _{\mu }(x) \, \cos (m\,y);\nonumber \\ \xi _2 (x,y)&= \sqrt{\frac{m}{\pi }} \Omega (x) \, \sin (m\, y) , \end{aligned}$$
$$\begin{aligned} \Lambda (x,y)&= \sqrt{\frac{m}{\pi }} \Lambda (x) \, \cos (m\,y) . \end{aligned}$$
Back in (5) we deduce the 2D symmetry transformations which leave the reduced action (9) invariant, as we have explicitly checked,
$$\begin{aligned} \delta h_{\mu \nu }&= \partial _{\mu }\xi _{\nu } + \partial _{\nu } \xi _{\mu } + \eta _{\mu \nu } \Lambda , \end{aligned}$$
$$\begin{aligned} \delta \phi _{\mu }&= - m \, \xi _{\mu } + \partial _{\mu } \Omega , \end{aligned}$$
$$\begin{aligned} \delta H&= \Lambda + 2\, m \, \Omega . \end{aligned}$$
Before we go on, it is certainly welcome to simplify the long expression for \(S_{2\mathrm{D}}\) in order to figure out its particle content. We use as a guide the known dimensional reductions of Mawell to Maxwell–Proca (spin-1) and from the massless to the massive Fierz–Pauli [9] theory (spin-2). Recall that in the first case we have
$$\begin{aligned}&{\mathcal L}_\mathrm{Maxwell}^D = \frac{1}{2} A^M \left( \Box \eta _{MN} - \partial _{M}\partial _{N} \right) A^N , \end{aligned}$$
$$\begin{aligned}&{\mathcal L}_\mathrm{Proca}^{D-1} =\frac{1}{2} \tilde{A}^{\mu } \left[ \left( \Box - m^2\right) \eta _{\mu \nu } - \partial _{\mu }\partial _{\nu } \right) \tilde{A}^{\nu }. \end{aligned}$$
where \(\tilde{A}_{\mu } = A_{\mu } + \partial _{\mu }\phi /m \) is the only local combination involving the vector field \(A_{\mu }\) and the Stueckelberg scalar \(\phi \) (stemming from \(A_{D-1}\)) which is invariant under the reduced gauge symmetry: \(\delta A_{\mu } = \partial _{\mu } \epsilon \) ; \( \delta \phi = - m\, \epsilon \). Analogously, in the spin-2 case we have the massless and massive Fierz–Pauli theories, respectively,
$$\begin{aligned} {\mathcal L}^D_{FP(m=0)}&= \frac{1}{4} \left[ h^{MN} \, \Box \, h_{MN} - h \, \Box \, h \right] \nonumber \\&+ \frac{1}{2} \partial ^{A}h_{AM}\left( \partial _B h^{BM} - \partial ^M h \right) , \end{aligned}$$
$$\begin{aligned} {\mathcal L}^{D-1}_{FP(m\ne o)}&= \frac{1}{4} \left[ \tilde{h}^{\mu \nu } \, \left( \Box -m^2\right) \, \tilde{h}_{\mu \nu } - \tilde{h}\, \left( \Box - m^2 \right) \, \tilde{h}\right] \nonumber \\&+ \frac{1}{2} \partial ^{\alpha }\tilde{h}_{\alpha \mu }\left( \partial _{\beta } \tilde{h}^{\beta \mu } - \partial ^{\mu } \tilde{h}\right) , \end{aligned}$$
where \(\tilde{h}_{\mu \nu } = h_{\mu \nu } + (\partial _{\mu }\phi _{\nu } + \partial _{\nu } \phi _{\mu })/m - \partial _{\mu }\partial _{\nu }H/m^2 \) is the only local combination of those fields invariant under the reduced reparametrization symmetry given in (12)–(14) with \(\Lambda =0\).
Comparing (16) and (15) for the spin-1 case and (18) with (17) for the spin-2 case, one infers the rather simple rule, see [10] which includes the spin-3 case, for the Kaluza–Klein dimensional reduction:
$$\begin{aligned}&\Box _D \rightarrow \Box _{D-1} - m^2 ;\quad A_{M} \rightarrow \tilde{A}_{\mu } = A_{\mu } + \partial _{\mu }\phi /m , \end{aligned}$$
$$\begin{aligned}&\Box _D \rightarrow \Box _{D-1} - m^2 ;\nonumber \\&\quad h_{MN} \rightarrow \tilde{h}_{\mu \nu } = h_{\mu \nu } + (\partial _{\mu }\phi _{\nu } + \partial _{\nu } \phi _{\mu })/m - \partial _{\mu }\partial _{\nu }H/m^2 .\nonumber \\ \end{aligned}$$
This suggests that the long expression (9) might be related with (2) via
$$\begin{aligned} \Box \theta _{MN} \rightarrow (\Box - m^2)\eta _{\mu \nu } - \partial _{\mu }\partial _{\nu }; \quad h_{MN} \rightarrow \tilde{h}_{\mu \nu }. \end{aligned}$$
Here \(\tilde{h}_{\mu \nu }\) is some Stueckelberg combination invariant under (12)–(14). It turns out that there is no linear combination of the fields \(h_{\mu \nu }\), \((\partial _{\mu }\phi _{\nu } + \partial _{\nu }\phi _{\mu })/m\), \(\eta _{\mu \nu } \partial \cdot \phi /m\), \(\partial _{\mu }\partial _{\nu }H/m^2\) and \(\eta _{\mu \nu }H\) invariant under (12)–(14) if \(\Lambda \ne 0\). The best we can do is to stick to \(\tilde{h}_{\mu \nu }\) as given in (20). Under the 2D symmetries (12)–(14) we have \(\delta \tilde{h}_{\mu \nu } = (\eta _{\mu \nu } - \frac{\partial _{\mu }\partial _{\nu }}{m^2}) \Lambda \).
Confirming our expectations and following the rules (21), the 2D action (9), including the Stueckelberg fields, can be rewritten in a rather simple way, compare with (2),
$$\begin{aligned} S_{2\mathrm{D}}[\tilde{h}_{\mu \nu }]&= \frac{1}{4} \int \hbox {d}^2 \, x\nonumber \\&\times \left[ \left( K_{\alpha \nu }\tilde{h}^{\nu \mu } \right) \left( K_{\mu \beta }\tilde{h}^{\beta \alpha }\right) - \frac{\left( K_{\mu \nu }\tilde{h}^{\mu \nu }\right) ^2}{2} \right] ,\nonumber \\ \end{aligned}$$
$$\begin{aligned} K_{\mu \nu } = (\Box - m^2)\eta _{\mu \nu } - \partial _{\mu }\partial _{\nu } . \end{aligned}$$
It is now easy to check that (22) is invariant under \(\delta \tilde{h}_{\mu \nu } = K^{-1}_{\mu \nu } \Lambda \), which becomes exactly \(\delta \tilde{h}_{\mu \nu } = ( \eta _{\mu \nu } - \frac{\partial _{\mu }\partial _{\nu }}{m^2} ) \Lambda \) after we take \(\Lambda \rightarrow (\Box - m^2) \Lambda \). Note that the 2D symmetries (12)–(14) allow us to gauge away the Stueckelberg fields: \(\phi _{\mu } = 0 = H\) such that \(S_{2\mathrm{D}}[\tilde{h}_{\mu \nu }] \rightarrow S_{2\mathrm{D}}[h_{\mu \nu }]\) which is still invariant under \(\delta h_{\mu \nu } = ( \eta _{\mu \nu } - \partial _{\mu }\partial _{\nu }/m^2 ) \Lambda \). This is rather surprising since local symmetries in dimensionally reduced massive theories usually disappear altogether with the Stueckelberg fields. In other words, the action \(S_{2\mathrm{D}}[h_{\mu \nu }]\) is invariant under
$$\begin{aligned} \delta h_{\mu \nu } = \left( \eta _{\mu \nu } - \partial _{\mu }\partial _{\nu }/m^2 \right) \Lambda . \end{aligned}$$
The above local symmetry seems to be technically related with the absence of a linear combination of the tensors \(h_{\mu \nu }\), \( \left( \partial _{\mu }\phi _{\nu } + \partial _{\nu }\phi _{\mu }\right) /m\), \(\eta _{\mu \nu } \partial \cdot \phi /m\), \(\partial _{\mu }\partial _{\nu }H/m^2\) and \( \eta _{\mu \nu }\, H\) invariant under (12), (13), and (14) with \(\Lambda \ne 0\).

3 Gauge invariant massive electrodynamics in \(D=1+1\)

3.1 Equations of motion

After gauging away the Stueckelberg fields, the fourth-order equations of motion of \(S_{2\mathrm{D}}[h_{\mu \nu }]\) are given by
$$\begin{aligned}&(\Box - m^2)\left[ \partial _{\mu }V_{\nu } + \partial _{\nu } V_{\mu } -\eta _{\mu \nu }\frac{\partial \cdot V}{2} \right. \nonumber \\&\left. - \frac{\partial _{\mu }\partial _{\nu }h}{2} - (\Box - m^2)\left( h_{\mu \nu } - \eta _{\mu \nu }\frac{h}{2} \right) \right] = \frac{\partial _{\mu }\partial _{\nu } (\partial \cdot V )}{2},\nonumber \\ \end{aligned}$$
where we have defined the vector field
$$\begin{aligned} V_{\mu } \equiv \partial ^{\nu }h_{\mu \nu } . \end{aligned}$$
From the trace of (25) we have
$$\begin{aligned} (2\, m^2 - \Box )\partial ^{\mu }\partial ^{\nu }h_{\mu \nu } + \Box (\Box - m^2)h =0 . \end{aligned}$$
It is convenient to fix the gauge of the new scalar symmetry (24) in such a way that (27) is reduced to second order. Namely, we choose the scalar gauge condition
$$\begin{aligned} K^{\mu \nu } h_{\mu \nu } = \partial ^{\mu }\partial ^{\nu }h_{\mu \nu } - (\Box - m^2)h =0 . \end{aligned}$$
From (27) and (28) we have
$$\begin{aligned}&\partial ^{\mu }\partial ^{\nu }h_{\mu \nu } = \partial \cdot V = 0 , \end{aligned}$$
$$\begin{aligned}&(\Box - m^2) h = 0 . \end{aligned}$$
The gauge condition (28) and all equations so far are invariant under residual symmetry transformations (24) with the restriction \((\Box - m^2)\Lambda =0\). In particular, we have
$$\begin{aligned} \delta V_{\mu } = (m^2 - \Box )\partial _{\mu }\Lambda = 0 . \end{aligned}$$
Under such residual transformations we have \(\delta \, h = (2\, m^2 - \Box )\Lambda = m^2 \Lambda \). Therefore we can use the residual symmetry to get rid of the trace
$$\begin{aligned} h =0 . \end{aligned}$$
From \(\partial ^{\mu }\) on (25) and (25) itself we deduce
$$\begin{aligned}&(\Box - m^2)V_{\mu } = 0, \end{aligned}$$
$$\begin{aligned}&(\Box -m^2)^2 h_{\mu \nu } = 0, \end{aligned}$$
At this point it is convenient to recall that the particle content of the massive Fierz–Pauli theory in \(D=1+1\) is zero. It has the same content as the massless FP theory in \(D=2+1\). This amounts to saying that we have the trivial identity in \(D=1+1\):
$$\begin{aligned}&\Box \left( P_{TT}^{(2)}\right) _{\mu \nu }^{\,\,\, \alpha \beta } h_{\alpha \beta } = \Box h_{\mu \nu } + (\partial _{\mu }\partial _{\nu } - \Box \eta _{\mu \nu })h - \partial _{\mu }V_{\nu }\nonumber \\&\qquad \qquad \qquad \qquad \qquad \,\, - \partial _{\mu }V_{\nu } + \eta _{\mu \nu }\partial \cdot V = 0 . \end{aligned}$$
The reader can check that (35) is not a dynamic equation and vanishes identically for each of its components2. From (29), (32), (33), and (35), (34) becomes
$$\begin{aligned} h_{\mu \nu } = \frac{\partial _{\mu }V_{\nu } + \partial _{\nu }V_{\mu }}{m^2}. \end{aligned}$$
Therefore, we can consider \((\Box - m^2)V_{\mu }=0\) and \(\partial \cdot V =0\) as our primary dynamic equations and \(V_{\mu }\) as our fundamental vector field. Thus, we have the same particle content of the Maxwell–Proca theory as expected from the equivalence of the linearized \(K\)-term and the Maxwell theory in \(D=2+1\), see [5], see also [2] and [6]. In the next subsection we confirm the particle content of the 2D theory via the analytic structure of the propagator.

3.2 Propagator and absence of ghosts

After gauging away (\(\tilde{h}_{\mu \nu } \rightarrow h_{\mu \nu }\)) the Stueckelberg fields in (22) we can define the differential operator \(G^{\mu \nu \alpha \beta }\) via \(S_{2\mathrm{D}}[h_{\mu \nu }] = \int \hbox {d}^2x h_{\mu \nu }G^{\mu \nu \alpha \beta }h_{\alpha \beta }\). Due to the symmetry (24) we need a gauge fixing term in order to obtain \(G^{-1}\). We can use the same gauge condition (28) and add a gauge fixing term
$$\begin{aligned} {\mathcal L}_{GF} = \lambda \left[ \partial ^{\mu }\partial ^{\nu }h_{\mu \nu } + (m^2-\Box )h \right] ^2 . \end{aligned}$$
Suppressing the four indices, the operator \(G^{-1}\), in momentum space, can be written in terms of the operators defined in the appendix as follows:
$$\begin{aligned} G^{-1} \!&= \! \frac{4\, P_{TT}^{(2)}}{(k^2+m^2)^2} + \frac{4\, P_{SS}^{(1)}}{m^2(k^2 + m^2)} + \frac{(2 \lambda + 1)}{\lambda (k^2+m^2)^2} P_{TT}^{(0)} \nonumber \\&+ \frac{(2 \lambda \!+\!1)}{ \lambda \, m^4} P_{WW}^{(0)} \!+\! \frac{(1-2\lambda )}{ \lambda \, m^2(k^2 \!+\! m^2)} \left[ P_{TW}^{(0)} \!+\! P_{WT}^{(0)}\right] .\nonumber \\ \end{aligned}$$
Notice that although there is no transverse traceless symmetric tensor in \(D=1+1\), see (35); we have included the operator \( P_{TT}^{(2)}\) in order to have correct bookkeeping of the massless poles since \(P_{TT}^{(2)}\) is singular at \(k^2=0\). We come back to this point later.
After adding a source term \(S_\mathrm{source} = \int \hbox {d}^2 x \, h_{\mu \nu }T^{\mu \nu }\) and integrating over the fields \(h_{\mu \nu }\) in the path integral we obtain the two point function saturated with external sources:
$$\begin{aligned} {\mathcal A}_2 (k) = - i \, (T^{\mu \nu })^*(k) \, G^{-1}_{\mu \nu \alpha \beta } T^{\alpha \beta } (k) . \end{aligned}$$
The particle content of the theory is obtained from the poles of \({\mathcal A}_2 (k)\). Because of the symmetry (24) we need \(\delta S_\mathrm{source} =0 \), which imposes a constraint on the sources; in momentum space we have
$$\begin{aligned} k_{\mu }k_{\nu }T^{\mu \nu } = - \, m^2 T , \end{aligned}$$
where \(T= \eta _{\mu \nu }T^{\mu \nu } = -T_{00} + T_{11} \).
Using the constraint (40), and suppressing some indices on the left hand side, we obtain
$$\begin{aligned}&T^* P_{TT}^{(2)} \, T = T^*_{\mu \nu } T^{\mu \nu } - \frac{2}{k^2} (k^{\mu }T_{\mu \alpha }^*)\, (k_{\beta }T^{\beta \alpha }) \nonumber \\&\qquad \qquad \qquad \quad - \frac{k^2+ 2\, m^2}{k^2}\vert T \vert ^2 , \end{aligned}$$
$$\begin{aligned}&T^* P_{SS}^{(1)} \, T = 2 \left[ \frac{(k^{\mu }T_{\mu \alpha }^*)\, (k_{\beta }T^{\beta \alpha })}{k^2} - \frac{m^4}{k^4} \vert T \vert ^2 \right] , \end{aligned}$$
$$\begin{aligned}&T^* P_{TT}^{(0)} \, T = \frac{(k^2+m^2)^2}{k^4} \vert T \vert ^2; \quad T^* P_{WW}^{(0)} \, T = \frac{m^4}{k^4} \vert T \vert ^2 , \end{aligned}$$
$$\begin{aligned}&T^* \left( P_{WT}^{(0)} + P_{TW}^{(0)} \right) T = - \frac{2\, m^2(k^2+m^2)}{k^4} \vert T \vert ^2 . \end{aligned}$$
Turning back to (39) and (38) we end up with
$$\begin{aligned} {\mathcal A}_2(k) = - 4\, i \frac{\left[ T_{\mu \nu }^*T^{\mu \nu } + \vert T \vert ^2 + 2(k^{\mu }T_{\mu \alpha }^*)\, (k_{\beta }T^{\beta \alpha })/m^2 \right] }{(k^2 + m^2)^2} . \nonumber \\ \end{aligned}$$
The dependence on the arbitrary gauge parameter \(\lambda \) has canceled out, as expected, as well as the massless pole \(k^2=0\) present in the operators \(P_{IJ}^{(s)}\). We are left apparently with a dangerous double pole at \(k^2=-m^2\). Double poles indicate ghosts, see the comment in [11]. In order to compute the imaginary part of the residue (\(I_{-m^2}\)) at \(k^2=-m^2\) we introduce the 2D vector \(k_{\mu }=(m,\epsilon )\), which implies \(k^2 + m^2 = \epsilon ^2 \), and we take the limit
$$\begin{aligned} I_{-m^2} = \mathfrak {I}\lim _{\epsilon \rightarrow 0} \epsilon ^2 \, {\mathcal A}_2(k) . \end{aligned}$$
So we only need to compute the numerator of \({\mathcal A}_2(k) \) up to order \(\epsilon ^2\). Back in the constraint (40) we can eliminate \(T^{11} = - 2 \, \epsilon \, T^{01}/m + {\mathcal O}(\epsilon ^3) \). Consequently,
$$\begin{aligned}&\frac{2(k^{\mu }T_{\mu \alpha }^*)\, (k_{\beta }T^{\beta \alpha })}{m^2} = 2\left[ \left( 1 - \frac{5\, \epsilon ^2}{m^2}\right) \vert T^{01}\vert ^2 \right. \nonumber \\&\quad \left. - \vert T^{00}\vert ^2 - \frac{\epsilon }{m}\left( T_{00}^* T^{01} - T^{00}T^*_{01}\right) \right] + {\mathcal O}(\epsilon ^3) , \end{aligned}$$
$$\begin{aligned}&T_{\mu \nu }^*T^{\mu \nu } + \vert T \vert ^2 = 2 \left[ \left( \frac{4\, \epsilon ^2}{m^2} - 1\right) \vert T^{01}\vert ^2 \right. \nonumber \\&\quad \left. + \vert T^{00}\vert ^2 \frac{\epsilon }{m}\left( T_{00}^* T^{01} - T^{00}T^*_{01}\right) \right] + {\mathcal O}(\epsilon ^3) . \end{aligned}$$
Turning back to (45) altogether we have
$$\begin{aligned} I_{-m^2} = \mathfrak {I}\lim _{\epsilon \rightarrow 0} \epsilon ^2 \left( \frac{8 \, i \,\epsilon ^2 \vert T^{01}\vert ^2}{m^2 \epsilon ^4} \right) = \frac{8}{m^2}\vert T^{01}\vert ^2 > 0 . \end{aligned}$$
Therefore the particle content of the higher-order massive electrodynamics \(S_{2\mathrm{D}}\) consists solely in a massive physical particle, confirming the classical analysis of the previous subsection. The apparent double pole was in fact a simple pole. Precisely the same result for \(I_{-m^2}\) could have been obtained by dropping the contribution of the \(P_{TT}^{(2)}\) term in (38). This is in agreement with the fact, already used in the last subsection, that \(P_{TT}^{(2)}\) is identically zero if \(k^2 \ne 0\). Moreover, if we look at (43) and (44) back in (38) we conclude that the spin-0 operators have furnished no contribution to the massive pole, which is not obvious if we only look at (38). So we conclude that the only relevant contribution stems from the spin-1 operator \(P_{SS}^{(1)}\). The potentially dangerous double pole in the denominator of \(P_{TT}^{(2)}\) in (38) has vanishing residue due to the absence of massive symmetric, transverse, and traceless rank-2 tensors in 2D, see (35). This is a relic of the remarkable analytic structure of the propagator of the K-term in \(D=2+1\), see [3]. Although dangerous poles show up in the K-term and its 2D descendant here, their residues are harmless basically due to the low dimensionality of the space-time.

4 Master action and duality

Since \(S_{2\mathrm{D}}\) is physically equivalent to a gauge invariant massive electrodynamics, one might wonder whether there could exist a master action, see [12], interpolating between \(S_{2\mathrm{D}}\) and a Maxwell–Proca theory with a Stueckelberg scalar field, leading eventually to a dual map between gauge invariants. Indeed, the key point is to consider a second-order version of the K-term [1],
$$\begin{aligned} {\mathcal L}^{(2)}_K = - \frac{1}{4} \left( f_{MN}f^{MN} - f^2 \right) - f_{MN}G^{MN}(h) . \end{aligned}$$
where \(f_{MN} = f_{NM} \) is an auxiliary tensor field and \(G^{MN}(h)\) is the linearized Einstein tensor in 3D. Integrating over \(f_{MN}\) leads to the K-term given in (1), while integrating over \(h_{MN}\) leads to the pure gauge solution \(f_{MN}=\partial _M A_N + \partial _N A_M \) whose substitution in (50) leads to the 3D Maxwell theory. Using (7) and (8) and the decomposition
$$\begin{aligned} f_{\mu \nu }(x,y)&= \sqrt{\frac{m}{\pi }} f_{\mu \nu }(x) \cos (m\,y);\nonumber \\ f_{\mu ,2} (x,y)&= \sqrt{\frac{m}{\pi }} \psi _{\mu }(x) \sin (m\, y) , \end{aligned}$$
$$\begin{aligned} f_{22}(x,y)&= \sqrt{\frac{m}{\pi }} \Phi (x) \cos (m\,y) , \end{aligned}$$
the dimensional reduction of (50) furnishes
$$\begin{aligned}&{\mathcal L}^{(2)}_{2\mathrm{D}} = - \frac{1}{4} (f_{\mu \nu }f^{\mu \nu } - f^2 ) - \frac{1}{2} \psi _{\mu }\psi ^{\mu } \nonumber \\&\quad + \frac{1}{2} f \, \Phi - f^{\mu \nu }G_{\mu \nu }[\tilde{h},m^2] - 2 \, \psi _{\mu } G^{\mu \, 2} (\tilde{h}) - \Phi \, G_{22}(\tilde{h}), \nonumber \\ \end{aligned}$$
where \(\tilde{h}_{\mu \nu }\) is defined in (20) and
$$\begin{aligned} G_{\mu \, 2 }(\tilde{h})&= \frac{m}{2} ( \partial _{\mu }\tilde{h} - \partial ^{\alpha }\tilde{h}_{\alpha \mu } );\nonumber \\ G_{22}(\tilde{h})&= \frac{1}{2}(\Box \tilde{h} - \partial ^{\alpha }\partial ^{\beta } \tilde{h}_{\alpha \beta }). \end{aligned}$$
The quantity \(G_{\mu \nu }[\tilde{h},m^2]\) is the linearized 2D Einstein tensor after the shift \(\Box \rightarrow \Box - m^2\). If we perform the Gaussian integral over \(f_{\mu \nu },\psi _{\mu }\) and \(\Phi \) we recover (22).
Since the 2D Einstein tensor vanishes identically, see (35), it turns out that \(G_{\mu \nu }[h,m^2]=m^2 (h_{\mu \nu } - h \, \eta _{\mu \nu })/2\). Turning back to (53) and Gaussian integrating over \(f_{\mu \nu }\) we have the master action
$$\begin{aligned} {\mathcal L}_M&= - \frac{1}{2} \psi _{\mu }\psi ^{\mu } + m \, \psi ^{\mu }(\partial ^{\alpha }h_{\alpha \mu } - \partial _{\mu } h) + \frac{m^4}{4}(h_{\mu \nu }^2 - h^2 ) \nonumber \\&- \frac{\Phi ^2}{2} - \frac{\Phi }{2} \left[ \partial ^{\mu }\partial ^{\nu }h_{\mu \nu } - (\Box + m^2)h \right] \nonumber \\&+ J^{\mu }(\psi _{\mu }/m - \partial _{\mu }\Phi /m^2 ), \end{aligned}$$
where we have gauged away the Stueckelberg fields (\(\tilde{h}_{\mu \nu } \rightarrow h_{\mu \nu }\)) and introduced a source term. The master action is invariant under the \(U(1)\) gauge symmetry
$$\begin{aligned}&\delta \psi _{\mu } = m\, \partial _{\mu } \, \varphi , \, \delta \Phi = m^2 \varphi ,\nonumber \\&\delta h_{\mu \nu } = -\left( \eta _{\mu \nu } - \partial _{\mu }\partial _{\nu }/m^2 \right) \varphi . \end{aligned}$$
On one hand, if we integrate over \(h_{\mu \nu }\) in the path integral we derive the Maxwell–Proca theory with a Stueckelberg field:
$$\begin{aligned} {\mathcal L}_{MP}&= - \frac{1}{2\, m^2} \partial _{\mu } \psi _{\nu } ( \partial ^{\mu }\psi ^{\nu } - \partial ^{\nu }\psi ^{\mu }) \!-\! \frac{1}{2} \left( \psi _{\mu } \!-\! \partial _{\mu }\Phi /m \right) ^2 \nonumber \\&+ J^{\mu }(\psi _{\mu }/m - \partial _{\mu }\Phi /m^2 ). \end{aligned}$$
On the other hand, if we first integrate over \(\psi _{\mu }\) and \(\Phi \) in the master action we have the dual new massive electrodynamics
$$\begin{aligned} {\mathcal L}_M&= \frac{\left[ \partial ^{\mu }\partial ^{\nu }h_{\mu \nu } - (\Box + m^2)h \right] ^2}{8} + \frac{m^2}{2} \left( \partial ^{\alpha }h_{\alpha \mu } - \partial _{\mu }h \right) ^2 \nonumber \\&+ \frac{m^4}{4} (h_{\mu \nu }^2 - h^2 ) + J^{\mu }B_{\mu }[h] + \frac{\partial \cdot J}{2\, m^2} + \frac{J^2}{2}.\nonumber \\ \end{aligned}$$
$$\begin{aligned} B_{\mu }[h] = \partial ^{\alpha }h_{\alpha \mu } + \frac{1}{2\, m^2}\partial _{\mu } \left[ (\Box - m^2)h - \partial ^{\alpha }\partial ^{\beta }h_{\alpha \beta } \right] . \nonumber \\ \end{aligned}$$
The higher-derivative massive electrodynamics in (58) is exactly the same one given in (9), as one can check by use of the identity (35). So we have demonstrated the duality between the Maxwell–Proca–Stueckelberg theory (57) and \(S_{2\mathrm{D}}\). Moreover, from the derivatives of (57) and (58) with respect to the source \(J_{\mu }\) we show that the correlation functions of \(B_{\mu }[h]\) in the dual massive electrodynamics agree, up to contact terms, with the correlation functions of the vector field \(\psi _{\mu }/m - \partial _{\mu }\Phi /m^2 \) in the Maxwell–Proca–Stueckelberg theory. So we have the dual map
$$\begin{aligned} B_{\mu }[h] \leftrightarrow \psi _{\mu }/m - \partial _{\mu }\Phi /m^2 . \end{aligned}$$
In particular, \(B_{\mu }\) is invariant under the \(U(1)\) transformation (56) just like the right hand side of (60). From the point of view of \(U(1)\) transformations the map (60) is consistent with the identification of \(\psi _{\mu }\) with \(m(\partial ^{\alpha }h_{\alpha \mu } -\partial _{\mu } h)\) and \(\Phi \) with \([ -(\Box + m^2)h + \partial ^{\alpha }\partial ^{\beta }h_{\alpha \beta }]/2\). Thus, the three degrees of freedom \(h_{\mu \nu }\) are somehow mapped into the three variables \((\psi _{\mu } , \Phi )\). Moreover, we notice that the identification of the propagating massive vector field with \(\partial ^{\alpha }h_{\alpha \mu }\) in Sect. 3.1 is consistent with (59) and the gauge condition (28).

Now two remarks are in order. First, if we take \(\Box _{D-1} \rightarrow \Box _D + m^2 \) in (16), (18), and (22) we derive the corresponding massless higher-dimensional theories (15), (17), and (2) (for \(D=3\)), respectively. However, if we try the same (non-rigorous) inverse dimensional reduction with the linearized ‘new massive gravity’ of [1] it turns out that we do not get rid of the \(m^2\) in the corresponding \(4D\) theory. Moreover, we have a tachyon at \(k^2=m^2\). Thus, there seems to be no simple Kaluza–Klein reduction of a fourth-order spin-2 massless model in \(4D\) which might lead to the ‘new massive gravity’ of [1]; see, however, the footnote in the introduction. The results of [13] and [14] suggest that one should try to obtain [1] from the dimensional reduction of an extra discrete dimension, see also [15, 16]. This is under investigation. Second, it is worth commenting that, although the K-term has a nonlinear gravitational completion in \(D=2+1\), see (1), there is no such completion for \(S_{2\mathrm{D}}\) since there is no local vector symmetry whatsoever in \(S_{2\mathrm{D}}\).

5 Conclusion

By performing a Kaluza–Klein dimensional reduction of the massless limit of the linearized ‘new massive gravity’ (linearized \(K\)-term) we have obtained a new 2D massive electrodynamics of fourth order in the derivatives. This is in agreement with the equivalence of the linearized \(K\)-term with the Maxwell theory [5], see also [2] and [6]. However, it is remarkable that the reduced 2D theory, although massive, has local \(U(1)\) gauge symmetry even after gauging away the Stueckelberg fields of the dimensional reduction. The \(U(1)\) symmetry (24) seems to be a consequence of the lack of a Stueckelberg version of the fundamental field \(h_{\mu \nu }\) invariant under both linearized reparametrizations and Weyl transformations, see the comment after (24).

We have also noticed that the dimensional reduction of the K-term follows the same simple pattern of the usual spin-1 (Maxwell to Maxwell–Proca) and spin-2 (massless Fierz–Pauli to massive Fierz–Pauli) cases, namely, we have the practical rule \(\Box _D \rightarrow \Box _{D-1} - m^2\) altogether with the replacement of the fundamental field by its Stueckelberg version \(h_{MN} \rightarrow h_{\mu \nu } + (\partial _{\mu }\phi _{\nu } + \partial _{\nu } \phi _{\mu })/m - \partial _{\mu }\partial _{\nu }H/m^2 \).

We have made a classical and quantum analysis of the particle content of the reduced theory, confirming that, although of fourth order in the derivatives, is ghost free and contains only a massive vector field in the spectrum. In particular, we have found a master action interpolating between the new 2D massive electrodynamics and the Maxwell–Proca theory with a scalar Stueckelberg field and we identified a dual map between gauge invariant vector fields in both theories, see (60). A possible non-Abelian extension of the new 2D electrodynamics and the issue of unitarity in the context of the Schwinger mass generation when coupled to fermions are under investigation.


  1. 1.

    See, however, [4], which shows that a Kaluza–Klein dimensional reduction of the usual (second-order) massless Fierz–Pauli theory followed by an unconventional elimination of fields and a dualization procedure leads to the linearized NMG theory.

  2. 2.

    The identity (35) corresponds to the linearized version of the Einstein equation \(R_{\mu \nu } = g_{\mu \nu }R/2\) against a flat background \(g_{\mu \nu } = \eta _{\mu \nu } + h_{\mu \nu }\). Recall that the Einstein equation is a trivial identity in \(D=1+1\) without any dynamic content.



The work of D.D. is supported by CNPq (304238/2009-0) and FAPESP (2013/00653-4). The work of H.A.B and G.B.de G. is supported by CNPq (507064/2010-0). We thank Dr. Karapet Mkrtchyan for reminding us of [4].


  1. 1.
    E. Bergshoeff, O. Hohm, P.K. Townsend, Phys. Rev. Lett. 102, 201301 (2009)ADSCrossRefMathSciNetGoogle Scholar
  2. 2.
    S. Deser, Phys. Rev. Lett. 103, 101302 (2009)ADSCrossRefMathSciNetGoogle Scholar
  3. 3.
    D. Dalmazi, Phys. Rev. D 80, 085008 (2009) Google Scholar
  4. 4.
    E. Joung, K. Mkrtchyan, JHEP 1302, 134 (2013)ADSCrossRefMathSciNetGoogle Scholar
  5. 5.
    E. Bergshoeff, O. Hohm, P.K. Townsend, Phys. Rev. D 79, 124042 (2009)Google Scholar
  6. 6.
    D. Dalmazi, R.C. Santos, Phys. Rev. D 84, 045027 (2011)Google Scholar
  7. 7.
    S. Deser, S. Ertl, D. Grumiller, J. Phys. A 46, 214018 (2013). [arXiv:1208.0339]
  8. 8.
    A. Khoudeir, R. Montemayor, L.F. Urrutia, Phys. Rev. D 78, 065041 (2008)Google Scholar
  9. 9.
    M. Fierz, W. Pauli, Proc. R. Soc. Lond. A 173, 211 (1939)ADSCrossRefMathSciNetGoogle Scholar
  10. 10.
    C. Aragone, S. Deser, Z. Yang, Ann. Phys. 179, 76–96 (1987)ADSCrossRefMathSciNetGoogle Scholar
  11. 11.
    P. van Nieuwenhuizen, Nucl. Phys. B 60, 478 (1973)ADSCrossRefGoogle Scholar
  12. 12.
    S. Deser, R. Jackiw, Phys. Lett. B 139, 371 (1984)ADSCrossRefMathSciNetGoogle Scholar
  13. 13.
    C. de Rham, Gregory Gabadadze, D. Pirtskhalava, A.J. Tolley, I. Yavin, JHEP 1106, 028 (2011)Google Scholar
  14. 14.
    C. de Rham, A. Matas, A.J. Tolley, Deconstructing dimensions and massive gravity (2013) [arXiv:1308.4136 [hep-th]]
  15. 15.
    N. Arkani-Hamed, A.G. Cohen, H. Georgi, Phys. Rev. Lett. 86, 4757 (2001)Google Scholar
  16. 16.
    N. Arkani-Hamed, A.G. Cohen, H. Georgi, Phys. Lett. B 513, 232 (2001)Google Scholar

Copyright information

© The Author(s) 2014

Open AccessThis article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.

Funded by SCOAP3 / License Version CC BY 4.0.

Authors and Affiliations

  • H. A. Biazotti
    • 1
  • D. Dalmazi
    • 1
  • G. B. de Gracia
    • 1
  1. 1.UNESP, Campus de Guaratinguetá, DFQGuaratinguetáBrazil

Personalised recommendations