Curvature invariant (general relativity)

Last updated

In general relativity, curvature invariants are a set of scalars formed from the Riemann, Weyl and Ricci tensors - which represent curvature, hence the name, - and possibly operations on them such as contraction, covariant differentiation and dualisation.

Contents

Certain invariants formed from these curvature tensors play an important role in classifying spacetimes. Invariants are actually less powerful for distinguishing locally non-isometric Lorentzian manifolds than they are for distinguishing Riemannian manifolds. This means that they are more limited in their applications than for manifolds endowed with a positive definite metric tensor.

Principal invariants

The principal invariants of the Riemann and Weyl tensors are certain quadratic polynomial invariants (i.e., sums of squares of components).

The principal invariants of the Riemann tensor of a four-dimensional Lorentzian manifold are

  1. the Kretschmann scalar
  2. the Chern–Pontryagin scalar
  3. the Euler scalar

These are quadratic polynomial invariants (sums of squares of components). (Some authors define the Chern–Pontryagin scalar using the right dual instead of the left dual.)

The first of these was introduced by Erich Kretschmann. The second two names are somewhat anachronistic, but since the integrals of the last two are related to the instanton number and Euler characteristic respectively, they have some justification.

The principal invariants of the Weyl tensor are

(Because , there is no need to define a third principal invariant for the Weyl tensor.)

Relation with Ricci decomposition

As one might expect from the Ricci decomposition of the Riemann tensor into the Weyl tensor plus a sum of fourth-rank tensors constructed from the second rank Ricci tensor and from the Ricci scalar, these two sets of invariants are related (in d=4):

Relation with Bel decomposition

In four dimensions, the Bel decomposition of the Riemann tensor, with respect to a timelike unit vector field , not necessarily geodesic or hypersurface orthogonal, consists of three pieces

  1. the electrogravitic tensor
  2. the magnetogravitic tensor
  3. the topogravitic tensor

Because these are all transverse (i.e. projected to the spatial hyperplane elements orthogonal to our timelike unit vector field), they can be represented as linear operators on three-dimensional vectors, or as three by three real matrices. They are respectively symmetric, traceless, and symmetric (6,8,6 linearly independent components, for a total of 20). If we write these operators as E, B, L respectively, the principal invariants of the Riemann tensor are obtained as follows:

Expression in Newman–Penrose formalism

In terms of the Weyl scalars in the Newman–Penrose formalism, the principal invariants of the Weyl tensor may be obtained by taking the real and imaginary parts of the expression

(But note the minus sign!)

The principal quadratic invariant of the Ricci tensor, , may be obtained as a more complicated expression involving the Ricci scalars (see the paper by Cherubini et al. cited below).

Distinguishing Lorentzian manifolds

An important question related to Curvature invariants is when the set of polynomial curvature invariants can be used to (locally) distinguish manifolds. To be able to do this is necessary to include higher-order invariants including derivatives of the Riemann tensor but in the Lorentzian case, it is known that there are spacetimes which cannot be distinguished; e.g., the VSI spacetimes for which all such curvature invariants vanish and thus cannot be distinguished from flat space. This failure of being able to distinguishing Lorentzian manifolds is related to the fact that the Lorentz group is non-compact.

There are still examples of cases when we can distinguish Lorentzian manifolds using their invariants. Examples of such are fully general Petrov type I spacetimes with no Killing vectors, see Coley et al. below. Indeed, it was here found that the spacetimes failing to be distinguished by their set of curvature invariants are all Kundt spacetimes.

See also

Related Research Articles

In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold. It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is flat, i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.

In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.

In the mathematical field of Riemannian geometry, the scalar curvature is a measure of the curvature of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the geometry of the metric near that point. It is defined by a complicated explicit formula in terms of partial derivatives of the metric components, although it is also characterized by the volume of infinitesimally small geodesic balls. In the context of the differential geometry of surfaces, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In higher dimensions, however, the scalar curvature only represents one particular part of the Riemann curvature tensor.

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

In differential geometry, the Weyl curvature tensor, named after Hermann Weyl, is a measure of the curvature of spacetime or, more generally, a pseudo-Riemannian manifold. Like the Riemann curvature tensor, the Weyl tensor expresses the tidal force that a body feels when moving along a geodesic. The Weyl tensor differs from the Riemann curvature tensor in that it does not convey information on how the volume of the body changes, but rather only how the shape of the body is distorted by the tidal force. The Ricci curvature, or trace component of the Riemann tensor contains precisely the information about how volumes change in the presence of tidal forces, so the Weyl tensor is the traceless component of the Riemann tensor. This tensor has the same symmetries as the Riemann tensor, but satisfies the extra condition that it is trace-free: metric contraction on any pair of indices yields zero. It is obtained from the Riemann tensor by subtracting a tensor that is a linear expression in the Ricci tensor.

