Anosov flows, growth rates on covers and group extensions of subshifts

The aim of this paper is to study growth properties of group extensions of hyperbolic dynamical systems, where we do not assume that the extension satisfies the symmetry conditions seen, for example, in the work of Stadlbauer on symmetric group extensions and of the authors on geodesic flows. Our main application is to growth rates of periodic orbits for covers of an Anosov flow: we reduce the problem of counting periodic orbits in an amenable cover X to counting in a maximal abelian subcover $$X^{\mathrm {ab}}$$
 
 X
 ab
 
 . In this way, we obtain an equivalence for the Gurevič entropy: $$h(X)=h(X^{\mathrm {ab}})$$
 
 h
 
 (
 X
 )
 
 =
 h
 
 (
 
 X
 ab
 
 )
 
 
 if and only if the covering group is amenable. In addition, when we project the periodic orbits for amenable covers X to the compact factor M, they equidistribute with respect to a natural equilibrium measure — in the case of the geodesic flow, the measure of maximal entropy.


Introduction
The aim of this paper is to study growth properties of group extensions of hyperbolic dynamical systems, where we do not assume that the extension satisfies the symmetry conditions imposed in [14] and [42], for example. Our main application is to growth rates of periodic orbits for covers of Anosov flows and we obtain generalisations of results previously known for geodesic flows over compact (or even convex co-compact) negatively curved manifolds [14], [35], [42]. We begin by describing these results.
Let M be a compact smooth Riemannian manifold and let φ t : M → M be a transitive Anosov flow. Then φ t has a countable set of periodic orbits P(φ) and, for γ ∈ P(φ), we write l(γ) for its period. It is well-known that the growth rate of periodic orbits is given by the topological entropy of φ t ; more precisely lim T →∞ 1 T log #{γ ∈ P(φ) : l(γ) ≤ T } =: h = h top (φ). Now suppose that X is a regular cover of M with covering group G, i.e. G acts freely and isometrically on X such that M = X/G. Let φ t X : X → X be the lifted flow, which we assume to be transitive. We will be interested in the growth of periodic orbits for φ t X . If G is finite then φ t X is also an Anosov flow and h top (φ X ) = h top (φ). If G is infinite the situation is more interesting. First, note that if φ t X has a periodic orbit γ then the translates of γ by the action of G give infinitely many periodic orbits with the same period, so a naive definition of periodic orbit growth does not make sense. Rather, we follow the approach of [29] and, choosing an open, relatively compact set W ⊂ X, define h(X) := lim sup T →∞ 1 T log #{γ ∈ P(φ X ) : l(γ) ≤ T, γ ∩ W = ∅}.
As the notation suggests, h(X) is independent of the choice of W (see Lemma 2.3). The above definition is analogous to that made by Gurevič for subshifts of finite type [19] (see below) and it is natural to call h(X) the Gurevič entropy of φ t X . It is easy to see that h(X) ≤ h.
Let us now restrict to the special case that M = SV is the unit-tangent bundle over a compact manifold V with negative sectional curvatures and that φ t is the geodesic flow. (Notice that this flow admits a time-reversing involution ι : SV → SV defined by ι(x, v) = (x, −v), where x ∈ V and v ∈ S x V .) Combining the results of [35] and [14], we have h(X) = h if and only if G is amenable. (Recall that G is amenable if it has a Banach mean, that is, there is a G-invariant bounded linear functional M : ℓ ∞ (G, R) → R such that, for x ∈ ℓ ∞ (G, R), inf g∈G x(g) ≤ M(x) ≤ sup g∈G x(g).) This equivalence fails to hold for general Anosov flows -however, the results of this paper will say that, for an amenable cover, the counting is reduced to the maximal abelian subcover. This will be discussed in greater detail in section 2 but we note at this point that if Y is an abelian cover of M then h(Y ) = h if and only if Φ Y µ0 = 0, where Φ Y µ0 is the (relative) winding cycle associated to the measure of maximal entropy for φ t . Our main result is that the correct comparison is between h(X) and h(X ab ), where X ab is the maximal abelian subcover of the cover X → M (so that the covering group for X ab → M is G ab = G/[G : G], the abelianization of G). Clearly, h(X) ≤ h(X ab ) and we have the following theorem. An immediate consequence of this result and the characterisation of h(X ab ) in Proposition 2.4 is the following corollary, which expresses h(X) in terms of measuretheoretic entropies of φ-invariant measures. Let M(φ) denote the set of φ-invariant probability measures on M and, for µ ∈ M(φ), let h φ (µ) denote the measuretheoretic entropy of φ with respect to µ. Readers more familiar with geodesic flows may wonder at this point, when is π 1 (M ) non-amenable? In general it is very difficult to say anything about the topology of M as the flow lines may not be efficient for measuring the fundamental group (for a discussion in dimension 3 see [16], [4]). Nevertheless, our method is able to relate orbits and topology for transitive covers.
The proof of Theorem 1.1 will use symbolic dynamics and, in particular, group extensions of subshifts of finite type. As part of the our approach we will obtain results in this seting which are of independent interest. (Some definitions are deferred until section 3.) Let σ : Σ → Σ be a mixing subshift of finite type. We will write h(σ) for the topological entropy of σ and note that this is equal to the exponential growth rate of periodic points, h(σ) = lim n→∞ 1 n log #{x ∈ Σ : σ n x = x}.
We say that T ψ : Σ × G → Σ × G is a G-extension of σ : Σ → Σ. We will always assume that T ψ : Σ × G → Σ × G is transitive. Let us consider the periodic points of T ψ . Clearly, T n ψ (x, g) = (x, g) if and only if σ n x = x and ψ n (x) = e, the identity in G. If G is infinite then T n ψ has infinitely many periodic points of fixed period n; however, we can use the following definition, due to Gurevič [19], to obtain a growth rate. We say that the Gurevič entropy of T ψ is h Gur (T ψ ) = lim sup n→∞ 1 n log #{x ∈ Σ : σ n x = x, ψ n (x) = e}.
We shall show that, in fact, the natural comparison is between h Gur (T ψ ) and We now put these results into a broader context. This discussion will focus on more recent viewpoints, and on the role of symmetry, and so neglects to mention the spectral analogues of Brooks [7], [8], whose work was a motivating factor in the recent developments of this field (for instance [42], [14], [13], [9], [10]).
We have already given the definition of an amenable group in terms of the existence of a Banach mean. We give an equivalent criterion of amenability due to Kesten [23], which is often taken as the definition for amenability. Throughout, let p be a probability measure on G, which we will assume to be finitely supported and for the support to generate G. We say that p is symmetric if p(g) = p(g −1 ) for all g ∈ G.
Kesten's theorem says that, for a symmetric probability on G, the decay of the probability to return to the identity is subexponential if and only if G is amenable. More precisely, writing λ(p) = lim sup n→∞ (p * n (e)) 1/n , where p * n denotes the nth convolution of p, we have λ(p) = 1 if and only if G is amenable. This result has an application to counting for normal subgroups of non-elementary Gromov hyperbolic groups. Let Γ be a non-elementary Gromov hyperbolic group and Γ ′ a normal subgroup. The uniform measure on the ball of radius n in Γ descends to a probability measure p n on G = Γ/Γ ′ . It can be shown, for example in [9], that lim sup n→∞ log λ(p n ) ≤ δ Γ ′ − δ Γ ≤ 0; and so in the case that G is amenable we have equality between the critical exponents δ Γ ′ , δ Γ . (We also mention the more general approach of Roblin [35] who uses the Banach mean property to prove the result only for normal subgroups Γ ′ of Γ a non-elementary discrete group of isometries of a simply connected negatively curved manifold -notably there is no compactness assumption on Γ.) Because of this avenue of approximating by a sequence of probability measures p n , the community has sometimes referred to statements "G amenable implies · · · " as "the easy direction". However, it is clear that the aforementioned application crucially used the existence of a natural family of symmetric probability measures. As we will see from the literature reviewed in subsection 2.3, extending such orbital counting results beyond the inherent symmetry of the isometric actions to Anosov flows is highly non-trivial.
The case that G is non-amenable is more robust in the absence of symmetry. In the case of random walks, it can happen that G is amenable, and λ(p) < 1. The Kesten criterion was generalised by Day [11] to a criterion on the ℓ 2 (G) spectral radius spr(M p ) of the random walk operator M p f (x) = g p(g)f (xg). In this way, G is amenable if and only if spr(M p ) = 1. Observe that λ(p) ≤ spr(M p ) and so one direction of the Kesten result is contained in this. In the setting of subshifts of finite type, it is natural to consider the transfer operator L 0 (for a full exposition see section 4). Stadlbauer [42] showed that spr(L 0 ) = exp(h(σ)) if G amenable; and Jaerisch [20] showed the converse. Analogous to the case of random walks, the growth quantity we wish to estimate for subshifts of finite type satisfies exp(h Gur (T ψ )) ≤ spr(L 0 ). We conclude the introduction by outlining the contents of the rest of the paper. In section 2 we introduce Anosov flows and their lift to covers. In particular, we give an account of results about growth of periodic orbits for abelian covers. In section 3, we discuss subshifts of finite type and introduce the notion of Gurevič pressure. In section 4, we discuss Gurevič entropy for group extensions of subshifts of finite type and prove one direction in Theorem 1.3. The proof of Theorem 1.3 is completed in section 5, which contains the key to obtaining results in the absence of symmetry. In section 6, we return to Anosov flows and discuss how they may be coded in terms of subshifts of finite type and section 7 extends this to covers and group extensions. In section 8, we complete the proof of Theorem 1.1. Finally, in section 9, we state and proof a number of equidistribution results.

