Qualitative counting closed geodesics

We investigate the geometry of word metrics on fundamental groups of manifolds associated with the generating sets consisting of elements represented by closed geodesics. We ask whether the diameter of such a metric is finite or infinite. The first answer we interpret as an abundance of closed geodesics, while the second one as their scarcity. We discuss examples for both cases.


Introduction
It is a classical observation due to John Milnor [12] and Albert Schwarz [13] that the word metric on the fundamental group of a closed manifold carries information about the Riemannian metric of the universal cover (the metrics are quasi-isometric). In this approach the word metric on the fundamental group is associated with a finite generating set. In the present paper we explore the word metrics on the fundamental group associated with geometrically meaningful generating sets. Specifically, we consider generating sets consisting of closed local geodesics. We then ask the most basic question as to whether the diameter of such a word metric is finite or infinite. The first answer is interpreted as abundance of closed geodesics while the second as their scarcity. We present examples for both cases.
1.1. Statement of the results. Let (M, d) be a complete Riemannian manifold and let C x denote the set of closed local geodesics based at x ∈ M. Let Γ x ⊆ π 1 (M, x) denote the subgroup of the fundamental group generated by elements represented by closed local geodesics. We are interested in the word norm on Γ x associated with the set S of the elements represented by closed geodesics. We call it the closed geodesic norm. We apply methods of geometric group theory to prove the following results.
Theorem 1.2. Let (M, d) be a closed Riemannian manifold of negative curvature admitting a geodesic symmetry through x ∈ M. If Γ x is nonabelian then the diameter of the closed geodesic norm is infinite.
The situation changes if the manifold is only non-positively curved. A rich source of examples is provided by locally symmetric spaces M = Γ\G/K, where G is a semisimple Lie group, K ⊂ G a maximal compact subgroup and Γ ⊂ G a lattice. The natural metric on M is nonpositively curved and we have the following result. Theorem 1.3. Let (M, d) be a complete Riemannian manifold of nonpositive curvature admitting a geodesic symmetry through x ∈ M. If π 1 (M, x) is isomorphic to a finite index subgroup in an irreducible Sarithmetic Chevalley group of rank at least 2 then the diameter of the closed geodesic norm on Γ x is finite.
Our proof of Theorem 1.3 amounts to showing that the closed geodesic norm is bounded above by a conjugation invariant norm and then we use the fact that such norms have finite diameter on S-arithmetic Chevalley groups [7,8]. It would be interesting for find a direct geometric argument which would prove a more general statement. Conjecture 1.4. Let M = Γ\G/K be a locally symmetric space of rank at least 2. If the lattice Γ is invariant under the Cartan involution then the diameter of the closed geodesic norm is finite.
An equivalent form of the above conjecture is that the diameter of the word norm on Γ associated with the generating set consisting of elements invariant under the Cartan involution is finite. More generally, it is not known whether conjugation invariant norms on lattices in Lie groups of rank at least 2 have finite diameter. A piece of evidence that their diameter may be finite comes from the fact that such lattices do not admit unbounded quasimorphisms. The above Conjecture 1.4 is a much weaker statement in this direction.

1.5.
A comment on counting closed geodesics. Classically, counting closed geodesics is done in the form of estimates of the number of geodesics of a given length [1]. Here, we propose a different way of counting. Namely, by measuring how big the subgroup of the fundamental group generated by closed local geodesics is and whether it has finite or infinite diameter with respect to the closed geodesic norm. Finite diameter of the closed geodesic norm is interpreted as abundance of closed local geodesics and infinite diameter as their scarcity. For example, on a flat torus every element of the fundamental group is represented by a closed local geodesic so Γ x = π 1 (T n , x) and the norm has diameter one. On the other hand, on a hyperbolic punctured torus, we have that Γ x = π 1 (T 2 \ {0}) = F 2 for a suitably chosen basepoint and the closed geodesic norm is equivalent to the palindromic length on the free group; see Example 1.7 for details. It follows that closed local geodesics represent palindromes in the free group F 2 . Indeed, I(w(a, b)) = w(a −1 , b −1 ) is equal to w(a, b) −1 if and only if the reduced word w(a, b) is a palindrome. Thus the closed geodesic norm is equal to the palindromic length on F 2 and this is known to have infinite diameter [2], [3, Example 6.7]. ♦ Example 1.8 (Hyperbolic closed surface I). Let Σ be a closed hyperbolic surface of genus g obtained as a quotient of a regular hyperbolic 4g-gon in which the opposite sides are identified and with its centre representing the basepoint. As in the case of the punctured torus the central symmetry defines a geodesic symmetry which is the hyperelliptic involution. Also in this case Γ x = π 1 (Σ, x). It follows from Theorem 1.2 that the diameter of the closed geodesic norm is infinite. ♦ Example 1.9 (Hyperbolic closed surface II). Let Σ be a closed hyperbolic surface of genus 2 obtained as a quotient of a regular hyperbolic octagon with identifications which yield the following presentation of the fundamental group As before the basepoint is represented by the centre of the octagon and its central symmetry descends to a geodesic symmetry I of Σ. Observe, that the homomorphism induced by I on the first homology is defined by In particular, the subgroup Γ x ⊆ π 1 (Σ, x) is infinite and of infinite index. It is not difficult to see that is also nonabelian. Thus it follows from Theorem 1.2 that the closed geodesic norm on Γ x has infinite diameter. ♦ This means that the conjugation by I preserves W and, moreover, Iss ′ I = s ′ s = (ss ′ ) −1 . Since conjugates of the six elements ss ′ by elements of W generate Π we obtain that the conjugation by I preserves Π and that Γ x = π 1 (M, x). It follows from Theorem 1.2 that the closed geodesic norm in π 1 (M, x) has infinite diameter. ♦ Example 1.11. Chinburg and Reid [6] proved that there are infinitely many noncomensurable examples of closed hyperbolic 3-manifolds in which all closed geodesics are simple. Let M be such a manifold. It follows that M cannot admit a geodesic symmetry through a point x ∈ M contained in a closed geodesic. For if I : M → M was a geodesic symmetry through a point x ∈ γ, where γ is a geodesic segment with endpoints at x then γ * I(γ) would be a closed geodesic with a selfintersection at x.
Furthermore, Jones and Reid [9] proved later that if two closed geodesics in M intersect then they are perpendicular. They moreover, proved that M has points at which at least two closed geodesic intersect. Let x ∈ M be such a point. It follows that at most three closed geodesics can intersect at x for dimensional reasons and hence the group Γ x is finitely generated. ♦ Example 1.12 (Locally symmetric space of higher rank). Let G be a non-compact semisimple Lie group, K ⊂ G its maximal compact subgroup and Γ ⊂ G a lattice. If I : G → G is a Cartan involution preserving the lattice (setwise) then it descends to a geodesic symmetry of the locally symmetric space Γ\G/K.

