7.10.1 Introduction to general relativity

The general theory of relativity is one of the most beautiful and successful theories in classical physics. There is no disagreement between the theory and astrophysical and cosmological observations such as solar system tests, gravitational radiation from pulsars, gravitational red shifts, the recently discovered gravitational lens effect and so on. Readers not very familiar with general relativity may consult Berry (1989) or the primer by Price (1982).

Einstein proposed the following principles to construct the general theory of relativity

(I) Principle of General Relativity: All laws in physics take the same forms in any coordinate system. (II) Principle of Equivalence: There exists a coordinate system in which the effect of a gravitational field vanishes locally. (An observer in a freely falling lift does not feel gravity until it crashes.)

Any theory of gravity must reduce to Newton’s theory of gravity in the weak-field limit. In Newton’s theory, the gravitational potential satisfies the Poisson equation

where is the mass density. The Einstein equation generalizes this classical result so that the principle of general relativity is satisfied.

In general relativity, the gravitational potential is replaced by the components of the metric tensor. Then, instead of the LHS of (7.200), we have the Einstein tensor defined by

Similarly, the mass density is replaced by a more general object called the energy-momentum tensor . The Einstein equation takes a very similar form to (7.200):

The constant is chosen so that (7.202) reproduces the Newtonian result in the weak-field limit. The tensor is obtained from the matter action by the variational principle. From Noether’s theorem, must satisfy a conservation equation of the form . A similar conservation law holds for (but not for ). We shall see in the next subsection that the LHS of (7.202) is also obtained from the variational principle.

Consider a metric

and given by , which corresponds to dust at rest. Show that (7.202) reduces to the Poisson equation in the weak-field limit .

7.10.2 Einstein-Hilbert action

This and the next example are taken from Weinberg (1972). The general theory of relativity describes the dynamics of the geometry, that is, the dynamics of . What is the action principle for this theory? As usual, we require that the relevant action should be a scalar. Moreover, it should contain the derivatives of : cannot describe the dynamics of the metric. The simplest guess will be . Since is a scalar and is the invariant volume element, is a scalar. In the following, we show that indeed yields the Einstein equation under the variation with respect to the metric. Our connection is restricted to the Levi-Civita connection. We first prove a technical proposition.

Let be a (pseudo-)Riemannian manifold. Under the variation and change as

(a) (7.203)
(b) 8√g|g=ggμv (7.204)
(c) (Palatini identity). (7.205)

Proof

(a) From , it follows that

Multiplying by we find that .

(b) We first note the matrix identity . This can be proved by diagonalizing . Under the variation , the LHS becomes while the RHS yields , hence . The rest of (7.204) is easily derived from this.
(c) Let and be two connections. The difference is a tensor of type (1, 2), see exercise 7.5. In the present case, we take to be a connection associated with and with . We will work in the normal coordinate system in which (of course in general); see section 7.4. We find

[The reader should verify the second equality.] Since both sides are tensors, this is valid in any coordinate system.

We define the Einstein-Hilbert action by

The constant factor is introduced to reproduce the Newtonian limit when matter is added; see (7.214). We prove that leads to the vacuum Einstein equation. Under the variation such that as , the integrand changes as

We note that the second term is a total divergence,

and hence does not contribute to the variation. From the remaining terms we have

If we require that under any variation , we obtain the vacuum Einstein equation,

where the symmetric tensor is called the Einstein tensor.

So far we have considered the gravitational field only. Suppose there exists matter described by an action

where is the Lagrangian density of the theory. Typical examples are the real scalar field and the Maxwell fields,

where . If the matter action changes by under , the energy-momentum tensor is defined by

Since is symmetric, is also taken to be so. For example, of a real scalar field is given by

Suppose we have a gravitational field coupled with a matter field whose action is . Now our action principle is

under . From (7.207) and (7.211), we obtain the Einstein equation

We may add an extra scalar to the scalar curvature without spoiling the invariance of the action. For example, we can add a constant called the cosmological constant ,

Write down the vacuum Einstein equation. Other possible scalars may be such terms as , or .

7.10.3 Spinors in curved spacetime

For concreteness, we consider a Dirac spinor in a four-dimensional Lorentz manifold . The vierbein defined by

defines an orthonormal frame at each point . As noted before, are the local orthonormal indices while are the coordinate indices. With respect to this frame, the Dirac matrices satisfy . Under a local Lorentz transformation , the Dirac spinor transforms as

where and is the spinor representation of . To construct an invariant action, we seek a covariant derivative which is a local Lorentz vector and transforms as a spinor,

If we find such a , an invariant Lagrangian may be given by

being the mass of . We note that transforms under as

Suppose is of the form

From (7.218) and (7.220), we find that satisfies

To find the explicit form of , we consider an infinitesimal local Lorentz transformation . The Dirac spinor transforms as

where is the spinor representation of the generators of the Lorentz transformation. satisfies the Lie algebra

Under the same Lorentz transformation, transforms as

We recall that the connection one-form transforms under an infinitesimal Lorentz transformation as (see (7.152))

or in components,

From (7.224), (7.225) and (7.226b), we find that the combination

satisfies the transformation property (7.222). In fact,

We finally obtain the Lagrangian which is a scalar both under coordinate changes and local Lorentz rotations,

and the scalar action

If is coupled to the gauge field , the action is given by

It is interesting to note that the spin connection term vanishes if . To see this, we rewrite (7.229a) as

where and we have added total derivatives to the Lagrangian to make it Hermitian. The non-vanishing components of are where is the two-dimensional analogue of . Since , the spin connection term drops out from .

来源与版本

正文:英文 · OCR 机器稿 · 待校对

核对状态:OCR 机器稿 · 待校对

原书 PDF

来源版本:second-edition-local

来源 PDF SHA-256:fcd24c3371d092a8c699ccf5cf0765462924b6c48412804231076e8084b1940d

OCR 来源 SHA-256:0b6324f01172a3548cd34382e82fd8bfae574602b6b2cfaa357ba96bc2c35478

OCR 产物 SHA-256:ad8b38776794fc538c7d255a91a071e88a4a65b061604d11b4881663fc1d8e89