arxiv: v2 [math.ds] 2 Sep 2018

Transcription

1 ADLER AND FLATTO REVISITED: CROSS-SECTIONS FOR GEODESIC FLOW ON COMPACT SURFACES OF CONSTANT NEGATIVE CURVATURE ADAM ABRAMS AND SVETLANA KATOK arxiv: v [math.ds] Sep 08 Dedicated to the memory of Roy Adler Abstract. We describe a family of arithmetic cross-sections for geodesic flow on compact surfaces of constant negative curvature based on the study of generalized Bowen-Series boundary maps associated to cocompact torsion-free Fuchsian groups and their natural extensions, introduced in [3]. If the boundary map satisfies the short cycle property, i.e., the forward orbits at each discontinuity point coincide after one step, the natural extension map has a global attractor with finite rectangular structure, and the associated arithmetic cross-section is parametrized by the attractor. This construction allows us to represent the geodesic flow as a special flow over a symbolic system of coding sequences. In special cases where the cycle ends are discontinuity points of the boundary maps, the resulting symbolic system is sofic. Thus we extend and in some ways simplify several results of Adler-Flatto s 99 paper [4]. We also compute the measure-theoretic entropy of the boundary maps.. Introduction Adler and Flatto have written three papers [, 3, 4] devoted to representation of the geodesic flow on surfaces of constant negative curvature as special flow over a topological Markov chain. The first two papers are devoted to the modular surface and the third to the compact surface M = Γ\D of genus g, where D = { z C : z < } is the unit disk endowed with hyperbolic metric (.) dz z and Γ is a finitely generated Fuchsian group of the first kind acting freely on D. Recall that geodesics in this model are half-circles or diameters orthogonal to S = D, the circle at infinity. The geodesic flow { ϕ t } on D is defined as an R-action on the unit tangent bundle SD that moves a tangent vector along the geodesic defined 00 Mathematics Subject Classification. 37D40 (Primary), 0H0, 37B0. Key words and phrases. Fuchsian groups, geodesic flow, symbolic dynamics, reduction theory, boundary maps, attractor, cross-section.

2 ADAM ABRAMS AND SVETLANA KATOK Q 8 P 8 Q 7 P 7 P 9 Q 6 Q P 6 P Q 5 Q P 5 P Q 3 Q 4 P 4 P Q P 3 Q 3 P Q Q P Figure. Side-pairing of the fundamental domain F for genus g =. by this vector with unit speed. The geodesic flow { ϕ t } on D descends to the geodesic flow {ϕ t } on the factor M = Γ\D via the canonical projection (.) π : SD SM of the unit tangent bundles. The orbits of the geodesic flow {ϕ t } are oriented geodesics on M. A classical (Ford) fundamental domain for Γ is a 4g-sided regular polygon centered at the origin. In [4], Adler and Flatto used another fundamental domain an (8g 4)- sided polygon F that was much more convenient for their purposes. Its sides are geodesic segments which satisfy the extension condition: the geodesic extensions of these segments never intersect the interior of the tiling sets γf, γ Γ. The fundamental polygon F will play an important role in this paper, so let us describe it in detail. We label the sides of F in a counterclockwise order by numbers i 8g 4 and label the vertices of F by V i so that side i connects V i to V i+ (mod 8g 4). We denote by P i and Q i+ the endpoints of the oriented infinite geodesic that extends side i to the circle at infinity S. The order of endpoints on S is the following: P, Q, P, Q,..., Q 8g 4. The points P i and Q i in this paper and [7, 3] are denoted by a i and b i, respectively, in [4].

