In theoretical physics, massive gravity is a theory of gravity that modifies general relativity by endowing the graviton with a nonzero mass. In the classical theory, this means that gravitational waves obey a massive wave equation and hence travel at speeds below the speed of light.
Massive gravity has a long and winding history, dating back to the 1930s when Wolfgang Pauli and Markus Fierz first developed a theory of a massive spin2 field propagating on a flat spacetime background. It was later realized in the 1970s that theories of a massive graviton suffered from dangerous pathologies, including a ghost mode and a discontinuity with general relativity in the limit where the graviton mass goes to zero. While solutions to these problems had existed for some time in three spacetime dimensions,^{[1]}^{[2]} they were not solved in four dimensions and higher until the work of Claudia de Rham, Gregory Gabadadze, and Andrew Tolley in 2010.
The fact that general relativity is modified at large distances in massive gravity provides a possible explanation for the accelerated expansion of the Universe that does not require any dark energy. Massive gravity and its extensions, such as bimetric gravity,^{[3]} can yield cosmological solutions which do in fact display latetime acceleration in agreement with observations.^{[4]}^{[5]}^{[6]}
Contents

Linearized massive gravity 1

The vDVZ discontinuity and Vainshtein screening 2

The BoulwareDeser ghost 3

Ghostfree massive gravity 4

Massive gravity in the vielbein language 5

Cosmology 6

3D massive gravity 7

See also 8

Further reading 9

References 10
Linearized massive gravity
At the linear level, one can construct a theory of a massive spin2 field h_{\mu\nu} propagating on Minkowski space. This can be seen as an extension of linearized gravity in the following way. Linearized gravity is obtained by linearizing general relativity around flat space, g_{\mu\nu} = \eta_{\mu\nu} + M_\mathrm{Pl}^{1}h_{\mu\nu}, where M_\mathrm{Pl}=(8\pi G)^{1/2} is the Planck mass with G the gravitational constant. This leads to a kinetic term in the Lagrangian for h_{\mu\nu} which is consistent with diffeomorphism invariance, as well as a coupling to matter of the form

h^{\mu\nu}T_{\mu\nu},
where T_{\mu\nu} is the stress–energy tensor.
Massive gravity is obtained by adding nonderivative interaction terms for h_{\mu\nu}. At the linear level (i.e., second order in h_{\mu\nu}), there are only two possible mass terms:

\mathcal{L}_\mathrm{int} = ah^{\mu\nu}h_{\mu\nu} + b \left(\eta^{\mu\nu}h_{\mu\nu}\right)^2.
Fierz and Pauli^{[7]} showed in 1939 that this only propagates the expected five polarizations of a massive graviton (as compared to two for the massless case) if the coefficients are chosen so that a=b. Any other choice will unlock a sixth, ghostly degree of freedom. A ghost is a mode with a negative kinetic energy. Its Hamiltonian is unbounded from below and it is therefore unstable to decay into particles of arbitrarily large positive and negative energies. The FierzPauli mass term,