In general relativity, a vacuum solution is a Lorentzian manifold whose Einstein tensor vanishes identically. According to the Einstein field equation, this means that the stress–energy tensor also vanishes identically, so that no matter or non-gravitational fields are present. These are distinct from the electrovacuum solutions, which take into account the electromagnetic field in addition to the gravitational field. Vacuum solutions are also distinct from the lambdavacuum solutions, where the only term in the stress–energy tensor is the cosmological constant term.

In general relativity, the pp-wave spacetimes, or pp-waves for short, are an important family of exact solutions of Einstein's field equation. The term pp stands for plane-fronted waves with parallel propagation, and was introduced in 1962 by Jürgen Ehlers and Wolfgang Kundt.

When studying and formulating Albert Einstein's theory of general relativity, various mathematical structures and techniques are utilized. The main tools used in this geometrical theory of gravitation are tensor fields defined on a Lorentzian manifold representing spacetime. This article is a general description of the mathematics of general relativity.

In differential geometry and theoretical physics, the Petrov classification describes the possible algebraic symmetries of the Weyl tensor at each event in a Lorentzian manifold.

A projective vector field (projective) is a smooth vector field on a semi Riemannian manifold whose flow preserves the geodesic structure of without necessarily preserving the affine parameter of any geodesic. More intuitively, the flow of the projective maps geodesics smoothly into geodesics without preserving the affine parameter.

In general relativity, an electrovacuum solution (electrovacuum) is an exact solution of the Einstein field equation in which the only nongravitational mass–energy present is the field energy of an electromagnetic field, which must satisfy the (curved-spacetime) source-free Maxwell equations appropriate to the given geometry. For this reason, electrovacuums are sometimes called (source-free) Einstein–Maxwell solutions.

In general relativity, a scalar field solution is an exact solution of the Einstein field equation in which the gravitational field is due entirely to the field energy and momentum of a scalar field. Such a field may or may not be massless, and it may be taken to have minimal curvature coupling, or some other choice, such as conformal coupling.

In theoretical physics, Nordström's theory of gravitation was a predecessor of general relativity. Strictly speaking, there were actually two distinct theories proposed by the Finnish theoretical physicist Gunnar Nordström, in 1912 and 1913 respectively. The first was quickly dismissed, but the second became the first known example of a metric theory of gravitation, in which the effects of gravitation are treated entirely in terms of the geometry of a curved spacetime.

In semi-Riemannian geometry, the Bel decomposition, taken with respect to a specific timelike congruence, is a way of breaking up the Riemann tensor of a pseudo-Riemannian manifold into lower order tensors with properties similar to the electric field and magnetic field. Such a decomposition was partially described by Alphonse Matte in 1953 and by Lluis Bel in 1958.

In Riemannian geometry and pseudo-Riemannian geometry, curvature invariants are scalar quantities constructed from tensors that represent curvature. These tensors are usually the Riemann tensor, the Weyl tensor, the Ricci tensor and tensors formed from these by the operations of taking dual contractions and covariant differentiations.

In general relativity, the Carminati–McLenaghan invariants or CM scalars are a set of 16 scalar curvature invariants for the Riemann tensor. This set is usually supplemented with at least two additional invariants.

In general relativity, a congruence is the set of integral curves of a vector field in a four-dimensional Lorentzian manifold which is interpreted physically as a model of spacetime. Often this manifold will be taken to be an exact or approximate solution to the Einstein field equation.

In the theory of Lorentzian manifolds, particularly in the context of applications to general relativity, the Kretschmann scalar is a quadratic scalar invariant. It was introduced by Erich Kretschmann.

Newton–Cartan theory is a geometrical re-formulation, as well as a generalization, of Newtonian gravity first introduced by Élie Cartan and Kurt Friedrichs and later developed by Dautcourt, Dixon, Dombrowski and Horneffer, Ehlers, Havas, Künzle, Lottermoser, Trautman, and others. In this re-formulation, the structural similarities between Newton's theory and Albert Einstein's general theory of relativity are readily seen, and it has been used by Cartan and Friedrichs to give a rigorous formulation of the way in which Newtonian gravity can be seen as a specific limit of general relativity, and by Jürgen Ehlers to extend this correspondence to specific solutions of general relativity.

Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.

References