Existence of closed geodesics on positively curved Finsler manifolds, , November 27, 2006

2000 MSC classification: 53C22; 53C60; 58E10

1 Introduction

For a Finsler metric

F

on a compact manifold we introduced in [Ra4] the concept of reversibility

λ : = max {F (- X); F (X) = 1} \geq 1 .

The reversibility attains its minimal value one if and only if the Finsler metric is reversible, i.e.

F (X) = F (- X)

for all tangent vectors

X .

In particular Riemannian metrics are reversible. In this paper we investigate the consequences of the following length estimate for closed geodesics on a compact and positively curved Finsler manifold:

Theorem 1 [Ra4,Thm.1,Thm.4] Let

M

be a compact and simply-connected manifold with a Finsler metric

F

with reversibility

λ

and flag curvature

K

satisfying

0 < K \leq 1

resp.

\frac{λ^{2}}{(λ + 1)^{2}} < K \leq 1

if the dimension

n

is odd. Then the length of a closed geodesic is bounded from below by

π \frac{λ + 1}{λ} .

It is a generalization of Klingenberg's injectivity radius estimate for compact Riemannian manifolds, cf. [Kl2,ch.2.6] . As announced in [Ra4,Rem.3] we apply Theorem 1 to obtain existence results for closed geodesics on positively curved manifolds carrying a non-reversible Finsler metric.

At first we consider the case of the

2

-sphere. In the Riemannian case there are three geometrically distinct and simple closed geodesics on the

2

-sphere with length in the interval

[2 π, 2 π / \sqrt{δ}]

if the Gaussian curvature

K

satisfies

1 / 4 < δ \leq K \leq 1 .

A closed curve is called simple, if it does not have self-intersections. This is a particular case of an existence result for spheres in all dimensions, cf. [BTZ2,Thm.A] .

The Katok metrics on the

2

-sphere define a one-parameter family

F_{ε}, ε \in [0, 1)

of Finsler metrics of constant flag curvature

1

and reversibility

λ = (1 + ε) / (1 - ε),

for

ε = 0

this is the standard Riemannian metric. For irrational

ε

there are exactly two geometrically distinct closed geodesics

c_{1}, c_{2}

with lengths

L (c_{1}) = π (1 + λ^{- 1}); L (c_{2}) = π (λ + 1),

these geodesics only differ by orientation, cf. [Ra4,ch.5] , [Zi,p.142] .

Using the Morse inequalities, the topology of the space of unparametrized closed curves on

S^{2}

and a detailed analysis of the sequence

i n d (c^{m})

of Morse indices of the

m

-fold covers

c^{m}

of a closed geodesic

c

we obtain the following existence result together with a length estimate:

Theorem 2 Let

F

be a Finsler metric on the

2

-sphere with reversibility

λ

and flag curvature

K

satisfying

{(\frac{λ}{λ + 1})}^{2} < δ \leq K \leq 1

for some

δ \in R^{+} .

Then there are at least two geometrically distinct closed geodesics

c_{1}, c_{2}

whose lengths

L (c_{1}) \leq L (c_{2})

satisfy:

L (c_{1}) \leq \frac{2 π}{\sqrt{δ}}; L (c_{2}) \leq \frac{π}{\sqrt{δ}} (\frac{1}{\sqrt{δ} \frac{λ + 1}{λ} - 1} + 3) .

In addition the shorter closed geodesic

c_{1}

is simple.

Remark 1

(a) If we choose in particular $δ : = {(\frac{2 λ + 1}{2 λ + 2})}^{2} = {(1 - \frac{1}{2 λ + 2})}^{2}$ then $L (c_{2}) \leq 2 π (λ + 2)$
(b) If the metric has constant flag curvature, i.e. $δ = 1$ then $L (c_{2}) \leq π (λ + 3) .$ In the above mentioned Katok examples $L (c_{2}) = π (λ + 1) / λ; L (c_{2}) = π (λ + 1) .$ Equation 4 implies that for a bumpy Finsler metric of constant flag curvature $1$ with only two geometrically distinct closed geodesics $c_{1}, c_{2}$ the following relation holds: $\frac{1}{L (c_{1})} + \frac{1}{L (c_{2})} = \frac{1}{π} .$
(c) The arguments in the Proof of Theorem 2 also show: If there is only one geometric closed geodesic on the $2$ -sphere, then its average index is at most $1 .$ If the Finsler metric is bumpy, i.e. all closed geodesics are non-degenerate, then there are at least two geometrically distinct closed geodesics. This was shown by Ziller [Zi,p.149] . It follows from the results in [Ra1] that a bumpy Finsler metric on the $2$ -sphere with only finitely many geometrically distinct closed geodesics has at least two geometrically distinct elliptic closed geodesics, cf. [Ra1,Example4.1] . Bangert and Long announced a proof that for every non-reversible Finsler metric on the $2$ -sphere there are two geometrically distinct closed geodesics, cf. [Lo1] .

We also present applications of Theorem 1 in higher dimensions. We use an existence result for closed geodesics which the author derived in [Ra3] using the concept of the Fadell-Rabinowitz index. We obtain a chain of subordinate cohomology classes in a quotient space of the space of closed curves. In the case of positive flag curvature we can estimate the number of geometrically distinct closed geodesics whose multiples are represented by the cohomology classes in this chain. As a general result we obtain Theorem 7 for metrics on compact and simply-connected manifolds of the rational homotopy type of a compact rank one symmetric space. Consequences for Finsler metrics on spheres are listed in the following