\mathcal{L}_\mathrm{FP} = m^2\left(h^{\mu\nu}h_{\mu\nu}  \left(\eta^{\mu\nu}h_{\mu\nu}\right)^2\right)
is therefore the unique consistent linear theory of a massive spin2 field.
The vDVZ discontinuity and Vainshtein screening
In the 1970s Hendrik van Dam and Martinus J. G. Veltman^{[8]} and, independently, Vladimir E. Zakharov^{[9]} discovered a peculiar property of FierzPauli massive gravity: its predictions do not uniformly reduce to those of general relativity in the limit m\to0. In particular, while at small scales (shorter than the Compton wavelength of the graviton mass), Newton's gravitational law is recovered, the bending of light is only three quarters of the result Albert Einstein obtained in general relativity. This is known as the vDVZ discontinuity.
We may understand the smaller light bending as follows. The FierzPauli massive graviton, due to the broken diffeomorphism invariance, propagates three extra degrees of freedom compared to the massless graviton of linearized general relativity. These three degrees of freedom package themselves into a vector field, which is irrelevant for our purposes, and a scalar field. This scalar mode exerts an extra attraction in the massive case compared to the massless case. Hence, if one wants measurements of the force exerted between nonrelativistic masses to agree, the coupling constant of the massive theory should be smaller than that of the massless theory. But light bending is blind to the scalar sector, because the stressenergy tensor of light is traceless. Hence, provided the two theories agree on the force between nonrelativistic probes, the massive theory would predict a smaller light bending than the massless one.
It was argued by Vainshtein^{[10]} two years later that the vDVZ discontinuity is an artifact of the linear theory, and that the predictions of general relativity are in fact recovered at small scales when one takes into account nonlinear effects, i.e., higher than quadratic terms in h_{\mu\nu}. Heuristically speaking, within a region known as the Vainshtein radius, fluctuations of the scalar mode become nonlinear, and its higherorder derivative terms become larger than the canonical kinetic term. Canonically normalizing the scalar around this background therefore leads to a heavilysuppressed kinetic term, which damps fluctuations of the scalar within the Vainshtein radius. Because the extra force mediated by the scalar is proportional to (minus) its gradient, this leads to a much smaller extra force than we would have calculated just using the linear FierzPauli theory.
This phenomenon, known as Vainshtein screening, is at play not just in massive gravity, but also in related theories of modified gravity such as DGP and certain scalartensor theories, where it is crucial for hiding the effects of modified gravity in the solar system. This allows these theories to match terrestrial and solarsystem tests of gravity as well as general relativity does, while maintaining large deviations at larger distances. In this way these theories can lead to cosmic acceleration and have observable imprints on the largescale structure of the Universe without running afoul of other, much more stringent constraints from observations closer to home.
The BoulwareDeser ghost
Around the same time as the vDVZ discontinuity and Vainshtein mechanism were discovered, David Boulware and Stanley Deser found in 1972 that generic nonlinear extensions of the FierzPauli theory reintroduced the dangerous ghost mode;^{[11]} the tuning a=b which ensured this mode's absence at quadratic order was, they found, generally broken at cubic and higher orders, reintroducing the ghost at those orders. As a result, this BoulwareDeser ghost would be present around, for example, highly inhomogeneous backgrounds.
This is problematic because a linearized theory of gravity, like FierzPauli, is welldefined on its own but cannot interact with matter, as the coupling h^{\mu\nu}T_{\mu\nu} breaks diffeomorphism invariance. This must be remedied by adding new terms at higher and higher orders, ad infinitum. For a massless graviton, this process converges and the end result is wellknown: one simply arrives at general relativity. This is the meaning of the statement that general relativity is the unique theory (up to conditions on dimensionality, locality, etc.) of a massless spin2 field.
In order for massive gravity to actually describe gravity, i.e., a massive spin2 field coupling to matter and thereby mediating the gravitational force, a nonlinear completion must similarly be obtained. The BoulwareDeser ghost presents a serious obstacle to such an endeavor. The vast majority of theories of massive and interacting spin2 fields will suffer from this ghost and therefore not be viable. In fact, until 2010 it was widely believed that all Lorentzinvariant massive gravity theories possessed the BoulwareDeser ghost.^{[12]}
Ghostfree massive gravity
In 2010 a breakthrough was achieved when de Rham, Gabadadze, and Tolley constructed, order by order, a theory of massive gravity with coefficients tuned to avoid the BoulwareDeser ghost by packaging all ghostly (i.e., higherderivative) operators into total derivatives which do not contribute to the equations of motion.^{[13]}^{[14]} The complete absence of the BoulwareDeser ghost, to all orders and beyond the decoupling limit, was subsequently proven by Fawad Hassan and Rachel Rosen.^{[15]}^{[16]}
The action for the ghostfree de RhamGabadadzeTolley (dRGT) massive gravity is given by^{[17]}

S = \int d^4x \sqrt{g}\left(\frac{M_\mathrm{Pl}^2}{2}R + m^2M_\mathrm{Pl}^2\displaystyle\sum_{n=0}^4\alpha_ne_n(\mathbb{K}) + \mathcal{L}_\mathrm{m}(g,\Phi_i) \right),
or, equivalently,

