[Math] Constant curvature manifolds

Question

In two different books I found these two related statements.

• The book by Jost defines a “locally symmetric space" as one for which the curvature tensor is constant and which is geodesically complete.
• Andreas' book attributes to Cartan a theorem that a space is locally symmetric if and only if its curvature tensor is constant. Where he defines a space to be locally symmetric if about every point there is a geodesic reflecting isometry.

I could not trace this theorem of Cartan anywhere else nor does Andreas' book give a reference. I would like to know some reference which would prove this stuff and resolve the apparent definition conflict between the above two statements.

Further I came across these 3 statements about classifying constant curvature spaces,

• If the isometry group is transitive on points on the manifold, then the scalar
  curvature is constant.

• If the isometry group is transitive on all one-dimensional subspaces
  of tangent spaces, then the Ricci curvature tensor is a scalar multiple of the metric.
  tensor

• If the isometry group is transitive on all two-dimensional subspaces
  of tangent spaces, then the sectional curvature is constant on all
  two-dimensional subspaces of tangent spaces.

I have an understanding of why the first statement is true but I would like to know some reference which explains the other two statements.

Further call a space to be homogeneous if it is quotient of some Lie Group mod a closed subgroup. Then in physics literature one finds a statement of the kind that an "isotropic and homogeneous space-time is of constant curvature". I would like to know what is the precise mathematical meaning of this statement.

Further I would also like to know a reference for the fact that a maximally symmetric space always has constant curvature and how being maximally symmetric fits in with being "isotropic and homogeneous".

Many sources refer me to the volumes by Kobayashi and Nomizu or the book by Besse or Spivak for discussion on constant curvature spaces but unfortunately I don't have access to these books. It would be great if some online reference like lecture notes/expository review paper on constant curvature spaces could be linked which clarifies the above questions.

In the books on Riemannian Geometry that I have access to like the ones by Gallot et al,Andreas or Jost, I can't see much of any discussion on these topics.

{In all the above statements I suppose the Riemann Christoffel connection is being assumed. It would be interesting to know how much of the things hold for a general affine connection.}

Answer 1

It is difficult to reconcile your first two statements, because they are actually wrong as written!

A riemannian manifold is locally symmetric if and only if the Riemann curvature tensor is parallel with respect to the Levi-Civita connection. This condition was studied by Élie Cartan, who classified them using his classification of real semisimple Lie algebras. My favourite reference for this is Besse's Einstein manifolds, Chapter 7F, from where I quote the following theorem:

10.72 Theorem (Elie Cartan). For a Riemannian manifold (not necessarily complete) the following conditions are equivalent:

(i) $DR = 0$;

(ii) the geodesic symmetry $s_p$ around any point $p$ (which is defined only locally) is an isometry.

For a complete Riemannian manifold $(M,g)$ the two following conditions are equivalent:

(iii) for every point $p$ in $M$ the geodesic symmetry around $p$ is well defined and is an isometry;

(iv) the manifold $M$ is a homogeneous space $G/H$ where $G$ is a connected Lie group, $H$ a compact subgroup of $G$, and where there exists an involutive automorphism $\sigma$ of the group $G$ for which, if $S$ denotes the fixed point set of $\sigma$ and $S_e$ its connected component of the identity one has $S_e \subset H \subset S$. Moreover the Riemannian metric under consideration on $G/H$ is invariant under $G$.

Furthermore: if $(M, g)$ satisfies (iii) or (iv), then it satisfies (i) and (ii). If $(M, g)$ satisfies (i) or (ii) and if it is simply connected and complete then it satisfies (iii) and (iv).

10.76 Definition. A Riemannian manifold is said to be locally symmetric if it satisfies (i) or (ii) above; it is said to be symmetric if it satisfies (iii) or (iv).

I suspect the source of the confusion might be with the meaning of "constant curvature", which usually means constant sectional curvature (or perhaps parallel Riemann curvature) and not constant scalar curvature, which is a much weaker condition.

Concerning your final parenthetic question, there is a theorem of Ambrose and Singer, reformulated by Kostant, which says that a riemannian manifold $(M,g)$ is locally homogeneous if and only if it admits a metric connection with parallel torsion and parallel curvature. It is locally symmetric if (and only if) the connection is torsion-free.