The second closed geodesic, the fundamental group, and generic Finsler metrics

For compact manifolds with infinite fundamental group we present sufficient topological or metric conditions ensuring the existence of two geometrically distinct closed geodesics. We also show how results about generic Riemannian metrics can be carried over to Finsler metrics.


Introduction
In this paper we are interested in existence results for closed geodesics of a Riemannian or Finsler metric on a compact manifold with infinite fundamental group. The shortest closed curve in a non-trivial free homotopy class is a closed geodesic. Hence on a manifold with nontrivial fundamental group there always exists a non-contractible closed geodesic. It is not difficult to see that there are infinitely many geometrically distinct and non-contractible closed geodesics if the first Betti number satisfies b 1 (M) = rkH 1 (M; Z) ≥ 2. The existence of infinitely many geometrically distinct closed geodesics in case of manifolds with fundamental group π 1 (M) ∼ = Z was shown by Bangert and Hingston, cf. [7], and for an infinite solvable fundamental group in [31]. In [24] the authors present results about the existence of infinitely many noncontractible and geometrically distinct closed geodesics on connected sums M = M 1 #M 2 .
We investigate which topological assumptions imply the existence of at least two geometrically distinct and non-contractible closed geodesics for compact manifolds with infinite fundamental group. Theorem 1. Let M be a compact manifold with infinite fundamental group π 1 (M) without torsion elements whose first homology group H 1 (M; Z) is neither trivial (then the fundamental group is perfect) nor cyclic of finite order (i.e. H 1 (M; Z) ∼ = Z/(mZ) for some m ≥ 2). Then any Riemannian or reversible Finsler metric carries at least two geometrically distinct and non-contractible closed geodesics.
If the fundamental group does not satisfy the assumptions of Lemma 1, i.e. if the group is not isomorphic to Z and if there is no element a of infinite order such that any other element is conjugate to a power of a then it is clear that there are two geometrically distinct closed geodesics, cf. [6, (3.15)]. It is not known whether a finitely presented group with this property exists, cf. Remark 1. In Theorem 1 we give sufficient conditions for the first homology group of the manifold ensuring the existence of a second non-contractible closed geodesic.
We also present an existence result for non-reversible Finsler metrics. For Riemannian metrics the bumpy metrics theorem due to Abraham [1] resp. Anosov [3] and perturbation arguments due to Klingenberg and Takens [16] can be used to prove that for a C 4 -generic metric either all closed geodesics are hyperbolic or there is a non-hyperbolic closed geodesic of twist type. In the second case the Birkhoff-Lewis fixed point theorem implies the existence of infinitely many geometrically distinct closed geodesics, cf. [15,Thm.3.3.10] and [18].
For Finsler metrics corresponding genericity statements hold as we explain in Section 3. For r ≥ 4 a C r -generic Finsler metric on a compact manifold is bumpy, cf. Theorem 4. And for r ≥ 6 a C r -generic Finsler metric on a compact manifold either all closed geodesics are hyperbolic, or there exists a non-hyperbolic closed geodesic of twist type, cf. Theorem 6. Hence for a statement about the existence of a second closed geodesic at least for a generic non-reversible Finsler metric it is sufficient to consider metrics all of whose closed geodesics are hyperbolic.
Theorem 2. Let M be a compact manifold with non-trivial fundamental group π 1 (M) endowed with a non-reversible Finsler metric. If at least one of two following conditions: a) the first Betti number of M is positive: b) all closed geodesics of this metric are hyperbolic, holds then there are two geometrically distinct and non-contractible closed geodesics.
For simply-connected and compact manifolds with a bumpy and nonreversible Finsler metric there are at least two geometrically distinct closed geodesics. This was shown by Duan, Long and Wang in [10,Cor.1.2]. It also follows from existence results for closed orbits of nondegenerate Reeb flows obtained by Abreu, Gutt, Kang & Macarini [2,Cor.1.14].
The structure of the paper is as follows: After explaining the setting in Section 2 and discussing generic properties of Finsler metrics in Section 3 we prove Theorem 1 in Section 4. Finally we prove Theorem 2 in the last section.