Anosov Flows
2.1. Anosov flows, periodic orbits and pressure. Let φ t : M → M be an Anosov flow, i.e. that the tangent bundle has a continuous Dφ-invariant splitting where E 0 is the one-dimensional bundle tangent to the flow and where there exist constants C, λ > 0 such that In addition, we assume that φ t : M → M is transitive and weak mixing.
For some intuition behind Anosov flows, one should note the following constructions (and we will make use of them soon). An ǫ-pseudo-orbit for φ t is a path τ : I → X (where I is an interval) so that for all t, t + δ ∈ I, |δ| < 1, d(τ (t + δ), φ δ (τ (t))) < ǫ.
Lemma 2.1 (Anosov Closing Lemma, [17], Theorem 5.3.10). Let Λ be a hyperbolic set for a flow φ t . Then there exists a neighbourhood U of Λ and numbers ǫ 0 , L > 0 such that for ǫ ≤ ǫ 0 , any periodic ǫ-pseudo-orbit is Lǫ-shadowed by a unique periodic orbit for φ t .
Write P(φ) for the set of periodic orbits of φ and, for γ ∈ P(φ), write l(γ) for its period. The limit exists and is positive, and h is also equal to the topological entropy of φ. We also have the variational principle where h φ (µ) denotes the measure-theoretic entropy of φ with respect to µ, and M(φ) is the collection of φ-invariant Borel probability measures on M . The supremum is attained at a unique measure µ 0 , called the measure of maximal entropy for φ. We also have a weighted version of this set-up. For a continuous function F : M → R, we can define the pressure P (F, φ) by In this case, we also have a variational principle, The supremum is attained by a unique measure µ F which is ergodic; we call µ F the equilibrium state for F . In section 9, we will use the following lemma (see Theorem 8.2 and Theorem 9.12 of [44]).
For Hölder continuous functions F, G : M → R, the function R → R : t → P (F + tG) is real-analytic and

