|This article does not cite any sources. (December 2009)|
In Riemannian geometry, the scalar curvature (or the Ricci scalar) is the simplest curvature invariant of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the intrinsic geometry of the manifold near that point. Specifically, the scalar curvature represents the amount by which the volume of a geodesic ball in a curved Riemannian manifold deviates from that of the standard ball in Euclidean space. In two dimensions, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In more than two dimensions, however, the curvature of Riemannian manifolds involves more than one functionally independent quantity.
In general relativity, the scalar curvature is the Lagrangian density for the Einstein–Hilbert action. The Euler–Lagrange equations for this Lagrangian under variations in the metric constitute the vacuum Einstein field equations, and the stationary metrics are known as Einstein metrics. The scalar curvature is defined as the trace of the Ricci tensor, and it can be characterized as a multiple of the average of the sectional curvatures at a point. Unlike the Ricci tensor and sectional curvature, however, global results involving only the scalar curvature are extremely subtle and difficult. One of the few is the positive mass theorem of Richard Schoen, Shing-Tung Yau and Edward Witten. Another is the Yamabe problem, which seeks extremal metrics in a given conformal class for which the scalar curvature is constant.
The trace depends on the metric since the Ricci tensor is a (0,2)-valent tensor; one must first raise an index to obtain a (1,1)-valent tensor in order to take the trace. In terms of local coordinates one can write
where Rij are the components of the Ricci tensor in the coordinate basis:
Given a coordinate system and a metric tensor, scalar curvature can be expressed as follows
where are the Christoffel symbols of the metric, and is the partial derivative of in the -th coordinate direction.
Unlike the Riemann curvature tensor or the Ricci tensor, which both can be naturally defined for any affine connection, the scalar curvature requires a metric of some kind. The metric can be pseudo-Riemannian instead of Riemannian. Indeed, such a generalization is vital to relativity theory. More generally, the Ricci tensor can be defined in broader class of metric geometries (by means of the direct geometric interpretation, below) that includes Finsler geometry.
Direct geometric interpretation
When the scalar curvature is positive at a point, the volume of a small ball about the point has smaller volume than a ball of the same radius in Euclidean space. On the other hand, when the scalar curvature is negative at a point, the volume of a small ball is instead larger than it would be in Euclidean space.
This can be made more quantitative, in order to characterize the precise value of the scalar curvature S at a point p of a Riemannian n-manifold . Namely, the ratio of the n-dimensional volume of a ball of radius ε in the manifold to that of a corresponding ball in Euclidean space is given, for small ε, by
Thus, the second derivative of this ratio, evaluated at radius ε = 0, is exactly minus the scalar curvature divided by 3(n + 2).
Boundaries of these balls are (n-1) dimensional spheres with radii ; their hypersurface measures ("areas") satisfy the following equation:
where are principal radii of the surface. For example, scalar curvature of a sphere with radius r is equal to 2/r2.
The 2-dimensional Riemann tensor has only one independent component and it can be easily expressed in terms of the scalar curvature and metric area form. In any coordinate system, one thus has:
A space form is by definition a Riemannian manifold with constant sectional curvature. Space forms are locally isometric to one of the following types:
- Euclidean space: The Riemann tensor of an n-dimensional Euclidean space vanishes identically, so the scalar curvature does as well.
- n-spheres: The sectional curvature of an n-sphere of radius r is K = 1/r2. Hence the scalar curvature is S = n(n−1)/r2.
- Hyperbolic spaces: By the hyperboloid model, an n dimensional hyperbolic space can be identified with the subset of (n+1)-dimensional Minkowski space
- The parameter r is a geometrical invariant of the hyperbolic space, and the sectional curvature is K = −1/r2. The scalar curvature is thus S = −n(n−1)/r2.
Among those who use index notation for tensors, it is common to use the letter R to represent three different things:
These three are then distinguished from each other by their number of indices: the Riemann tensor has four indices, the Ricci tensor has two indices, and the Ricci scalar has zero indices. Those not using an index notation usually reserve R for the full Riemann curvature tensor. Alternatively, in a coordinate-free notation one may use Riem for the Riemann tensor, Ric for the Ricci tensor and R for the curvature scalar.
- Basic introduction to the mathematics of curved spacetime
- Yamabe invariant
- Kretschmann scalar
- Vermeil's theorem
- Besse, A.L. (1987), Einstein manifolds, Springer.
- Eisenhart, L.P. (1949), Riemannian geometry, Princeton Univ. Press.
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Foundations of Differential Geometry, Vol. 2, Wiley-Interscience, ISBN 978-0-471-15732-8.
- Ricci, G. (1903–1904), "Direzioni e invarianti principali in una varietà qualunque", Atti R. Inst. Veneto 63 (2): 1233–1239.
- L.A. Sidorov (2001), "Ricci tensor", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4