In this article we demonstrate how to use a result from [3,14] for calculating the rational equivariant cohomology of non-contractible loop spaces for the compact space forms. We also show how to use these calculations for establishing the existence of closed geodesics.
The path spacesLet M n be a closed Riemannian manifold. Let us denote by Λ(M n ) = H 1 (S 1 , M ) the space of H 1 -maps γ : [0, 1] → M n , f (0) = f (1), of a circle S 1 = R/Z into M n , by Ω x (M n ) the subspace of Λ(M n ) formed by loops starting and ending at γ(0) = γ(1) = x ∈ M n , and by Π + (M n ) and Π(M n ) the quotients of Λ(M n ) with respect to the SO(2)(= S 1 )-action: ϕ · γ(t) = γ(t + ϕ), ϕ ∈ S 1 = R/Z, and the O(2)-action respectively. Here the O(2) action is the extension of the SO(2)-action by the involution σ · f (t) = f (−t).