Covers.
Suppose that X is a regular cover of M with covering group G. Let φ t X : X → X be the lift of φ to X. In particular, the G action commutes with φ t X . Write P(φ X ) for the set of periodic orbits of φ X and, as above, write l(γ) for the period of the periodic orbit γ. Fix an open set W in M whose closure is compact. Write for the exponential growth rate of π X (T, W ). We also introduce another counting function associated to the cover X. Write Π X (T ) for the cardinality of the set of periodic orbits for φ in M of period at most T , and which lift to a periodic orbit for φ X .
We have the following lemma.
Proof. Let us write h(X, W ) = lim sup T →∞ 1 T log π X (T, W ) to emphasise the choice of W . We begin by showing that h(X, W ) is independent of the choice of W .
First, we observe that it is sufficient to consider "small" W . To see this, lift our preferred metric on M to X. Since the closure of W is compact, it has bounded diameter R. For every ǫ > 0 we can find a finite family of open sets of diameter less than ǫ that cover W . Then it is easy to see that there is W ǫ of diameter less than ǫ with h(X, W ) ≤ h(X, W ǫ ). On the other hand, since W is open it must contain an open set W δ of diameter less that δ for all sufficiently small δ. In this way we have h(X, W δ ) ≤ h(X, W ) ≤ h(X, W ǫ ).
Let W 1 , W 2 be two sets of sufficiently small diameter diam(W 1 ), diam(W 2 ) < ǫ 0 , where ǫ 0 is given in by the Anosov Closing Lemma (Lemma 2.1). We will also assume that ǫ 0 is sufficiently small that an open ball in M of this diameter is simply connected.
We want to show that h(X, W 1 ) ≤ h(X, W 2 ). As W 2 is open it contains a ball B 2 of radius some δ and a λδ sub-ball, where λ is chosen so that λδ + Lλδ < δ and L is also given by the Anosov Closing Lemma. Write δ 2 = λδ (and note that δ 2 ≤ ǫ 0 ). Cover W 1 by finitely many δ 2 balls B i 1 (where i runs over some finite indexing set). For each i, fix an orbit This is possible by transitivity. Let τ 1 be a periodic φ X -orbit intersecting W 1 and write T 1 for its period. There is some i so that τ 1 is δ 2 close to c 1 i and c 2 i . Then c 1 i τ 1 c 2 i is a δ 2 -pseudo-orbit through B 2 . Now consider the projection of c 1 i τ 1 c 2 i to M . By the Anosov Closing Lemma, this is Lδ 2 -shadowed by a unique periodic orbit γ 0 . Since Lδ 2 < δ 2 < ǫ 2 , γ lifts to a φ X -periodic orbit γ on X which Lδ 2 shadows c 1 i τ 1 c 2 i . Unpicking the value of δ 2 , gives that γ passes within distance Lλδ of the λδ sub-ball. Since λδ + Lλδ < δ, we conclude that γ passes through B 2 , and therefore W 2 . In addition, it is clear (for T 1 sufficiently large) that the period T γ of γ is bounded by |T γ − T 1 | ≤ c 1 i + c 2 i + Lδ 2 . We have thus created a map from the set of φ X -periodic orbits intersecting W 1 to the set of φ X -periodic orbits intersecting W 2 -periodic orbits, that distorts periods by an additive constant. Observe that when the period of τ 1 is sufficiently large, the mapping is an injection (otherwise we would have distinct periodic orbits shadowing each other).
We finish be showing the final part of the lemma. In general, it is clear that (since we can choose W to be a fundamental domain for the covering and so each γ counted by Π X (T ) will have at least one left intersecting W ). To see the reverse inequality, we simply choose W to be a small ball in Y . Let Let γ be a φ X -periodic orbit of period ≤ T intersecting W , and let γ 0 be its projection to M . Fixing γ 0 , there are at most T /C such γ. In this way we deduce that Π X (T ) ≥ (C/T )π X (T, W ), and so h(X) = lim sup T →∞ T −1 log Π X (T ).
2.3. Abelian covers, relative winding cycles and counting. We will now specialise to abelian covers of M ; to emphasise this distinction, we shall denote the covering space by Y . Let Y be a regular cover of M , with abelian covering group G. (Since G is abelian, we will use 0 to denote its identity element.) We begin by defining winding cycles relative to this cover. First note that we may write G = A ⊕ F , where A is a free abelian group of rank a ≥ 0 and F is the finite subgroup of torsion elements. If a = 0 then the lifted flow φ t Y : Y → Y is also an Anosov flow and it has topological entropy equal to h, so there is nothing interesting to say in this case. We therefore suppose that a ≥ 1. It is best to view A as a free Z-module.
The cover Y is itself covered by the universal abelian cover Y of M and there is a natural surjective homomorphism from H 1 (M, Z) to G which (by factoring out F ) induces a surjective module homomorphism α : (Here, δ ij denotes the Kronecker symbol.) We can identify the span of Now consider a measure µ ∈ M(φ). We define an element Φ Y µ ∈ Γ(M, Y ), called the winding cycle of µ relative to the cover Y , by its action on the dual space and extended by linearity, where X φ is the vector field generating φ. (If df is an Since G is abelian, g is independent of the choice of lift and we define [γ] = g. Notice that γ lifts to a periodic orbit if and only if [γ] = 0. We say that The counting function Π Y (T ) introduced above may be written as Π Y (T ) = #{γ ∈ P(φ) : [γ] = 0}. The following result was proved in [39] in the case where Y is the universal abelian cover and G = H 1 (M, Z) but the proof immediately extends to arbitrary abelian covers. The results in [39] are also phrased in terms of prime periodic orbits but it is easy to see that the number of non-prime periodic φ-orbits that left to a periodic orbit on Y is of order O(T e h(Y )T /2 ) and so does not affect the asymptotic (see Lemma 2.8 below). Proposition 2.4 (Sharp [39]). The following statements are equivalent: In view of the uniqueness of the measure of maximal entropy, we immediately have the following corollary.
Remark 2.6. (i) A similar asymptotic holds for #{γ ∈ P(φ) : l(γ) ≤ T, [γ] = α} for any α ∈ G, the only modification being that the constant C is changed to Ce ξ,α ′ , where α ′ is the torsion-free part of α and ξ is a certain cohomology class in H 1 (M, R). In fact, ξ = 0 if and only if Φ Y µ0 = 0. (ii) Earlier results were obtained for geodesic flows over compact negatively curved manifolds: Phillips and Sarnak [30] (constant curvature manifolds), Katsuda and Sunada [21] (constant curvature surfaces), Lalley [26] and Pollicott [31] (variable curvature surfaces). All these results exploited the time-reversal symmetry of the geodesic flow. The extension to Anosov flows was made by Katsuda and Sunada [22] under the assumption that the winding cycle for the measure of maximal entropy vanishes. Results giving more detailed information about the asymptotic behaviour are contained in [1], [25], [33] and [40].
We can relate the growth rate h(Y ) to pressure in the following way [39]. For each i = 1, . . . , a, define a Hölder continuous function where ω i and X φ are as above. Now write Ψ = (Ψ 1 , . . . , Ψ a ) and define β : . Let us summarise this in a lemma.
Another characterisation of h(Y ) is as the abscissa of convergence of the series Later, it will be convenient to replace this series with a modified version. We introduce some notation. Let P(φ) ′ denote the set of prime periodic orbits. For γ ∈ P(φ), we define Λ(γ) as follows. Any we may write γ as γ = γ m 0 , where γ 0 is a prime periodic orbit and m ≥ 1. Then Λ(γ) = l(γ 0 ). We have the following lemma.
e −sl(γ) and each have abscissa of convergence equal to h(Y ).
Proof. First we note that The abscissa of convergence of the Right Hand Side can be bounded by where l 0 denotes the period of the shortest orbit in P(φ). The second statement follows from a similar argument.
As a part of our approach to Theorem 1.1 will capture information about an Anosov flow φ t : M → M and its lifts in terms of symbolic dynamical systems: subshifts of finite type and their skew-product extensions. We will introduce these systems in the next section and then go on to discuss their relation to Anosov flows in section 6.

Subshifts of Finite Type and Group Extensions
In this section we will define countable state Markov shifts and discuss some of their properties. Basic definitions and results are taken from chapter 7 of [24]. Let us emphasise that throughout we have the hypothesis that our Markov shifts are locally compact (this excludes examples such as the infinite full shift and the renewal shift). We shall be particularly concerned with finite state shifts and skew product extensions of these by a countable group.
Let S be a countable set, called the alphabet, and let A be a matrix, called the transition matrix, indexed by S × S with entries zero or one. We then define the space with the product topology induced by the discrete topology on S. This topology is compatible with the metric d(x, y) = 2 −n(x,y) , where We say that A is locally finite if all its row and column sums are finite. Then Σ + is locally compact if and only if A is locally finite. (The skew product extensions we consider have this latter property.) We define the (one-sided) countable state topological Markov shift σ : Σ + → Σ + by (σx) n = x n+1 . This is a continuous map. We will say that σ is topologically transitive if it has a dense orbit and topologically mixing if, given non-empty open sets U, V ⊂ Σ + , there exists N ≥ 0 such that σ −n (U ) ∩ V = ∅ for all n ≥ N . We say that the matrix A is irreducible if, for each (i, j) ∈ S × S, there exists n = n(i, j) ≥ 1 such that A n (i, j) > 0. For A irreducible, set p ≥ 1 to be the greatest common divisor of periods of periodic orbits σ : Σ + → Σ + ; this p is called the period of A. We say that A is aperiodic if p = 1 or, equivalently, if there exists n ≥ 1 such that A n has all entries positive. Suppose that A is locally finite. Then σ : Σ + → Σ + is topologically transitive if and only if A is irreducible and σ : Σ + → Σ + is topologically mixing if and only if A is aperiodic.
Suppose that A is irreducible but not aperiodic and fix i ∈ S. Then we may partition S into sets S l , l = 0, . . . , p − 1, defined by (This partition is independent of the choice of i.) For each l, let A l denote the restriction of A to S l × S l ; then σ : Σ + A l → Σ + A l+1 (mod p) and A p l is aperiodic. We say that an n-tuple w = (w 0 , . . . , w n−1 ) ∈ S n is an allowed word of length n if A(w j , w j+1 ) = 1 for j = 0, . . . , n − 2. We will write W n for the set of allowed words of length n. If w ∈ W n then we define the associated length n cylinder set We say that f is locally Hölder continuous if there exist α > 0 and C ≥ 0 such that, for all n ≥ 1, V n (f ) ≤ C2 −nα . (There is no requirement on V 0 (f ) and a locally Hölder f may be unbounded.) The minimal possible C is called the α-Hölder seminorm Suppose that σ : Σ + → Σ + is topologically transitive and let f : Σ + → R be a locally Hölder continuous function. Following Sarig [37], we define the Gurevič pressure, P Gur (f, σ), of f to be where a ∈ S. (The definition is independent of the choice of a.) Remark 3.1. In [37], Sarig gives this definition in the case where σ : Σ + → Σ + is topologically mixing. However, the above decomposition of Σ + = Σ + A0 ∪· · · ∪Σ + Ap−1 , with σ p topologically mixing on each component, together with the regularity of the function f , shows that the same definition may be made in the topologically transitive case.
It is also clear from the definition that if f and f ′ are cohomologous then P Gur (f, σ) = P Gur (f ′ , σ). We note the following useful lemma.
Proof. If r and r ′ are cohomologous then, for any s ∈ R, −sr and −sr ′ are cohomologous. Let c = inf x∈Σ + r ′ (x) > 0 and suppose t > s. Then We now specialise to the case where S is finite. In this situation, we call σ : Σ + → Σ + a (one-sided) subshift of finite type. The above definitions and results hold. If f : Σ + → R is Hölder continuous then f is locally Hölder. Provided σ : Σ + → Σ + is topologically transitive, the Gurevič pressure P Gur (f, σ) agrees with the standard pressure P (f, σ), defined by and if σ is topologically mixing then the lim sup may be replaced with a limit. We now consider skew product extensions of a shift of finite type σ : Σ + → Σ + , which we will assume to be topologically mixing. Let G be a countable group (with identity element e) and let ψ : Σ + → G be a function depending only on two co-ordinates, ψ(x) = ψ(x 0 , x 1 ).
(One could consider more general ψ but this set-up suffices for our application to Anosov flows.) This data defines a group extension or skew product extension T ψ : Σ + × G → Σ + × G by T ψ (x, g) = (σx, gψ(x)). For n ≥ 1 define ψ n by ψ n (x) = ψ(x)ψ(σx) · · · ψ(σ n−1 x); then T n ψ (x, g) = (x, g) if and only if σ n x = x and ψ n (x) = e. The map T ψ : Σ + × G → Σ + × G is itself a countable state Markov shift with alphabet S × G and transition matrix A defined by A((i, g), (j, h)) = 1 if A(i, j) = 1 and ψ(i, j) = g −1 h, and A((i, g), (j, h)) = 0 otherwise. Clearly, A is locally finite and so the topological transitivity and topological mixing of σ are equivalent to A being irreducible and aperiodic, respectively.
Let f : Σ + → R be Hölder continuous and define f : ; then f is locally Hölder continuous and its Gurevič pressure P Gur ( f , T ψ ) is defined. In fact, it is easy to see that, due to the mixing of σ, We end this section by discussing two-sided subshifts of finite type and suspended flows over them. Given a finite alphabet S and transition matrix A, we define A(x n , x n+1 ) = 1 ∀n ∈ Z and the (two-sided) shift of finite type σ : Σ → Σ by (σx) n = x n+1 . As before, we give Σ with the product topology induced by the discrete topology on S and this is compatible with the metric d(x, y) = 2 −n(x,y) , where n(x, y) = inf{|n| : x n = y n }, with n(x, y) = ∞ if x = y. Then Σ is compact and σ is a homeomorphism. There is an obvious one-to-one correspondence between the periodic points of σ : Σ → Σ and σ : Σ + → Σ + . Furthermore, we may pass from Hölder continuous functions on Σ to Hölder continuous functions on Σ + in such a way that sums around periodic orbits are preserved. More precisely, we have the following lemma, due originally to Sinai [41], which appears as Proposition 1.2 of [28]. We may also define suspended flows over σ : Σ A → Σ A . Given a strictly positive continuous function r : Σ → R + , we define the r-suspension space where (x, r(x)) ∼ (σx, 0). The suspended flow σ t r : Σ r → Σ r is defined by σ t r (x, s) = (x, s + t) modulo the identifications. Clearly, there is a natural oneto-one correspondence between periodic orbits for σ t r : Σ r → Σ r and periodic orbits for σ : Σ → Σ.
Furthermore, if γ is a periodic σ r -orbit corresponding to the periodic σ-orbit {x, σx, . . . , σ n−1 x} then the period of γ is equal to r n (x).

Gurevič Entropy for Group Extensions
In this section, we initiate the comparison between Gurevič entropy and Gurevič pressure for group extensions of subshifts of finite type, and entropy and pressure for the base transformation and the abelianized extention. Carefully combining the result of Stadlbauer [42] and the results of [32] will produce one direction of a proof of Theorem 1.3. The other direction will lead us to prove a new result on Gurevič pressure, which is appears in section 5.
Let σ : Σ + → Σ + be a one-sided subshift of finite type. For a countable group G and a function ψ : Σ → G, we consider the group extension which we assume to be transitive. Let f : Σ + → R be a Hölder continuous function. We will also use f to denote the function on Σ + × G defined by f (x, g) = f (x). We wish to study the asymptotics of periodic points for T ψ (and compare them with those for σ) when they are weighted by f . Of course (provided G is infinite), T ψ will have infinitely many periodic points with the same period but we will restrict to periodic points for which the second co-ordinate in the identity element.
In other words, we wish to compare the Gurevič pressure P Gur (f, T ψ ) with the pressure P (f, σ). It is clear that P Gur (f, T ψ ) ≤ P (f, σ) and it is natural to ask when equality holds.
This question has received considerable attention when the system and function exhibit a natural "time-reversal" symmetry. Suppose there is a fixed point free involution κ : S → S such that A(κj, κi) = A(i, j), for all i, j ∈ S. We say that the skew product T ψ : The following is the main result of Stadlbauer [42], restricted to the case where the base is a (finite state) subshift of finite type. We will use this in subsequent arguments. (More generally, Stadlbauer considers skew product expansions of countable state Markov shifts.) We include his more general result on the spectral radius of the transfer operator (Theorem 5.4 [42], there it is stated for pressure), the definition of which follows beneath the proposition. If G is non-amenable, then log spr H (L f ) < P (f, σ) for f : Σ + A → R Hölder continuous.
If, in addition, T ψ : Σ + × G → Σ + × G is assumed to be symmetric and f : Σ + A → R is a weakly symmetric Hölder continuous function, then we have P Gur (f, T ψ ) = P (f, σ) if and only if G is amenable. [42], Stadlbauer considers skew products with ψ depending on only one co-ordinate. However, replacing S by W 2 , one can easily recover the above formulation.

Remark 4.2. (i) In
(ii) Setting f = 0 immediately gives Theorem 1.3 for a symmetric extension.
In the absence of this symmetry, the answer becomes less clear. In order to elaborate on this problem, we introduce the transfer operator L f , defined pointwise by : σy=x e f (y) v(y, gψ(x)), for v : Σ×G → C. In order to make use of the spectral properties of this operator, we restrict it to the Banach space H of continuous functions v for which g → v(·, g) ∞ is in ℓ 2 (G), with norm .
If ψ and f satisfy the above symmetry conditions then P Gur (f, T ψ ) is equal to the logarithm of spr H (L f ), the spectral radius of L f : H → H [42]. However, this equality does not hold in general and without symmetry we may have P Gur (f, T ψ ) < log spr H (L f ). On the other hand, there is a result of Jaerisch [20] that log spr H (L f ) = P (f, σ) if and only if G is amenable, and so it is clear that, when considering P Gur (f, T ψ ), the pressure P (f, σ) does not provide a useful comparison. We shall show that, in fact, the natural comparison is between P Gur (f, T ψ ) and P Gur (f, T ψ ab ), where T ψ ab : Σ×G ab → Σ×G ab is the induced G ab -extension, where G ab = G/[G, G] is the abelianization of G. More precisely, if π : G → G ab is the natural projection then ψ ab = π • ψ. We now address the proof of Theorem 1.3. One implication in the theorem is given by the next proposition. The other implication will follow from the more general result proved in the next section (Theorem 5.1).
Proof. We have G ab = Z a × G 0 , for some a ≥ 0, where G 0 is a finite abelian group. First suppose that a > 0. The system T ψ ab : Σ + × G ab → Σ + × G ab induces a system on Σ + × Z a , which we will still denote by T ψ ab and which has the same Gurevič entropy. Following the analysis of [32], h Gur (T ψ ab ) = P (( ξ, ψ ab , σ), for some ξ ∈ R a . Since G is not amenable, the first part of Proposition 4.1 tells us that log spr H (L ξ,ψ ab ) < P ( ξ, ψ ab , σ) = h Gur (T ψ ab ). and that, for any Hölder continuous f : Σ + → R, P Gur (f, T ψ )) ≤ log spr H (L f ). Combining these statements gives that P Gur ( ξ, ψ ab , T ψ )) < h Gur (T ψ ab ).