3 ADLER AND FLATTO REVISITED 3 The identification of the sides of F is given by the side pairing rule { 4g i mod (8g 4) if i is odd σ(i) := i mod (8g 4) if i is even The generators T i of Γ associated to this fundamental domain are Möbius transformations satisfying the following properties: (.3) (.4) (.5) T σ(i) T i = Id T i (V i ) = V ρ(i), where ρ(i) = σ(i) + T ρ 3 (i)t ρ (i)t ρ(i) T i = Id According to B. Weiss [0], the existence of such a fundamental polygon is an old result of Dehn, Fenchel, and Nielsen, while J. Birman and C. Series [6] attribute it to Koebe [5]. Adler and Flatto [4, Appendix A] give a careful proof of existence and properties of the fundamental (8g 4)-sided polygon for any surface group Γ such that Γ\D is a compact surface of genus g. Notice that in general the polygon F need not be regular. If F is regular, it is the Ford fundamental domain, i.e., P i Q i+ is the isometric circle for T i, and T i (P i Q i+ ) = Q σ(i)+ P σ(i) is the isometric circle for T σ(i) so that the inside of the former isometric circle is mapped to the outside of the latter, and all internal angles of F are equal to π. Figure shows such a construction for g =. Remark.. Although the results in [3] were obtained using the regular fundamental polygon, the general case is reduced to this specific situation by the Fenchel-Nielsen theorem without affecting the results of [3], as explained in [4, Appendix A] and in [4]. More precisely, given Γ \D a compact surface of genus g >, there exists a Fuchsian group Γ and (by the Fenchel-Nielsen theorem [9]) an orientation-preserving homeomorphism h from D onto D such that () Γ\D is a compact surface of the same genus g; () Γ has a fundamental domain F given by a regular (8g 4)-sided polygon; (3) Γ = h Γ h ; (4) Γ has a fundamental domain F given by an (8g 4)-sided polygon whose sides are produced by the geodesics h(p i )h(q i+ ) and identified by T i = h T i h, where {T i } are generators of Γ identifying the sides of F. In this paper we use the regular polygon in some proofs for convenience. A cross-section C for the geodesic flow {ϕ t } is a subset of the unit tangent bundle SM visited by (almost) every geodesic infinitely often both in the future and in the past. It is well-known that the geodesic flow can be represented as a special flow on the space C h = { (v, s) : v C, 0 s h(v) }.

4 4 ADAM ABRAMS AND SVETLANA KATOK It is given by the formula ϕ t (v, s) = (v, s + t) with the identification (v, h(v)) = (R(v), 0), where the ceiling function h : C R is the time of the first return of the geodesic defined by v to C, and R : C C given by R(v) = ϕ h(v) (v) is the first return map of the geodesic to C. h C h v C R(v) Figure. Geodesic flow is a special flow Let N be a finite or countable alphabet, N Z = { s = {n i } i Z : n i N } be the space of all bi-infinite sequences endowed with the Tikhonov (product) topology. Let σ : N Z N Z defined by (σs) i = n i+ be the left shift map, and Λ N Z be a closed σ-invariant subset. Then (Λ, σ) is called a symbolic dynamical system. There are some important classes of such dynamical systems. The space (N Z, σ) is called the full shift (or the topological Bernoulli shift). If the space Λ is given by a set of simple transition rules which can be described with the help of a matrix consisting of zeros and ones, we say that (Λ, σ) is a one-step topological Markov chain or simply a topological Markov chain (sometimes (Λ, σ) is also called a subshift of finite type). A factor of a topological Markov chain is called a sofic shift. For the definitions, see [8, Sec..9]. In order to represent the geodesic flow as a special flow over a symbolic dynamical system, one needs to choose an appropriate cross-section C and code it, i.e., find an appropriate symbolic dynamical system (Λ, σ) and a continuous surjective map Cod : Λ C (in some cases the actual domain of Cod is Λ except a finite or countable set of excluded sequences) defined such that the diagram Λ σ Λ Cod Cod C R is commutative. We can then talk about coding sequences for geodesics defined up to a shift that corresponds to a return of the geodesic to the cross-section C. Notice that usually the coding map is not injective but only finite-to-one (see, e.g., [, 3. and 5] and Examples 3 and 4 in Section 6 of this paper). C

5 ADLER AND FLATTO REVISITED 5 Slightly paraphrased, Adler and Flatto s method of representing the geodesic flow on M as a special flow is the following. Consider the set C G of unit tangent vectors (z, ζ) SD based on the boundary of F and pointed inside F. Every geodesic γ in D is equivalent to one intersecting the fundamental domain F and thus is comprised of countably many segments in F. More precisely, if we start with a segment γ F which enters F through side j and exits F through side i, then T i γ F is the next segment in F, and T j γ F is the previous segment. It is clear that the canonical projection of γ to SM, π(γ), visits C G infinitely often, hence C G is a cross-section which we call the geometric cross-section. The geodesic π(γ) can be coded by a bi-infinite sequence of generators of Γ identifying the sides of F, as explained below. This method of coding goes back to Morse; for more details see [9]. The set Ω G of oriented geodesics in D tangent to the vectors in C G coincides with the set of geodesics in D intersecting F; this is depicted in Fig. 3 in coordinates (u, w) S S, u w, where u is the beginning and w is the end of a geodesic. The coordinates of the vertices of Ω G are (P j, Q j+ ) (the upper part) and (Q j, P j ) (the lower part). Let G i be the curvilinear horizontal slice comprised of points (u, w) such that geodesics uw exit F through side i; this slice is in the horizontal strip between P i and Q i+. The map F G (u, w) piecewise transforms variables by the same Möbius transformations that identify the sides of F, that is, (.6) F G (u, w) = (T i u, T i w) if (u, w) G i, and G i is mapped to the curvilineal vertical slice belonging to the vertical strip between P σ(i) and Q σ(i)+. F G is a bijection of Ω G. Due to the symmetry of the fundamental polygon F, the curvilinear horizontal (vertical) slices are congruent to each other by a Euclidean translation. For a geodesic γ, the geometric coding sequence [γ] G = [..., n, n, n 0, n, n,...] is such that σ(n k ) is the side of F through which the geodesic FG k γ exits F. By construction, the left shift in the space of geometric coding sequences corresponds to the map F G, and the geodesic flow {ϕ t } becomes a special flow over a symbolic dynamical system. The set of geometric coding sequences is natural to consider, but it is never Markov. In order to obtain a special flow over a Markov chain, Adler and Flatto replaced the curvilinear boundary of the set Ω G by polygonal lines, obtaining what they call a rectilinear set Ω P and defining an auxiliary map F P mapping any horizontal line into a part of a horizontal line. We denote by F G : Ω G Ω G and F P : Ω P Ω P, Adler and Flatto [4, p. 40] used unit tangent vectors pointed out of F, but the results are easily transferable.

6 6 ADAM ABRAMS AND SVETLANA KATOK F G Figure 3. Curvilinear set Ω G and its image for g =. Here G i = F G (G i ). respectively, their curvilinear and rectilinear transformations. 3 They prove that these maps are conjugate and that the rectilinear map is sofic. We should mention the relation between [4] and the series of papers by C. Series [6, 7, 8] where she also studies the problem of representing the geodesic flow by symbolic systems following the fundamental paper [7]. Adler and Flatto acknowledge that they reach essentially the same mathematical conclusions. However, the use of the (8g 4)-sided fundamental polygon F in [4] makes their exposition much more accessible and allows for extensions of their results. For the modular surface, the rectilinear map is related to a Gauss-like -dimensional map and continued fractions, and for the compact surface case, to the boundary map considered previously by Bowen and Series [7]. In fact, it is exactly the natural extension of the corresponding boundary map. The authors of [] studied so-called (a, b)-continued fractions and corresponding boundary maps for coding of geodesics on the modular surface. Their method is based on the results of [] establishing finite rectangular structure of the attractors of the associated natural extension maps and the corresponding reduction theory. In this paper we use similar approach for the compact surface case based on the results of [3]. Here again we consider a family of boundary maps which give rise to a family of arithmetic cross-sections parametrized by attractors of the corresponding natural extension maps rectilinear maps which we study on their own, thus representing the geodesic flow as a special flow over a symbolic system of coding sequences. The finite rectangular structure of these attractors and the corresponding 3 Starting in Section, we deal with a family of generalized rectilinear maps F Ā, and the notations F P and Ω P are in conformance with those.

7 ADLER AND FLATTO REVISITED 7 reduction theory plays an essential role in our approach. We show that for some of the arithmetic cross-sections the resulting symbolic system turns out to be sofic, thus extending and in some ways simplifying the Adler-Flatto results. The paper is organized as follows. Section recalls the definitions of the relevant maps as well as previous results on attractors. Section 3 describes conjugacy between curvilinear and rectilinear maps, extending Adler-Flatto s phenomenon of bulges mapping to corners to a broader class of boundary maps. In Section 4, we define a class of arithmetic cross-section for the geodesic flow on M = Γ\D, and Section 5 describes the arithmetic coding of geodesics using these cross-sections. Although the arithmetic cross-sections we consider actually coincide with the geometric one, the symbolic dynamical systems are different (some examples are discussed in Section 6). While the set of geometric coding sequences is never Markov, for some choice of parameters the arithmetic ones are. This is discussed in Sections 7 and 8. In Section 9 we discuss dual codes. In Section 0, we apply results of [3] to obtain explicit formulas for invariant measures and calculate the measure-theoretic entropy.. The reduction procedure Let f Ā be a generalized Bowen-Series boundary map studied in [3] and defined by the formula (.) f Ā (x) = T i (x) if x [A i, A i+ ), where Ā = {A,..., A 8g 4 }, A i (P i, Q i ), and let F Ā be the corresponding two-dimensional map: (.) F Ā (x, y) = (T i (x), T i (y)) if y [A i, A i+ ). The map F Ā is a natural extension of the boundary map f Ā. Setting = { (x, y) S S : x = y }, we have F Ā as a map on S S\. If we identify a geodesic in D from u to w with a point in S S \, F Ā may also be considered as a map on geodesics. Adler and Flatto [4] studied the partition P = {P,..., P 8g 4 }, which was previously considered by Bowen and Series [7], and their rectilinear map T R is exactly our F P. A key ingredient in analyzing the map F Ā is what we call the cycle property of the partition points {A,..., A 8g 4 }. Such a property refers to the structure of the orbits of each A i that one can construct by tracking the two images T i A i and T i A i of these points of discontinuity of the map f Ā. It happens that some forward iterates of these two images T i A i and T i A i under f Ā coincide [3, Theorem.]. If a cycle closes up after one iteration, that is, (.3) f Ā (T i A i ) = f Ā (T i A i ),

8 8 ADAM SVETLANA ABRAMS KATOK AND AND SVETLANA ADAM J. ZYDNEY KATOK 3 A 0 A 9 A 7 A 8 A 5 A 6 0 A 4 A A 3 A 3 A A Figure Attractor Ω Ā for genericfā F Ā withg g = =.. we Most sayimportantly, that the point the map A U i sends F to the corner image F i := U i F that touches F i satisfies the short cycle property. We say a partition only at the vertex V i (Figure 8 on page 7 shows F in gray). Note that {T i } and {U Ā i } has the short cycle property if each A are i Ā has the short cycle property. both As closed proved under in [3, inversion; Theorems specifically,.3 and Ti.], = T if (i) the via (.3) partition and Ā has a short cycle property or if Ā = P, then F Ui Ā has a global = Uattractor (i), which can be shown using (.3) and Lemma 3. below. Additionally, Ui maps A i to the end of the cycle (.3), hence theω two Ā = mainfexpressions n Ā (S S \ ), in (3.). n=0 Lastly, we will need the following properties of and : which is shown to have finite rectangular structure, i.e., it is bounded by nondecreasing Lemma 3.. step-functions If (i) := (i) with and a finite (i) := number (i)+ of, steps then (see Figure 4) on which F Ā is essentially () (i) = bijective, (i) = (i), and almost every point (u, w) S S \ is mapped to Ω Ā after () finitely (i + ) many = (iiterations ) = ( of (i)), F Ā. Explicitly, (3) and the commute. y-levels of the upper and lower connected component of Ω Ā are, respectively, Proof. These can be verified by direct calculation. As one instance, we show that for even i, (i + ) = ( (i)). In this case (.4) B i := T σ(i ) A σ(i ) and C i := T σ(i+) A σ(i+)+. (i) = i (i is even) The x-levels in this case are the same as for the Bowen-Series map F P, and the set Ω Ā ( (i)) = i +(4g ) = 4g i is determined by the corner points located in the strip { (x, y) S S : y [A i, A i+ ) } with coordinates (i + ) = 4g (i + ) (i +isodd) (i + ) = 4g (i + ) + = 4g i (P i, B i ) (upper part) and (Q i+, C i ) (lower part). The other equalities are shown similarly. See Figure 4 for an example of such an attractor.

9 ADLER AND FLATTO REVISITED 9 3. Conjugacy between F Ā and F G The following useful property of T i will be referenced throughout the paper. Proposition 3. (Proposition. in [3] and Theorem 3.4 in [4]). T i maps the points P i, P i, Q i, P i+, Q i+, Q i+ respectively to P σ(i)+, Q σ(i)+, Q σ(i)+, P σ(i), P σ(i), Q σ(i). We will also make use of the map that we call here U i, which is used in both [4] and [3] without its own notation. The following are all equivalent definitions: (3.) where U i := (T σ(i)+ T i ) = T i T σ(i)+ = T σ(i)t τ(i ) = (T σ(i ) T i ) = T i T σ(i ) = T σ(i )T τ(i), (3.) τ(i) := i + (4g ) mod (8g 4). Most importantly, the map U i sends F to the corner image F i := U i F that touches F only at the vertex V i (e.g., Figure 8 on page 9 shows F in gray). Note that {T i } and {U i } are both closed under inversion; specifically, T i = T σ(i) via (.3) and U i = U τ(i), which can be shown using (.3) and Lemma 3. below. Additionally, U i to the end of the cycle (.3), hence the two main expressions in (3.). Lastly, we will need the following properties of τ and σ: Lemma 3.. If θ(i) := σ(i) and ρ(i) := σ(i) +, then () θ (i) = ρ (i) = τ(i), () ρ(i + ) = θ(i ) = τ(σ(i)), (3) σ and τ commute. maps A i Proof. These can be verified by direct calculation. As one instance, we show that for even i, ρ(i + ) = τ(σ(i)). In this case σ(i) = i (i is even) τ(σ(i)) = i + (4g ) = 4g i σ(i + ) = 4g (i + ) (i + is odd) ρ(i + ) = 4g (i + ) + = 4g i The other equalities are shown similarly. Note that τ(i ) = τ(i) because τ is a shift; these two forms are used interchangeably in several equations. In general, σ(i ) σ(i).

10 0 ADAM ABRAMS AND SVETLANA KATOK For the case Ā = P, Adler and Flatto [4, Sec. 5] explicitly describe a conjugacy between F G and F P. They define the function Φ : Ω G Ω P given by { Id on O Φ = U τ(i)+ on B i, where O = Ω G Ω P and the set B i is the bulge that is the part of Ω G \ Ω P with w [P i, P i+ ]. They then show that the diagram Ω G Φ F G Ω G Φ Ω P F P Ω P commutes. Note that for Ā = P, the bulges (comprising all points in Ω G \ Ω P ) are affixed only to the lower part of the rectilinear set Ω P. For the case of a generic Ā with the short cycle property, the set Ω G \ Ω Ā has pieces affixed to both the upper and lower parts of Ω Ā. Thus we must define both upper and lower bulges: (3.3) lower bulge B i = {(u, w) Ω G \ Ω Ā : u [Q i+, Q i+ ]}; upper bulge B i = {(u, w) Ω G \ Ω Ā : u [P i, P i ]}. We also define corners, which comprise Ω Ā \ Ω G : (3.4) lower corner C i = {(u, w) Ω Ā \ Ω G : u [Q i+, Q i+ ]}; upper corner C i = {(u, w) Ω Ā \ Ω G : u [P i, P i ]}. Figure 5 shows all four of these sets for a single i. Remark 3.3. The curvilinear and rectilinear sets of Adler and Flatto include one boundary but not the other (see [4, Fig. 4.7, 5.]). Our convention is that Ω G and Ω Ā are closed, so for us each bulge includes its curved boundary but not its straight boundaries and each corner includes its straight boundaries but not its curved boundary. This does not affect the overall dynamics in any significant way. Now let O := Ω G Ω Ā and define the map Φ with domain Ω G as Id on O (3.5) Φ = U τ(i)+ on B i U τ(i) on B i. Proposition 3.4. Let Ā have the short cycle property. Then the map Φ is a bijection from Ω G to Ω Ā. Specifically, Φ(B i ) = C τ(i)+ and Φ(B i ) = C τ(i).

11 0 SVETLANA ADLER AND KATOK FLATTO AND ADAM REVISITED J. ZYDNEY Curvilinear set G Rectilinear set Ā (P i,q i+ ) (Q i+,c i+ ) G i (P i,b i ) (P i,b i ) (Q i+,c i ) (Q i+,p i+ ) (Q i+,c i ) (Q i+,p i ) Figure 5. Bulges B i in blue and B i in gold; corners C i in red and C i in green. Figure 5. Bulges B i in blue and B i in gold; corners C i in red and C i in green. Proof. All the sets B i, B i, C i, C i are bounded by one horizontal line segment, one vertical line segment, and one curved segment that is part G. Since each U j is a Möbius transformation, we need only to show that these boundaries are mapped accordingly. The Proof. boundaries All the of B sets i are B the i, B vertical, C i, C i segment are bounded {Q i+ } [C by one i,p horizontal i+ ], part of line the segment, horizontal one segment [Qline i+,qsegment, i+ ] {Cand i }, and onethe curved part segment G connecting that is part (Q i+ vertical of Ω,P G i )to(q. Since i+ each,p i+ U). j By is adefinition, Möbius transformation, (B i )=U (i)+ (Bwe i ). need Recall only thattou show (i)+ = that T (i) these T i. boundaries From Proposition are mapped 3., we accordingly. have The boundaries of B i are the vertical segment {Q i+ } [C i, P i+ ], part of the horizontal segment [Q i+, Q i+ ] {C i }, and the part of Ω G connecting (Q i+, P i ) to (Q T i P i = Q (i)+, T i P i+ = P (i), T i Q i+ = P (i), T i Q i+ Q (i). i+, P i+ ). By definition, Φ(B i ) = U τ(i)+ (B i ). Recall that U τ(i)+ = T σ(i) T i. From Applying Proposition T (i) to3., both wesides haveand using Lemma 3., we get T U (i)+ P i = T (i) i P i = Q σ(i)+, T Q (i)+ Q (i)+, i P i+ = P σ(i), T U (i)+ P i+ = T (i) i Q i+ = P σ(i), T P (i) (i)+, i Q i+ = Q σ(i). U (i)+ Q i+ = T (i) P (i) = P (i), U (i)+ Q i+ = T (i) Q (i) = P (i)+. Applying Additionally, T σ(i) by (.4), to both sides and using Lemma 3., we get (3.6) U (i)+ C i =(T (i+)+ U τ(i)+ TP i+ i = )(T T σ(i) (i+) AQ σ(i)+ )=T = Q ( (i)) τ(i)+ A, ( (i)) = B (i)+. Therefore U τ(i)+ P i+ = T σ(i) P σ(i) = Q τ(i)+, U (i)+ {Q U τ(i)+ i+ } [C Q i+ i,p = T σ(i) i+ ] = P{P σ(i) = P (i)+ } [B τ(i), (i)+,q (i)+ ], U (i)+ [Q U τ(i)+ i+,q Q i+ i+ ] {C = T σ(i) i } =[P Q σ(i) (i),p = P τ(i)+ (i)+ ] {B. (i)+ }, Additionally, by (.4), U (i)+ (Q i+,p i )=(P (i),q (i)+ ), U (i)+ (Q i+,p i+ )=(P (i)+,q (i)+ ). (3.6) U τ(i)+ C i = (T σ(i+)+ T i+ )(T σ(i+) A τσ(i) ) = T σ(τ(i)) A σ(τ(i)) = B τ(i)+.

12 ADAM ABRAMS AND SVETLANA KATOK Therefore ( U τ(i)+ {Qi+ } [C i, P i+ ] ) = {P τ(i)+ } [B τ(i)+, Q τ(i)+ ], ( U τ(i)+ [Qi+, Q i+ ] {C i } ) = [P τ(i), P τ(i)+ ] {B τ(i)+ }, U τ(i)+ (Q i+, P i ) = (P τ(i), Q τ(i)+ ), U τ(i)+ (Q i+, P i+ ) = (P τ(i)+, Q τ(i)+ ). The corner C τ(i)+ is exactly the set bounded by the vertical segment {P τ(i)+ } [B τ(i)+, Q τ(i)+ ], part of the horizontal segment [P τ(i), P τ(i)+ ] {B τ(i)+ }, and part of segment of Ω G connecting (P τ(i), Q τ(i)+ ) to (P τ(i)+, Q τ(i)+ ). Thus U τ(i)+ (B i ) = C τ(i)+. A similar argument shows U τ(i) (B i ) = C τ(i). Taking Φ(O) = Id(O) = O together with Φ(B i ) = C τ(i)+ and Φ(B i ) = C τ(i), we have that Φ(Ω G ) = Ω Ā. Definition 3.5. Let u, w S = D, u w. An oriented geodesic in D from u to w is called Ā-reduced if (u, w) ΩĀ. Corollary 3.6. If a geodesic γ = uw intersects F, then either γ is Ā-reduced or U jγ is Ā-reduced, where j = τ(i) if (u, w) Bi and j = τ(i) + if (u, w) B i. Proof. The geodesic γ = uw intersecting F is equivalent to (u, w) being in the set Ω G. If (u, w) O = Ω G Ω Ā, then γ is Ā-reduced as well. If not, then (u, w) is in some upper or lower bulge since the bulges comprise all of Ω G \ Ω Ā. If (u, w) B i, then U τ(i)+ (u, w) C τ(i)+ Ω Ā and so U τ(i)+ γ is Ā-reduced. If (u, w) Bi, then U τ(i) (u, w) C τ(i) Ω Ā and so U τ(i) γ is Ā-reduced. It follows that γ and U jγ cannot be Ā-reduced simultaneously. Remark 3.7. Note that although the geodesic γ might intersect two different corner images, the point (u, w) cannot be in two different bulges simultaneously. The index of the bulge B i or B i determines a specific j for which U j γ is Ā-reduced, as stated in Corollary 3.6. Corollary 3.8. If a geodesic γ = uw is Ā-reduced, then either γ intersects F, or γ intersects F j = U j (F), where j = i if (u, w) C i and j = i + if (u, w) C i. Proof. The geodesic γ is Ā-reduced means that (u, w) ΩĀ. If (u, w) O = Ω G Ω Ā, then γ intersects F. If not, then (u, w) is in some upper or lower corner. If (u, w) C i, then U i (u, w) B τ(i) Ω G, so U i (γ) intersects F, or γ intersects U i (F) = F i. If (u, w) C i, then U i+ (u, w) Bτ(i)+, so U i+ (γ) intersects F, or γ intersects U i+ (F) = F j+. Remark 3.9. Here again, although the geodesic γ might intersect two different corner images, the index of the corner C i or C i determines a specific j for which γ intersects F j, as stated in Corollary 3.8.

13 ADLER AND FLATTO REVISITED 3 Theorem 3.0. Let Ā have the short cycle property, and let Φ : Ω G Ω Ā be as in (3.5). Then Φ is a conjugacy between F G and F Ā. That is, the following diagram commutes: (3.7) Ω G Φ F G Ω G Φ. Ω Ā F Ā Ω Ā Proof. The diagram commuting is equivalent to (3.8) F Ā Φ F G Φ = Id. Let (u, w) be any point in Ω Ā ; we aim to prove that (3.8) is true for (u, w) by building out the diagram F G Φ (u, w) F Ā Φ. If (u, w) O = Ω G Ω Ā, then Φ (u, w) = (u, w). Let i be the side through which the geodesic γ = uw exits F; then F G (u, w) = T i (u, w). At this point (3.8) is corresponding to F Ā Φ (T i) (Id) = Id, Φ = Id (u, w) (u, w) F G = T i F Ā Φ. Since γ = uw exits F through side i, the point w must be in [P i, Q i+ ], which means that F Ā must act by T i, T i, or T i+ (see Figure 6). If F Ā = T i, then F Ā γ = T i γ is both Ā-reduced and intersects F. Thus Φ acts on T i γ as the identity, and (3.8) becomes If F Ā = T i, then (3.8) becomes (T i ) (Id) (T i ) (Id) = Id. (T i ) Φ (T i ) (Id) = Id,

14 ADAM ZYDNEY have (z 0, 0 ) C Ā. Then T i enters F at the point z = T i z 0 on the side (i) and represents 4 the next segment ADAMof ABRAMS the same AND geodesic SVETLANA in F. KATOK P i Q i P i+ A i A i+ T i T i+ T i Figure. Action of Ā based on side exit. Figure 6. Action of F Ā based on side exit. Notice that must end, i.e., somewhere in (P i,q i+ ), which means that F Ā must which act by is true T i, iftand i,ort only i+ if(see Φ = Figure T ). i If F Ā = T i, then F Ā = T i is Ā-reduced T i, or equivalently, intersecting by F, (3.), therefore Φ = U σ(i ) v. Since we know T i γ intersects F, the geodesic = (z, )=(T i z,dt 0 i ) 0 C Ā represents the first return to the cross-section C Ā. F Ā γ = T i γ = T i T i (T i γ) = U σ(i ) (T i γ) If must F Ā intersect = T i, then corner image F σ(i ). Therefore Φ does act by U σ(i ), and (3.8) is F Ā true = in T i this = case. T i (T i ) T i = T i T (i) T i = U (i ) T i. If F Since Ā = T i+, then (3.8) becomes we know T i intersects F, F Ā, which is Ā-reduced, must intersect the corner image (T U i+ (i ) ) F = Φ F (T (i i ) ).(Id) Therefore, = Id, again, v = (z, ) = (T i z,dt 0 i ) 0 C Ā represents the first return to the cross-section C Ā. which is true if and only if Φ = T Lastly, if F Ā = T i+, then i+ T i. Similar to the previous case, the geodesic F Ā = T i+ F i+ (T i ) T i = T i+ T (i) T i = U (i+)+ T i, Ā γ = T i+ γ = T i+ T i (T i γ) = U στ(i) (T i γ) and, mustagain, intersect F Ā F is Ā-reduced, and v =(z, )=(T i z,dt 0 i ) 0 στ(i), so Φ acts by U στ(i) = T i+ T C Ā represents the first return of to the cross-section C Ā. i and (3.8) is true. If (u, w) = Ω Ā \O, then it is in an upper or lower corner. Assume (u, w) is in an upper In corner, all cases and the let i geodesic be such segment that (u, w) [z 0,z] C 0 i. projected Since, by to Lemma M is between 3.4, U two consecutive i (B τ(i) ) = C i, we returns know that of Φ to the cross-section C Ā, and the next geodesic segment in F is [z,z], 0 where z = T i z. 0 acts on C i by U i. Defining γ = u w Lifted to D, itis -equivalent to an Ā-reduced = U i γ, we geodesic have the partial diagram. Now suppose does not intersect F, and let j A be from the proof of Proposition. Then intersects F j, so U j (u, intersects w F G ) F. Assume is clockwise, meaning u<wand thus (u, w) isintheupperpartof Φ = U Ā. For counterclockwise the argument i Φ is similar. As shown in Figure (this is an image of bulges and corners for (u, A ), w) the repelling fixed point u and attracting F fixed point w of must satisfy u [Q j,p j ]andw Ā [B j,q j+ ]. corresponding to Thus is an exact image very similar to [?, Fig. 5.3, pg. 65], captioned Bulges and corners. Since Adler-Flatto deal with Ā = F P and the Φ y-levels F Ā G (U on i ) the upper = Id part of P are Q i s, the boundary of atthe this curvilinear point. set cuts through both corners of the rectangle in [?, Fig. 5.3], unlike our Figure, in which the curve goes through a side of the rectangle. Q i+

15 Since C i [P i, P i ] [B i, Q i+ ], we have (3.9) ADLER AND FLATTO REVISITED 5 u U i [P i, P i ] = [Q τ(i), Q τ(i)+ ], w U i [B i, Q i+ ] = [C τ(i), P τ(i) ] based on Proposition 3. and equation (3.6). In most instances γ will exit F through side τ(i), but if C τ(i) is very close to P τ(i) it is possible for γ to exit through side τ(i) instead. Thus F G might act on (u, w ) by T τ(i) or T τ(i). The remainder of the proof is broken down into four cases: Case : F Ā γ = T i γ and F G γ = T τ(i) γ. Case : F Ā γ = T i γ and F G γ = T τ(i) γ. Case 3: F Ā γ = T i+ γ and F G γ = T τ(i) γ. Case 4: F Ā γ = T i+ γ and F G γ = T τ(i) γ. For cases and, w [B i, A i+ ), while for 3 and 4 we have w [A i+, Q i+ ]. For cases and 3, γ exits through side τ(i), so the geometrically next segment of γ in F starts at z := T τ(i) z and is part of the geodesic (3.0) T τ(i) γ = T τ(i) U i γ = T τ(i) T σ(i)+ T i γ = T τ(i) T σ(τ(i) ) T i γ = T i γ. Case. In this case, F Ā γ = T i γ and, as shown in (3.0) above, F G γ = T i γ as well. Case. Here γ exits F through side τ(i), so the geometrically next segment of γ in F is part of T τ(i) γ. The expression T τ(i) U i does not simplify as easily as T τ(i) U i = T i did. However, we do have (3.) T τ(i) U i = T τ(i) T ρ(i) T i = T σ(ρ(i)) T ρ(i) T i = U ρ(j)+ T j. The geodesic T τ(i) γ must intersect F. This is equivalent to U ρ(i)+ T τ(i) γ intersecting U ρ(i)+ F = F ρ(i)+. Since U ρ(i)+ T τ(i) γ = U ρ(i)+ (T τ(i) U i )γ = U ρ(i)+ (U ρ(i)+ T i)γ = T i γ, the geodesic T i γ = F Ā γ must intersect F ρ(i)+. Thus when we pull back F Ā γ = T i γ to F, we get U ρ(i)+ T iγ, which by (3.) is exactly T τ(i) U i γ = F G γ. Case 3. Here γ exits F through side τ(i), so F G γ = T i γ by (3.0). However, F Ā γ = T i+ γ instead of T i γ. Figure 7 shows the upper tip of C i and its image under T i+. The right wall {P i } [A i+, Q i+ ] is mapped to {P τσ(i) } [B τσ(i), Q τσ(i) ]. As was mentioned in Section, the striped region at the vertex (P τσ(i), Q τσ(i)+ ) is bounded by the curve obtained by a Euclidean translation of the boundary of the striped region at the vertex (P i, Q i+ ), and since the map T i+ is hyperbolic (it expands in the y-direction and contracts in the x-direction), the image of the upper tip of the striped region at the vertex (P i, Q i+ ) is a narrow curvilinear triangular region contained completely

16 U (i)+ T (i) 0 = U (i)+ (T (i) U i ) = U (i)+ (U (i)+ T i) = T i, the geodesic T i = F must intersect F Ā (i)+. Thus when we pull back F = T Ā i to F, we get U (i)+ T i,whichby(3.) is exactly T (i) Ui = F 0 G. Case 3. Here 0 exits F through side (i), so F 0 G = T i by (3.0). However, 6 F = T Ā i+ instead of TADAM i. ABRAMS AND SVETLANA KATOK (P i,q i+ ) T i+ (P (i),q (i)+ ) (P i,a i+ ) (P i,a i+ ) (T i+ P i,b (i) ) (P (i),b (i) ) Figure 7. The triangular region (the hypotenuse is part G so Figure is curved) 7. is the The set triangular of clockwiseregion Ā-reduced (the geodesics hypotenuse that intersect is part of F Ω i but G so notisf curved) and for is which the set F = T Ā of clockwise i+. Ā-reduced geodesics that intersect F i but not F and for which F Ā = T i+. Figure 7 shows the upper tip of C i and its image under T i+. The right wall {P i } [A i+,q i+ ] is mapped to {P (i) } [B (i),q (i) ]. As was mentioned in Section, the inside stripedthe region striped at the region vertex at(p the (i) vertex,q (i)+ (P) τσ(i) is bounded, Q τσ(i)+ by ). Thus the curve for all obtained geodesics by aγeu- clidean case, translation F Ā γ intersects of the boundary F τσ(i). of the striped region at the vertex (P i,q i+ ), and since in this thewhen map Twe i+ pull is hyperbolic back F Ā (it γ = expands T i+ γ to in F, thewe y-direction get and contracts in the x-direction), the image of the upper tip of the striped region at the vertex (P i,q i+ ) is a narrow curvilinear Utriangular τσ(i) T i+γ region = T σ(τσ(i) ) containedtcompletely τσ(i) T i+ γ inside = T i the T σ(i+) striped T i+ γ region = T i γ, at the vertex (P (i),q (i)+ ). Thus for all geodesics in this case, F intersects F Ā (i). which When by we (3.0) pullisback exactly F = T Ā F G γ i+. to F, we get U (i) T i+ = T ( (i) ) T (i) T i+ = T i T (i+) T i+ = T i, Case 4. This case, in which F Ā γ = T i+ γ and γ = U i γ exits F through side τ(i) which by, (3.0) will beis shown exactlytof 0 G be. impossible. Since the curvilinear horizontal Case 4. This case, in which F = slice T G k, that Ā i+ and 0 is, the = Ui set of all geodesics exiting F exits F through side (i), through side k, is contained in the horizontal strip S [P will be shown to be impossible. k, Q k+ ], the endpoint w of γ must be in [P τ(i), Q τ(i) ]. Since w [C τ(i), P τ(i) ] by (3.9), we have w [P τ(i), Q τ(i) ] [C τ(i), P τ(i) ] = [C τ(i), Q τ(i) ] (in fact, w will be quite close to C τ(i) ). This means that the endpoint w of γ = U i γ will be in the interval I = U i [C τ(i), Q τ(i) ] = [B i, U i Q τ(i) ]. We have U i Q τ(i) = T σ(i) T τ(i) Q τ(i) = T σ(i) Q σ(i)+3. In order to locate T σ(i) Q σ(i)+3, we use Proposition 3.. T σ(i) maps the geodesic P σ(i) Q σ(i)+, which is its isometric circle, to the geodesic Q i+ P i. We also see that T σ(i) Q σ(i)+ = Q i and T σ(i) P σ(i) = P i+, and since T σ(i) maps the outside of P σ(i) Q σ(i)+ to the inside of Q i+ P i and preserves the order of points, we conclude that T σ(i) Q σ(i)+3 (Q i, P i+ ). Therefore I [B i, P i+ ] (A i, A i+ ). Thus w I implies F Ā γ = T i γ, which contradicts the assumption F Ā γ = T i+ γ of this case.

17 Cases 3 cover all potential ways that ADLER AND FLATTO REVISITED 7 Φ = U i (u, w ) (u, w) F G F Ā Φ can be completed, showing that (3.8) is true if (u, w) C i. Similar arguments show that (3.8) is true for (u, w) C i as well. Thus we have proven (3.8) for all (u, w) Ω Ā, meaning that Ω G Φ F G Ω G Φ Ω Ā F Ā Ω Ā is indeed a commutative diagram. 4. Cross-sections Based on Corollary 3.8, we introduce the notion of the Ā-cross-section point. It is the entrance point of an Ā-reduced geodesic γ to F, or, if γ does not intersect F, the first entrance point to F j, where j is as in Corollary 3.8. Now we define a map ϕ : Ω Ā SD, ϕ(u, w) = (z, ζ), where z is the Ā-cross-section point on the geodesic γ from u to w and ζ is the unit tangent vector to γ at z. This map is clearly injective. Composed with the canonical projection π : SD SM from (.), we obtain a map (4.) π ϕ : Ω Ā SM. The set C Ā := π ϕ(ω Ā ) can be described as follows: π(z, ζ) C Ā if the geodesic γ in D through (z, ζ) is Ā-reduced or if U jγ is Ā-reduced for j A determined in Corollary 3.6. It follows from Corollary 3.6 that the map π ϕ is injective and continuous, and hence C Ā is parametrized by Ω Ā. Since Ω Ā is an attractor for F Ā, C Ā is a cross-section for the geodesic flow {ϕ t }; we call C Ā an arithmetic cross-section. The geometric cross-section C G can be described in similar terms. We define a (clearly injective) map ψ : Ω G SD, ϕ(u, w) = (z, ζ),

18 8 ADAM ABRAMS AND SVETLANA KATOK where z is the entrance point on the geodesic γ from u to w to F, and ζ is the unit tangent vector to γ at z. Then π ψ : Ω G SM is injective, and C G := π ψ(ω G ) consists of all π(z, ζ) for which z F and ζ points inward. A priori, we only know that C Ā C G ; the first return to C G is not necessarily the first return to C Ā. If Γ = P SL(, Z), a geodesic can return to the geometric cross-section multiple times before reaching the arithmetic one [], but here the situation is simpler. Corollary 4.. C Ā = C G. Proof. Since π ϕ, π ψ, and Φ are bijections and Φ acts by elements of Γ, the diagram (4.) Ω G Φ π ψ C G Id Ω Ā π ϕ commutes. Indeed, let γ = uw with (u, w) Ω G. If γ is Ā-reduced, then Φ = Id, ϕ = ψ, and we are done. If not, then for j A determined in Corollary 3.6, γ := U j γ is Ā-reduced. In this case Φ = U j, and again we have ϕ Φ = ψ. Corollary 4.. Given any tangent vector in the geometric cross-section C G, its first return to C G is also its first return to the arithmetic cross-section C Ā. Proof. This is essentially equivalent to Theorem 3.0 via Corollary 4.. Combining commutative diagrams (3.7) and (4.), we obtain a diagram C Ā (π ψ) F G π ψ C G Ω G Ω G C G Id Φ Φ Id. C Ā Ω Ā Ω Ā C Ā (π ϕ) F Ā The composition of the maps in the upper and lower rows are the first return maps to C G and C Ā, respectively. The result follows from commutativity of the diagram. Figure 8 depicts the first return to the cross-section C Ā. Here γ is Ā-reduced but does not intersect F, while γ := Φ γ = U γ intersects F but is not Ā-reduced. The unit tangent vector at the point of entrance of γ to F belongs to both C Ā and π ϕ

19 The composition of the maps in the upper and lower rows are the first return maps to C G and C Ā, respectively. The result follows from the commutativity of the diagram. Figure 8 depicts the first return to the cross-section C. Here Ā is Ā-reduced but does not intersect F, while 0 := ADLER = AND UFLATTO intersects REVISITED F but is not Ā-reduced. The unit 9 tangent vector at the point of entrance of 0 to F belongs to both C and C Ā G. Its first return to C Ā is the unit tangent vector at the point of entrance of FĀ to F, and its first return to C G is the unit tangent vector at the point of entrance of F G 0 to F. Since F G 0 = F Ā, the first returns coincide. C G. Its first return to C Ā is the unit tangent vector at the point of entrance of F Ā γ to F, and its first return to C G is the unit tangent vector at the point of entrance of F G γ to F. Since F G γ = F Ā γ, the first returns coincide. A 8 A 7 A A 6 A 0 3 A 5 4 F G 0 = F Ā 0 A 9 5 A 4 A 7 A 3 A A Figure 8. The first return map to the cross-section C Ā. Figure 8. The first return map to the cross-section C Ā. 5. Symbolic coding of geodesics In this section we describe how to code geodesics for a partition Ā for which FĀ possesses an attractor Ω Ā with finite rectangular structure. A large class of examples was given in [3, Theorems.3 and.]. A reduction algorithm described there for (almost) every geodesic γ from u to w in D produces in finitely many steps an Ā-reduced geodesic Γ-equivalent to γ, and an application of this algorithm to an Ā-reduced geodesic produces another Ā-reduced geodesic. We associate to any w 0 S a sequence of symbols from the alphabet A (5.) [w 0 ] Ā = [n 0, n, n,... ], where n k = σ(i) if f k(w Ā 0) [A i, A i+ ) for k 0. We call this the (forward) Ā- expansion of w 0. If γ = u 0 w 0 is an Ā-reduced geodesic, we also call this sequence the future of γ.

20 0 ADAM ABRAMS AND SVETLANA KATOK By successive application of the map F Ā, we obtain a sequence of pairs (u k, w k ) = F k(u Ā 0, w 0 ), k 0, such that each geodesic γ k from u k to w k is Ā-reduced and (5.) [w k ] Ā = [n k, n k+,... ]. Using the bijectivity of the map F Ā, we extend the sequence (5.) to the past to obtain a bi-infinite sequence (5.3) [γ] Ā = [..., n, n, n 0, n, n,... ], n i A, called the arithmetic coding sequence or arithmetic code of γ (or the coding sequence or code when the context is clear) as follows: from the bijectivity of the map F Ā on Ω Ā, there exists a pair (u, w ) Ω Ā such that F Ā (u, w ) = (u 0, w 0 ), i.e., f Ā w = w 0. Then w [A i, A i+ ) for some i A, and for n = σ(i) we have [w ] Ā = [n, n 0, n,... ]. Continuing inductively, we define the sequence n k A and the pairs (u k, w k ) Ω Ā (k ), where [w k ] Ā = [n k, n k+, n k+,... ], by F Ā (u k, w k ) = (u (k ), w (k ) ). We call the sequence (5.4) [n, n,..., n k... ] the past of γ. Notice that the future of γ depends only on w 0 while, in general, the past of γ depends on both, w 0 and u 0. In some rare cases the past only depends on u 0, and, in fact, the sequence (5.4) is an expansion of u 0 with respect to a different (dual) partition. This is a motivation for study dual codes in Section 9. We also associate to γ = γ 0 a bi-infinite sequence {γ k = u k w k } k Z of Ā-reduced geodesics Γ-equivalent to γ. The left shift of the this sequence corresponds to an application of the map F Ā to the corresponding geodesic: F Ā γ k = γ k+. Combining results of Sections 3 and 4, we obtain the following result: Proposition 5.. Let γ be an Ā-reduced geodesic on D and γ its projection to M. Then () each geodesic segment of γ between successive returns to the cross-section C Ā produces an Ā-reduced geodesic on D, and each reduced geodesic Γ-equivalent to γ is obtained this way; () the first return of γ to the cross-section C Ā corresponds to a left shift of the coding sequence of γ. Additionally, () and () hold for the case Ā = P. Proof. Let γ be an Ā-reduced geodesic on D. Then its projection γ to M can be represented as a (countable) sequence of geodesic segments in F. By Corollary 3.6, each such segment either extends to an Ā-reduced geodesic on D or its image under

21 ADLER AND FLATTO REVISITED U j is Ā-reduced (j is specified in Corollary 3.6). If γ is an Ā-reduced geodesic Γ- equivalent to γ, then both project to the same geodesic in M. By Corollary 3.8, either γ intersects F or its image under U j intersects F (j is specified in Corollary 3.8). In either case the intersection of the corresponding geodesic on D with F is another segment of the same geodesic in F. This completes the proof of (). Since F Ā γ = γ, f Ā w = [n, n,... ], the first digit of the past of γ is n 0, and the remaining digits are the same as in the past of γ. Now () follows from Corollary 4.. Since Corollaries 3.6 and 3.8 are true for Ā = P, the arguments in this proof hold for Ā = P as well. The following corollary is immediate. Corollary 5.. If γ is Γ-equivalent to γ, and both geodesics can be reduced in finitely many steps, then the coding sequences of γ and γ differ by a shift. Thus we can talk about coding sequences of geodesics on M. To any geodesic γ that can be reduced in finitely many steps we associate the coding sequence (5.3) of a reduced geodesic Γ-equivalent to it. Corollary 5. implies that this definition does not depend on the choice of a particular representative. An admissible sequence s A Z is one obtained by the coding procedure (5.3) from some reduced geodesic uw with (u, w) Ω Ā. Given an admissible sequence, then, we can associate to it the vector v C Ā such that v = π φ(u, w), where π ϕ : Ω Ā C Ā is defined in (4.). We denote this vector v by Cod(s). The map Cod is essentially bijective (finite-to one: see Example 4 in Section 6). By Proposition 5.3 below, Cod is uniformly continuous on the set of admissible coding sequences, and thus we can extend it to the closure X Ā A Z of all admissible sequences. The symbolic system (X Ā, σ) (A Z, σ) is defined on the alphabet A = {,,..., 8g 4}. The product topology on A Z is induced by the distance function d(s, s ) = m, where m = max{ k : s i = s i for i k }. Proposition 5.3. The map Cod is uniformly continuous. Proof. Let s and s be two admissible coding sequences obtained from reduced geodesics uw and u w, respectively. If d(s, s ) <, then the Ā-expansions of the m attracting end points w and w of the corresponding geodesics given by (5.) have the same first m symbols in their (forward) Ā-expansions, and the same is true for any y [w, w ], hence f k(y) = y Ā k [A σ(nk ), A σ(nk )+) for 0 k m, and y = T n0 T n T nm (y m ). Since [A i, A i+ ) (P i, Q i+ ), any point y [A i, A i+ ) is inside the isometric circle for T i, and thus T i (y) > µ i > for some µ i >. Using this for i = σ(n 0 ), σ(n ),..., σ(n m ) and the Chain Rule, we conclude that the derivative of the composite function f m+ (y) = T Ā σ(nm) T σ(n )T σ(n0 )(y)

22 ADAM ABRAMS AND SVETLANA KATOK is > µ m+, and hence the derivative of the inverse function is < λ m+ for some λ <. distance l(w, w ) = ( f (m+) Ā for some c [w, w ]. Since (f (m+) f (m+) Ā (y m ) = T n0 T n T nm (y m ) Then, by the Mean Value Theorem, the arc length ) (c) (m+) l(f w, f (m+) w ) Ā Ā ) (c) < λ m+ and the arclength distance between Ā any two points is at most π, we have that l(w, w ) πλ m+. Now we choose m large enough so that w and w are so close that for any x [u, u ] (x, y) Ω Ā (here we use the rectangular structure of Ω Ā and are avoiding the corners). We recall that we used bijectivity of F Ā to define the sequence of pairs (x i, y i ) Ω Ā to the past, i m. Since the first m symbols with negative indices in the coding sequences s and s are the same, for any y [w, w ] we have y i [A σ(n i ), A σ(n i +)) and hence and at the same time we have f m Ā (y m) = T σ(n )T σ(n ) T σ(n m )(y m ) = y, T σ(n )T σ(n ) T σ(n m )(x m ) = x for x [u, u ]. But T σ(n i ) were determined by the second coordinate y i, and since (x i, y i ) Ω Ā, and y i is inside the isometric circle for T σ(n i ), x i is outside that isometric circle, so the derivative of the composite function T σ(n )T σ(n ) T σ(n m )(x m ) is < λ m. Therefore l(u, u ) = l ( T σ(n )T σ(n ) T σ(n m )(u m ), T σ(n ) T σ(n k )(u m) ) πλ m for some λ <. Therefore the geodesics are uniformly πλ m -close. But the tangent vectors v = Cod(s) and v = Cod(s ) in C Ā are determined by the first intersection of the corresponding geodesic with the boundary of F or F j for a particular j determined in Corollary 3.6. Hence, by making m large enough we can make v as close to v as we wish. Thus we proved that the map Cod is uniformly continuous on the set of admissible coding sequences and therefore extends to the closure X Ā as a uniformly continuous map. In conclusion, the geodesic flow becomes a special flow over a symbolic dynamical system (X Ā, σ) on the finite alphabet A. The ceiling function g Ā (s) on X Ā is the time of the first return to the cross-section C Ā of the geodesic associated to s.

23 ADLER AND FLATTO REVISITED T F T 6F 6 T F T 8F 8 3 T3F 4 0 F 40 T 4F 4 0T 0F T 9F T F 7 T 7F T F 5 T5F (a) (b) Figure 9. (a) The outside labels in bold, corresponding to T k = T σ(k). (b) These are the inside numbers for images of F. 6. Examples of coding Note that when a geodesic segment exits F through side i it is σ(i) that is used in the geometric code, as described in the Introduction. Similarly, if the endpoint of a geodesic lies in [A i, A i+ ), it is σ(i) that is used in the arithmetic code, as described in Section 5. We could call i the inside numbering of the sides of F (this is the numbering used in the Introduction), while σ(i) is the outside numbering, as shown in Figure 9. See [9, Introduction] for more detail on geometric codes and numbering conventions. As described in [0, Section ], an axis of a transformation in Γ (that is, a geodesic whose beginning and end points are the repelling and attracting fixed points of the transformation) becomes a closed geodesic in Γ\D and has a periodic geometric code. For both arithmetic and geometric codes, we denote repeating codes by only showing the repetend, that is, [n 0,..., n k ] means [..., n k, n 0, n, n,..., n k, n 0,...].. Example : codes agree. Let γ 0 be the axis of T T 8 T 5. Then and γ 3 = γ 0. Thus the arithmetic code is γ = T γ 0 because w 0 [A, A ) γ = T 6 T γ 0 because w [A 6, A 7 ) γ 3 = T 3 T 6 T γ 0 because w [A 3, A 4 ) [γ] Ā = [σ(), σ(6), σ(3)] = [, 8, 5].

24 4 ADAM ABRAMS AND SVETLANA KATOK SVETLANA KATOK AND ADAM J. ZYDNEY A 8 A 7 A 8 A 7 A A 6 A 9 6 T 8 A 6 A A 5 A = A 5 A 9 3 = 0 5 A 4 A 9 5 A 4 A 7 A 3 A 7 3 A 3 A A (a) A A (b) A 8 A 7 A 8 A 7 A A 6 A A 6 A = 3 0 A 5 A A 5 A 9 5 A 4 A 9 5 A 4 A 7 A 3 A 7 A 3 A A (c) A A (d) A 8 A 7 A 8 A 7 A A 6 A A 6 A 0 3 A 5 A 0 3 A 5 A 4 9 A 3 = A 3 A 4 A 4 9 A A 3 A 4 A A (e) A A Figure 0. (a) Example. (b) Example. (c-d) Example 3. (e-f) Example 4. Figure 0. (a) Example. (b) Example. (c-d) Ex. 3. (e-f) Ex. 4. (f)

25 ADLER AND FLATTO REVISITED 5 The geometric code for this example is the same because for each geodesic γ k the index i for which w k [A i, A i+ ) is the same i as the side through which γ k exits F; see Figure 0(a).. Example : codes disagree. Let γ 0 be the axis of T 5 T 4 T 7 T 6. Then γ = T 3 γ 0 because w 0 [A 3, A 4 ) γ = T 0 T 3 γ 0 because w [A 0, A ) γ 3 = T T 0 T 3 γ 0 because w [A, A ) γ 4 = T T T 0 T 3 γ 0 because w 3 [A, A ) and γ 4 = γ 0. The arithmetic code is thus [γ] Ā = [σ(3), σ(0), σ(), σ()] = [4, 5,, 7]. To find the geometric code of γ, we look at the sides through which segments exit F. γ 0 exits through side 3 ( inside numbering), so T 3 γ = γ is the next segment. Then γ exits through side 0 and T 0 T 3 γ = γ is the next segment. At this point, we see that γ exits F through side, so the geometrically next segment is T T 0 T 3 γ = T γ (this is not γ 3 ). The geodesic T γ is shown as a dashed curve at the top of Figure 0(b). It exits F through side 8, and then T 6 (T γ ) = γ 0, so the geometric code for this example is [γ] G = [σ(3), σ(0), σ(), σ(8)] = [5, 4, 7, 6]. The geometric code [5, 4, 7, 6] differs from the arithmetic code [4, 5,, 7] for this example precisely because γ exits through side = σ(7) but ends at w [A, A ), not in the interval [A, A ). Note that γ 3 intersects the corner image F and that T γ is exactly U γ Example 3: multiple geometric codes. The axis of U 0 goes from M 4 to M 0 and passes directly through the vertex V 0 as it exits F. By convention, each vertex V i is considered to be part of side i. Using this convention, the geometric code of γ should start with σ(0) = 4 (see Figure 0(c), in which side 0 is shown with a thick black arc). Then γ = T 0 γ 0 is seen to pass through vertex V 5, so we code with σ(5) = 3 (side 5 also has a thick black arc in Figure 0(c)). The next geodesic is γ = T 5 γ = T 5 T 0 γ 0 = U 4 γ 0, which is exactly γ 0 because U 4 fixes M 4 and M 0 by Lemma 7.3. The conventional geometric code of γ is therefore [4, 3]. Now consider a geodesic γ very close to γ = M 4 M 0 that exits F through side 9 instead of side 0, see Figure 0(d). Its geometric code starts with σ(9) =, and then γ = T 9 γ will exit through side 0, so the code continues with σ(0) = 4. The geodesic γ = T 0 T 9 γ will be somewhat close to γ, but later iterates γ k will eventually stop exiting through side 9. However, taking γ sufficiently close to γ will

26 6 ADAM ABRAMS AND SVETLANA KATOK give geodesics whose forward geometric codes begin with arbitrarily many repetitions of and 4. For example, there might be a geodesic with code [..., 5, 7,, 4,, 4,, 4,, 4, 8, 3,,...]. The repeating code [, 4] will not be the admissible geometric code of this geodesic (or in fact any geodesic), but it is in the closure of the space of admissible geometric codes. Note that the transformation T T 4 is exactly equal to T 4 T 3 by (3.), as both represent U 0. The codes [4, 3] and [, 4] both code the geodesic M 4 M 0. Using one of [4, 3] or [, 4] in the future and the other in the past gives two non-periodic codes as well. 4. Example 4: multiple arithmetic codes. The repelling and attracting fixed points of T 4 T 5 T (z) are, respectively, e.078 i and e.8633 i. The repelling point w 0 is in (P, Q ), and for our particular choice of Ā in these examples it is exactly A. In Figure 0(e), the interval [A, A ) is shown with a thick black arc. Using the convention that T i be applied to A i, we have γ = T γ 0 because w 0 [A, A ) γ = T 0 T γ 0 because w [A 0, A ) γ 3 = T T 0 T γ 0 because w [A, A ) and γ 3 = γ 0. The arithmetic code is thus [γ] Ā = [σ(), σ(0), σ()] = [9, 4, ]. Now consider a geodesic γ very close to γ but with attracting endpoint slightly clockwise of A, see Figure 0(f). Let us denote the sequence of its iterates under F Ā by γ, γ, etc. γ = T 0 γ 0 because w 0 [A 0, A ) γ = T 3 T 0 γ 0 because w [A 3, A 4 ) γ 3 = T T 3 T 0 γ 0 because w [A, A ) The geodesic γ 3 will be somewhat close to γ, but later iterates γ 3k will eventually not end in [A 0, A ). However, taking γ sufficiently close to γ will give geodesics whose forward arithmetic codes have arbitrarily many repetitions of [σ(0), σ(3), σ()] = [4, 5, ]. The repeating code [4, 5, ] will not be the admissible arithmetic code of this geodesic (or in fact any geodesic), but it is in the closure X Ā of the space of admissible arithmetic codes. The codes [9, 4, ] and [4, 5, ] both code the geodesic γ. Using one of [9, 4, ] or [4, 5, ] in the future and the other in the past gives two non-periodic codes as well.

27 ADLER AND FLATTO REVISITED 7 It is worth noting that the transformations T 4 T 5 T and T 9 T 4 T are identical: restating (.5) as T ρ(i) T i = (T ρ (i)) (T ρ 3 (i)) = T σρ (i)t σρ 3 (i), we have that (T 4 T 5 )T = (T ρ(5) T 5 )T = (T σρ (5)T σρ 3 (5))T = (T σ() T σ(0) )T = (T 9 T 4 )T. 7. Parameters admitting Markov/sofic partitions Adler and Flatto [4] show that the symbolic system associated to the map we call F P : Ω P Ω P is sofic with respect to the alphabet A = {,,..., 8g 4}. This is not always possible for F Ā : Ω Ā Ω Ā, but there are several examples of Ā for which the shift is sofic. In this section and the next, we first give a sufficient condition for sofic shifts to occur, and then we give some examples. As described in [4, Appendix C], sofic systems are obtained from Markov ones by amalgamation of the alphabet. Conversely, Markov is obtained from sofic by refinement of the alphabet, which in this case is realized by splitting each symbol i A into three symbols i, i, i 3. A partition of Ω Ā whose shift is Markov with respect to the extended alphabet { i k : i A, k =,, 3 } will be sofic with respect to the alphabet A. Remark 7.. The value U i A i is a cycle end (see [3, Sec. 3]) because T k B k = T k T σ(k ) A σ(k ) = U σ(k ) A σ(k ). Proposition 7.. Let Ā have the short cycle property. A Markov partition (with respect to the extended alphabet) exists for F Ā : Ω Ā Ω Ā if for all i Ā there exists a j Ā such that Ui A i {A j, B j, C j }. Proof. Following the notion of the fine partition in [4], we split each strip of Ω Ā with w [A i, A i+ ) into three rectangles R i, R i, and R i3. Assuming that C i (A i, B i ], define R i := [Q i+, P i ] [A i, C i ] R i := [Q i+, P i ] [C i, B i ] R i3 := [Q i+, P i ] [B i, A i+ ] (if B i (A i, C i ) instead, the process is very similar except that [A i, A i+ ] is partitioned into [A i, B i ], [B i, C i ], and [C i, A i+ ]). The left side of Figure shows the partition { R ik : i A, k =,, 3 } when each A i is the midpoint of [P i, Q i ]. Note that each R i is extremely thin. In accordance with [, Theorem 7.9], it is sufficient to prove that for any pair of distinct symbols i k and j l, the rectangles F Ā (R ik ) and R jl are either disjoint (that is, their interiors are disjoint) or intersect transversally, i.e., their intersection is a rectangle with two horizontal sides belonging to the horizontal boundary of R jl

28 8 ADAM ABRAMS AND SVETLANA KATOK and two vertical sides belonging to the vertical boundary of F Ā (R ik ). The images F Ā (R ik ) are F Ā (R i ) = [T i Q i+, T i P i ] [T i A i, T i C i ] = [P σ(i), P σ(i)+ ] [B σ(i)+, U τ(σ(i)) A τ(σ(i))] F Ā (R i ) = [T i Q i+, T i P i ] [T i C i, T i B i ] = [Q σ(i), P σ(i)+ ] [U τ(σ(i)) A τ(σ(i)), U τ(σ(i))+ A τ(σ(i))+] F Ā (R i3 ) = [T i Q i+, T i P i ] [T i B i, T i M i+ ] = [Q σ(i), Q σ(i)+ ] [U τ(σ(i))+ A τ(σ(i))+, C σ(i) ]. From this, it can be seen that F Ā (R ik ) R jl, if it is non-empty, will be a rectangle with vertical sides from P Q as required since the rectangles R i, R i, R i3 also use P Q for the values of their vertical sides. Let m = τ(σ(i)). The horizontal sides may be B σ(i)+ or C σ(i) or may be one of the values Um A m or Um+A m+, which in general are not values of the horizontal sides of the original partition elements. Thus the partition { R ik : i A, k =,, 3 } is Markov exactly when the values Um A m and Um+A m+ are already horizontal sides of R i, R i, R i3. This happens exactly when Um A m and Um+A m+ are equal to some A j, B j, or C j. F M Figure. Markov partition of Ω M for genus g =. The most notable example of a partition Ā satisfying the condition of Proposition 7. is the midpoint setup, in which each A i is exactly halfway between P i and Q i. We label these midpoints M i and write F M for this specific case of F Ā. Note that each M i does have the short cycle property, so all the previous results on short cycles hold for Ā = M.