Theorem 3 Let

F

be a Finsler metric on the

n

-sphere

S^{n}

with reversibility

λ

and flag curvature

K

satisfying

0 < δ \leq K \leq 1

for some

δ \in R^{+} .

(a) The number of geometrically distinct closed geodesics with length $< 2 n π$ is at least $n / 2 - 1,$ provided $δ > \frac{λ^{2}}{(λ + 1)^{2}} .$
(b) If $λ < \frac{n - 1}{n - 3}, n \geq 4$ and $\sqrt{δ} > 2 \frac{n - 2}{n - 1} \frac{λ}{1 + λ}$ then there are at least $(n - 2)$ geometrically distinct closed geodesics.
(c) If $n \geq 6$ is even and $δ > 4 / (n - 2)^{2}$ then there are at least two geometrically distinct closed geodesics with length $\leq n π .$

There are Katok-metrics on the

2 k

-sphere

S^{2 k}

resp. the

(2 k - 1)

-sphere

S^{2 k - 1}

with

2 k

geometrically distinct closed geodesics (cf. [Zi,p.139] ) and it is an open question whether there are always at least

n

closed geodesics on the

n

-sphere [Zi,p.156] .

Finally we improve this result in Theorem 8 in the particular case of a bumpy metric, i.e. a metric all of whose closed geodesics are non-degenerate. For the

m

-dimensional complex projective space

C P^{m}

we obtain in Corollary 2 a lower bound for the number of geometrically distinct closed geodesics as well as for the number of non-hyperbolic closed geodesics provided there are only finitely many geometrically distinct ones.

One can study stability properties of a closed geodesic

c

with the help of the linearized Poincaré mapping

P_{c},

which is a linear symplectic map of an

(2 n - 2)

-dimensional vector space. It can be defined using the Jacobi fields along this geodesic, cf. [BTZ1,ch.1] , [Ra2] . In the most unstable case no (complex) eigenvalue of

P_{c}

lies on the unit circle, then the closed geodesic is called hyperbolic. For example all closed geodesics on a Finsler manifold with negative flag curvature are hyperbolic. We obtain a result similar to [BTZ1,Thm.B] :

Theorem 4 Let

F

be a Finsler metric on a compact manifold with reversibility

λ

and flag curvature

0 < δ \leq K \leq 1 .

There exists a non-hyperbolic closed geodesic if the

l

–th homotopy group

π_{l} (M)

is non-trivial for some

l \geq 2

and

\sqrt{δ} > \frac{l - 1}{n - 1} \frac{λ}{λ + 1} .

In particular on the

n

-sphere

S^{n}

with a Finsler metric satisfying

λ^{2} / (λ + 1)^{2} < K \leq 1

there exists a non-hyperbolic closed geodesic. A more detailed analysis also produces existence results for closed geodesics of elliptic-parabolic type. Here a closed geodesic is called of elliptic-parabolic type if the linearized Poincaré map splits into two-dimensional rotations and a part whose eigenvalues are

\pm 1 .

Following the ideas of Thorbergsson [Th] and Ballmann, Thorbergsson and Ziller [BTZ1] we obtain as another consequence of the length estimate Theorem 1 :

Theorem 5 On a compact Finsler manifold

M

with reversibility

λ

and flag curvature

0 < δ \leq K \leq 1

there exists a closed geodesic of elliptic-parabolic type if one of the following conditions is satisfied:

(a) $M = S^{n}$ and $δ > \frac{9}{4} \frac{λ^{2}}{(λ + 1)^{2}}$ with $λ < 2 .$
(b) $M = R P^{n}$ and $δ > \frac{λ^{2}}{(λ + 1)^{2}} .$

It is mentioned in [BTZ3,p.61] that most of the results presented in the Riemannian case generalize to Finsler metrics. For example it is stated that a Finsler metric with

9 / 16 < K \leq 1

carries a short closed geodesic of elliptic-parabolic type. But the arguments only work for reversible Finsler metrics respectively under the additional assumption that a shortest closed geodesic has length

\geq 2 π .

Another setting in which one can show the existence of a closed geodesic of elliptic-parabolic type is in the presence of an isometric

S^{1}

-action. For example the above mentioned Katok metrics

F_{ε}

on the

2

-sphere carry an isometric

S^{1}

-action. For irrational parameter

ε

there are exactly two geometrically distinct closed geodesiscs which both are elliptic and invariant under the

S^{1}

-action. As an analogous result to [BTZ1,TheoremA(iii)] we obtain:

Theorem 6 On a compact manifold with Finsler metric with an isometric

S^{1}

-action there exist at least two geometrically distinct closed geodesics. These closed geodesics are

S^{1}

-invariant and they are of elliptic-parabolic type.

2 Critical Point Theory for Closed Geodesics

Here we list a couple of results of the critical point theory for closed geodesics, general references are the survey article [Ba] by Bangert, the book [Kl1] by Klingenberg and [Ra2] .

c : S^{1} : = [0, 1] / {0, 1} \to M

is a closed geodesic on the Finsler manifold

(M, F)

of length

L (c)

then for every positive integer

m

the

m

-fold cover

c^{m} : S^{1} \to M; c^{m} (t) = c (m t)

is a closed geodesic, too. If