Gurevič Pressure for Amenable Extensions
The purpose of this section is to prove the following result. Setting f = 0 will complete the proof of Theorem 1.3. To simplify notation, for a function f : Σ + → R, we will use f to denote the induced functions on the group extensions Σ + × G and Σ + × G ab (i.e. f (x, g) = f (x) for all group elements g).
The proof is inspired by Roblin's proof in [35] that if Γ is a convex co-compact group of isometries of a CAT(−1) space and Γ ′ is a normal subgroup such that Γ/Γ ′ is amenable then the critical exponents of Γ and Γ ′ are equal. We will make use of a family of σ-finite measures ν η,g , indexed by Σ + × G, introduced by Stadlbauer [43]. For t > 0, write for a chosen distinguished o ∈ Σ + , and where b n is a slowly diverging sequence chosen so that P(t) diverges at its radius of convergence. More precisely, if the terms b n are omitted then it is clear that the resulting series converges for t > e PGur(f,T ψ ) and diverges for t < e PGur(f,T ψ ) . It is then possible to choose a non-decreasing sequence b n ≥ 1 such that lim n→∞ b n /b n+1 = 1, P(t) has radius of convergence e PGur(f,T ψ ) and diverges at t = e PGur(f,T ψ ) (Lemma 3.1 of [12]). For the rest of the section, we shall write ρ := e PGur(f,T ψ ) . For t > ρ, η ∈ Σ and g ∈ G, define a measure ν t ξ,g on Σ + × G by the formula for each continuous function v : Σ + × G → R. Now let t → ρ+, and choose a weak limit ν η,g . We can do this because each Σ + × {g} is compact, and G is countable. We can also ensure that there is a countable dense subset of η for which the limit is attained along the same subsequence. In Theorem 5.1 of [43], it is shown how to extend this to all η ∈ Σ + using Hölder continuity. For the proof of our Theorem 5.1, we will only use the countable collection of points η = wo, for w ∈ n∈N W n o , where o is the chosen distinguished element of Σ + and W n o denotes the set of elements w of W n for which wo ∈ Σ + .
(ii) For any non-negative continuous function v : Σ + × G → R and any η, ξ ∈ Σ + belonging to the same cylinder of length 1, we have Proof. Let v : Σ + × G → R be an indicator function on some cylinder. It will be sufficient to prove the lemma for functions of this form, the general non-negative, continuous case follows by approximating by linear combinations of indicator functions. We proceed with part (i). Let (η, g), Taking weak limits as t → ρ+ gives the conclusion (with C = B f (sup n∈N b n /b n−1 )). Now, for part (ii) we assume that η, ξ belong to the same cylinder. Recall that v is assumed to be an indicator function, we write v = 1 [u] for some u, and let k be the length of u. For t > ρ we have, Since P(t) → ∞, as t → ρ+, it follows that, Proof. Let g, a ∈ G be arbitrary. We write z 0 for the first letter of z ∈ Σ + . If T ψ is transitive then there are η ∈ [z 0 ], ξ ∈ [o] and k 1 , k 2 ≥ 0 such that T k1 ψ (η, g) = (z, ga) and T k2 ψ (z, ga) = (ξ, e). Then, by Lemma 5.2, we have that Since v is bounded from below away from zero on Σ + × {e}, there is c > 0 with ν ξ,e (v) ≥ cν ξ,e (Σ + × {e}). Then, ν ξ,e (Σ + × {e}) ≥ C −1 f ν o,e (Σ + × {e}), and by construction ν o,e (Σ + × {e}) = 1. This gives the conclusion that ν z,g (v) > 0 for all g ∈ G.
To obtain the final statement, we note that Moreover, since η, z are in the same cylinder, the second part of Lemma 5.2 gives that Lemma 5.4. For any continuous function v : Σ + × G → R and any g, a ∈ G, we have that Proof. For t > ρ, we have Letting t → ρ+, we obtain where we have used the divergence of P(t) as t → ρ+ and that lim n→∞ b n /b n−1 = 1.
To complete the proof of Theorem 5.1, we introduce the trick of Roblin -when G is amenable we can almost project ν to an eigenfunction for Σ.
Proof of Theorem 5.1. Let M be the Banach mean for G. We fix a basepoint o ∈ Σ.
Let v : Σ + ×G be a non-nefative continuous function. Since T ψ is transitive, iterating Lemma 5.4 gives that, for some C independent of n, We cannot apply the mean directly in the above inequality as ν o,gψ n (u) (v) may not be bounded in g. Instead, Lemma 5.3 tells us that we may normalise by ν o,g (v) to obtain a bounded function on G. Recall Jensen's inequality: let (X, µ) be a measure space and h ∈ L 1 (µ). If φ : R → R is convex, then The inequality is also true for the Banach mean M in place of the countably additive · dµ, since the proof only uses monotonicity of the integral and linearity. The reverse inequality is given when φ is concave. We apply this with concave function φ = log to obtain The last function is important to us and we give it a name: we define χ : G → R by We claim that χ is a homomorphism. To see this, we first check that χ(ab) = χ(a) + χ(b). Firstly, and when we take the mean, by right invariance, we have We also have to check that χ(e) = 0, but this is immediate.
We can now bound the Gurevič pressure. Since any homomorphism factors through the abelianisation of G, if (x, 0) ∈ Σ + × G ab satisfies T n ψ ab (x, 0) = (x, 0) then χ(ψ n (x)) = 0. For u ∈ W n , we write u ∞ for the infinite concatenation of copies of u. Since the transition matrix A is aperiodic, there exists an N ≥ 1 such that, for every n ≥ 1 and every u ∈ W n such that u ∞ ∈ Σ + , there exists an admissible word u # of length N + 1 such that (u # ) 0 = u 0 and uu # ∈ W n+N +1 o .
Since u ∞ and uu # o agree in the first n + 1 places, we have ψ n (u ∞ ) = ψ n (uu # o) and e f n (u ∞ ) ≤ C f e f n (uu # o) .