Preliminary facts
2.1. Functional spaces. Let M n be a compact Riemannian or a Finsler manifold.
Let g : ΛM → ΛM map a curve to be the map which corresponds to a curve the same line parametrized proportionally to the arc-length, such that (g · γ)(0) = γ(0). We put L(M) = g(Λ(M)), and denote by P + (M) and P (M n ) the following quotient-spaces: It is known that these spaces are deformation retracts of Λ(M), Π + (M) and Π(M), respectively. We recall that the action of SO(2) is not free due to the iterates of prime curves. There is the procedure which replaces L(M)/SO(2) by the quotient of a free action of SO(2). We recall it in the full generality. Let X be a topological space on which the group G acts continuously. The homotopy quotient X G of the G-space X is the quotient of the product X × EG with respect to the diagonal action of G. Here  [14] or [21].

The exact homotopy sequence for this fibration restricted onto ΛM[h]
takes the form Moreover, the homotopy sequence finishes as where St(h) is the subgroup of π 1 (M) formed by all elements which commute with h.
The maps f i are written uniformly in the simple form where [h, g] is the Whitehead product of h ∈ π 1 and g ∈ π i . By the Serre theorem, and for the simplest case h = 1 (the unit of π 1 ) we have h * = id and the exact sequence splits into short exact subsequences of the form In the sequel we take tensor products of all entries with Q over Z. Therewith all higher homotopy groups become Q[π 1 ]-modules (a priori such modules can be even infinitely generated) which we denote by π Q i . 2.3. The type numbers of closed geodesics. A point γ ∈ ΛM is a closed geodesic if it is a critical point of the length functional is positive for v = 0 and homogeneous of first order in v: where g ik is the Riemannian metric tensor, we get the usual length with respect to the Riemannian metric. The Finsler metric is called The classical Morse theory is applicable to the study of critical points of S on the spaces ΛM. We omit the exposition of the standard things and only discuss an important statement due to Schwarz. It is clear that every iterate of a closed geodesic is a closed geodesic itself. For a reversible Finsler metric the inverse γ −1 of the geodesic γ is also geodesic. For a non-reversible Finsler metric we say that two closed geodesics are (geometrically) distinct if they are not iterates of the same closed curve with the same orientation. Geodesics of a Riemannian metric or, more general, reversible Finsler metric are (geometrically) distinct if they are not iterates of a certain geodesic and its inverse.
A metric is called bumpy if all its closed geodesics are non-degenerate in the Morse theoretic sense except the trivial one-point extremals.
We assign to every nontrivial closed geodesic its type numbers which are and S is considered as a functional on Λ/SO(2) or on Λ SO(2) (on the quotient or on the homotopy quotient of Λ = ΛM). It is evident that for nondegenerate closed geodesics t i ∈ {0, 1}.
It was established by Schwarz that, if γ is a prime closed geodesic, then t i (γ k ) = δ i,ind γ k if the Morse index of γ k , i.e., ind γ k , has the same parity as ind γ and t i (γ k ) = 0 otherwise. Therefore, we have Proposition 1. [27] If for two nondegenerate closed geodesics γ 1 and γ 2 , we have then these geodesics are distinct.
This proposition is very useful in combination with another statement derived from the Bott index formula for iterates of geodesics: If γ is a nondegenerate prime closed geodesic, then the indices of γ and its iterates of odd order have the same parity: Proof. First, let us recall the original argument from [31] (see Lemma 3). Let two loops γ and η realize elements h and g from St which does not lie in a cyclic subgroup of St(h). Moreover we assume that γ realizes a closed geodesic of minimal length in this homotopy class. Take a mapping of a two-torus T 2 → M such that one of the parallels is mapped into γ and another parallel is mapped into η. This torus is swept out by closed curves homotopic to γ and deforming this loop in Λ[h](= ΛM[h]) we have either to stop at some nontrivial closed geodesic γ 1 or to deform the whole loop into γ. In the latter case the second parallel is deformed to some iterate of a curve γ 0 such that γ is also an iterate of γ 0 . However that contradicts the choice of η. Hence we have a closed geodesic in Λ[h] which is distinct from γ.
Algebraically this argument is reformulated as follows. Let us consider the homotopy quotient Λ[h] SO (2) . We have the fibration (2) and from the exact homotopy sequence for this fibration we have By construction, the image of π 1 (S 1 ) is just the cyclic subgroup generated by h. Hence Proof. Indeed, from (4) and the bumpyness of the metric it follows that there is closed geodesic of index one. By Propositions 1 and 2, it has to be geometrically distinct from the minimal closed geodesic in this homotopy class.

