Scalar curvature: Difference between revisions
No edit summary |
|||
(3 intermediate revisions by the same user not shown) | |||
Line 4: | Line 4: | ||
==Definition== | ==Definition== | ||
Let <math>(M,g)</math> be a [[Riemannian manifold]]. | |||
===In terms of the Ricci curvature tensor=== | ===In terms of the Ricci curvature tensor=== | ||
The '''scalar curvature''' associated to <math>(M,g)</math> is defined as the trace of the [[Ricci curvature tensor]]. | The '''scalar curvature''' associated to <math>(M,g)</math> is defined as the trace of the [[defining ingredient::Ricci curvature tensor of Levi-Civita connection|Ricci curvature tensor]] of its [[defining ingredient::Levi-Civita connection]]. By trace, we mean trace, when it is written as a symmetric bilinear form in terms of an orthonormal basis for the [[defining ingredient::Riemannian metric]]. | ||
===In terms of the Ricci curvature=== | ===In terms of the Ricci curvature=== | ||
The scalar curvature is a scalar function that associates a ''curvature'' at every point <math>p \in M</math> as follows. Consider an orthonormal basis for <math>T_p(M)</math>. Then, the scalar curvature at <math>p</math> is the sum of the Ricci curvatures for all vectors in the orthonormal basis. | The scalar curvature is a scalar function that associates a ''curvature'' at every point <math>p \in M</math> as follows. Consider an orthonormal basis <math>e_i</math> for <math>T_p(M)</math>. Then, the scalar curvature at <math>p</math> is the sum of the Ricci curvatures for all vectors in the orthonormal basis. | ||
===In terms of the sectional curvature=== | |||
The scalar curvature at a point <math>p\in M</math> is defined as follows. Let <math>e_i</math> be an orthonormal basis at <math>p</math>. The scalar curvature is then: | |||
<math>\sum_{1 \le i < j \le n} 2K(e_i,e_j)</math> | |||
where <math>K(e_i,e_j)</math> denotes the sectional curvature of the plane spanned by <math>e_i</math> and <math>e_j</math>. | |||
===In terms of the Riemann curvature tensor=== | |||
The scalar curvature can be viewed as a double-trace of the Riemann curvature tensor. A more explicit way of viewing it is as follows. Let <math>e_i</math> be an orthonormal basis at <math>p</math>. The scalar curvature at <math>p</math> is: | |||
<math>\sum_{1 \le i \le n, 1 \le j \le n} R(e_i,e_j,e_j,e_i)</math> | |||
==Related notions== | ==Related notions== | ||
Line 17: | Line 33: | ||
===Related metric properties=== | ===Related metric properties=== | ||
* [[Constant scalar curvature metric]] | * [[Constant-scalar curvature metric]] | ||
* [[Positive scalar curvature metric]] | * [[Positive scalar curvature metric]] | ||
==Facts== | |||
===Scalar curvature in terms of Ricci curvature=== | |||
If the manifold has dimension <math>n</math>, and if the Ricci curvature is constant at a point, the scalar curvature is <math>n</math> times the Ricci curvature at that point. | |||
If the sectional curvature is constant at the point, the scalar curvature is <math>n(n-1)</math> times the sectional curvature. |
Latest revision as of 02:26, 24 July 2009
This article defines a notion of curvature for a differential manifold equipped with a Riemannian metric
This article defines a scalar function on a manifold, viz a function from the manifold to real numbers. The scalar function may be intrinsic or defined in terms of some other structure/functions
Definition
Let be a Riemannian manifold.
In terms of the Ricci curvature tensor
The scalar curvature associated to is defined as the trace of the Ricci curvature tensor of its Levi-Civita connection. By trace, we mean trace, when it is written as a symmetric bilinear form in terms of an orthonormal basis for the Riemannian metric.
In terms of the Ricci curvature
The scalar curvature is a scalar function that associates a curvature at every point as follows. Consider an orthonormal basis for . Then, the scalar curvature at is the sum of the Ricci curvatures for all vectors in the orthonormal basis.
In terms of the sectional curvature
The scalar curvature at a point is defined as follows. Let be an orthonormal basis at . The scalar curvature is then:
where denotes the sectional curvature of the plane spanned by and .
In terms of the Riemann curvature tensor
The scalar curvature can be viewed as a double-trace of the Riemann curvature tensor. A more explicit way of viewing it is as follows. Let be an orthonormal basis at . The scalar curvature at is:
Related notions
Related metric properties
Facts
Scalar curvature in terms of Ricci curvature
If the manifold has dimension , and if the Ricci curvature is constant at a point, the scalar curvature is times the Ricci curvature at that point.
If the sectional curvature is constant at the point, the scalar curvature is times the sectional curvature.