(Locally) sym., homogenous spaces and space forms

260 Views Asked by At

We had some definitions of particular types of Riemannian manifolds in our lecture

1.) Locally symmetric spaces. They were Riemannian manifolds with the property that $\nabla R=0$ everywhere.

2.) Symmetric spaces. They were path-conn. Riemannian manifolds such that there is for each $p \in M$ a global isometry $f_p: M \rightarrow M$ such that $f(\gamma(t)) = f(\gamma(-t))$ for all geodesics $\gamma: (-\varepsilon,\varepsilon) \rightarrow M$ satisfying $\gamma(0)=p$ and $Df_p(p) = -id.$

3.) Homogenous spaces. They were maps admitting for every $p,q\in M$ a global isometry $\phi_{p,q}: M \rightarrow M$ such that $\phi(p)=q$

4.) Finally, we introduced space-forms as complete connected Riemannian manifolds of const. curvature.

Now, to enhance my understanding of all these spaces, I wanted to get the relations between these spaces right.

So, I found out that any symm. space is homogenous and every symm. space is locally symmetric. Furthermore, any symm. space is complete and path.-connected so i.e. a space form.

Now, I have basically three questions that I could not really answer

1.) Is there a way to compare homogenous, loc. symm. spaces and space forms, too?

2.) Which of these spaces have constant sectional curvature everywhere? By the global isometry property I guess it holds for hom., symm. spaces and space forms, but I don't know if this is also true for loc. symm. spaces?

3.) Are there easy(!) examples of spaces that are one but not the other? ( Naming them woud be totally sufficient, I would try to figure it out by myself why they are examples)

1

There are 1 best solutions below

5
On BEST ANSWER

You need examples. The archetypal example of locally symmetric but non homogeneous space is a compact quotient of the unit disk. Namely, a compact Riemannian surface with its canonical metric also called hyperbolic Riemann surfaces. Here you have more details: https://en.wikipedia.org/wiki/Riemann_surface

So usually the difference between locally symmetric and symmetric is related to the topology or the lack of completeness.

The archetypal examples of homogeneous but not locally symmetric space are given by a Lie group endowed by a so called left invariant metric (some of them are of course symmetric but in general they are not). Between them my favorite one is the Heisenberg group https://en.wikipedia.org/wiki/Heisenberg_group endowed with a left invariant metric.

The archetypal example of symmetric space that is not a space form is the complex plane $\mathbb{C}P^2$ endowed with its Fubini-Study metric.

If you want more information I can edit my answer and add more details.