Symbolic Dynamics for Anosov Flows
We begin by discussing the symbolic coding of Anosov flows (and, more generally, hyperbolic flows) introduced by Ratner [34] and Bowen [5]. Let M be a smooth compact Riemannian manifold and let φ t : M → M be a C 1 flow. A closed, φ tinvariant set Λ ⊂ M is said to be hyperbolic if there is a continuous, Dφ t -invariant splitting of the tangent bundle and constants C, λ > 0 such that E 0 the line bundle tangent to the flow direction and (1) (We remark that this definition is independent of the choice of metric when Λ is compact.) If M is a hyperbolic set then we call φ t : M → M an Anosov flow. There exist examples of Anosov flows which are not transitive [18], [3] but we shall always assume that transitivity holds, so we have that M = Ω(φ), the non-wandering set for φ. By a fundamental result of Anosov [2], the set of periodic orbits of φ is dense in Ω(φ) and hence, in our setting, in M .
We now describe some of the constructions which play an important role in the symbolic coding of transitive Anosov flows. For x ∈ M define the (strong) local stable manifold W s ǫ (x) and (strong) local unstable manifold W u ǫ (x) by For small enough ǫ > 0, these sets are diffeomorphic to embedded disks of dimension d s and d u , respectively, where d s +d u = dim M −1. These sets give us a local product structure [·, ·]. For sufficiently close x, y, we have that W s ǫ (x) ∩ W u ǫ (φ t (y)) = ∅ for a unique t ∈ [−ǫ, ǫ], and we define [x, y] to be this intersection point.
Suppose that D 1 , . . . , D k are codimension 1 disks that form a local cross-section to the flow. We say that where the interior is taken relative to D i . We say that R i is proper if int(R i ) = R i , where again the interior is taken relative to D i .
Write P for the Poincaré map P : ). Proposition 6.1 (Bowen [5], Ratner [34]). For all sufficiently small ǫ > 0, φ t has a Markov section R = {R 1 , · · · , R k } such that diam(R i ) ≤ ǫ for each i, and These Markov sections provide us with a "symbolic coding" for the geodesic flow. In the following, the Markov section R = {R 1 , · · · , R k } plays the role of an alphabet for a subshift of finite type Σ with transition matrix A, defined by A(i, j) = 1 if there is x ∈ int(R i ) with P x ∈ int(R j ). Proposition 6.2 (Bowen [5], Bowen and Ruelle [6]). There is a mixing subshift of finite type σ : Σ → Σ and a strictly positive Hölder continuous potential r : Σ → R + such that the suspended flow σ t r : Σ r → Σ r is semi-conjugate to φ t : M → M . More precisely, there exists a bounded-to-one surjective Hölder continuous function θ : Hölder continuous then f • θ : Σ r → R is Hölder continuous and θ is a measure theoretic isomorphism between the equilibrium states of f • θ and f . In particular, P (f • θ) = P (f ).
The semi-conjugacy θ : Σ r → M is not in general a bijection, so results on counting orbits do not immediately translate between settings. In particular, there is overcounting of the periodic orbits that pass through the boundaries of the sections. However, this discrepancy may be accounted for by the following result of Bowen (extending work of Manning [27] in the diffeomorphism case). Lemma 6.3 (Bowen [5]). There are finitely many additional subshifts of finite type σ i : Σ i → Σ i , i = 1, . . . , q, with corresponding strictly positive Hölder continuous functions r i : Σ i → R and Hölder continuous maps θ i : Σ ri i → M , which are bounded-to-one but not surjective, such that θ i • σ t r = φ t • θ i , i = 1, . . . , q, and such that, if ν(φ, T ) (respectively, ν(σ r , T ), ν(σ ri , T )) denotes the number of periodic φ-orbits (respectively, σ r -orbits, σ ri -orbits) with period equal to T then Since the θ i are not surjective, for a Hölder continuous function F : M → R we have P (F • θ i , σ ri ) < P (F, φ). (To see this we follow the argument in section 7.23 of [36]. First note that . But since the equilibrium state of F is fully supported, it is easy to see by the variational principle that P (F | θi(Σ r i i ) , φ) < P (F, φ).) In particular, the suspended flows σ t ri have topological entropy strictly less than h. For for some h ′ < P ( ξ, Ψ , φ).