S = \int d^4x \sqrt{g}\left(\frac{M_\mathrm{Pl}^2}{2}R + m^2M_\mathrm{Pl}^2\displaystyle\sum_{n=0}^4\beta_ne_n(\mathbb{X}) + \mathcal{L}_\mathrm{m}(g,\Phi_i) \right).
The ingredients require some explanation. As in standard general relativity, there is an EinsteinHilbert kinetic term proportional to the Ricci scalar R and a minimal coupling to the matter Lagrangian \mathcal{L}_\mathrm{m}, with \Phi_i representing all of the matter fields, such as those of the Standard Model. The new piece is a mass term, or interaction potential, constructed carefully to avoid the BoulwareDeser ghost, with an interaction strength m which is (if the nonzero \beta_i are \mathcal{O}(1)) closely related to the mass of the graviton.
The interaction potential is built out of the elementary symmetric polynomials e_n of the eigenvalues of the matrices \mathbb K = \mathbb I  \sqrt{g^{1}f} or \mathbb X = \sqrt{g^{1}f}, parametrized by dimensionless coupling constants \alpha_i or \beta_i, respectively. Here \sqrt{g^{1}f} is the matrix square root of the matrix g^{1}f. Written in index notation, \mathbb X is defined by the relation

X^\mu{}_\alpha X^\alpha{}_\nu = g^{\mu\alpha}f_{\nu\alpha}.
We have introduced a reference metric f_{\mu\nu} in order to construct the interaction term. There is a simple reason for this: it is impossible to construct a nontrivial interaction (i.e., nonderivative) term from g_{\mu\nu} alone. The only possibilities are g^{\mu\alpha}g_{\alpha\nu}=\delta^\mu_\nu and \operatorname{det}g, both of which lead to a cosmological constant term rather than a bona fide interaction. Physically, f_{\mu\nu} corresponds to the background metric around which fluctuations take the FierzPauli form. This means that, for instance, nonlinearly completing the FierzPauli theory around Minkowski space given above will lead to dRGT massive gravity with f_{\mu\nu}=\eta_{\mu\nu}, although the proof of absence of the BoulwareDeser ghost holds for general f_{\mu\nu}.^{[18]}
In principle, the reference metric must be specified by hand, and therefore there is no single dRGT massive gravity theory, as the theory with a flat reference metric is different from one with a de Sitter reference metric, etc. Alternatively, one can think of f_{\mu\nu} as a constant of the theory, much like m or M_\mathrm{Pl}. Instead of specifying a reference metric from the start, one can allow it to have its own dynamics. If the kinetic term for f_{\mu\nu} is also EinsteinHilbert, then the theory remains ghostfree and we are left with a theory of massive bigravity,^{[3]} propagating the two degrees of freedom of a massless graviton in addition to the five of a massive one.
In practice it is unnecessary to compute the eigenvalues of \mathbb X (or \mathbb K) in order to obtain the e_n. They can be written directly in terms of \mathbb X as

\begin{align} e_0(\mathbb X)&=1,\\ e_1(\mathbb X)&=[\mathbb X], \\ e_2(\mathbb X)&=\frac12\left([\mathbb X]^2[\mathbb X^2]\right), \\ e_3(\mathbb X)&=\frac16\left([\mathbb X]^33[\mathbb X][\mathbb X^2]+2[\mathbb X^3]\right), \\ e_4(\mathbb X)&=\operatorname{det}\mathbb X, \end{align}
where brackets indicate a trace, [\mathbb X] \equiv X^\mu{}_\mu. It is the particular antisymmetric combination of terms in each of the e_n which is responsible for rendering the BoulwareDeser ghost nondynamical.
The choice to use \mathbb X or \mathbb K = \mathbb I  \mathbb X, with \mathbb I the identity matrix, is a convention, as in both cases the ghostfree mass term is a linear combination of the elementary symmetric polynomials of the chosen matrix. One can transform from one basis to the other, in which case the coefficients satisfy the relationship^{[17]}

\beta_n = (4n)!\displaystyle\sum_{i=n}^4\frac{(1)^{i+n}}{(4i)!(in)!}\alpha_i.
Massive gravity in the vielbein language
The presence of a squareroot matrix is somewhat awkward and points to an alternative, simpler formulation in terms of vielbeins. Splitting the metrics into vielbeins as

\begin{align} g_{\mu\nu} = \eta_{ab}e^a{}_\mu e^b{}_\nu,\\ f_{\mu\nu} = \eta_{ab}f^a{}_\mu e^b{}_\nu, \end{align},
and then defining oneforms

\begin{align} \mathbf{e}^a = e^a{}_\mu dx^\mu,\\ \mathbf{f}^a = f^a{}_\mu dx^\mu, \end{align}
the ghostfree interaction terms above can be written simply as (up to numerical factors)^{[19]}