Quasimorphisms and norms on groups.
Let G be a group.
for every g, h ∈ G. The smallest number D with the above property is called the defect of ψ. If ψ(g n ) = nψ(g) for every n ∈ Z and every g ∈ G then ψ is called homogeneous; see [5] for background on quasimorphisms.
A function ν : G → R such that for all g, h ∈ G: • ν(g) ≥ 0, • ν(g) = 0 if and only if g = 1, is called a norm on a group G. If in addition ν(hgh −1 ) = ν(g) then ν is called conjugation invariant. The supremum ν(G) = sup{ν(g) | g ∈ G} is called the diameter of ν or the diameter of G with respect to ν. If ν(G) = ∞ then ν is called unbounded.
The number τ (g) = lim n→∞ ν(g n ) n is called the translation length of g with respect to the norm ν. If a group G contains an element with positive translation length with respect to the norm ν then ν is called stably unbounded.
Example 2.5. Let Σ ∞ be an infinite symmetric group. That is, a group of finitely supported bijections of a countably infinite set. The cardinality of the support defines a conjugation invariant norm of infinite diameter in which every element has translation length equal to zero. ♦

Proofs
Let (M, d) be a complete Riemannian manifold. Let I : M → M be a geodesic symmetry through x ∈ M. By an abuse of notation we denote the induced automorphism of the fundamental group by I : π 1 (M, x) → π 1 (M, x). Define the following two subsets of the fundamental group of M: Recall that C x denotes the set of all closed local geodesics through x ∈ M. Let γ be a local geodesic representing s ∈ S. Since I(s) = s −1 is, on the one hand, represented by a geodesic segment I • γ and, on the other hand, by a local geodesic γ, we get that I • γ = γ due to the uniqueness of geodesic representatives. This implies that γ ∈ C x and hence s ∈ C.
Remark 3.2. Observe that it is important here that M is a manifold. More precisely, that a geodesic is uniquely determined by its initial segment. For example, the graph presented on the figure below admits a geodesic symmetry through x but its closed geodesics going around one of the squares are not preserved setwise.
x Proof. According to Lemma 3.1 the subgroup Γ x is generated by the set S. Let s ∈ S and let g ∈ π 1 (M, x). Then which means that the conjugate of an element s ∈ S is a product of two elements from S. Let g S = n. This means that g = s g 1 1 · · · s gn n , where s i ∈ S and g i ∈ π 1 (M, x). It follows from Lemma 3.3 that g S = s g 1 1 · · · s gn n S ≤ 2n = 2 g S .
Proof of Theorem 1.3. If Γ x is a finite group then there is nothing to prove. So assume that Γ x is infinite. Since it is normal in π 1 (M, x), it is of finite index, according to [11, (5.3) Proposition, p.324]. If follows from [7,8] that every conjugation invariant norm on a finite index subgroup of an S-arithmetic Chevalley group of rank at least 2 has finite diameter and hence the statement follows from Corollary 3.4.
Proof of Theorem 1.2. Let α ∈ Ω 1 (M) be a differential 1-form and let ψ α : π 1 (M, x) → R be defined by where γ is a closed local geodesic representing the conjugacy class of g. The map ψ α is a homogeneous quasi-morphism, see [5, Example 2.3.1].
If α is such that I * (α) = α then ψ α vanishes on S. Let β be a 1-form supported in a small ball such that γ β > 0, where γ is as above. Let α = β + I * (β). Then We thus constructed a nontrivial homogeneous quasimorphism which vanishes on the generating set S. A standard computation shows that it is Lipschitz with respect to the word norm associated with S: where D is the defect of ψ α . We finally obtain that