Covers and Group Extensions
The aim of this section is to interpret the quantities h, h(X) and h(X ab ) in terms of a subshift of finite type and its group extensions.
Consider a regular cover p X : X → M of M , with covering group G (acting as isometries on X), and the lifted flow φ t X : X → X. We will now describe the procedure to "lift" the symbolic dynamics for φ t : M → M to φ t X : X → X. We use the decoration R M = R M 1 , · · · , R M k for the Markov section for φ t : M → M . For every pair (i, j) such that A(i, j) = 1, there is a minimum t ij > 0 with φ tij (R M i ) ∩ R M j = ∅. These t ij are clearly independent of the covering X and R M may be chosen so that t ij is arbitrarily small.
We assume that the rectangles in R M have sufficiently small diameter so that they are each contained in an open ball that is simply connected. For each R M ∈ R M , fix a lift R X ⊆ X. (Or more precisely, fix a connected open set U M containing R M , and a connected lift U X . Then R X is chosen to lie inside U X .) Having chosen the flow time between rectangles, and diameter of rectangles to be sufficiently small, we deduce that there is a unique g = g(i, j) ∈ G with φ tij (R X i ) ∩ gR X j = ∅. We now define a function ψ : Σ → G by ψ(x) = g(x 0 , x 1 ).
We will use the function ψ to identify periodic orbits in M that lift to periodic obits in X. We precede this discussion by elaborating on the G-class of a closed curve. Let x ∈ M be fixed. Given that the covering map p : X → M is fixed, we have an isomorphism G = π 1 (M, x)/N , where N is a normal subgroup of π 1 (M, x) (isomorphic to π 1 (X)).
For an arbitrary closed curve γ : [0, R] → M , we can choose paths connecting x to γ(0) to produce a closed curve based at x and hence a homotopy class in π 1 (M, x). A different choice of path from x to γ(0) gives a conjugate element of π 1 (M, x).
Thus we obtain a well-defined conjugacy class in G, which we will denote by γ X and call the G-class of γ. We say that the G-class is trivial if γ X consists only of the identity, in which case we slightly abuse notation by writing γ X = e, and this is equivalent to γ lifting to a closed curve in X Clearly, a closed curve γ has trivial G-class if any choice of path x to γ(0) gives a closed curve with homotopy class in N .
We claim that ψ codes orbits with trivial G-class, but we can only make statements about points for which the semi-conjugacy θ is actually a bijection. Write P(φ) * for the set of periodic orbits in M for which θ induces a bijection.
Proof. We can regard θ(x, 0) as the initial point on γ. Let γ be a lift of γ, we we may assume starts in R X x0 . By construction, γ ends in ψ n (x) and is thus periodic if and only if ψ n (x) = e. Now suppose that Y = X ab is the maximal abelian subcover of X, with abelian covering group G ab = G/[G, G]. Then γ Y = [γ]. We define ψ Y : Σ → G ab in an analogous way to ψ : Clearly, ψ Y is the composition of ψ and the projection homomorphism from G to G ab . We immediately have the following. We now wish to make two reductions. First of all, if G ab ∼ = Z a × G 0 with G 0 a non-trivial finite abelian group then Y is a finite cover of a manifold Y ′ , which is a Z a -cover of M . By Lemma 2.7, h(Y ) = h(Y ′ ) and so there is no loss of generality in replacing Y with Y ′ is our analysis. Slightly abusing notation, we shall still use Y to denote this Z a -cover of M . Then γ Y = [γ] = γ Ψ is an element of Z a .
Secondly, wish to switch from the two-sided subshift of finite type σ : Σ → Σ to the corresponding one-sided subshift of finite type σ : Σ + → Σ + . There is an obvious identification between the periodic orbits of the two systems. Since the functions ψ and ψ Y depend on only two co-ordinates, we can equally well regard them as functions defined on the one-sided shift space Σ + . Also, by Lemma 3.3, we may change r by the addition of a coboundary to obtain a function defined on Σ + . We will continue to denote this modified function by r and note that its sums around periodic orbits are unchanged.
We end the section with two results on transitivity.
where P X is the Poincaré map between the sections in X. Suppose that A((i j , g j ), (i j+1 , g j+1 )) = 1, where A is the transition matrix for Σ + × G, for j = 0, . . . , n. Then is non-empty and open in k i=1 g∈G g · R X i . (Here int(g j · R X ij ) is taken with respect to the co-dimension one disk containing g j · R X ij .) Since x has dense P Xorbit, P m X x ∈ U for some m ∈ Z. Then P m+j X (x) ∈ int(g j · R X ij ) for j = 0, . . . , n. By definition, this implies that the T ψ -orbit of (θ(p X (x)), g 0 ) ∈ Σ + ×G (where θ(p X (x)) is identified with a point in the one-sided shift) passes through the (arbitrary) cylinder [(i 0 , g 0 ), . . . , (i n , g n )] and is thus dense in Σ + × G. Therefore, σ : Proof. Suppose that φ Y is transitive. Then, by Lemma 7.3, T ψY : Σ + × Z a → Σ + × Z a , is transitive. In addition, Suppose φ is not Y -full. Then, by Proposition 2.4, ∞ n=1 {ψ n Y (x) : σ n x = x} is contained in a closed half-space in R a and hence there exists t ∈ R a \ {0} such that t, ψ n Y (x) ≥ 0, whenever σ n x = x. Since measures supported on periodoc orbits are dense in the space of σ-invariant probability measaures, this gives that t, ψ Y dm ≥ 0 for every σ-invariant probability measure m. By a result of Savchenko [38], this implies that there exists a continuous function u : , if we choose α ∈ Z a with t, α < −2 u ∞ , then no T ψY -orbit starting in Σ × {0} can reach Σ × {α}, and so T ψY is not transitive.

