Closed Orbits of an Anosov Flow and the Fundamental Group

Abstract

We show that closed orbits of a transitive Anosov flow generate the fundamental group of the base manifold.Introduction.Let cpt: M -» M be a transitive Anosov flow on a compact manifold.Fried [5] showed that HX(M, Z) is generated by homology classes of <p,-closed orbits.In this note we show that homotopy classes of closed orbits generate the fundamental group <nY(M).More precisely, for y e w,(A/) we denote by (y) the conjugacy class in 77,(M) containing y.Each closed orbit p defines a conjugacy class (£).Our main result is Theorem.Ifcp,: M -> M isa transitive Anosov flow, then those elements y e ■nl(M) with (y) = (p) for some <p¿-closed orbit p generate tr^M).In some cases each conjugacy class contains an orbit cycle (i.e. a multiple of a closed orbit), hence the theorem trivially holds.But we have many examples of Anosov flows without this property; geodesic flows of surfaces and suspensions of Anosov diffeomorphisms.We prove the theorem by an elementary argument on graphs.A Markov family for <p, defines an oriented graph embedded in M such that each ep,-closed orbit is approximated by an oriented closed path in this graph.In §1 we construct a covering of Markov families with the covering transformation group w,(M), and show that the associated graphs are connected.Next we show in §2 that the induced homomorphism of the fundamental group of the graph into rr^M) is surjective.Since the fundamental group of this graph is generated by free homotopy classes of oriented closed paths, we can get the assertion.In §3, using our main theorem, we improve Theorem B in [3] which is concerned with the analyticity of L-functions associated to <prThe author is grateful to T. Sunada for many discussions with him.1.A covering of Markov families.Let it: M -> M be the universal covering and <p,: M -> M the covering flow of cpr In this section we construct a covering of connected graphs associated to a Markov family for <pr