Counting geodesics on compact symmetric spaces

Abstract

We describe the inverse image of the Riemannian exponential map at a basepoint of a compact symmetric space as the disjoint union of so called focal orbits through a maximal torus. These are orbits of a subgroup of the isotropy group acting in the tangent space at the basepoint. We show how their dimensions (infinitesimal data) and connected components (topological data) are encoded in the diagram, multiplicities, Weyl group and lattice of the symmetric space. Obtaining this data is precisely what we mean by counting geodesics. This extends previous results on compact Lie groups. We apply our results to give short independent proofs of known results on the cut and conjugate loci of compact symmetric spaces.