Curvature invariant

From Wikipedia, the free encyclopedia

This article or section is in need of attention from an expert on the subject.
Please help recruit one or improve this article yourself. See the talk page for details.
Please consider using {{Expert-subject}} to associate this request with a WikiProject

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 duals, contractions and covariant differentiations.

[edit] Types of curvature invariants

The invariants most often considered are polynomial invariants. These are polynomials constructed from contractions such as traces. Second degree examples are called quadratic invariants, and so forth. Invariants constructed using covariant derivatives up to order n are called n-th order differential invariants.

The Riemann tensor is a multilinear operator of fourth rank acting on tangent vectors. However, it can also be considered a linear operator acting on bivectors, and as such it has a characteristic polynomial, whose coefficients and roots (eigenvalues) are polynomial scalar invariants.

[edit] Physical applications

In metric theories of gravitation such as general relativity, curvature scalars play an important role in telling distinct spacetimes apart.

Two of the most basic curvature invariants in general relativity are the Kretschmann scalar

$R_{abcd} \, R^{abcd}$

and the Chern-Pontryagin scalar,

$R_{abcd} \, {{}^\star \!R}^{abcd}$

These are analogous to two familiar quadratic invariants of the electromagnetic field tensor in classical electromagnetism.

An important unsolved problem in general relativity is to give a basis (and any syzygies) for the zero-th order invariants of the Riemann tensor.

They have limitations because many distinct spacetimes cannot be distinguished on this basis. In particular, pp-wave spacetimes cannot be distinguished from Minkowski spacetime using any number of curvature invariants (of any order).