Injectivity radius for non-simply connected symmetric spaces via Cartan polyhedron

Abstract

We determine the cut locus of arbitrary non-simply connected, compact and irreducible Riemannian symmetric space explicitly, and compute injectivity radius and diameter for every type of them.

25 pages