Generic conditions for Riemannian and Finsler metrics and the existence of closed geodesics
In this section we discuss how known generic properties of Riemannian metrics are also generic for Finsler metrics. A Finsler metric F : T M −→ R defines for a point x ∈ M a family of Riemannian metrics g y on the tangent space T x M parametrized by unit vectors y ∈ S x M := {w ∈ T x M ; F (w) = 1}. For a coordinate system x = (x 1 , . . . , x n ) for a chart U ⊂ M of the manifold M with corresponding chart (x, y) = (x 1 , . . . , x n , y 1 , . . . , y n ) for the tangent bundle T U the metric coefficients g ij (x, y) = g y ij (x) are given by: For a closed geodesic c : R −→ M of the Finsler metric parametrized by arc length we can extend the velocity vector field c ′ along c to a nonzero vector field V in a tubular neighborhood U ⊂ M of the closed geodesic. Then the Riemannian metric g V is called osculating Riemannian metric. Now we follow the notation of Anosov [3]. We choose Fermi coordinates (u 0 , u) = (u 0 , u 1 , . . . , u n ) (here n+1 = dim M) in a tubular neighborhood of the closed geodesic with respect to the osculating Riemannian metric g V . Hence u 0 (t) = t, u(t) = 0 parametrizes the closed geodesic and for any t 0 and any v ∈ R n the curve u 0 (t) = t 0 , u(t) = tv is a geodesic, too. Then for the corresponding metric coefficients we obtain Then c is also a closed geodesic of g V with the same length. The flag curvature K(V (x); σ) of the Finsler metric of a flag (V (x), σ) with a plane σ ∈ T x M, V (x) ∈ σ agrees with the sectional curvature K(σ) of the osculating Riemannian metric g V , cf. [23]. Parallel transport along c as well as the index and nullity of the closed geodesic of the Finsler metrics agree with the parallel transport and the index and nullity of the osculating Riemannian metric. This allows to extend the proof of the bumpy metric theorem for Riemannian metrics presented by Anosov [3, Thm.1] to the Finsler case. This seems to be obvious to experts, for example Ginzburg and Gürgel mention that the statement follows from Anosov's proof without giving details, cf. [12,Example 1.15]. In the sequel we indicate how this extension works. For a compact manifold M denote by F r (M) the set of C r -Finsler metrics F : T M −→ R endowed with the strong C r -topology. Similar to the bumpy metrics theorem for Riemannian manifolds due to Abraham [1] resp. Anosov [3] the corresponding statement holds for Finsler metrics: Theorem 4. For a compact differentiable manifold a C r -generic Finsler for r ≥ 4 metric is bumpy.
In contrast to the Riemannian case the order r is at least 4 instead of 2. This is due to the fact that Equation (5) shows that we obtain the osculating metric by differentiating the Finsler metric twice fibrewise. We can extend the proof given by Anosov using the following argument: Let c be a closed geodesic c of the Finsler metric F with an osculating Riemannian metric g V in a tubular neighborhood of c defined for the vector field V as above and let x ∈ U → δg(x) be a field of symmetric bilinear forms on the tangent space T x M with δg 00 (u 0 , 0) = 2 n i=1 f i (u 0 , u)u i and δg ij (u 0 , u) = 0 for all i, j; i + j ≥ 1. Here f i , i = 1, . . . , n + 1 are smooth functions with support in a neigborhood of a point (t 0 , 0), cf. [3, §5]. We define a one-parameter family s ∈ (−ǫ, ǫ) → F s of Finsler metrics with F = F 0 by the Equation: Here φ : R n −→ [0, 1] is 0-homogeneous smooth function which is locally constant with value 1 in a neighborhood of (1, 0, . . . , 0). Hence F s is a smooth perturbation of the Finsler metric F with the property that c is a closed geodesic for all Finsler metrics F s . The osculating Riemannian metric g V s of F s with respect to the vector field V near c is given by: Then for all s the curve c is still a geodesic for F s and the osculating Riemannian metric g V s near the closed geodesic c is of the form: g V s = g V + sδg. Therefore Lemma 1 and Lemma 2 in Anosov's proof of the bumpy metrics theorem carry over to the Finsler setting which is sufficient for the proof of the Theorem. In [28] it was already shown that one can perturb a closed geodesic of a Finsler metric to become non-degenerate using the osculating Riemannian metric. The proof of Theorem 4 could also follow the approach presented by Rifford and Ruggiero [26]. The linearized Poincaré map P c of a closed geodesic is a linear symplectic map. If c is not hyperbolic denote by exp(2πiλ j (c)), λ j (c) ∈ [0, 1/2], 1 ≤ j ≤ l, l ≤ n − 1 the eigenvalues of P c of modulus 1. The Finsler metric is called strongly bumpy if all eigenvalues of the prime closed geodesics are simple and if any finite set of the disjoint union of the Poincaré exponents λ j (c) is algebraically independent, cf. [22,Def.4.1]. Then the proofs in [22] carry over to Finsler metrics and starting from Theorem 4 one obtains: (a) A C 4 -generic Finsler metric is strongly bumpy, cf. [22,Thm.4.3] (b) A strongly bumpy metric on a simply-connected manifold carries infinitely many geometrically distinct closed geodesics, cf. [22,Thm.5.7] Using the Birkhoff normal form of a symplectic mapping one defines the concept of a non-hyperbolic closed geodesic of (generalized) twist type. It is an open and dense condition for the 3-jet of the Poincaré mapping of a non-hyperbolic closed geodesic. For a C 4 -Riemannian metric on a compact manifold either all closed geodesics are hyperbolic or there exists a closed geodesic of twist type. This can be shown starting from a bumpy metric by perturbing the 3-jet of the Poincaré mapping of single closed geodesics, cf. [16] or [15,Thm. 3.3.10]. Similar arguments can be used to show the following Theorem 6. Let M be a compact manifold.
(a) For r ≥ 6 a C r -generic Finsler metric either all closed geodesics are hyperbolic or there exists a non-hyperbolic closed geodesic of twist type.
(b) In a tubular neighborhood of a non-hyperbolic closed geodesic of twist type there a infinitely many geometrically distinct closed geodesics. geode and [18].
In [32, p.141] Ziller sketches how Pugh's closing lemma [19] implies that for a C 2 -generic Finsler metric on a compact manifold the initial vectors to closed geodesics are dense in the unit tangent bundle, cf. also [20] for a Hamiltonian closing lemma.
Hence for these metrics there are in particular infinitely many geometrically distinct closed geodesics. The perturbations used in the closing lemma do not preserve particular flows as the geodesic flow of a Riemannian metric or a magnetic geodesic flow. A C 1 -closing lemma for Riemannian metrics was obtained by Rifford [25].

