Scalar curvature: Difference between revisions

From Diffgeom
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.