go to next pagego upgo to previous page

3.1 General relativity as an effective theory

The low-energy degrees of freedom in this case are the metric gmn of spacetime itself. As has been seen in previous sections, Einstein’s action for this theory should be considered to be just one term in a sum of all possible interactions which are consistent with the symmetries of the low-energy theory (which in this case are: general covariance and local Lorentz invariance). Organizing the resulting action into powers of derivatives of the metric leads to the following effective Lagrangian:
Leff M p2 c - V~ --- = c + ----R + a Rmn Rmn + b R2 + d RmncrRmncr + e []R + --2R3 + .... (28) - g 2 m
Here Rmncr is the metric’s Riemann tensor, Rmn is its Ricci tensor, and R is the Ricci scalar, each of which involves precisely two derivatives of the metric. For brevity only one representative example of the many possible curvature-cubed terms is explicitly written. (We use here Weinberg’s curvature conventions [147Jump To The Next Citation Point], which differ from those of Misner, Thorne, and Wheeler [122] by an overall sign.)

The first term in Equation (28View Equation) is the cosmological constant, which is dropped in what follows since the observed size of the universe implies c is extremely small. There is, of course, no real theoretical understanding why the cosmological constant should be this small (a comprehensive review of the cosmological constant problem is given in [152]; for a recent suggestion in the spirit of effective field theories see [327]). Once the cosmological term is dropped, the leading term in the derivative expansion is the one linear in R, which is the usual Einstein-Hilbert action of general relativity. Its coefficient defines Newton’s constant (and so also the Planck mass, -2 M p = 8pG).

The explicit mass scales, m and Mp, are introduced to ensure that the remaining constants a, b, c, d and e appearing in Equation (28View Equation) are dimensionless. Since it appears in the denominator, the mass scale m can be considered as the smallest microscopic scale to have been integrated out to obtain Equation (28View Equation). For definiteness we might take the electron mass, - 4 m = 5 × 10 GeV, for m when considering applications at energies below the masses of all elementary particles. (Notice that contributions like m2R or R3/M 2p could also exist, but these are completely negligible compared to the terms displayed in Equation (28View Equation).)

3.1.1 Redundant interactions

As discussed in the previous section, some of the interactions in the Lagrangian (28View Equation) may be redundant, in the sense that they do not contribute independently to physical observables (like graviton scattering amplitudes about some fixed geometry, say). To eliminate these we are free to drop any terms which are either total derivatives or which vanish when evaluated at solutions to the lower-order equations of motion.

The freedom to drop total derivatives allows us to set the couplings d and e to zero. We can drop e because V~ --g []R = @m[ V~ --g \~/ mR], and we can drop d because the quantity

mncr mn 2 X = RmncrR - 4RmnR + R , (29)
integrates to give a topological invariant in 4 dimensions. That is, in 4 dimensions x(M ) = (1/32p2) integral V~ g-X d4x M gives the Euler number of a compact manifold M - and so X is locally a total derivative. It is therefore always possible to replace, for example, RmncrRmncr in the effective Lagrangian with the linear combination 4RmnRmn - R2, with no consequences for any observables which are insensitive to the overall topology of spacetime (such as the classical equations, or perturbative particle interactions). Any such observable therefore is unchanged under the replacement ' ' ' (a,b,d)-- > (a ,b,d ) = (a - d,b + 4d,0).

The freedom to perform field redefinitions allows further simplification (just as was found for the toy model in earlier sections). To see how this works, consider the infinitesimal field redefinition dgmn = Ymn, under which the leading term in Leff undergoes the variation

2 integral 2 integral [ ] M-p- 4 V~ --- M-p- 4 V~ -- mn 1- mn 2 d d x - g R = - 2 d x - g R - 2Rg Ymn. (30)
In particular, we may set the constants a and b to zero simply by choosing 2 M p Ymn = 2a Rmn - (a + 2b)Rgmn. Since the variation of the lower-order terms in the action are always proportional to their equations of motion, quite generally any term in Leff which vanishes on use of the lower-order equations of motion can be removed in this way (order by order in 1/m and 1/M p).

Since the lowest-order equations of motion for pure gravity (without a cosmological constant) imply Rmn = 0, we see that all of the interactions beyond the Einstein-Hilbert term which are explicitly written in Equation (28View Equation) can be removed in one of these two ways. The first interaction which can have physical effects (for pure gravity with no cosmological constant) in this low-energy expansion is therefore proportional to the cube of the Riemann tensor.

This last conclusion changes if matter or a cosmological constant are present, however, since then the lowest-order field equations become Rmn = Smn for some nonzero tensor Smn. Then terms like R2 or RmnRmn no longer vanish when evaluated at the solutions to the equations of motion, but are instead equivalent to interactions of the form (Smm)2, SmnRmn, or SmnSmn. Since some of our later applications of Leff are to the gravitational potential energy of various localized energy sources, we shall find that these terms can generate contact interactions amongst these sources.


go to next pagego upgo to previous page