The second closed geodesic of a Riemannian or reversible Finsler metric
By using Propositions 1 and 2 and computations of certain homologies in [27], Fet proved that a bumpy Riemannian metric on a simplyconnected closed manifold has at least two distinct closed geodesics [11]. For compact manifolds with infinite fundamental group the analogue of this statement is not yet established.
In this and the next sections we present topological and generic conditions under which the existence of second closed geodesic on a nonsimply-connected manifold can be proved.
We want to give a sufficient condition for the fundamental group of a compact manifold to ensure the existence of a second closed geodesic. On a compact manifold with a non-trivial fundamental group π 1 (M) and with a torsion element a ∈ π 1 (M) (i.e. a m = 1 for some m ≥ 2) there are infinitely many closed geodesics for a Riemannian metric all of whose closed geodesics are hyperbolic. This is shown in [4,Thm.A], cf. Proposition 4. If we assume that a compact manifold with non-trivial fundamental group and without torsion elements is endowed with an arbitrary Riemannian metric which carries only one closed geodesic then its fundamental group satisfies the assumption of the following algebraic lemma, cf. [6, (3.15)]: Lemma 1. Let G be a group with the following property: There is an element a ∈ G such that the subgroup a = {a m ; m ∈ Z} ⊂ G generated by a is isomorphic to the group of integers, i.e. a ∼ = Z and such that for all g ∈ G there is an element h ∈ G and m ∈ Z with g = ha m h −1 .
Then the abelianization G ab = H 1 (G; Z) = G/[G, G] is finite and cyclic unless G ∼ = Z. Hence the commutator subgroup [G, G] is infinite and has finite index.
Proof. If G ∼ = Z then there is b ∈ G and h ∈ G, m ∈ Z with b = ha m h −1 ∈ a . It follows that b := hah −1 ∈ a . Then On the other hand there is an element f ∈ G, k ∈ Z, k = 0 with Hence the normal subgroup generated by a k is a subgroup of the commutator subgroup [G, G] and the quotient group H 1 (G; Z) = G/[G, G] is a finite cyclic group whose order divides k.
Proof of Theorem 1 in the Introduction. Assume there is a prime closed geodesic c such that all closed geodesics are geometrically equivalent to c. Then there is a nontrivial homotopy class a ∈ π 1 (M) such that c lies in the free homotopy class generated by a and such that the following holds: For every g ∈ π 1 (M) there exists h ∈ π 1 (M), m ∈ Z with g = ha m h −1 . By assumption the subgroup a is isomorphic to Z. If π 1 (M) ∼ = Z then there are infinitly many geometrically distinct closed geodesics by a result due to Bangert-Hingston, cf. [7]. Hence the fundamental group satisfies the assumptions of Lemma 1. Therefore the abelianization H 1 (M; Z) of the fundamental group is either trivial (then the fundamental group is perfect) or it is isomorphic to Z m , m ≥ 2.
Remark 1. Problem 8.8 in the Kourovka notebook [17] posed by Anosov asks whether a finitely generated group satisfying the assumption of Lemma 1 besides the integers exists. Guba [13] constructed such a group, but this group is not finitely presented and hence it is not the fundamental group of a compact manifold, cf. [30, p.206 We notice if such a group exists and appears as the fundamental group of a closed K(π, 1) manifold, then we do not see how to prove the existence of at least two closed geodesics on such a manifold with the methods used in this text.

The second closed geodesic of a non-reversible Finsler metrics
In this section we consider non-reversible Finsler metrics. In particular two closed geodesics c 1 , c 2 : S 1 −→ M are geometrically equivalent if their images coincide, i.e. c 1 (S 1 ) = c 2 (S 1 ) and if their orientations coincide.
In case of non-reversible Finsler metrics a result by Ballmann, Thorbergsson and Ziller gives the following Proposition 4. [4, Thm.A] Let M be a compact manifold with nontrivial fundamental group π 1 (M). Let a ∈ π 1 (M), a = 1. We assume that for some positive integers 0 < n < m the conjugacy classes [a n ] = [a m ] of the iterates a n , a m coincide. If the manifold carries a nonreversible Finsler metric all of whose closed geodesics are hyperbolic then Here N a (t) is the number of geometrically distinct closed geodesics of length ≤ t which are freely homotopic to a power a k , k ≥ 1. The proof of the Birkhoff-Lewis fixed point theorem [18] also implies that for a closed geodesic c of twist type freely homotopic to a ∈ π 1 (M) there are infinitely many closed geodesics freely homotopic to a power a k and the function N a (t) satisfies Equation (9). Using this Proposition we give the following Proof of Theorem 2 in the Introduction. Since the metric is non-reversible, we say that two closed geodesics are geometrically distinct if they are not positive iterates c k and c l , k, l > 0, of a closed curve c.
If condition a) holds then the minimal closed curves in the homology classes [a] and [a −1 ], where [a] is of infinite order in H 1 (M), are definitely geometrically distinct.
We are left to consider the case when condition b) holds. We assume that there is only one prime closed geodesic c : S 1 −→ M. Choose h ∈ π 1 (M) such that c is freely homotopic to h: c ∈ ΛM[h]. If h is a torsion element in π 1 , then Proposition 4 implies that there are infinitely many geometrically distinct closed geodesics. Hence we assume that (10) h m = 1 for all m = 1, 2, . . . .
Since there is only one closed geodesic there exists a k ≥ 1 such that the closed geodesic c k is up to parametrization the unique shortest closed curve in the free homotopy class [h −1 ]. Hence there exists a ∈ π 1 (M) such that for some k ≥ 1 : Then we conclude h = (h −1 ) −1 = ah −k a −1 = a 2 h (k 2 ) a −2 .
If k ≥ 2 then we obtain from Proposition 4 that there are infinitely many closed geodesics. Hence we can assume k = 1. There are two commuting elements h, a 2 ∈ π 1 (M) and we can assume that both are of infinite order. If they do not lie in some cyclic subgroup, then by Proposition 3, there exist two geometrically distinct closed geodesics. Therefore we are left to assume that h and a 2 belong to some cyclic subgroup. We notice that h is a prime element, otherwise h = g m for some g ∈ π 1 and m > 1 and the homotopy class [h] contains an m-th iterate of the minimal closed geodesic c ′ in [g]. In this case either there are at least two closed geodesics c and c ′ , or c ′ = c l , l > 0, and c is conjugate to c lm which implies, by Proposition 4, the existence of infinitely many closed geodesics.