Proof of Theorem 1.1
We begin with a lemma relating the quantities h(X) and h(Y ) to Gurevič pressures for T ψ and T ψY . Let σ : Σ + → Σ + be the one-sided subshift of finite type and let r : Σ + → R (cohomologous to a strictly positive function), ψ = ψ X : Σ + → G and ψ Y : Σ + → Z a be the functions constructed in the previous section.
We have the following key lemma.
Let us now prove (2). By Lemma 2.7, we know that h(Y ) = P ( ξ, Ψ , φ). Also, by Lemma 2.8, h(Y ) is the abscissa of convergence of By Corollary 6.4, by a series with abscissa of convergence h ′ < P ( ξ, Ψ , φ) = h(Y ). Therefore P Gur (−h(Y )r + ξ, Ψ , T ψY ) = 0. Since r is strictly positive, Lemma 3.2 gives that s → P Gur (−sr, T ψY ) is strictly decreasing and therefore h(Y ) is the unique zero. Since γ = e implies that [γ] = 0, we can use argument in the proof of Lemma 2.8 and Corollary 6.4 to show that the abscissa of convergence of S 1 (s) − S 2 (s) is bounded above by max{h(Y )/2, h ′ } < h(Y ). Hence, S 1 (s) has abscissa of convergence h(Y ) if and only if S 2 (s) has abscissa of convergence h(Y ), which in turn is equivalent to P Gur (−h(Y )r, T ψ ) = 0. But, since ψ n (x) = e implies that ψ n Y (x) = 0, we can employ the argument used to prove (2) to show that, for any s ∈ R, P Gur (−sr + ξ, ψ Y , T ψ ) = P Gur (−sr, T ψ ), completing the proof.
We now complete the proof of Theorem 1.1.
Proof of Theorem 1.1. We first deal with the case a > 0. Suppose that G is nonamenable. By Theorem 1.1 of [20], since G is non-amenable, we have that Moreover, by the same theorem, for any Hölder continuous f : Σ + → R, we always have P Gur (f, T ψ ) ≤ log spr H (L f ). Putting these together gives where the last identity follows from Lemma 8.1. Now, by the proof of part (3) of Lemma 8.1, this becomes P Gur (−h(Y )r, T ψ ) < 0 and therefore h(X) < h(Y ). Now suppose that G is amenable. By Theorem 5.1, P Gur (−sr + ξ, ψ ab , T ψ ) = P Gur (−sr+ ξ, ψ ab , T ψ ab ) for any s. By, Lemma 8.1, this implies that h(X) = h(Y ).
Finally, we deal with the case where a = 0, which requires a simple modification of the above arguments. In this case, G ab is finite and so h(Y ) = h. If G is non-amenable then P Gur (−hr, T ψ ) ≤ log spr H (L −hr ) < P (−hr, σ) = 0 so h(X) < h. If G is amenable then Theorem 5.1 gives P Gur (−sr, T ψ ) = P Gur (−sr, T ψ ab ) = P (−sr, σ), so h(X) = h.
Our results will be based on the following definition. We have the following equidistribution result for Anosov flows.
Theorem 9.2. Let φ t : M → M be an Anosov flow and let X be a regular cover of M with amenable covering group G. Suppose that the lifted flow φ t X : X → X is transitive. Then the φ-periodic orbits with trivial G-class are equidistributed with respect to µ ξ,Ψ , the equilibrium state for ξ, Ψ .
Specialising to geodesic flows gives the following corollaries. Corollary 9.3. Let φ t : SV → SV be the geodesic flow on the unit-tangent bundle over a compact negatively curved manifold V and let X be a regular cover of M with amenable covering group G. Then the φ-periodic orbits with trivial G-class are equidistributed with respect to the measure of maximal entropy for φ.
Proof. Since φ is a geodesic flow, ξ = 0. Also, since G is amenable, G is not equal to π 1 (M ) and hence, by a result of Eberlein [15], the lifted flow φ t X : X → X is transitive. Thus the corollary follows from Theorem 9.2.
Corollary 9.4. Let V be a compact manifold with negative sectional curvatures and let V be a regular cover with amenable covering group G. Then the closed geodesics on V with trivial G-class are are equidistributed with respect to the projection to V of the measure of maximal entropy for the geodesic flow on the unit-tangent bundle SV .
If V has constant negative curvature then the measure of maximal entropy is equal to the volume measure and so we haver the following.
Corollary 9.5. Let V be a compact hyperbolic manifold and let V be a regular cover with amenable covering group G. Then the closed geodesics on V with trivial G-class are are equidistributed with respect to the volume measure on V .
To complete the proof, we will show that ρ + Q(0) > 0. First note that if ν = µ ξ.Ψ then sup F ∈C(M,R) Since δ > 0 is arbitrary, this completes the proof.