\begin{align} e_0(\mathbb X) \propto \epsilon_{abcd}\mathbf{e}^a\wedge \mathbf{e}^b\wedge \mathbf{e}^c\wedge \mathbf{e}^d\\ e_1(\mathbb X) \propto \epsilon_{abcd}\mathbf{e}^a\wedge \mathbf{e}^b\wedge \mathbf{e}^c\wedge \mathbf{f}^d\\ e_2(\mathbb X) \propto \epsilon_{abcd}\mathbf{e}^a\wedge \mathbf{e}^b\wedge \mathbf{f}^c\wedge \mathbf{f}^d\\ e_3(\mathbb X) \propto \epsilon_{abcd}\mathbf{e}^a\wedge \mathbf{f}^b\wedge \mathbf{f}^c\wedge \mathbf{f}^d\\ e_4(\mathbb X) \propto \epsilon_{abcd}\mathbf{f}^a\wedge \mathbf{f}^b\wedge \mathbf{f}^c\wedge \mathbf{f}^d\\ \end{align}
In terms of vielbeins, rather than metrics, we can therefore see the physical significance of the ghostfree dRGT potential terms quite clearly: they are simply all the different possible combinations of wedge products of the vielbeins of the two metrics.
Note that massive gravity in the metric and vielbein formulations are only equivalent if the symmetry condition

(e^{1})_a{}^\mu f_{b\nu} = (e^{1})_b{}^\mu f_{a\nu}
is satisfied. While this is true for most physical situations, there may be cases, such as when matter couples to both metrics or in multimetric theories with interaction cycles, in which it is not. In these cases the metric and vielbein formulations are distinct physical theories, although each propagates a healthy massive graviton.
Cosmology
If the graviton mass m is comparable to the Hubble rate H_0, then at cosmological distances the mass term can produce a repulsive gravitational effect that leads to cosmic acceleration. Because, roughly speaking, the enhanced diffeomorphism symmetry in the limit m=0 protects a small graviton mass from large quantum corrections, the choice m\sim H_0 is in fact technically natural.^{[20]} Massive gravity thus may provide a solution to the cosmological constant problem: why do quantum corrections not cause the Universe to accelerate at extremely early times?
However, it turns out that flat and closed Friedmann–Lemaître–Robertson–Walker cosmological solutions do not exist in dRGT massive gravity with a flat reference metric.^{[4]} Open solutions and solutions with general reference metrics suffer from instabilities.^{[21]} Therefore viable cosmologies can only be found in massive gravity if one abandons the cosmological principle that the Universe is uniform on large scales, or otherwise generalizes dRGT. For instance, cosmological solutions are better behaved in bigravity,^{[5]} the theory which extends dRGT by giving f_{\mu\nu} dynamics. While these tend to possess instabilities as well,^{[22]}^{[23]} those instabilities might find a resolution in the nonlinear dynamics (through a Vainshteinlike mechanism) or by pushing the era of instability to the very early Universe.^{[6]}
3D massive gravity
A special case exists in three dimensions, where a massless graviton does not propagate any degrees of freedom. Here several ghostfree theories of a massive graviton, propagating two degrees of freedom, can be defined. In the case of topologically massive gravity^{[1]} one has the action

S = \frac{M_3}{2}\int d^3x \sqrt{g}(R2\Lambda)+\frac{1}{4\mu}\epsilon^{\lambda\mu\nu}\Gamma^\rho_{\lambda\sigma}\left(\partial_\mu\Gamma^\sigma_{\rho\nu}+\frac23\Gamma^\sigma_{\mu\alpha}\Gamma^\alpha_{\nu\rho}\right),
with M_3 the threedimensional Planck mass. This is threedimensional general relativity supplemented by a ChernSimonslike term built out of the Christoffel symbols.
More recently, a theory referred to as new massive gravity has been developed,^{[2]} which is described by the action

S = M_3\int d^3x \sqrt{g}\left[\pm R + \frac{1}{m^2}\left(R_{\mu\nu}R^{\mu\nu}\frac38R^2\right)\right].
See also
Further reading

Review articles
References

^ ^{a} ^{b}

^ ^{a} ^{b}

^ ^{a} ^{b}

^ ^{a} ^{b}

^ ^{a} ^{b}

^ ^{a} ^{b}

^

^

^

^

^

^

^

^

^

^

^ ^{a} ^{b}

^

^

^

^

^

^
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.