L (c) = \int_{0}^{1} F (c^{'} (t)) d t

denotes the length, then we have

L (c^{m}) = m L (c) .

We call a closed geodesic prime if it is not the cover

c_{0}^{m}

of another closed geodesic

c_{0}

with

m > 1 .

Closed geodesics are the critical points of the energy functional

E : Λ M \to R; E (c) = \frac{1}{2} \int_{0}^{1} F^{2} (c^{'} (t)) d t

on the Hilbert manifold

Λ M

of closed curves which is the set of all absolutely continuous closed curves with a square-integrable derivative.

The Morse index

i n d (c)

of a closed geodesic is the index of the hessian

d^{2} E (c)

of the energy functional. On the space

Λ M

there is a

S^{1}

-action given by changing the initial point. The energy functional is invariant under this group action. We call two closed geodesics

c_{1}, c_{2}

of a non-reversible Finsler metric geometrically equivalent, if their traces

c_{1} (S^{1}) = c_{2} (S^{1})

and their orientation coincide. Otherwise we call them geometrically distinct. In contrast to the reversible case resp. the case of a Riemannian metric for a closed geodesic

c

the curve

c^{- 1}

with

c^{- 1} (t) = c (1 - t)

defined by reversing the orientation in general is not a geodesic. Hence a prime closed geodesic

c

produces infinitely many critical orbits

S^{1} . c^{m}; m \geq 1

of the energy functional consisting of all geometrically equivalent closed geodesics. If a closed geodesic

c

is the

m

-fold cover

c = c_{0}^{m}

of a prime closed geodesic

c_{0}

then we call

m = m u l (c)

the multiplicity of the closed geodesic

c .

Therefore a prime closed geodesic

c

produces a tower

S^{1} . c^{m}; m \geq 1

of closed geodesics resp. critical orbits of the energy functional.

We can view the hessian of the energy functional also as a self-adjoint endomorphism.

Then the index is the sum of the dimensions of negative eigenvalues and we call the nullity

n u l l (c)

the dimension of the kernel

ker d^{2} E (c)

minus

1 .

Note that the dimension of the kernel is always at least

1

provided

L (c) > 0

since there is a

1

-dimensional group leaving the energy functional invariant. A closed geodesic

c

is called non-degenerate if

n u l l (c) = 0 .

Geometrically the nullity is the dimension of periodic Jacobi fields along

c

which are orthogonal to the velocity field

c^{'} .

Therefore

n u l l (c) \leq 2 n - 2 .

The sequence

i n d (c^{m})

grows almost linearly, we call the limit

α_{c} : = {lim}_{m \to \infty} \frac{i n d (c^{m})}{m}

introduced by Bott [Bo,Cor.1] the average index and

{\bar{α}}_{c} = α_{c} / L (c)

the mean average index. We have the following estimate for the sequence

i n d (c^{m}) :

\begin{matrix} | i n d (c^{m}) - m α_{c} | \leq n - 1, \end{matrix}

(1)

cf. [Ra1,(1.4)] . By a Rauch comparison argument as in the Riemannian case one obtains

Lemma 1 ([Ra4,Lem.3] ) Let

c

be a closed geodesic on a Finsler manifold

(M, F)

of dimension

n

with positive flag curvature

K \geq δ

for some

δ \in R^{+} .

(a) The mean average index is bounded from below: ${\bar{α}}_{c} \geq \sqrt{δ} (n - 1) / π .$
(b) If the length $L (c)$ satisfies $L (c) > k π / \sqrt{δ}$ for some positive integer $k$ then $i n d (c) \geq k (n - 1) .$

Combining Lemma 1 with the length estimate Theorem 1 for a closed geodesic we obtain:

Lemma 2 Let

c

be a closed geodesic on a compact and simply-connected Riemannian manifold of dimension

n

with a non-reversible Finsler metric with reversibility

λ

and flag curvature

0 < δ \leq K \leq 1

where

δ > \frac{λ^{2}}{(λ + 1)^{2}}

n

is odd.

Then

α_{c} \geq \sqrt{δ} \frac{λ + 1}{λ} (n - 1) .

Proof. Since

L (c) \geq π (1 + 1 / λ)

by Theorem 1 the claim follows from Lemma 1 .

□

Now we come to the Morse Inequalities of the

S^{1}

-invariant functional

E : Λ M \to R .

Let

{\bar{b}}_{j} : = b_{j} (Λ M / S^{1}, Λ^{0} M / S^{1}; Q)

where for

a \geq 0

we denote

Λ^{a} M : = {σ \in Λ M | E (a) \leq a}

the sublevel sets and

b_{j}

is the

j

-th Betti number. In particular

Λ^{0} M

is the set of point curves which can be identified with the manifold

M .

Since it is the fixed point set of the

S^{1}

-action one can also identify the quotient space

Λ^{0} M / S^{1}

with the manifold

M .

Given a closed geodesic

c

we use the following notation

Λ (c) : = {σ \in Λ M | E (σ) < E (c)} .

Then we call

{\bar{C}}_{*} (c) = H_{*} ((Λ (c) \cup S^{1} . c) / S^{1}, Λ (c) / S^{1}; Q)

the

S^{1}

-critical group of the closed geodesic

c

and let

{\bar{b}}_{j} (c) = dim {\bar{C}}_{j} (c) .

We collect the information about the

S^{1}

-critical groups in the following two lemmas:

Lemma 3 ([Ra1,ProofofProp.2.2] ) Let

c

be a non-degenerate closed geodesic with

i = i n d (c), m = m u l (c) .

Then

c = c_{1}^{m}

for a prime closed geodesic

c_{1}

and

{\bar{b}}_{j} (c) = {\begin{matrix} 1 & ; & j = i; m \equiv 1 (m o d 2) \\ 1 & ; & j = i; m \equiv 0 (m o d 2) \\ and i n d (c_{1}^{2}) \equiv i n d (c_{1}) (m o d 2) \\ 0 & ; & otherwise \end{matrix}

In the general case we obtain the following cases:

Lemma 4 [Ra2,Satz6.13] Let

c

be a closed geodesic with

i = i n d (c); l = n u l l (c) .

Then we have the following statements:

(a) ${\bar{b}}_{j} (c) = 0$ for $j < i$ or $j > i + l .$
(b) ${\bar{b}}_{i} (c) + {\bar{b}}_{i + l} \leq 1$ and if ${\bar{b}}_{i} (c) + {\bar{b}}_{i + l} = 1$ then ${\bar{b}}_{j} (c) = 0$ for all $j$ with $i + 1 \leq j \leq i + l - 1 .$

As a consequence of the formula for the sequence

i n d (c^{m}), m \geq 1

given by Bott [Bo] we conclude:

Lemma 5 Let

c

be a closed geodesic on a surface (i.e.

n = dim M = 2

) with

i n d (c) = 1

and average index

α_{c} > 1 .

Then for all

m \geq 1

the indices

i n d (c^{m})

are odd.

Proof. Let

P_{c}

be the linearized Poincaré mapping, i.e. the linearization of the return map of the closed orbit of the geodesic flow corresponding to the closed geodesic. There is a function

I_{c} : S^{1} : = {z \in C; | z | = 1} \to Z^{\geq 0}

with the following properties, cf. [Bo,Thm.A,C] ,[Lo,ch.9] ,[Ra2,ch.4] :

(a) $i n d (c^{m}) = \sum_{z^{m} = 1} I_{c} (z)$
(b) Define $N_{c} : S^{1} \to Z^{\geq 0} :$ $N_{c} (z) = dim k e r (P_{c} - z I d) .$ Then $n u l l (c^{m}) = \sum_{z^{m} = 1} N_{c} (z) .$
(c) The function $I_{c}$ is constant in a neighborhood of points $z$ with $N_{c} (z) = 0 .$ For the splitting numbers $S_{c}^{\pm} (z); = {lim}_{φ \to \pm 0} I_{c} (z exp (i φ)) - I_{c} (z)$ of the function $I_{c}$ the following estimate holds:
$0 \leq S_{c}^{\pm} (z) \leq N_{c} (z)$
(d) $I_{c} (z) = I_{c} (\bar{z}), N_{c} (z) = N_{c} (\bar{z})$

It follows that

i n d (c^{m}) \equiv i n d (c) (m o d 2)

for all odd

m

and

i n d (c^{m}) \equiv I_{c} (1) + I_{c} (- 1) = i n d (c^{2}) (m o d 2)

for all even

m .

It was also shown by Bott that the splitting numbers only depend on the symplectic normal form of the linearized Poincaré map

P_{c},

for a detailed discussion see [BTZ1,(2.13)] , [Lo,ch.IV] , [Ra2,ch.4] .

Now we come to the case

n = 2,

then for the eigenvalues

z

of the linearized Poincaré map there are the following cases:

(a) $z \notin S^{1},$ i.e. $z$ is a real number with $| z | \neq 1 .$ Then also $z^{- 1}$ is an eigenvalue, in this case the closed geodesic is called hyperbolic and $i n d (c^{m}) = m i n d (c) .$ In particular the average index satisfies $α_{c} = 1$ in contradiction to our assumption.
(b) If $z = 1$ then $S^{+} (1) = S^{-} (1)$ and $α_{c} = I_{c} (- 1) = i n d (c^{2}) - i n d (c) = i n d (c) + S^{+} (1) = 1 + S^{+} (1) > 1$ by assumption, hence we conclude $S^{+} (1) = 1 .$ It follows that $i n d (c^{2}) = 3$ and $α_{c} = 2 .$
(c) If $z = - 1$ then $α_{c} = i n d (c) = 1$ in contradiction to our assumption.
(d) If $z = exp (\sqrt{- 1} π ρ)$ with $ρ \in (0, 1)$ then we conclude from [BTZ1,(2.13)] or [Ra2,Thm.4.3] : $S^{+} (z) + S^{-} (z) = 1 .$ Since $α_{c} = i n d (c) + (S^{+} (z) - S^{-} (z)) ρ > 1$ we conclude $S^{+} (z) = 1, S^{-} (z) = 0, α_{c} \in (1, 2)$ Hence in this case $i n d (c^{2}) = I_{c} (1) + I_{c} (- 1) = 2 i n d (c) + S^{+} (z) = 3 .$

Therefore

i n d (c^{2}) = 3

which implies that for all even

m

the indices

i n d (c^{m})

are odd, too.

□

Now Lemma 4 and Lemma 5 imply the following

Corollary 1 Let

c

be a prime closed geodesic on a surface (i.e.

n = 2

) with Finsler metric with index

i n d (c) = 1

and average index

α_{c} > 1 .

Then for every

m \geq 1 :

\sum_{j \equiv 1 (m o d 2)} {\bar{b}}_{j} (c^{m}) \leq 1 .

The Morse inequalities relate the critical groups as local information about the critical points with the global topological information given by the Betti numbers of the space on which the Morse function is defined.

Lemma 6 ([Ra1,2.6] ) The rational Betti numbers

β_{i} : = b_{i} (Λ S^{2} / S^{1}, Λ^{0} S^{2} / S^{1}; Q),

of the pair of quotient spaces

(Λ S^{2} / S^{1}, Λ^{0} S^{2} / S^{1})

are given by:

β_{i} = {\begin{matrix} 2 & ; & i = 2 m + 1, m \geq 1 \\ 1 & ; & i = 1 \\ 0 & ; & i = 2 m, m \geq 0 \end{matrix}

3 Proof of Theorem 2

Let

N

be the odd integer satisfying

\begin{matrix} N - 2 \leq \frac{1}{\sqrt{δ} \frac{λ + 1}{λ} - 1} < N . \end{matrix}

(2)

We assume that there is only one class of geometrically equivalent closed geodesics whose indices are bounded from above by

N .

Hence there is a prime closed geodesic

c

such that every closed geodesic

\tilde{c}

with

i n d (\tilde{c}) \leq N

is up to the choice of the initial point of the form

c^{m}

respectively

\tilde{c} \in S^{1} . c^{m}

for some

m \geq 1 .

We define for all

i

with

0 \leq i \leq N : v_{i} : = \sum_{m \geq 1} {\bar{b}}_{i} (c^{m}),

then the Morse Inequalities for the

S^{1}

-invariant energy functional

E : Λ S^{2} \to R

yield (cf. [Ra2,ch.6.1] ):

\begin{matrix} v_{i} \geq β_{i} \end{matrix}

(3)

for all

i

with

0 \leq i \leq N .

In particular we conclude from

β_{1} = 1

that for some

m \geq 1 : i n d (c^{m}) \leq 1 .

Since

L (c) \geq π \frac{λ + 1}{λ}

and

K \geq δ > {(\frac{λ}{λ + 1})}^{2}

we obtain from Lemma 1 that

i n d (c^{m}) \geq 1

for all

m \geq 1 .

Hence we have finally shown:

i n d (c) = 1 .

As an estimate for the average index we obtain from Lemma 1 :

α_{c} \geq \sqrt{δ} (λ + 1) / λ > 1 .

Inequality ( 1 ) and Inequality ( 2 ) imply:

i n d (c^{N}) \geq N α_{c} - 1 \geq N \sqrt{δ} \frac{λ + 1}{λ} - 1 = N (\sqrt{δ} \frac{λ + 1}{λ} - 1) + N - 1 > N .

Therefore Corollary 1 implies:

\sum_{\begin{matrix} 0 \leq i \leq N \\ i \equiv 1 (m o d 2) \end{matrix}} v_{i} = \sum_{\begin{matrix} 0 \leq i \leq N; m \geq 1 \\ i \equiv 1 (m o d 2) \end{matrix}} {\bar{b}}_{i} (c^{m}) \leq # {m | i n d (c^{m}) \leq N} < N .

This contradicts the Morse Inequalities ( 3 ) since by Lemma 6 for

N

odd:

\sum_{\begin{matrix} 0 \leq i \leq N \\ i \equiv 1 (m o d 2) \end{matrix}} v_{i} \geq \sum_{\begin{matrix} 0 \leq i \leq N \\ i \equiv 1 (m o d 2) \end{matrix}} β_{i} = N .

Hence there are at least two geometrically distinct closed geodesics

c_{1}, c_{2}

with

i n d (c_{1}) = 1; i n d (c_{2}) \leq N .

We conclude from Lemma 1 and Inequality ( 2 ):

L (c_{2}) \leq \frac{π}{\sqrt{δ}} (N + 1) \leq \frac{π}{\sqrt{δ}} (\frac{1}{\sqrt{δ} \frac{λ + 1}{λ} - 1} + 3)

Since

i n d (c_{1}) = 1

Lemma 1 (b) implies that

L (c_{1}) \leq 2 π / \sqrt{δ} .

For the given curvature bounds not only the length of a closed geodesic but also the length of a geodesic loop is bounded from above by

π (1 + λ^{- 1}),

cf. [Ra4,Thm.1] , hence

c_{1}

is simple since

2 π / \sqrt{δ} < 2 π (1 + λ^{- 1}) .

□

4 Existence results in higher dimensions

We consider a compact and simply-connected manifold

M

whose rational cohomology algebra is generated by a single element

x \in H^{d} (M; Q)

of degree

d,

with the relation

x^{m + 1} = 0 .

Hence the cohomology algebra

H^{*} (M; Q)

is isomorphic to the truncated polynomial algebra

\sim = T_{d, m + 1} (x) = Q [x] / (x^{m + 1} = 0)

and the dimension of

M

equals

d m .

The main examples are the compact rank one symmetric spaces, i.e. spheres

S^{d}

of dimension

d

(then

m = 1

m

-dimensional complex projective spaces

C P^{m}

with

d = 2,

m

-dimensional quaternionic projective spaces

H P^{m}

with

d = 4

and the Cayley plane

C a P^{2}

with

d = 8, m = 2 .

Then we obtain from [Ra3,Thm.5.11] :

Proposition 1 Let

M

be a simply-connected and compact manifold whose rational cohomology algebra is generated by a single element of order

d,

i.e.

H^{*} (M; Q) = T_{d, m + 1} (x)

endowed with a Finsler metric. Then there is a sequence

c_{k}; k \geq 1

of prime closed geodesics and a sequence

m_{k}; k \geq 1

of positive integers such that the sequence

S^{1} . c_{k}^{m_{k}}; k \geq 1

is a sequence of

S^{1} -

orbits of closed geodesics which are pairwise distinct (although in general not geometrically distinct) and whose lengths and indices satisfy the following proerties for all

k \geq 1 :

properties:

(a) $m_{k} L (c_{k}) = L (c_{k}^{m_{k}}) \leq L (c_{k + 1}^{m_{k + 1}}) = m_{k + 1} L (c_{k + 1})$
(b) $2 k - (2 m - 1) d + 1 \leq i n d (c_{k}^{m_{k}}) \leq 2 k + d - 1$

Theorem 7 Let

M

be a simply-connected and compact manifold whose rational cohomology algebra is generated by a single element

x \in H^{d} (M; Q)

, i.e.

H^{*} (M; Q) = T_{d, m + 1} (x) .

We assume that the manifold

M

carries a Finsler metric with reversibility

λ

whose flag curvature

K

is positive and satisfies

0 < δ \leq K \leq 1,

where

\sqrt{δ} > λ / (λ + 1)

n

is odd. Then the number of geometrically distinct closed geodesics of length

\leq L

is bounded from below by

A (m, d, δ, λ, L) : = \frac{1}{2} \frac{λ + 1}{λ} \sqrt{δ} (m d - 1 - \frac{π}{L} d)

Remark 2

(a) If we are not interested in the length of the closed geodesics we obtain as bound:
$A (m, d, δ, λ, \infty) = {lim}_{L \to \infty} A (m, d, δ, λ, L) = \frac{1}{2} (m d - 1) \sqrt{δ} \frac{λ + 1}{λ}$
(b) The maximal value of the bound is attained if the flag curvature $K$ is constant ( $δ = 1$ ) and the metric is reversible ( $λ = 1$ ):
$A (m, d, 1, 1, \infty) = m d - 1 = n - 1$
(c) Theorem 3 is a direct consequence for $m = 1, d = n .$

Proof of Theorem 7 : We consider the sequence

{(S^{1} . c_{k}^{m_{k}})}_{k \geq 1}

of pairwise distinct critical orbits of closed geodesics satisfying the properties of Proposition 1 . Hence

c_{k}, k \geq 1

are prime closed geodesics and

(m_{k})

is a sequence of positive integers. Fix a number

L > 0

and let

a_{L} : = # {k \geq 1 | L (c_{k}) m_{k} \leq L} .

By the comparison result part (b) of Lemma 1 :

a_{L} \geq b_{L} : = # {k \geq 1 | i n d (c_{k}^{m_{k}}) < \frac{L}{π} \sqrt{δ} (n - 1)} .

We conclude from Proposition 1 , (b) that for

2 k < L \sqrt{δ} (n - 1) π^{- 1} - (d - 1) : i n d (c_{k}^{m_{k}}) < L \sqrt{δ} (n - 1) π^{- 1},

hence

b_{L}

is bounded from below by the integer part of

L \sqrt{δ} (n - 1) π^{- 1} - (d - 1),

hence

b_{L} \geq L \sqrt{δ} (n - 1) π^{- 1} - d .

Since

L (c_{k}) \geq π (λ + 1) / λ

by Theorem 1 we obtain from Proposition 1 , (a) that

m_{k} < L π^{- 1} λ / (λ + 1) .

Therefore the number of geometrically distinct closed geodesics in the set

c_{1}, c_{2}, \dots, c_{a_{L}}

is bounded from below by

\begin{matrix} \frac{a_{L}}{\frac{L}{π} \frac{λ}{λ + 1}} \geq \frac{\frac{L}{π} \sqrt{δ} (n - 1) - d}{2 \frac{L}{π} \frac{λ}{λ + 1}} \geq \frac{1}{2} \frac{λ + 1}{λ} \sqrt{δ} (n - 1 - \frac{π}{L} d) \end{matrix}

□

We call a Finsler metric bumpy, if all closed geodesics are non-degenerate. If the Finsler metric on a compact and simply-connected manifold is bumpy and has only finitely many geometric distinct prime closed geodesics

c_{1}, c_{2}, \dots, c_{r}

with average indices

α_{1}, α_{2}, \dots, α_{r}

then the rational cohomology ring

H^{*} (M; Q)

is generated by a single element

x

of degree

d

with the only relation

x^{m + 1} = 0,

i.e.

n = dim M = m d .

The invariants

d, m

determine the number

B (d, m) = {\begin{matrix} - \frac{m (m + 1) d}{2 d (m + 1) - 4} & ; d even \\ \frac{d + 1}{2 d - 2} & ; d odd \end{matrix} .

for which the following formula is derived in [Ra1,Thm.3] :

\begin{matrix} B (d, m) = \sum_{i = 1}^{r} \frac{γ_{i}}{α_{i}} \end{matrix}

(4)

Here

γ_{i} \in {\pm 1 / 2, \pm 1}

is an invariant controling the parity of the sequence

i n d (c_{i}^{m})

and the orientability of the negative normal bundle

c

and

c^{2} .

Let

c_{1}, \dots, c_{s}; s \leq r

be the non-hyperbolic closed geodesics. Then for even

d

the following estimate holds with the same argument as in [Ra1,Thm.3.1(b)] :

\begin{matrix} \sum_{k = 1}^{s} {| γ_{k} | (\frac{m d - 1}{α_{k}} - 1) + 2} \geq \frac{1}{4} m (m + 1) d \end{matrix}

(5)

As a consequence from this formula and Lemma 2 we obtain analogous to [Ra1,Cor.3.4] :

Theorem 8 Let

F

be a Finsler metric on a compact and simply-connected manifold

M

with

H^{*} (M; Q) = T_{d, m + 1} (x)

with reversibility

λ

and flag curvature

K

satisfying

0 < δ \leq K \leq 1,

where

\sqrt{δ} > λ / (λ + 1)

provided

m = 1

and

d

is odd.

(a) If the metric is bumpy then there are at least $C (m, d, δ, λ) : = | B (d, m) | \sqrt{δ} \frac{λ + 1}{λ} (m d - 1)$ geometrically distinct closed geodesics.
(b) If the metric is bumpy and there exist only finitely many geometrically distinct closed geodesics then there are at least $m (m + 1) d {(\frac{4 λ}{\sqrt{δ} (λ + 1)} + 6)}^{- 1}$ non-hyperbolic closed geodesics.

For

d \in {2, 4, 8}

and for a fixed value of the lower curvature bound

δ

the function

C (m, d, δ, λ)

grows quadratically in

m .

Let us consider Finsler metrics on the

m

-dimensional complex procjective space

C P^{m} .

The flag curvature of the normalized Fubini-Study metric on

C P^{m}

satisfies

1 / 4 \leq K \leq 1 .

For

δ \to 1 / 4

and

λ \to 1

we obtain as maximal value

C (m, 2, 1 / 4, 1) = (m + 1) (m - 1 / 2) .

It is very likely that this bound is not optimal since there are Finsler metrics of Katok type on

C P^{m}

with

m (m + 1)

geometrically distinct closed geodesics, cf. [Zi,p.139] .

Another application is the following result analogous to [BTZ1,Cor.4] :

Corollary 2 A bumpy Finsler metric on the

m

-dimensional complex projective space

C P^{m}

(

m \geq 7

) with reversibility

λ

and flag curvature

0 < δ \leq K \leq 1; \sqrt{δ} = \frac{2}{m + 1} \frac{λ}{1 + λ}

with only finitely many geometrically distinct closed geodesiscs carries at least

2 m

geometrically distinct closed geodesics. At least

(m - 3)

of these closed geodesics are non-hyperbolic.

5 Stability properties of closed geodesics

A closed geodesic is called hyperbolic if all all eigenvalues of the linearized Poincaré map have modulus

\neq 1 .

Then the sequence

i n d (c^{m})

is linear in

m,

i.e.

i n d (c^{m}) = m i n d (c) .

This was observed by Bott in [Bo] and shows immediately part (a) of the following

Lemma 7 Let

c

be a closed geodesic of a Finsler manifold with average index

α_{c} .

(a) If $i n d (c) \neq α_{c}$ then $c$ is non-hyperbolic.
(b) If $i n d (c^{2}) - 2 i n d (c) = n - 1$ then $c$ is of elliptic-parabolic type, the linearized Poincaré map splits into $2 \times 2$ blocks of the form $(\begin{matrix} 1 & 0 \\ 1 & 1 \end{matrix}) and / or (\begin{matrix} cos φ & - sin φ \\ sin φ & cos φ \end{matrix}) 0 \leq φ < π,$ with respect to a symplectic basis $(X_{1}, Y_{1}, X_{2}, Y_{2}, \dots, X_{n - 1}, Y_{n - 1})$ satisfying $ω (X_{i}, Y_{i}) = δ_{i j}; ω (X_{i}, X_{j}) = ω (Y_{i}, Y_{j}) = 0$ for the symplectic form $ω .$

Part (b) is shown in [BTZ1,Lemma3.1] , since

i n d (c^{2}) = I_{c} (1) + I_{c} (- 1)

and

i n d (c) = I_{c} (1),

cf. the Proof of Lemma 5 Proof of Theorem 4 : By considering the universal covering we can assume

M

to be simply-connected. Since

π_{l} (M) \neq 0

one concludes that

π_{l - 1} (Λ M) \neq 0,

hence there is a closed geodesic

c

with

i n d (c) \leq l - 1 .

From Theorem 1 we conclude

L (c) \geq π (1 + λ^{- 1}),

hence Lemma 1 (b) implies that

α_{c} > l - 1 .

Therefore

c

is non-hyperbolic by Lemma 7 , part (a).

□

Remark 3 On a compact and not-simply-connected Riemannian manifold of non-negative Ricci curvature there is a non-hyperbolic closed geodesic. The proof of this statement (cf. [BTZ1,Thm.B(a)] ) carries over to the Finsler case without changes, here one does not need Klingenberg's injectivity radius estimate.

Proof of Theorem 5 :

(a) Since

b_{n - 1} (Λ S^{n}, Λ^{0} S^{n}) = 1

there is a closed geodesic

c

with

i n d (c) \leq n - 1 .

The length estimate Theorem 1 implies for the second cover

L (c^{2}) \geq 2 π (1 + λ^{- 1}) > 3 π / \sqrt{δ} .

Hence by Lemma 1 we obtain

i n d (c^{2}) \geq 3 (n - 1)

resp.

i n d (c^{2}) - 2 i n d (c) \geq n - 1 .

We conclude from Lemma 7 (b) that

c

is of elliptic-parabolic type.

(b) Let

c

be a shortest closed geodesic which is not homotopically trivial. Then

c

is a local minimum for the energy functional, hence

i n d (c) = 0 .

Since

c

defines also a closed geodesic on the universal covering we conclude from Theorem 1 that

L (c^{2}) \geq π (1 + λ^{- 1}) > π / \sqrt{δ} .

Hence by Lemma 1 (b) we conclude

i n d (c^{2}) \geq (n - 1)

which shows that

c

is of elliptic-parabolic type by Lemma 7 (b).

□

Now we come to a different setting in which one can show the existence of two geometrically distinct closed geodesics on a manifold with non-reversible Finsler metric.

An isometry

A : M \to M

of finite order of a compact Finsler manifold

(M, F)

has small displacement, if for all points

p \in M

the image point

A (p)

does not lie in the cut locus. Let

θ : M \times M \to R

be the distance function, i.e.

θ (x, y)

is the minimal length of a smooth curve

c : [0, 1] \to M

from

x = c (0)

y = c (1) .

Note that this distance function in general is not symmetric since we consider non-reversible Finsler metrics.

Then we define the function

f_{A} : M \to R

with

f_{A} (x) = θ^{2} (x, A x)

which is smooth outside the fixed point set

M_{A}

A .

Then we obtain as in [BTZ1,p.239] : The point

p

is a critical point of

f_{A}

if and only if the unique minimal geodesic

γ : [0, 1] \to M

from

p = γ (0)

A (p) = γ (1)

is invariant under

A,

i.e.

A_{*} (γ^{'} (0)) = γ^{'} (1) .

It also follows that

γ (t)

is a critical point of

f_{A}

for all

t \in [0, 1] .

A critical point

p \notin M_{A}

determines a closed geodesic, since

A

is of finite order. Analogous to [BTZ1,Thm.3.10] we obtain

Proposition 2 Let

A

be an isometry of finite order and small displacement on a compact Finsler manifold. A local maximum of

f_{A}

determines a closed geodesic of elliptic-parabolic type if

2 θ (p, A (p)) < θ (p, C u t (p)) .

Proof of Theorem 6 :

Let

φ_{t}, t \in R

define the isometric

S^{1}

-action, i.e.

φ_{t} : M \to M

is a one-parameter group of isometries with

φ_{1}

equals the identity. Then for a sufficiently large integer

m

the isometries

A = φ_{1 / m}

and

A^{- 1} = φ_{- 1 / m}

have small displacement and are of finite order. Then we conclude from Proposition 2 that there are two points

p_{\pm}

such that

p_{\pm}

is a maximum of

f_{A}

resp.

f_{A^{- 1}} .

Then the closed geodesics

c_{\pm}

with

c_{\pm} (0) = p_{\pm}

and

c_{\pm} (1 / m) = A^{\pm 1} (p_{\pm})

are of elliptic-parabolic type and satisfy

c (t) = φ_{t} (p_{\pm}) .

c_{-}, c_{+}

are geometrically equivalent, we can assume without loss of generality that

p = p_{-} = p_{+} .

Hence

c_{\pm} (t) = φ_{\pm t} (p)

which shows that

c_{+}^{'} (0) = - c_{-}^{'} (0) .

i.e. the closed geodesics

c_{,} c_{+}

are geometrically distinct.

References

W.Ballmann, G.Thorbergsson & W.Ziller: Closed geodesics on positively curved manifolds. Ann. of Math.(2) 116 (1982) 213–247
W.Ballmann, G.Thorbergsson & W.Ziller: Existence of closed geodesics on positively curved manifolds. J. Differ. Geom. 18 (1983) 221–252
W.Ballmann, G.Thorbergsson & W.Ziller: Existence of short closed geodesics and their stability properties. p. 53 – 63, In: Minimal Submanifolds,ed. E.Bombieri, Annals of Mathematics Studies, Princeton Univ. Press, Princeton 1983
V.Bangert: Geodätische Linien auf Riemannschen Mannigfaltigkeiten. Jber.d.Dt.Math.-Verein. 87 (1985) 39–66
R.Bott: On the iteration of closed geodesics and the Sturm intersection theory. Comm.Pure Appl.Math. 9 (1956) 171–206
W.Klingenberg: Lectures on closed geodesics. Grundlehren der math.Wiss. 230 Springer–Verlag Berlin Heidelberg New York 1978
W.Klingenberg: Riemannian geometry. de Gruyter Studies Math. 1, 2nd rev. ed., de Gruyter Berlin New York 1995
Y.Long: Index Theory for Symplectic Pahts with Applications. Progress in Math. 207, Birkhäuser Verlag Basel 2002
Y.Long: Multiple Closed Geodesics on Finsler $2$ –spheres and a Conjecture of D.V.Anosov. Talk at the International Symposium on Finsler Geometry, Nankai University, August 2004
H.B.Rademacher: On the average indices of closed geodesics. J.Differential Geom. 29 (1989) 65–83
H.B.Rademacher:Morse–Theorie und geschlossene Geodätische. Bonner Math. Schriften 229 (1992)
H.B.Rademacher: The Fadell–Rabinowitz index and closed geodesics. J.London Math.Soc.50(1994) 609–624
H.B.Rademacher: A Sphere Theorem for non-reversible Finsler metrics. Math. Annalen 328 (2004) 373 – 387
H.B.Rademacher: Non-reversible Finsler metrics of Positive Curvature. In: A Sampler of Riemann-Finsler Geometry. (D. Bao, R. Bryant, S.S.Chern, Z.Shen, eds.), Cambridge Univ. Press, MSRI Series, 2004
G.Thorbergsson: Non–hyperbolic closed geodesics. Math.Scand. 44 (1979) 135–148
W.Ziller: Geometry of the Katok examples. Ergod.Th.& Dyn.Syst. 3 (1982) 135–157

Universitat Leipzig, Mathematisches Institut Augustusplatz 10/11, D-04109 Leipzig rademacher@math.uni-leipzig.de www.math.uni-leipzig.de/~rademacher

Existence of closed geodesics on positively curved Finsler manifolds

Hans-Bert Rademacher

November 27, 2006