arxiv: v2 [math.ds] 3 May 2016

Transcription

1 Cuttng sequences on Bouw-Möller surfaces: an S-adc characterzaton Dana Davs, Irene Pasqunell and Cornna Ulcgra arxv: v2 [math.ds] 3 May 206 Abstract. We consder a symbolc codng for geodescs on the famly of Veech surfaces (translaton surfaces rch wth affne symmetres) recently dscovered by Bouw and Möller. These surfaces, as notced by Hooper, can be realzed by cuttng and pastng a collecton of sem-regular polygons. We characterze the set of symbolc sequences (cuttng sequences) that arse by codng lnear trajectores by the sequence of polygon sdes crossed. We provde a full characterzaton for the closure of the set of cuttng sequences, n the sprt of the classcal characterzaton of Sturman sequences and the recent characterzaton of Smlle-Ulcgra of cuttng sequences of lnear trajectores on regular polygons. The characterzaton s n terms of a system of fntely many substtutons (also known as an S-adc presentaton), governed by a one-dmensonal contnued fracton-lke map. As n the Sturman and regular polygon case, the characterzaton s based on renormalzaton and the defnton of a sutable combnatoral dervaton operator. One of the noveltes s that dervaton s done n two steps, wthout drectly usng Veech group elements, but by explotng an affne dffeomorphsm that maps a Bouw- Möller surface to the dual Bouw-Möller surface n the same Techmüller dsk. As a techncal tool, we crucally explot the presentaton of Bouw-Möller surfaces va Hooper dagrams. Contents. Introducton 2.. Sturman squences 2.2. Regular polygons.3. Our results on Bouw-Möller surfaces 6.. Structure and outlne of the paper 9.5. Acknowledgements 0 2. Background Translaton surfaces and lnear trajectores Affne deformatons and affne dffeomorphsms 2.3. The Veech group and Veech surfaces 2.. Known examples of Veech surfaces 2.5. Bouw-Möller surfaces: sem-regular polygonal presentaton The Veech group of Bouw-Möller surfaces 3. Bouw-Möller surfaces va Hooper dagrams From S 3, to a Hooper dagram: an example From S m,n to Hooper dagrams: the general case Defnton of Hooper dagrams and augmented dagrams From Hooper dagrams to Bouw-Möller surfaces: combnatorcs 3.5. From Hooper dagrams to Bouw-Möller surfaces: wdths of cylnders 20. Affne equvalence of S m,n and S n,m 20.. The dual orthogonal decomposton 2.2. Cut and paste and rescalng between orthogonal presentatons Flp and shears Stars and hats Stars and hats correspondence 25

2 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES Degenerate hat confguratons Dual surfaces 2 6. Transton and dervaton dagrams Edge labelng Labelng the Hooper dagram Transton dagrams: defntons and examples Admssblty of sequences Dervaton dagrams The structure theorem for dervaton dagrams Normalzaton Transton dagrams for other sectors 39. Dervaton 0.. A motvatonal example: dervaton for S,3 geometrcally 0.2. Dervaton operator for general m, n 3.3. Normalzaton 5.. Cuttng sequences are nfntely dervable 5.5. Sequences of admssble sectors 6.6. Sequences fxed by renormalzaton 6 8. The Bouw-Möller Farey maps Projectve transformatons and projectve coordnates The projectve acton Fm n of Ψ n m Itnerares and sectors Drecton recognton Characterzaton of cuttng sequences Generaton as an nverse to dervaton Characterzaton va generaton operators An S-adc characterzaton va substtutons From generatons to substtutons 60 Appendx A. Renormalzaton on the Techmüller dsk 6 A.. The Techmüller dsk of a translaton surface 6 A.2. Veech group acton on a tessellaton of the Techmüller dsk of a Bouw-Möller surface 66 A.3. Renormalzaton on the Techmüller dsk. 0 References 3. Introducton In ths paper we gve a complete characterzaton of a class of symbolc sequences that generalze the famous class of Sturman sequences, and arse geometrcally by codng b-nfnte lnear trajectores on Bouw-Möller surfaces. In order to ntroduce the problem and motvate the reader, we start ths ntroducton by recallng n. the geometrc constructon of Sturman sequences n terms of codng lnear trajectores n a square, and then ther characterzaton both as descrbed by Seres usng dervaton, and by a system of substtutons (an S adc presentaton). We then recall n.2 how ths type of descrpton was recently generalzed by several authors to the sequences codng lnear trajectores n regular polygons. Fnally, n.3 we explan why Bouw-Möller sequences are the next natural example to consder to extend these symbolc characterzatons, and state a smple case of our man result... Sturman squences. Sturman sequences are an mportant class of sequences n two symbols that often appear n mathematcs, computer scence and real lfe. They were consdered by Chrstoffel [0] and Smth [33] n the 80 s, by Morse and Hedlund [25] n 90 and by many authors snce

3 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 3 then (see [] for a contemporary account and [22] for a hstorcal survey). Sturman sequences are nterestng because of ther geometrc orgn, and are also of nterest because they gve the smplest non-perodc nfnte sequences (see []), havng the lowest possble complexty. They admt the followng geometrc nterpretaton: Consder an rratonal lne,.e. a lne n the plane n a drecton θ such that tan θ s rratonal, n a square grd (Fgure ). As we move along the lne, let us record wth a 0 each tme we ht a horzontal sde and wth a each tme we ht a vertcal sde. We get n ths way a b-nfnte sequence of 0s and s whch, up to choosng an orgn arbtrarly, we can thnk of as an element n {0, } Z. The sequences obtaned n ths way as the lne vary among all possble rratonal lnes are exactly all Sturman sequences. (For further readng, see the beautful expostory paper by Seres [28], and also the ntroducton of [32].) Equvalently, by lookng at a fundamental doman of the perodc grd, we can consder a square wth opposte sdes dentfed by translatons. We defne a lnear trajectory n drecton θ to be a path that starts n the nteror of the square and moves wth constant velocty vector makng an angle θ wth the horzontal, untl t hts the boundary, at whch tme t re-enters the square at the correspondng pont on the opposte sde and contnues travelng wth the same velocty. For an example of a trajectory see Fgure. We wll restrct ourselves to trajectores that do not ht vertces of the square. As n Fgure, let us label by 0 and respectvely ts horzontal and vertcal sdes. 2 The cuttng sequence c(τ) assocated to the lnear trajectory τ s the b-nfnte word n the symbols (edge labels, here 0 and ) of the alphabet L, whch s obtaned by readng off the labels of the pars of dentfed sdes crossed by the trajectory τ as tme ncreases. Let us explan now how to characterze Sturman sequences. One can assume wthout loss of generalty (see [32] for detals) that 0 θ π/2. If 0 θ π/, as n Fgure, the cuttng sequence does not contan the subword 00, and f π/ θ π/2, t does not contan the subword. Let us say that a word w {0, } Z s admssble f ether t does not contan any subword 00, so that 0s separate blocks of s (n whch case we say t t admssble of type ) or t does not contan any subword and s separate blocks of 0s (n whch case we say t t admssble of type 0). Fgure. A trajectory wth θ < π/ and rratonal slope on the square torus Gven an admssble word w, denote by w the derved sequence 3 obtaned by erasng one (respectvely one 0) from each block of consecutve s (respectvely 0 s) f w s admssble of type (respectvely 0). Example.. A w and ts derved sequence w : w = w = For each n let P (n) be the number of possble strngs of length n. For Sturman sequences, P (n) = n +. 2 Snce squares (or, more generally, parallelograms) tle the plane by translaton, the cuttng sequence of a trajectory n a square (parallelogram) s the same than the cuttng sequence of a straght lne n R 2 wth respect to a square (or affne) grd. 3 In ths secton, we are usng the termnology from Seres [28].

4 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES We say (followng Seres [28]) that a word s nfntely dervable f t s admssble and each of ts derved sequences s admssble. It turns out that cuttng sequences of lnear trajectores on the square are nfntely dervable (see Seres [28] or also the ntroducton of [32]). Moreover, the converse s almost true; the exceptons,.e. words n {0, } Z whch are nfntely dervable and are not cuttng sequences such as w = , can be explctly descrbed. The space of words has a natural topology that makes t a compact space (we refer e.g. to [2]). The word w s not a cuttng sequence, but t has the property that any fnte subword can be realzed by a fnte trajectory. Ths s equvalent to sayng that t s n the closure of the space of cuttng sequences. In fact, the closure of the space of cuttng sequences s precsely the set of nfntely dervable sequences. An alternatve related characterzaton of Sturman sequences can also be gven n terms of substtutons. The defnton of substtuton s recalled n 9.3 (see Defnton 9.9). Let σ 0 be the substtuton gven by σ 0 (0) = 0 and σ 0 () = 0 and let σ be the substtuton gven by σ (0) = 0 and σ () =. Then, words n Sturman sequences can be obtaned by startng from a symbol (0 or ) and applyng all possble combnatons of the substtutons σ 0 and σ. More precsely, gven a Sturman word w correspondng to a cuttng sequence n a drecton 0 < θ < π/, there exsts a sequence (a ) N wth nteger entres a N such that () w k N σ a 0 0 σa σa 2 0 σa 3 σa 2k 0 σ a 2k+ {0, } Z. If π/ < θ < π/2, the same type of formula holds, but startng wth σ nstead of σ 0. Furthermore, w s n the closure of the set of cuttng sequence n {0, } Z f and only f there exsts (a ) N wth nteger entres a N such that () holds, thus ths gves an alternatve characterzaton va substtutons. Ths type of characterzaton s known as an S-adc presentaton. We refer to [] for a nce exposton on S-adc systems, whch are a generalzaton of substtutve systems (see also [5] and [2]). Whle n a substtutve system one consders sequences obtaned as a fxed pont of a gven substtuton and the closure of ts shfts, the sequences studed n an S-adc system, are obtaned by applyng products of permutatons from a fnte set, for example from the set S = {σ 0, σ } n (). Equvalently, we can wrte () n the form of a lmt whch s known as S-adc expanson (see for example (20) after Theorem 9. n 9.3, or more n general []). The term S adc was ntroduced by Ferencz n [5], and s meant to remnd of Vershk adc systems [35] (whch have the same nverse lmt structure) where S stands for substtuton. The sequence of substtutons n an S-adc system s often governed by a dynamcal system, whch n the Sturman case s a one-dmensonal map,.e. the Farey (or Gauss) map (see Arnoux s chapter [] and also the dscusson n 2. n [2]). Indeed, the sequence (a ) N n () s exactly the sequence of contnued fracton entres of the slope of the coded trajectory and hence can be obtaned as symbolc codng of the Farey (or Gauss) map (see for example the ntroducton of [3], or []). There s also a classcal and beautful connecton wth the geodesc flow on the modular surface (see for example the papers [28], [29], [30] by Seres). For more on Sturman sequences, we also refer the reader to the excellent survey paper [] by Arnoux..2. Regular polygons. A natural geometrc generalzaton of the above Sturman characterzaton s the queston of characterzng cuttng sequences of lnear trajectores n regular polygons (and on the assocated surfaces). Let O n be a regular n-gon. When n s even, edges come n pars of opposte parallel sdes, so we can dentfy opposte parallel sdes by translatons. When n s odd, no sdes are parallel, but we can take two copes of O n and glue parallel sdes n the two copes (ths constructon can also be done for n even). Lnear trajectores n a regular polygon are defned as for the square. We wll restrct our attenton to b-nfnte trajectores that never ht the vertces of the polygons. If one labels pars of dentfed edges wth edge labels n the alphabet L n = {0,,..., n }, for example from the alphabet L := {0,, 2, 3} when n = 8 (see Fgure 2), one can assocate as above to each b-nfnte lnear trajectory τ ts cuttng sequence c(τ), whch s a sequence n L Z n. For example, a trajectory that contans the segment n Fgure 2 wll contan the word 023. In the case of the square, dentfyng opposte sdes by translatons yelds a torus or surface of genus. When n, one obtans n ths way a surface of hgher genus. We call all the surfaces thus obtaned (takng one or two copes of a regular polygon) regular polygonal surfaces. Regular polygonal surfaces

5 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES Fgure 2. A trajectory on the regular octagon surface, and the correspondng transton dagram for θ [0, π/8) nhert from the plane an Eucldean metrc (apart from fntely many ponts comng from vertces), wth respect to whch lnear trajectores are geodescs. The full characterzaton of cuttng sequences for the octagon, and more n general for regular polygon surfaces comng from the 2n-gons, was recently obtaned by Smlle and the thrd author n the paper [32]; see also [3]. Shortly after the frst author, Fuchs and Tabachnkov descrbed n [2] the set of perodc cuttng sequences n the regular pentagon, the frst author showed n [3] that the technques n Smlle and Ulcgra s work [32] can be appled also to regular polygon surfaces wth n odd. We now recall the characterzaton of cuttng sequences for the regular octagon surface n [32], snce t provdes a model for our man result. One can frst descrbe the set of pars of consecutve edge labels, called transtons, that can occur n a cuttng sequence. By symmetry, one can consder only cuttng sequences of trajectores n a drecton θ [0, π) and up to permutatons of the labels, one can further assume that θ [0, π/8). One can check that the transtons that are possble n ths sector of drectons are only the ones recorded n the graph n Fgure 2. Graphs of the same form wth permuted edge labels descrbe transtons n the other sectors of the form [π/8, π( + )/8) for =,...,. We say that a sequence w L Z s admssble or more precsely admssble n sector f t contans only the transtons allowed for the sector [π/8, π( + )/8). One can then defne a dervaton rule, whch turns out to be dfferent than Seres rule for Sturman sequences, but s partcularly elegant. We say that an edge label s sandwched f t s preceded and followed by the same edge label. The derved sequence of an admssble sequence s then obtaned by keepng only sandwched edge labels. Example.2. In the followng sequence w sandwched edge labels are wrtten n bold fonts: w = Thus, the derved sequence w of w wll contan the strng w = One can then prove that cuttng sequences of lnear trajectores on the regular octagon surface are nfntely dervable. Contrary to the Sturman case, though, ths condton s only necessary and fals to be suffcent to characterze the closure of the space of cuttng sequences. In [32] an addtonal condton, nfntely coherent (that we do not want to recall here), s defned n order to characterze the closure. It s also shown on the other hand that one can gve an S-adc presentaton of the closure of the octagon cuttng sequences. In [32] the language of substtutons was not used, but t s shown that one can defne some combnatoral operators called generatons (whch are essentally substtutons on pars of labels) and that each sequence n the closure can be obtaned by a sequence of generatons. One can rewrte ths result n terms of substtutons; ths s done for the example n the case of the regular hexagon n [2], thus obtanng a characterzaton that generalzes () and provdes an S adc presentaton, whch for a regular 2n-gon surface conssts of 2n substtutons. The -dmensonal map that governs the substtuton choce s a generalzaton of the Farey map (called the octagon Farey map for 2n = 8 n [32]). A symbolc codng of ths generalzed Farey map appled to the drecton of a trajectory concdes wth the sequence of sectors n whch derved sequences of the trajectory s cuttng sequence are admssble.

6 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 6 Both n the Sturman case and for regular polygon surfaces the proofs of the characterzatons are based on renormalzaton n the followng sense. Veech was the frst to notce n the semnal paper [3] that the square surface and the regular polygon surfaces share some specal property that mght make ther analyss easer. He realzed that all these surfaces are rch wth affne symmetres (or more precsely, of affne dffeomorphsms) and are examples of what are nowadays called Veech surfaces or lattce surfaces, see 2.3 for defntons. It turns out that these affne symmetres can be used to renormalze trajectores and hence produce a characterzaton of cuttng sequences. In the case of the square torus, they key dea behnd a geometrc proof of the above mentoned results on Sturman sequences s the followng: by applyng an affne map of the plane, a lnear trajectory s mapped to a lnear trajectory whose cuttng sequence s the derved sequence of the orgnal trajectory. From ths observaton, one can easly show that cuttng sequences are nfntely dervable. In the case of the regular octagon, Hubert and Schmdt have used affne symmetres n [3] to renormalze drectons and defne a contnued fracton-lke map for the octagon, but could not use ther renormalzaton to descrbe cuttng sequences and left ths as an open queston n [3]. An mportant pont n Smlle and Ulcgra s work [32, 3] s to also use non-orentaton-preservng affne dffeomorphsms, snce ths makes the contnued fracton smpler and allows to use an element whch acts as a flp and shear, whch accounts for the partcularly smple sandwched dervaton rule..3. Our results on Bouw-Möller surfaces. In addton to the regular polygon surfaces, there are other known examples (see 2.) of surfaces whch, beng rch wth affne symmetres, are lattce (or Veech) surfaces (the defnton s gven n 2.3). A full classfcaton of Veech surfaces s an ongong bg open queston n Techmüller dynamcs (see agan 2. for some references). Two new nfnte famles of Veech surfaces were dscovered almost two decades after regular polygonal surfaces, respectvely one by Irene Bouw and Martn Möller [8] and the other by Karane Calta [9] and Curt McMullen [2] ndependently. The famly found by Irene Bouw and Martn Möller was ntally descrbed algebracally (see 2.); later, Pat Hooper presented the constructon of what we here call Bouw-Möller surfaces as created by dentfyng opposte parallel edges of a collecton of sem-regular polygons (see 2. for more detal). We gve a precse descrpton n 2.5. An example s the surface n Fgure 3, obtaned from two sem-regular hexagons and two equlateral trangles by glung by parallel translaton the sdes wth the same edge labels. Surfaces n the Bouw-Möller famly are parametrzed by two ndces m, n, so that the S m,n Bouw-Möller surface s glued from m polygons, the frst and last of whch are regular n-gons, and the rest of whch are sem-regular 2n-gons. The surface n the example s hence known as S,3. Fgure 3. Part of a trajectory on the Bouw-Möller surface S,3 Bouw-Möller surfaces can be thought n some sense as the next smplest classes of (prmtve) Veech surfaces after regular polygon surfaces, and the good next canddate to generalze the queston of characterzng cuttng sequences. Indeed, the Veech group,.e. the group generated by the lnear parts of the affne symmetres (see 2.3 for the defnton) of both regular polygon surfaces and Bouw- Möller surfaces are trangle groups. More precsely, regular n-gon surfaces have (n,, )-trangle groups as Veech groups, whle the Veech groups of Bouw-Möller surfaces are (m, n, )-trangle groups for m and n not both even (when m and n are both even, the Veech group has ndex 2 nsde the (m, n, )-trangle group) []. In [], Davs studed cuttng sequences on Bouw-Möller surfaces and

7 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES analyzed the effect of a flp and shear (as n Smlle-Ulcgra s work [32]) n order to defne a dervaton operator and renormalze trajectores. Unfortunately, wth ths approach t does not seem possble to cover all angles, apart from the surfaces wth m = 2 or m = 3 n whch all polygons are regular. Part of the reason behnd ths dffculty s that the Veech group contans two rotatonal elements, one of order m and one of order n, but they do not act smultaneously on the same polygonal presentaton. In ths paper, we gve a complete characterzaton of the cuttng sequences on Bouw-Möller surfaces, n partcular provdng an S-adc presentaton for them. The key dea behnd our approach s the followng. It turns out that the S m,n and the S n,m Bouw-Möller surfaces are ntertwned n the sense that they can be mapped to each other by an affne dffeomorphsm. Whle the S m,n surface has a rotatonal symmetry of order n, the S n,m surface has a rotatonal symmetry of order m. We wll call S m,n and the S n,m dual Bouw-Möller surfaces. Instead of normalzng usng an affne automorphsm as n the regular polygon case, we renormalze trajectores and defne assocated dervaton operators on cuttng sequences n two steps, explotng the affne dffeomorphsm between the S m,n and the S n,m Bouw-Möller surfaces. In partcular, we map cuttng sequences on the S m,n surface to cuttng sequences on the S n,m Bouw-Möller surface. Ths allows us the freedom n between to apply the n rotatonal symmetry and the m rotatonal symmetry respectvely, and ths allows us to renormalze all cuttng sequences. Note that snce we frequently use the relatonshp between the surfaces S m,n and S n,m, we use the colors red and green to dstngush them throughout the paper, as here and as n Fgure below. We now gve an outlne of the statement of our man result, wth an example n the specal case of the S,3 surface. The general results for S m,n surfaces are stated precsely at the end of our paper, n 6.. Let us label pars of dentfed edges of the S m,n surface wth labels n the alphabet L m,n = {, 2,..., (m )n}. The surface S,3 s for example labeled by L,3 = {, 2,..., 9} as n Fgure 3. The way to place edge labels for S m,n s descrbed n 6.2 and s chosen n a specal way that smplfes the later descrpton. By applyng a symmetry of the surface and exchangng edge labels by permutatons accordngly, we can assume wthout loss of generalty that the drecton of trajectores we study belongs to the sector [0, π/n]. As n the case of the regular octagon, we can frst descrbe the set of transtons (.e. pars of consecutve edge labels) that can occur n a cuttng sequence. For trajectores on S,3 whose drecton belongs to sector [0, π/3], the possble transtons are shown n the graph n Fgure. The structure of transton dagrams Tm,n for trajectores on S m,n whose drecton belong to sector [π/n, π( + )/n] are descrbed n 6.8. We say that a sequence w Lm,n Z s admssble (or more precsely admssble n sector ) f t contans only the transtons represented by arrows n the dagram Tm,n. Fgure. The transton dagram T3, 0 for S 3, and ts dervaton dagram D3, 0, used to defne D 3 We defne a dervaton operator D n m, whch maps admssble sequences n L Z m,n to (admssble) sequences n L Z n,m. The dervaton rule for sequences admssble n sector 0 s descrbed by a labeled dagram as follows. We defne dervaton dagrams D 0 m,n for the basc sector [0, π/n] n whch some of the arrows are labeled by edge labels of the dual surface S n,m. The dervaton dagram for S,3 s shown n Fgure. The derved sequence w = D n mw of a sequence w admssble n dagram 0 s In other words, they belong to the same Techmüller dsk.

8 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 8 obtaned by readng off only the arrow labels of a b-nfnte path whch goes through the vertces of D 0 m,n descrbed by w. Example.3. Consder the trajectory on S,3 n Fgure 3. Its cuttng sequence w contans the word Ths word corresponds to a path on the dervaton dagram D,3 0 n Fgure, whch goes through the edge label vertces. By readng off the labels of the arrows crossed by ths path, we fnd that w = D 3 w contans the word 36. Ths type of dervaton rule s not as concse as for example the keep the sandwched labels rule for regular polygons, but we remark that the general shape of the labeled dagram that gves the dervaton rule s qute smple, consstng of an (m ) n rectangular dagram wth vertex labels and arrows labels snakng around as explaned n detal n 6.5. We say that a sequence w Lm,n Z s dervable f t s admssble and ts derved sequence D n mw Ln,m Z s admssble (n one of the dagrams of the dual surface S n,m ). The dervaton operator s defned n such a way that t admts the followng geometrc nterpretaton: f w s a cuttng sequence of a lnear trajectory on S m,n, the derved sequence D n mw s the cuttng sequence of a lnear trajectory on the dual surface S n,m (see. for ths geometrc nterpretaton). In the specal case m =, n = 3 ths result was proved by the second author n [2] (see also the Acknowledgments), where the dervaton dagram n Fgure was frst computed. In order to get a dervaton from sequences Lm,n Z back to tself, we compose ths dervaton operator wth ts dual operator D m n : we frst normalze the derved sequence,.e. apply a permutaton to the labels to reduce to a sequence admssble n Tm,n. 0 The choce of the permutatons used to map sequences admssble n Tm,n to sequences admssble n Tm,n 0 s explaned n 6.. We can then apply D m n. Ths composton maps cuttng sequences of trajectores on S m,n frst to cuttng sequences of trajectores on S n,m and then back to cuttng sequences on S m,n. We say that a sequence n Lm,n Z s nfntely dervable f by alternatvely applyng normalzaton and the two dual dervaton operators D n m and D m n one always obtans sequences that are admssble (see formally Defnton.0 n.). Wth ths defnton, we then have our frst man result: Theorem.. Cuttng sequences of lnear trajectores on Bouw-Möller surfaces are nfntely dervable. As n the case of regular polygon surfaces, ths s only a necessary and not a suffcent condton to characterze the closure of cuttng sequences. We then defne n 9. generaton combnatoral operators that nvert dervaton (wth the addtonal knowledge of startng and arrval admssblty dagram) as n the work by Smlle-Ulcgra [3, 32]. Usng these operators, one can obtan a characterzaton, whch we then also convert n 9.3 nto a statement usng substtutons. More precsely, we explan how to explctly construct, for every Bouw-Möller surface S m,n, (m )(n ) substtutons σ for (m )(n ) on an alphabet of cardnalty N = N m,n := 3mn 2m n + 2 and an operator T m,n that maps admssble sequences n the alphabet of cardnalty N (see detals n 9.2) to admssble sequences on Tm,n such that: Theorem.5. A sequence w s n the closure of the set of cuttng sequences on the Bouw-Möller surface S m,n f and only f there exsts a sequence (s ) N wth s {,..., (m )(n )} and 0 s 0 2n such that (2) w k N T m,n s 0 σ s σ s2 σ sk {,..., N} Z. Furthermore, when w s a non perodc cuttng sequence the sequence (s ) N can be unquely recovered from the knowledge of w. Theorem.5, whch s proved as Theorem 9. n 9.2, 5 and the relaton wth tnerares mentoned above, whch s proved by Proposton 8.5, provde the desred S adc characterzaton of Bouw-Möller cuttng sequences (recall the dscusson on S adc systems n the paragraph followng equaton () prevously n ths ntroducton). 5 We remark that Theorem 9. the notaton used s slghtly dfferent than the statement above, n partcular the substtutons are labeled by two ndces, j and smlarly the entres s are pars of ndces whch code the two smpler Farey maps, see 9.2 for detals.

9 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 9 We remark also that Theorem.5 provdes an algorthmc way to test (n nfntely many steps) f a sequence belongs to the closure of cuttng sequences. The sequence (s ) N can be recovered algorthmcaly when w s a cuttng sequence and hence nfntely dervable and s the sequence of ndces of dagrams n whch the successve dervatves of w are admssble (see Defnton.3 n Secton.5). Furthermore, the sequence (s ) N s governed by a -dmensonal dynamcal system as follows. There exsts a pecewse expandng map F m,n, whch we call the Bouw-Möller Farey map, whch has (n )(m ) branches, such that f w s the cuttng sequence of a trajectory n drecton θ, the sequence (s ) N s gven by the symbolc codng of the orbt of θ under F m,n. More precsely, t s the tnerary of ((F m,n ) k (θ)) k N wth respect to the natural partton of the doman of F m,n nto monotoncty ntervals. Ths s explaned n 8, where the map F m,n s defned as composton of two smpler maps, descrbng the projectve acton on drectons of the affne dffeomorphsms from S m,n to S n,m and from S n,m to S m,n respectvely. The Bouw-Möller Farey map can be used to defne a generalzaton of the contnued fracton expanson (see 8.) whch can be then n turn used to recover the drecton of a trajectory correspondng to a gven cuttng sequence. More precsely, the tnerary of vsted sectors for the Bouw-Möller Farey map descrbed above gves us the ndces for the Bouw-Möller addtve contnued fracton expanson of the drecton θ (Proposton 8.6)... Structure and outlne of the paper. Let us now comment on the man tools and deas used n the proofs and descrbe the structure of the rest of the paper. As a general theme throughout the paper, we wll frst descrbe propertes and results on an explct example, then gve general results and proofs for the general case of S m,n. The example we work out n detal s the characterzaton of cuttng sequences on the Bouw-Möller surface S,3 whch already appeared n ths ntroducton, explotng also ts dual Bouw-Möller surface S 3,. Ths s the frst case that could not be fully dealt wth by D. Davs n []. 6 In the next secton, 2, we nclude some background materal, n partcular the defnton of translaton surface ( 2.), affne dffeomorphsms ( 2.2) Veech group and Veech (or lattce) surfaces ( 2.3) and a bref lst of known classes of Veech surfaces ( 2.). In 2.5 we then gve the formal defnton of Bouw-Möller surfaces, descrbng the number and type of sem-regular polygons to form S m,n and gvng formulas for ther sde lengths. We also descrbe ther Veech group (see 2.6). The man tool used n our proofs s the presentaton of Bouw-Möller surfaces through Hooper dagrams, ntroduced by P. Hooper n hs paper [] and orgnally called grd graphs by hm. These are decorated dagrams that encode combnatoral nformaton on how to buld Bouw-Möller surfaces. The surface S m,n can be decomposed nto cylnders n the horzontal drecton, and n the drecton of angle π/n. The Hooper dagram encodes how these transversal cylnder decompostons ntersect each other. In 3 we frst explan how to construct a Hooper dagram startng from a Bouw-Möller surface, whle n 3. we formally defne Hooper dagrams and then explan how to construct a Bouw-Möller surface from a Hooper dagram. As we already mentoned n the ntroducton, the defnton of the combnatoral dervaton operator s motvated by the acton on cuttng sequences of affne dffeomorphsm (a flp and shear) between S m,n and ts dual Bouw-Möller surface S n,m. Ths affne dffeomorphsm s descrbed n. A partcularly convenent presentaton s gven n what we call the orthogonal presentaton: ths s an affne copy of S m,n, so that the two drectons of cylnder decomposton formng an angle of π/n are sheared to become orthogonal. In ths presentaton, both S m,n and S n,m can be seen smultaneously as dagonals of rectangles on the surface (that we call basc rectangles, see Fgure ). In 5 a useful tool for later proofs s ntroduced: we descrbe a local confguraton n the Hooper dagram, that we call a hat (see Fgure to understand choce of ths name) and show that t translates nto a star confguraton of basc rectangles n the orthogonal presentaton mentoned before. Proofs of both the shape and labelng of transton dagrams and of dervaton rules explot the local structure of Hooper dagrams by swtchng between hat and stars confguratons. Secton 6 s devoted to transton dagrams: we frst explan our way of labelng edges of Bouw- Möller surfaces. Ths labelng, as mentoned before, works especally well wth Hooper dagrams. The structure of transton dagrams s then descrbed n 6.5 (see Theorem 6.5) and proved n the later 6 On the other hand dervaton on S3, can be fully descrbed usng Davs flp and shear because whenever m = 3, all the polygons are regular.

10 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 0 sectons usng hats and stars. In the same sectons we prove also that dervaton dagrams descrbe ntersectons wth sdes of the affne mage of the dual Bouw-Möller surface, whch s a key step for dervaton. In Secton we descrbe the dervaton process obtaned n two steps, by frst dervng cuttng sequences on S m,n to obtan cuttng sequences on the dual surface S n,m (see.2) and then, after normalzng them (see.3), dervng them another tme but ths tme applyng the dual dervaton operator. Ths two-step process of dervaton and then normalzaton s called renormalzaton. In 8 we defne a one-dmensonal map, called the Bouw-Möller Farey map, that descrbes the effect of renormalzaton on the drecton of a trajectory. In 9 we nvert dervaton through generaton operators. Ths allows to prove the characterzaton n 9., where frst the characterzaton of Bouw-Möller cuttng sequences through generaton s proved n 9.2, then the verson usng substtutons s obtaned n 9.3, see Theorem Acknowledgements. The ntal dea of passng from S m,n to S n,m to defne dervaton n Bouw- Möller surfaces came from conversatons between the thrd author and John Smlle, whom we thank also for explanng to us Hooper dagrams. We also thank Samuel Lelèvre, Pat Hooper, Rch Schwartz and Ronen Mukamel for useful dscussons and Alex Wrght and Curt McMullen for ther comments on the frst verson of ths paper. A specal case of the dervaton operator defned n ths paper (whch provded the startng pont for our work) was worked out by the second author for her Master s thess [2] durng her research project under the supervson of the thrd author. We thank Ecole Polytechnque and n partcular Charle Favre for organzng and supportng ths summer research project and the Unversty of Brstol for hostng her as a vstng student. The collaboraton that led to the present paper was made possble by the support of ERC grant ChaParDyn, whch provded funds for a research vst of the three authors at the Unversty of Brstol, and by the hosptalty durng the ICERM s workshop Geometrc Structures n Low-Dmensonal Dynamcs n November 203, and the conference Geometry and Dynamcs n the Techmüller space at CIRM n July 205, whch provded excellent condtons for contnued collaboraton. I. Pasqunell s currently supported by an EPSRC Grant. C. Ulcgra s currently supported by ERC Grant ChaParDyn. 2. Background In ths secton we present some general background on the theory of translaton surfaces, n partcular gvng the defnton of translaton surfaces ( 2.), of affne deformatons and of Veech groups ( 2.3) and we brefly lst known examples of Veech surfaces ( 2.). 2.. Translaton surfaces and lnear trajectores. The surface T obtaned by dentfyng opposte parallel sdes of the square, and the surface O obtaned by dentfyng opposte parallel sdes of the regular octagon, are examples of translaton surfaces. The surface T has genus, and the surface O has genus 2. Whenever we refer to a translaton surface S, we wll have n mnd a partcular collecton of polygons n R 2 wth dentfcatons. We defne translaton surfaces as follows: Defnton 2.. A translaton surface s a collecton of polygons P j n R 2, wth parallel edges of the same length dentfed, so that edges are dentfed by maps that are restrctons of translatons, every edge s dentfed to some other edge, and when two edges are dentfed, the outward-pontng normals pont n opposte drectons. If denotes the equvalence relaton comng from dentfcaton of edges, then we defne the surface S = P j /. Let S be the set of ponts correspondng to vertces of polygons, whch we call sngular ponts. We wll consder geodescs on translaton surfaces, whch are straght lnes: any non-sngular pont has a neghborhood that s locally somorphc to the plane, so geodescs locally look lke lne segments, whose unon s a straght lne. We call geodescs lnear trajectores. We consder trajectores that do not ht sngular ponts, whch we call b-nfnte trajectores. Standard usage says that such a pont s sngular only f the angle around t s greater than 2π, but snce all of our vertces satsfy ths, we call all such ponts sngular ponts.

11 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES A trajectory that begns and ends at a sngular pont s a saddle connecton. Every perodc trajectory s parallel to a saddle connecton, and s contaned n a maxmal famly of parallel perodc trajectores of the same perod. Ths famly flls out a cylnder bounded by saddle connectons. A cylnder decomposton s a partton of the surface nto parallel cylnders. The surfaces that we consder, Bouw-Möller surfaces, have many cylnder decompostons (see Fgure 8). For a gven cylnder, we can calculate the modulus of the cylnder, whch s rato of the wdth (parallel to the cylnder drecton) to the heght (perpendcular to the cylnder drecton). For the cylnder drectons we use on Bouw-Möller surfaces, all of the cylnders have the same modulus (see Theorem 2., proven n []) Affne deformatons and affne dffeomorphsms. Gven ν GL(2, R), we denote by νp R 2 the mage of P R 2 under the lnear map ν. Note that parallel sdes n P are mapped to parallel sdes n νp. If S s obtaned by glung the polygons P,..., P n, we defne a new translaton surface that we wll denote by ν S, by glung the correspondng sdes of νp,..., νp n. The map from the surface S to the surface ν S, whch s gven by the restrcton of the lnear map ν to the polygons P,..., P n, wll be called the affne deformaton gven by ν. Let S and S be translaton surfaces. Consder a homeomorphsm Ψ from S to S that takes S to S and s a dffeomorphsm outsde of S. We can dentfy the dervatve DΨ p wth an element of GL(2, R). We say that Ψ s an affne dffeomorphsm f the dervatve DΨ p does not depend on p. In ths case we wrte DΨ for DΨ p. The affne deformaton Φ ν from S to ν S descrbed above s an example of an affne dffeomorphsm. In ths case DΦ ν = ν. We say that S and S are affnely equvalent f there s an affne dffeomorphsm Ψ between them. We say that S and S are translaton equvalent f they are affnely equvalent wth DΨ = Id. If S s gven by dentfyng sdes of polygons P j and S s gven by dentfyng sdes of polygons P k then a translaton equvalence Υ from S to S can be gven by a cuttng and pastng map. That s to say we can subdvde the polygons P j nto smaller polygons and defne a map Υ so that the restrcton of Υ to each of these smaller polygons s a translaton and the mage of Υ s the collecton of polygons P k Ȧn affne dffeomorphsm from S to tself s an affne automorphsm. The collecton of affne dffeomorphsms s a group whch we denote by Aff(S). If S s gven as a collecton of polygons wth dentfcatons then we can realze an affne automorphsm of S wth dervatve ν as a composton of a map Ψ ν : S ν S wth a translaton equvalence, or cuttng and pastng map, Υ : ν S S The Veech group and Veech surfaces. The Veech homomorphsm s the homomorphsm Ψ DΨ from Aff(S) to GL(2, R). The mage of ths homomorphsm les n the subgroup of matrces wth determnant ± whch we wrte as SL ± (2, R). We call Veech group and we denote by V (S) the mage of Aff(S) under the Veech homomorphsm. It s common to restrct to orentaton-preservng affne dffeomorphsms n defnng the Veech group, but snce we wll make essental use of orentatonreversng affne automorphsms, we wll use the term Veech group for the larger group V (S). Note that the term Veech group s used by some authors to refer to the mage of the group of orentatonpreservng affne automorphsms n the projectve group P SL(2, R). A translaton surface S s called a Veech surface f V (S) s a lattce n SL ± (2, R). The torus T 2 = R 2 /Z 2 s an example of a Veech surface whose Veech group s GL(2, Z). Veech proved more generally that all translaton surfaces obtaned from regular polygons are Veech surfaces. Veech surfaces satsfy the Veech dchotomy (see [3], [36]) whch says that f we consder a drecton θ then one of the followng two possbltes holds: ether there s a saddle connecton n drecton θ and the surface decomposes as a fnte unon of cylnders each of whch s a unon of a famly of closed geodescs n drecton θ, or each trajectory n drecton θ s dense and unformly dstrbuted. We wll use the word shear to denote an affne automorphsm of a surface whose dervatve s [ 0 s ] for some real number s. If a translaton surface admts a shear, we can decompose t nto cylnders of commensurable modul, so the shear acts as a Dehn twst n each cylnder. 2.. Known examples of Veech surfaces. Several famles of Veech surfaces are known. A bref hstory of known Veech surfaces s as follows. The smplest example of a Veech surface s the square, wth pars of parallel sdes dentfed to create the square torus.

12 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 2 Covers of the square torus, called square-tled surfaces, are created by dentfyng opposte parallel edges of a collecton of congruent squares. Gutkn and Judge [6] showed that square-tled surfaces are equvalent to those surfaces whose Veech group s arthmetc,.e. commensurable wth SL(2, Z). Subsequently, Hubert and Lelèvre showed that n genus 2, all translaton surfaces n H(2) that are tled by a prme number n > 3 of squares fall nto exactly two Techmüller dscs. Veech was the frst to defne n [3] Veech groups and lattce surfaces, and to prove that all regular polygon surfaces are Veech surfaces and satsfy the Veech dchotomy descrbed above. Clayton Ward dscovered a new famly of Veech surfaces about 0 years after regular polygonal surfaces [3]. These surfaces are created by dentfyng opposte parallel edges of three polygons: two regular n gons and a regular 2n-gon (see Fgure 6 for the case when n =.) Ward s surfaces turn out to be a specal case of Bouw-Möller surfaces, those made from exactly 3 polygons, the S 3,n famly. Veech surfaces are related to bllards on trangles; we wll not descrbe the correspondence here. Kenyon and Smlle [8] showed that, other than the trangles correspondng to the examples above, only three other trangles correspond to Veech surfaces. Two of these were already known to Vorobets [36]. Karane Calta [9] and Curt McMullen [2] dscovered ndependently nfntely many new Veech surfaces n genus 2, each of whch can be presented as an L-shaped polygon wth certan nteger measurements n a quadratc vector feld. Irene Bouw and Martn Möller dscovered a new famly of Veech curves (.e. quotents of SL(2, R) by a Veech group) wth trangular Veech groups n [8]. Then Pat Hooper n [] showed that specal ponts on these Veech curves can be obtaned by glung sem-regular polygons; see the defnton gven n the next secton. In ths paper, we wll call Bouw-Möller surfaces ths famly of Veech surfaces obtaned by glung sem-regular polygons (as t has been done often n prevous lterature). We remark that Hooper showed that the Techmüller curves assocated to hs sem-regular polygon surfaces were the same as Bouw and Möller s Veech curves n many cases, wth a few exceptons. Later, Alex Wrght [38] showed ths equalty n all the remanng cases. We remark also that whle Ward s surfaces are always glued from exactly 3 polygons (they correspond as mentoned above to the S 3,n Bouw-Möller famly), Bouw-Möller Veech surfaces can be obtaned by glung any number m 2 of (sem-regular) polygons. Provdng a full classfcaton of Veech surfaces s a bg open queston n Techmüller dynamcs, snce Veech surfaces correspond ndeed to closed SL(2, R)-orbts and hence are the smallest orbt closures of the SL(2, R) acton on the modul space of Abelan dfferentals. Several very recent results are n the drecton of provng that there exsts only fntely many Veech surfaces n several strata of translaton surfaces, see for example [, 5, 6, 9, 20, 23, 26] Bouw-Möller surfaces: sem-regular polygonal presentaton. We wll now descrbe the polygonal presentaton of the Bouw-Möller surfaces, gven by Pat Hooper []. We create the surface S m,n by dentfyng opposte parallel edges of a collecton of m sem-regular polygons that each have 2n edges. A sem-regular polygon s an equangular polygon wth an even number of edges. Its edges alternate between two dfferent lengths. The two lengths may be equal (n whch case t s a regular 2n-gon), or one of the lengths may be 0 (n whch case t s a regular n-gon). Example 2.2. The Bouw-Möller surface S,3 (m =, n = 3) s made of polygons, each of whch have 2n = 6 edges (Fgure 5). From left to rght, we call these polygons P (0), P (), P (2), P (3). Polygon P (0) has edge lengths 0 and sn π/ = / 2, polygon P () has edge lengths / 2 and sn(π/2) =, polygon P (2) has edge lengths and / 2, and polygon P (3) has edge lengths / 2 and 0. Defnton 2.3 gves an explct defnton of an equangular 2n-gon whose edge lengths alternate between a and b: Defnton 2.3. Let P n (a, b) be the polygon whose edge vectors are gven by: { a [cos π v = n, sn π n ] f s even b [cos π n, sn π n ] f s odd

13 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 3 Fgure 5. The Bouw-Möller surface S,3 wth m =, n = 3 s made from two equlateral trangles and two sem-regular hexagons. Edges wth the same label are dentfed. for = 0,..., 2n. The edges whose edge vectors are v for even are called even edges. The remanng edges are called odd edges. We restrct to the case where at least one of a or b s nonzero. If a or b s zero, P n (a, b) degenerates to a regular n-gon. In creatng polygons for a Bouw-Möller surface, we carefully choose the edge lengths so that the resultng surface wll be a Veech surface (see 2.3). Defnton 2.. Gven ntegers m and n wth at least one of m and n nonzero, we defne the polygons P (0),..., P (m ) as follows. ( ) P n sn (k+)π m, sn kπ m f m s odd ( ) P (k) = P n sn kπ (k+)π m, sn m f m s even and k s even ( ) P n sn (k+)π m, sn kπ m f m s even and k s odd. An example of computng these edge lengths was gven n Example 2.2. Remark 2.5. P (0) and P (m ) are always regular n-gons, because sn 0π (m +)π m = 0 and sn m = 0. If m s odd, the central 2n-gon s regular, because sn(kπ/m) = sn((k + )π/m) for k = (m )/2. Fgure 6 shows both of these n S 3,. Fgure 6. The Bouw-Möller surface S 3, wth m = 3, n = s made from two squares and a regular octagon. Edges wth the same label are dentfed. Fnally, we create a Bouw-Möller surface by dentfyng opposte parallel edges of m sem-regular polygons P (0),..., P (m ). For each polygon n the surface, n of ts edges (ether the even-numbered edges or the odd-numbered edges) are glued to the opposte parallel edges of the polygon on ts left, and the remanng n edges are glued to the opposte parallel edges of the polygon on ts rght. The only exceptons are the polygons on each end, whch only have n edges, and these edges are glued to

14 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES the opposte parallel edges of the adjacent polygon. These edge dentfcatons are shown n Fgures 5 and 6. We now gve the edge dentfcatons explctly: Defnton 2.6. The Bouw-Möller surface S m,n s made by dentfyng the edges of the m sem-regular polygons P (0),..., P (m ) from Defnton 2.. We form a surface by dentfyng the edges of the polygon n pars. For k odd, we dentfy the even edges of P (k) wth the opposte edge of P (k + ), and dentfy the odd edges of P (k) wth the opposte edge of P (k ). The cases n Defnton 2. of P (k) are chosen so that ths glung makes sense. Theorem 2. ([], Lemma 6.6). Every cylnder of the Bouw-Möller surface S m,n n drecton kπ/n has the same modulus. The modulus of each such cylnder s 2 cot π/n + 2 cos π/m sn π/n. We wll use ths fact extensvely, because t means that one element of the Veech group of S m,n s a shear, a parabolc element whose dervatve s [ 0 s ] for some real number s. For S m,n, s = 2 cot π/n + 2 as above. cos π/m sn π/n Theorem 2.8 (Hooper). S m,n and S n,m are affnely equvalent. Ths means that S m,n can be transformed by an affne map (a shear plus a dlaton) and then cut and reassembled nto S n,m. Example 2.9. In Fgure t s for example shown how the surface n Fgure 5 can be cut and reassembled nto a sheared verson of the surface n Fgure 6. Fgure. The bold outlne on the left shows how the left surface can be cut and reassembled nto a sheared verson of the rght surface, and vce-versa. We wll use ths affne equvalence extensvely, snce as already mentoned n the ntroducton our dervaton and characterzaton of cuttng sequences explot the relaton between cuttng sequences on S m,n and S n,m. The affne dffeomorphsm between S m,n and S n,m that we use for dervaton (whch also ncludes a flp, snce ths allows a smpler descrpton of cuttng sequences) s descrbed n The Veech group of Bouw-Möller surfaces. The Veech group of S m,n, as well as the Veech group of the S n,m, s somorphc to the (m, n, ) trangle group. The only excepton to ths s when m and n are both even, n whch case the Veech group of S m,n has ndex 2 n the (m, n, ) trangle group see []. Thus, the Veech group contans two ellptc elements of order 2m and 2n respectvely. One can take as generators one of ths two elements and a shear (or a flp and shear ) automorphsm from the (m, n) surface to tself. In the (n, m) polygon presentaton of S m,n the ellptc element of order 2m s a rotaton of order π/m (whle n the (m, n) polygon decomposton the ellptc element s a rotaton of order π/n). Thus, the ellptc element of order 2n actng on S m,n can be obtaned conjugatng the rotaton of π/n on the dual surface S n,m by the affne dffeomorphsm between S m,n and S n,m gven by Theorem 2.8. In secton Secton A we descrbe the acton of these Veech group elements on a tessellaton of the hyperbolc plane by (m, n, ) trangles shown n Fgure 9.

15 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 5 3. Bouw-Möller surfaces va Hooper dagrams In 2.5 we recalled the constructon of Bouw-Möller surfaces by glung a collecton of sem-regular polygons. In hs paper [], as well as ths polygonal presentaton, Hooper gave a descrpton of these surfaces by constructng a dagram, that we wll call the Hooper dagram H m,n for the Bouw-Möller surface S m,n. In ths secton we wll explan how to construct the Hooper dagram gven the polygonal presentaton of the surface and vce versa, followng the example of S 3, throughout. 3.. From S 3, to a Hooper dagram: an example. Let us consder the Bouw-Möller surface S 3,. To construct ts Hooper dagram, we need to consder the two cylnder decompostons gven n Fgure 8. α β 3 α β 2 α 2 β β 2 α 2 α 3 β 3 α 3 β Fgure 8. The cylnder decomposton for S 3, and ts Hooper dagram. We have a horzontal cylnder, and a cylnder n drecton 3π that we wll call vertcal. The horzontal cylnders wll be called α, α 2 and α 3 as n Fgure 8, whle the vertcal ones wll be β, β 2 and β 3. Notce that both decompostons gve the same number of cylnders three cylnders n ths case and ths s true for all Bouw-Möller surfaces, that the cylnder decompostons n each drecton kπ/n yeld the same number of cylnders. Let us now construct the correspondng graph H 3, as the cylnder ntersecton graph for our cylnder decompostons. In general, t wll be a bpartte graph wth vertces V = A B, represented n Fgure 8 wth black and whte vertces, respectvely. The black vertces are n one-to-one correspondence wth the vertcal cylnders, whle the whte vertces are n one-to-one correspondence wth the horzontal cylnders. To descrbe the set of edges, we mpose that there s an edge between two vertces v and v j f the two correspondng cylnders ntersect. It s clear that we wll never have edges between vertces of the same type, because two parallel cylnders never ntersect. An edge wll hence correspond to a parallelogram that s the ntersecton between cylnders n two dfferent decompostons. In our case, the graph H 3, wll have sx vertces: three whte ones, correspondng to the cylnders α, and three black ones, correspondng to the cylnders β, for =, 2, 3. Consderng the ntersectons, as we can see n Fgure 8, the central cylnder α 2 of the horzontal decomposton wll cross all three cylnders of the vertcal decomposton. The other two wll cross only two of them, β and β 2 n the case of α 3 ; β 3 and β n the case of α 3. Fnally, we need to record how the varous peces of a cylnder, seen as the varous edges around a vertex, glue together. To do that we frst establsh a postve drecton, glung on the rght for the orthogonal decomposton and glung upwards for the vertcal one. We then record ths on the graph by addng some crcular arrows around the vertces, gvng an orderng for the edges ssung from that vertex. We can easly see that such arrows wll have the same drecton (clockwse or counter-clockwse) n each column, and alternatng drecton when consderng the vertces on the same row. We start the dagram n a way such that we wll have arrows turnng clockwse n odd columns and arrows turnng counter-clockwse n the even columns. All we just sad leads us to construct a graph as n Fgure 8. We notce that the dmenson of the graph s of three rows and two columns and ths wll be true n general: the graph H m,n for S m,n wll have n rows and m columns.

16 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES From S m,n to Hooper dagrams: the general case. We wll now explan how to extend ths constructon to a general Bouw-Möller surface and see what type of graph we obtan. In general, our surface S m,n wll have two cylnder decompostons n two dfferent drectons that we wll call horzontal and vertcal. We defne A = {α } Λ and B = {β } Λ to be the set of horzontal and vertcal cylnders, respectvely. The vertces of the cylnder ntersecton graph s the set of cylnders n the horzontal and vertcal drectons, A B. The set of edges wll be determned by the same rule as before: there s an edge between α and β j for every ntersecton between the two cylnders. Therefore, each edge represents a parallelogram, whch we call a rectangle because t has horzontal and vertcal (by our defnton of vertcal explaned above) sdes. Let E be the collecton of edges (or rectangles). Defne the maps α: E A and β : E B to be the maps that send the edge between α and β j to the nodes α and β j, respectvely. The generalzaton of the black and whte vertces s the concept of a 2-colored graph: Defnton 3.. A 2-colored graph s a graph equpped wth a colorng functon C from the set of nodes V to {0, }, wth the property that for any two adjacent nodes, x, y V, we have C(x) C(y). The graph we constructed s a 2-colored graph. To see that, smply defne C(x) = 0 f x α(e) = A and C(x) = f x β(e) = B. Conversely, the maps α, β : E V as well as the decomposton V = A B are determned by the colorng functon. As we sad, we also need to record n our graph the way the rectangles formng the cylnders are glued to each other. To do that we defne e: E E be the permutaton that sends a rectangle to the rectangle on ts rght, and let n: E E be the permutaton that sends a rectangle to the rectangle above t. (Here e stands for east and n stands for north. ) Clearly, we wll always have that e(e) les n the same cylnder as the rectangle e, hence α e = α and β n = β. Moreover, an orbt under e s a horzontal cylnder and an orbt under n s a vertcal one. Corollary 3.2. By constructon, H m,n s always a grd of (n ) (m ) vertces Defnton of Hooper dagrams and augmented dagrams. In 3.2, we showed how from a surface we can construct a Hooper dagram, whch s a 2-colored graph equpped wth two edge permutatons. In 3., we wll show how to construct a Bouw-Möller surface from a Hooper dagram. We frst gve the formal defnton of Hooper dagrams and defne ther augmented verson, whch provdes an useful tool to unfy the treatment to nclude degenerate cases (comng from the boundary of the dagrams). The data of a 2-colored graph H, and the edge permutatons e and n, determne the combnatorcs of our surface as a unon of rectangles, as we wll explan explctly n ths secton. We wll also gve the wdth of each cylnder, to determne the geometry of the surface as well. We wll frst descrbe n general the Hooper dagram for S m,n. Here we use Hooper s notaton and conventons from []. Defnton 3.3 (Hooper dagram). Let Λ = {(, j) Z 2 m and j n }. Let A m,n and B m,n be two sets ndexed by Λ, as follows: A m,n = {α,j, (, j) Λ + j s even} and B m,n = {β,j, (, j) Λ + j s odd}. Here A m,n are the whte vertces and B m,n are the black vertces. Let H m,n be the graph wth nodes A m,n B m,n formed by addng edges accordng to the usual noton of adjacency n Z 2. In other words, we jon an edge between α,j and β,j f and only f ( ) 2 + (j j ) 2 =, for all (, j), (, j ) Λ for whch α,j and β,j exst. We defne the counterclockwse orderng of ndces adjacent to (, j) to be the cyclc orderng ( +, j) (, j + ) (, j) (, j ) ( +, j). The clockwse order wll clearly be the nverse order. We defne then the map e: E E to be the cyclc orderng of the edges wth α,j as an endpont. We order edges wth endponts α,j counter-clockwse when s odd and clockwse f s even. Smlarly, n: E E s determned by a cyclc orderng wth β,j as an endpont. The opposte rule about the orderng of the cycle wll be appled for β,j : we order the edges wth endpont β,j clockwse when j s odd and counter-clockwse when j s even. H m,n s called the Hooper dagram for S m,n.

17 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES We now defne the augmented Hooper dagram, whch wll make t easer to construct the surface assocated to a Hooper dagram. The augmented graph H m,n s obtaned by addng degenerate nodes and degenerate edges to the graph H m,n. If we consder the nodes of H m,n n bjecton wth the coordnates (, j) Z 2, for 0 < < m and 0 < j < n, the nodes of H m,n wll be n bjecton wth the coordnates (, j) Z 2, for 0 m and 0 j n. The nodes we added are the degenerate nodes. On the new set of nodes we add a degenerate edge f the nodes are at dstance n the plane and they are not yet connected by an edge. Our graph H m,n s agan bpartte and we extend coherently the namng conventons we descrbed for H m,n. We can see the augmented graph for S 3, n Fgure 9. Fgure 9. The augmented Hooper dagram for S 3,. Let E denote the set of all edges of H m,n, both orgnal edges and degenerate ones. We say a degenerate edge e E s A-degenerate, B-degenerate or completely degenerate f e contans a degenerate A-node, a degenerate B-node or both, respectvely. We also extend the edge permutatons to e, n : E E followng the same conventon as before. 3.. From Hooper dagrams to Bouw-Möller surfaces: combnatorcs. In Secton 3.2, we showed how from a surface we can construct a Hooper dagram. In ths and the next sectons, we wll show how to construct a Bouw-Möller surface from a Hooper dagram H m,n and descrbe t explctly on the example of S 3, we consdered before. The data of a 2-colored graph H, and the edge permutatons e and n, determne the combnatorcs of our surface as a unon of rectangles, as we wll explan explctly n ths secton. We wll also need the wdth of each cylnder, to determne the geometry of the surface as well. Ths s explaned n the next secton 3.5. From the (m, n) Hooper dagram H m,n we can n fact recover the structure of two surfaces: S m,n and S n,m (whch are affnely equvalent, see Theorem 2.8). In ths secton we wll show how to construct S m,n, whle n we wll comment on how to recover also the dual surface. More precsely, we wll often consder an ntermedate pcture, that we wll call the orthogonal presentaton, whch contans both a sheared copy of S m,n and a sheared copy of the dual S n,m and allows us to easly see the relaton between the two (see ). To recover the combnatorcs of the surface from ts Hooper dagram, we need to decompose t nto smaller peces. We wll see that each pece corresponds to one polygon n the presentaton n

18 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 8 sem-regular polygons that was explaned n the prevous secton. The choce of whch surface we obtan depends on our choce to decompose the graph nto horzontal or vertcal peces. The vertcal decomposton of the graph H m,n wll gve us the combnatorcs of the surface S m,n, whle the horzontal decomposton produces S n,m, see. Ths s coherent wth the operaton of rotatng the dagram to nvert the role of m and n, see Remark. for detals. We now explan how to construct the surface startng from ts graph, usng the example of S 3,. Let us decompose the augmented graph vertcally, as shown n Fgure 0. We wll consder as a pece a column of horzontal edges wth the boundary vertces and all the edges between two of these vertces, no matter f they are degenerate or not. In our case the decomposton wll be as n the followng fgure, where, as before, the degenerate edges that have been added are represented wth dotted lnes. Fgure 0. The three peces of the vertcal decomposton of H 3,. Each edge wll now represent a basc rectangle n our decomposton of the surface n polygons. We wll stll need the data of the wdth and heght of the rectangle, whch we wll treat later. In Fgure we label each edge and ts correspondng basc rectangle wth a letter, so that t s easy to see how to pass from one to the other. The degenerate edges wll correspond to degenerate rectangles, whch means rectangles wth zero wdth, or zero heght, or both. The A-degenerate edges correspond to rectangles wth zero heght (horzontal edges), the B-degenerate edges correspond to rectangles wth zero wdth (vertcal edges), and the completely degenerate ones correspond to rectangles wth zero wdth and zero heght (ponts). Each rectangle comng from a vertcal edge wll contan a postve dagonal, whch means a dagonal wth postve slope, gong from the bottom left corner to the upper rght corner. In the case of degenerate rectangles we wll just dentfy the dagonal wth the whole rectangle, so wth a horzontal edge, a vertcal edge or a pont for A-degenerate, B-degenerate and completely degenerate edges respectvely. In the non-degenerate rectangles, ths means that snce each pece s repeated twce, n two peces of our decomposton, each tme we wll nclude n our polygon one of the two trangles formed by the dagonal nsde the rectangle. The permutaton arrows between edges show us how the basc rectangles are glued. We wll glue the rectangles accordng to the north and east conventons: followng e-permutaton arrows around whte vertces corresponds to glung on the rght, and followng n-permutaton arrows around black vertces corresponds to glung above. Moreover, such arrows wll sometmes represent glung n the nteror of the same polygon, and other tmes they wll represent glung between a polygon and the

19 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 9 followng one. Ths wll depend on whether the permutaton arrows are nternal to the pece we are consderng or f they are between edges n dfferent peces of the decomposton. Ths s evdent already n the frst pece of our dagram. As n Fgure, we can see that the edges that contan both a black and a whte degenerate vertex collapse to a pont, as for the basc rectangles a, e, f, h, j, l. The edges contanng only black degenerate vertces collapse to a vertcal edge, as for b, d, g, m. The edge c, contanng a degenerate whte vertex, wll be a horzontal edge. a f h b c g 0 heght 0 wdth j f a b g c h j k m d k l d e m e l 0 wdth, 0 heght Fgure. The frst pece of the vertcal decomposton of S 3, and ts orthogonal presentaton. The remanng basc rectangles k and are the only non-degenerate ones, each correspondng to half of a basc rectangle. It s evdent that the glung between k and nternal to the pece s the one gong upwards, passng through the horzontal edge represented by c. The result s a parallelogram as n the rght pcture of Fgure. The dagonals n k and wll be glued to the other trangles, mssng from the basc rectangle and that wll appear n the followng polygon. The other two sdes wll be glued to the next polygon and ths s because the glung correspond to the hangng arrows" shown n the left part of Fgure 2: a glung on the left (arrow pontng to m around a whte vertex) for m and a glung on the rght (arrow startng from g around a whte vertex). Dong the same thng for the other two peces of the Hooper dagram, we get two parallelograms and a octagon glued together. We can see them n Fgure 2 n what we wll call the orthogonal presentaton. To return to the orgnal polygonal presentaton as descrbed n secton 2.5, we need to shear back the cylnders to put them back n the orgnal slope. The grd n the orthogonal presentaton s n fact the vertcal and horzontal cylnder decomposton. (Recall that the angle we call vertcal s not π/2, but π/n.) Fgure 2. The orthogonal polygonal presentaton of S 3,.

20 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES From Hooper dagrams to Bouw-Möller surfaces: wdths of cylnders. Now that we reconstructed the combnatoral structure of the surface from a Hooper dagram, we wll explan how to recover the wdths of the cylnders, whch s the last pece of nformaton to completely determne the geometry of the surface. Indeed, wdths automatcally determne the heghts of the cylnders as well: for how the two cylnder decompostons ntersect, we can recover the heghts from the formula: (3) heght(β ) = j Λ #(β α j )wdth(α j ). Ths s because each part of the cylnder β s n the surface, hence also n a cylnder α j. Measurng along the heght of such a cylnder means countng each α j we are ntersectng and havng a segment as long as ts wdth. To recover the wdth we need to explan the concept of crtcal egenfunctons. Defnton 3.. Let s assume n a general settng that H s a graph, connected, wth no multple edges or loops and V s the vertex set. Let E(x) V be the set of vertces adjacent to x V, whch we assume s fnte. Let C V be the set of functons f : V C. The adjacency operator s H : C V C V defned by (Hf)(x) = f(x). y E(x) An egenfuncton for H correspondng to the egenvalue λ C s a functon f C V, such that Hf = λf. Now let L Z be the graph wth nteger vertces whose edges consst of pars of ntegers whose dfference s ±. H wll now be a connected subgraph of L Z, and agan V s ts vertex set. If we assume V = {,..., n }, whch wll be our case, then: Defnton 3.5. The crtcal egenfuncton of H s defned by f(x) = sn xπ n, correspondng to the egenvalue λ = cos π n. We now consder I and J, two connected subgraphs of L Z, wth vertex sets V I and V J respectvely. Let H be the Cartesan product of the two graphs, as descrbed n []. Clearly our cylnder ntersecton graph s a graph of ths type. For the graph H m,n, we then choose the wdths of the cylnders to be defned by w(α,j ) = w(β,j ) = f I ()f J (j), where f I : V I R and f J : V J R are the crtcal egenfunctons. As we sad, the graph fully determnes the combnatoral structure for the surface. The flat structure s fully determned by choosng the wdths of the cylnders, correspondng to vertces of the graph. We take the crtcal egenfunctons of the graph to be the wdths of the cylnders: Corollary 3.6. The Bouw-Möller surface S m,n has cylnder wdths ( ) ( ) π jπ w,j = sn sn, m n where w,j s the wdth of the cylnder correspongng to the vertex (, j) of the Hooper dagram H m,n. The heght can be calculated usng (3).. Affne equvalence of S m,n and S n,m In ths secton we explctly descrbe the affne equvalence between the dual Bouw-Möller surfaces S m,n and S n,m (see Theorem 2.8) that we wll use to characterze cuttng sequences. As usual, we frst descrbe t through the concrete example of S 3, and S,3, then comment on the general case. The sem-regular polygon presentaton of S 3, was shown n Fgure 8, wth ts horzontal and vertcal cylnder decompostons, and the analogous pcture for S,3 s shown n Fgure 3. In ths secton, we wll show that the two surfaces are affnely equvalent. We explot the orthogonal presentaton we bult n 3 (shown for S 3, n Fgure 2), whch provdes a convenent way to vsualze the central step of ths equvalence. We frst dscuss how to go from one orthogonal decomposton to the dual one. We then combne ths step wth flps and shears, see.3.

21 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 2 α β 2 β 3 β α 2 α 3 Fgure 3. Horzontal and vertcal cylnder decompostons for S,3... The dual orthogonal decomposton. In 3., we constructed an orthogonal presentaton for S 3,, by cuttng the Hooper dagram vertcally and assocatng to each pece a sem-regular polygon. Ths orthogonal presentaton s n Fgure 2, and s n the top left of Fgure below. We can consder the same graph H 3, and decompose t nto horzontal peces, nstead of usng the vertcal peces as we dd n 3., and then apply the same procedure. Ths produces the orthogonal presentaton of the dual Bouw-Möller surface S,3, shown on the top rght n Fgure a a 2 2 a 6 a 3 2 a a Fgure. The top row shows the orthogonal polygonal presentaton of S,3 from Fgure 2, and then a rearrangement of the same peces, and then a dfferent dssecton of the same peces nto the dual orthogonal presentaton of S 3,, after rescalng the lengths by a dagonal matrx. The second row shows the sem-regular presentatons of S,3 and S 3,, respectvely, whch are sheared mages of the fgures above. It also shows the length comparson for the two surfaces, where the number a s calculated n (). Remark.. The same fgure (.e. the dual orthogonal presentaton shown on the top rght n Fgure ) could also be obtaned by vertcally decomposng the graph H,3 and repeatng a procedure smlar

22 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 22 to the one descrbed n 3.. The fact that the surface S m,n and the surface S n,m can each be obtaned from ether of the respectve graphs, H m,n and H n,m (decomposng each vertcally), or both from the same graph H m,n (one decomposng vertcally, the other horzontally) s coherent wth the constructon of the graphs H m,n and H n,m, because t s easy to check that we can obtan one from the other by rotatng the graph by π 2 and changng the drectons of the permutaton cycles around the black dots. More precsely, from a pont of vew of the combnatorcs of the surface, the change of drecton of the permutatons does not change t, because snce the black dots represent a lateral glung, the rectangles glung on the rght wll be glued on the left nstead and vce versa, whch corresponds on the surface to a vertcal flp. The rotaton corresponds to the equvalence between the vertcal decomposton of the frst graph and the horzontal decomposton of the second one and vce versa. Ths can be seen on the polygonal presentaton from the fact that we consder dagonals wth dfferent slopes f we decompose the graph vertcally or horzontally..2. Cut and paste and rescalng between orthogonal presentatons. The procedure descrbed above can be done startng from any graph H m,n : by decomposng t vertcally, we obtan an orthogonal presentaton of S m,n ; by decomposng t horzontally, a dual orthogonal presentaton of S n,m. The two presentatons, f we consder only the combnatorcs of the surface, dffer only by a cut and paste map. We can n fact cut along the horzontal and vertcal dagonals n the two parallelograms that come from shearng a square and paste them along the sde that was a dagonal of one of our basc rectangles, as shown n Fgure for the example of S,3 and S 3,. Remark.2. The rectangles contanng a dagonal n S m,n are exactly the complementary ones to the rectangles contanng a dagonal n S n,m. Ths comes from the fact that by constructon, only the vertcal edges n one case and the horzontal ones n the other case are repeated and that the edges repeated n two dfferent peces are the ones whch have a dagonal. One can see ths n the top lne of Fgure, and also later we wll see them supermposed on the same pcture n Fgure 20. Whle from the pont of vew of the combnatorcs of the surface the two presentatons can be cut and pasted to each other, f we computed the assocated wdths of cylnders as descrbed n 3.5 we we would see that the lengths of the sdes of the basc rectangles are not the same. Snce we want both surfaces to have the same area (n partcular, we want them to be n the same Techmüller dsc, we want to defne a smlarty that allows us to rescale the lengths of the sdes of the basc rectangles sutably. To determne the smlarty, let us mpose for the two surfaces n the orthogonal presentatons to have same areas, by keepng constant the ratos between the sde lengths n the sem-regular polygon presentaton. Let us recall that the lengths, obtaned from the polygonal descrpton, or equvalently from the crtcal egenfunctons for the graph, gve us the lengths of the sdes of the basc rectangles up to smlarty. Let us work out ths explctly n the S 3, and S,3 example. We can assume that the sdes of the orgnal octagon all have length. The area of the polygonal presentaton of S 3, wll then be clearly A = 2(2 + 2). Denotng by a and a = 2 2 a the two sde lengths of the sdes of the polygons n S,3, the area s A 2 = 3( + 2)a. Requrng them to have the same area, A = A 2 gves us () a = and a = From now on we wll assume that S,3 has these sde lengths. Shearng the surface to make the two cylnder decomposton drectons orthogonal gves us basc rectangles wth the sde lengths marked n Fgure. The transformaton that rescales the basc rectangles can be easly deduced from the fgure, as the sdes on the left and the correspondng sdes on the rght have the same rato f we consder the vertcal ones and the horzontal ones separately. The transformaton wll hence be acheved by a dagonal matrx, wth the two ratos as ts entres. We remark that snce we mposed for the area to be preserved, the matrx wll be untary.

23 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 23 For our example takng the orthogonal presentaton of S,3 to the orthogonal presentaton of S 3,, ths dagonal matrx s d 3 = We can extend all ths reasonng to any generc Bouw-Möller surface, and compute n a smlar way a smlarty that rescales the dual orthogonal presentaton of S n,m so that t has the same area as the orthogonal presentaton of S m,n ; see (5) for the general form Flp and shears. So far we bult a sheared copy of S m,n (ts orthogonal presentaton) whch can be cut and pasted and rescaled (as descrbed n.2) to obtaned a sheared copy of S n,m (ts dual orthogonal presentaton). Thus, one can obtan an affne dffeomorphsm between S m,n and S n,m through a shear, a cut and paste, a rescalng and another shear. In order to renormalze cuttng sequences, we also add a flp (the reason wll be clear later, see ), to obtan the affne dffeomorphsm Ψ n m : S m,n S n,m defned n formulas below. Let us frst descrbe t n a concrete example. Example.3. The affne dffeomorphsm Ψ 3 whch we use to map S,3 to S 3,, s realzed by a sequence of flps, shears and geodesc flow shown n Fgure 5: startng from S,3 we frst apply the vertcal flp f, then the shear s,3 to brng t to the orthogonal presentaton. By cuttng and pastng as explaned n Fgure and then applyng the dagonal matrx d 3 computed n the prevous secton, we obtan the dual orthogonal presentaton of S 3,. Fnally, we shear the dual orthogonal presentaton of S 3, to the sem-regular presentaton of S 3, by the shear s 3, shear flp shear cut&paste + rescale Fgure 5. The affne dffeomorphsm Ψ 3 from S,3 to S 3,, composton of f, s,3, cut and paste and d 3 and fnally s 3,.

24 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 2 To defne Ψ n m n the general case, consder a vertcal flp f, the shear s m,n and the dagonal matrx d n m gven by: ( ) ( ( 0 cot π )) sn π n (5) f =, s 0 m,n = n, d n sn 0 m = π 0 m. 0 The affne dffeomorphsm Ψ n m s obtaned by frst applyng the flp f to S m,n and shearng t by s m,n, whch produces the orthogonal presentaton of S m,n. We then compose wth the cut and paste map and the smlarty gven by d n m, whch maps the orthogonal presentaton of S m,n to the dual orthogonal presentaton of S n,m. Fnally, we compose wth the other shear s nm whch produces the sem-regular presentaton of S n,m. Thus, the lnear part of Ψ n m, whch we wll denote by γ n m, s gven by the followng product: sn π m sn π n (6) γm n = s n,m d n ms m,n f = sn π n sn π m 0 cos π m +cos π n sn π m sn π n sn π m sn π n. The acton of Ψ n m on drectons wll be descrbed n 8.2, and the acton on cuttng sequences n. 5. Stars and hats In ths secton we wll explan n detal one partcular confguraton of basc rectangles n the orthogonal presentaton, and the correspondng confguraton n the Hooper dagram. We put partcular emphass on t because we wll be usng throughout the next sectons. Let us consder a pece of an orthogonal presentaton gven by sx basc rectangles, glued together as n Fgure 6. Fgure 6. Confguraton of a star. Defnton 5.. A star s a pece of an orthogonal presentaton made of sx basc rectangles. They are glued together so that we have three columns, made of three, two and one rectangle respectvely, as shown n Fgure 6. As we dd all through 3, we wll need to pass from the Hooper dagram to the orthogonal presentaton. Frst, we wll explan what a star corresponds to n a Hooper dagram. Clearly, t wll be a pece of dagram made of sx edges, wth some vertces between them. The exact confguraton wll depend on the party of the vertces,.e. on the poston of the pece n the dagram. The pece correspondng to a star wll be one of the confguratons n Fgure, whch we call a hat. More precsely: Defnton 5.2. A hat s a pece of a Hooper dagram made of sx edges. Two of them are vertcal and the others are horzontal, n the confguraton shown n Fgure. Moreover, f the two vertcal ones go upwards from the vertces of the three-pece base, the frst column has counter-clockwse permutaton arrows; t has clockwse permutaton arrows otherwse.

25 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 25 e e b d b d c a f c a f c a f c a f b d b d e e Fgure. Possble confguratons of hats. Accordng to the party, these vertces descrbed can be black or whte and have permutaton arrows turnng around clockwse or counter-clockwse. Ths gves us four possble confguratons, as n Fgure. The drecton of the permutaton arrows depends on the number of the column. As we saw, n fact, n odd columns we have arrows turnng clockwse, whle n even columns we have arrows turnng counter-clockwse. As we explaned n the defnton, ths determnes also the poston of the two vertcal edges. Gven the party of the column, the two dfferent possbltes of the vertex colorngs are determned from the party of the row. In an odd column we wll have whte vertces on odd rows and black vertces on even rows, and the opposte n an even column. Notce that the vertex n the lower left corner determnes everythng: Its color together wth the drecton of ts arrows determnes the party of the row and column of ts poston, and determnes n whch of the four possble hats we are n. The frst case, wth a whte vertex and counter-clockwse arrows, corresponds to a corner poston n an even row and an even column. The second one, wth a black vertex but stll counter-clockwse arrows, corresponds to an odd row and an even column. The thrd one, wth a black vertex but clockwse arrows, corresponds to an even row and an odd column. The last one, wth a whte vertex and clockwse arrows agan, corresponds to an odd row and an odd column. 5.. Stars and hats correspondence. We wll now show that the star and hat confguratons correspond to each other. To do that we wll use our method of passng from the Hooper dagram to the orthogonal decomposton and vce-versa. Lemma 5.3 (Hat Lemma). The star confguratons correspond exactly to the four possble hat confguratons. Proof. Frst, we show that f we have one of the hat confguratons, t actually gves a star confguraton. We wll show t n detal for the frst case and the others wll work n exactly the same way. Let us consder a labelng on the hat n the upper-left of Fgure. As before, each edge corresponds to a basc rectangle. The three edges around the whte vertex n the left bottom corner and the arrows around t, tell us that we wll have three basc rectangles, glued one to each other on the rght, n the order a glued to b, glued to c. On the other hand, the three edges around the black vertex at the other extremty of the edge a, and ts arrows, tell us that a basc rectangle labeled f s glued on top of one labeled d whch s glued on top of the one labeled a. Fnally, the basc rectangle e s glued on top of b, and on the rght of d, and we obtan the confguraton n Fgure 6. The other three cases work the same way.

26 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 26 Secondly, we show that f we have a star confguraton, t wll necessarly gve a hat confguraton on the Hooper dagram. Let us consder a star confguraton, wth the same labels as n Fgure 6. The basc rectangle a wll correspond to an edge, and we do not know f t wll be horzontal or vertcal. We assume for the moment that t s a horzontal edge (we wll explan later why the same fgure, but rotated so that a s vertcal, s not acceptable). At ths pont we have the choce of on whch extremty of a we want to record the left-rght adjacency and the upwards-downwards one. In other words, we have the choce of where to put a black vertex and where to put a whte one. Ths gves us two possble cases. If we have the whte vertex (resp. the black vertex) on the left of the edge a, we wll record the glung wth b and then c (resp. d and f) on that sde. Agan, we have the choce of recordng t puttng b (resp. d) gong upwards from the vertex or downwards. Ths leads to splt each of the two cases n two more. If b (resp. d) s above the lne of a, the permutaton arrows around the whte vertex wll go counter-clockwse (resp. clockwse). Now, on the other extremty of the edge a, we record the other adjacency and add the edges d and f (resp. b and c) n order. It looks lke we have agan a choce of whether to draw d (resp. b) gong upwards or downwards, but t s not dffcult to see that the prevous choce determnes also ths one. In fact, f edge b was gong upwards, the edge d wll have to go upwards as well, because the edge e s obtaned both from the upwards glung from b and from the rght glung from d. The dagram does not ntersect tself and we cannot repeat an edge, hence the two vertcal ones have to be n the same drecton. Ths also shows that a needs to be horzontal, because havng the two vertcal edges n the same drecton makes the permutaton arrow go n dfferent orentaton around the two vertces, and we saw that f they are n the same column, then they must have the same orentaton. It s clear that we cannot have any other possblty and the four possbltes just descrbed correspond to the four hat confguratons n Fgure Degenerate hat confguratons. Let us recall that to unfy and smplfy the descrpton of Bouw-Möller surfaces va Hooper dagrams we ntroduced a augmented dagram, whch allows us to treat the boundary of the Hooper dagram as a degenerate case of a larger dagram (see 3.3). We now descrbe degenerate hat confguratons that correspond to boundary confguratons n the Hooper dagram. We wll use them later, n 6.6, to prove our man structure theorem. We wll shade the sx edges to pck out a hat confguraton, as shown n Fgure 8. The mddle edge s the one that s numbered n Fgure 8 (or edge a from Fgure ). Lemma 5. (Degenerate Hat Lemma). All edges of an augmented Hooper dagram that form a subset of a hat, such that the mddle edge of the hat s an edge of the augmented dagram, fall nto one of the four cases n Fgure 8. Fgure 8. The cases for hats Proof. The reader can easly verfy, usng a dagram such as Fgure 9, that any orentaton and placement of a hat whose mddle edge s an edge of an augmented Hooper dagram falls nto one of the cases.

27 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 2 Fgure 9. Examples of the four possble cases for hats. We do not nclude the outer degenerate edges (dashed gray) n our hats because they are not adjacent to the mddle edge. These cases are llustrated n Fgure 9. We use hats, and degenerate hats, n Lemma 6., whch s a man step n our Structure Theorem 6.5 for dervaton dagrams Dual surfaces. In ths secton, we wll prove a Lemma that uses the stars and degenerate star confguratons, and wll be used later to defne the dervaton dagrams that gve dervaton rules. Consder the superposton of the orthogonal presentaton of S m,n and the dual orthogonal presentaton S n,m, as shown n Fgure 20. Recall that sdes of (the sheared mages of) S m,n and of S n,m appear as dagonals of alternatng basc rectangles. Sdes of ether presentaton that are horzontal or vertcal can be thought of as degenerate dagonals,.e. degenerate basc rectangles of zero wdth or zero heght, descrbed by the augmented Hooper dagram (see 3.). As before, let us call postve dagonals the sheared mages of sdes of S n,m (whch, f not vertcal or horzotal, have slope ) and let us now call negatve dagonals the sheared mages of sdes of S m,n (whch, f not vertcal or horzontal, have slope ). As observed n Remark.2, postve and negatve dagonals alternate, n the sense that the neghborng basc rectangles wth a postve dagonal are adjacent (rght/left or up/down) to basc rectangles wth a negatve dagonal. Ths remark holds true for all sdes, ncludng vertcal and horzontal ones, f we thnk of them as degenerated daganals and draw them accordng to the followng conventon: Conventon 5.5. When degenerate sdes of the orthogonal presentaton of S n,m and of the dual orthogonal presentaton of S n,m concde, we thnk of them as degenerated dagonals and hence we draw them adjacent to each other and ordered so that degenerate postve (red) and negatve (green) dagonals alternate n horzontal and vertcal drectons, as shown n Fgure 20 for S,3 and S 3,. Fgure 20. The orthogonal presentatons of S,3 (green, left) and S 3, (red, rght), supermposed on the same fgure (center). Concdng horzontal and vertcal edges alternate red and green n the horzontal and vertcal drectons. Here the space between concdng edges s exaggerated for clarty.

28 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 28 Consder trajectores whose drecton belongs to the frst quadrant,.e. such that θ [0, π/2]. Let us say that a par of negatve dagonals s consecutve f there exsts such a trajectory whch hts these two dagonals one after the other. Lemma 5.6. Consder a par of consecutve negatve dagonals. Then, the followng dchotomy holds: for any trajectory whose drecton belong to the frst quadrant,.e. such that θ [0, π/2], ether between any consecutve crossngs of these pars of negatve dagonals, no postve dagonal s crossed, or between any consecutve crossngs of these pars of negatve dagonals, exactly one and the same postve dagonal s crossed. Proof. Assume frst that the two negatve adjacent negatve dagonals are non-degenerate. The fact that they are adjacent means that one can fnd a star confguraton as n Fgure 6, n whch the two dagonals are the ones labeled by ether a and c, or a and e, or a and f. It s then clear from the stars pcture n Fgure 6 that (referrng to the labelng n that fgure) f the par s gven by a and e, then a trajectory whose drecton belongs to the frst quadrant that crosses these two negatve dagonals never crosses any postve dagonal n between, whle f the par s a and c or a and f, such a trajectory wll always cross a negatve dagonal between,.e. b (for the par a and c) or d (for the par a and f). Conventon 5.5, whch treats vertcal and horzontal sdes as degenerate dagonals, allows us to use exactly the same proof for degenerate stars (when some of the 6 edges n the star are degenerate). In 6.5 ths Lemma wll be used to defne dervaton dagrams. 6. Transton and dervaton dagrams We now return to the polygon decomposton of the Bouw-Möller surfaces and to our goal of characterzng all cuttng sequences. Frst, n 6. we wll descrbe how to label the edges of the sem-regular presentaton of the Bouw-Möller surface. We then show n 6.2 how ths labelng nduces a labelng on the correspondng Hooper dagram. In 6.3 we defne transton dagrams, whch are essental for understandng cuttng sequences. In 6. we defne admssble cuttng sequences, generalzng the work of Seres and Smlle-Ulcgra dscussed n.-.2. In 6.5 we defne dervaton dagrams, whch are the key tool we wll use to characterze cuttng sequences on Bouw-Möller surfaces. In 6.6, we prove our structure theorem for dervaton dagrams for trajectores n Σ 0 n, whch s the man result of ths secton. In 6., we descrbe how to normalze trajectores n other sectors to Σ 0 n. In 6.8, we descrbe transton dagrams for trajectores n other sectors. 6.. Edge labelng. To label the edges of the Bouw-Möller surfaces, we use a zg-zag pattern as follows. Frst, we label the lower-rght dagonal edge of P (0) wth a, and then go horzontally left to the lower-left dagonal edge of P (0) and label t wth a 2 (see Fgure 2). Then we go up dagonally to the rght (at angle π/n) and label the next edge 3, and then go horzontally left and label that edge, and so on untl label n. The n edges of P () that are dentfed wth these edges have the same labels. Now we label the remanng n edges of P (). If the bottom horzontal edge s already labeled (as n Fgure 2a below), we start wth the lowest-rght dagonal edge and label t n +, and then go horzontally to the left and label that edge n + 2, and then zg-zag as before. If the bottom horzontal edge s not yet labeled (as n Fgure 2b below), we label t n +, and then go dagonally up to the rght and label that edge n + 2, and so on n the zg-zag. We do the same for P (2) and the remanng polygons untl all the edges are labeled. We choose to label the edges n ths way because t makes the transton dagrams easy to descrbe, as we wll see. We can frst reap the benefts of ths labelng system by labelng the edges of the Hooper dagram Labelng the Hooper dagram. Each edge of the Hooper dagram H m,n corresponds to the ntersecton of a horzontal cylnder and a vertcal cylnder, whch s a basc rectangle n the orthogonal decomposton. Each non-degenerate basc rectangle s crossed by an edge of ether S m,n or S n,m : a negatve dagonal for the (red) edges of S m,n or a postve dagonal for the (green) edges of S n,m. We can label the edges of the Hooper dagram wth the label of the edge that crosses the correspondng basc rectangle.

29 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES Fgure 2. The edge labelngs for S 3, and S,3 Proposton 6.. In H m,n, the labels are as follows: The upper-left horzontal auxlary edge s edge of S m,n, and thereafter the horzontal edges are labeled 2, 3,, etc., snakng horzontally back and forth from top to bottom, as shown n Fgure 22b. The upper-left vertcal auxlary edge s edge of S n,m, and thereafter the vertcal edges are labeled 2, 3,, etc., snakng vertcally up and down from left to rght, as shown n Fgure 22b. In Fgure 22a, up and down are reversed because of the conventons n the Hooper dagram, but we choose to orent the s n the upper left; see Remark 6.2. Proof. We begn wth an Hooper dagram, ncludng the edges that are ether horzontally degenerate, or vertcally degenerate. (We omt edges that are completely degenerate, because they are ponts and thus do not have polygon edges assocated wth them.) Ths s the black part of the dagram n Fgure 22. We wll determne where the (colored) edge labels go on the dagram n several steps. Recall that the whte vertces represent horzontal cylnders, wth the arrows ndcatng movement to the rght, and the black vertces represent vertcal cylnders, wth the arrows ndcatng movement up. Step : The (red) edges of S m,n and the (green) edges of S n,m comprse the horzontal and vertcal sets of edges of the Hooper dagram. We can determne whch s whch by countng: S m,n has n(m ) edges and S n,m has n(m ) edges. If m = n, the dagram s symmetrc so t doesn t matter whch s whch. For our example, S,3 has 9 edges, so they are the horzontal edges n Fgure 22a, and S 3, has 8 edges, so they are the vertcal edges n Fgure 22a. Ths means that the horzontal edges wll have red edge labels, and the vertcal edges wll have green edge labels. Step 2 : We determne where to put the edge label. s a degenerate edge, so t must be one of the outer (dotted) dagram edges. s n S m,n, so t must be a horzontal dagram edge. s parallel to the vertcal cylnder decomposton, so t les n a horzontal cylnder, so t emanates from a whte vertex. When we go aganst the arrow drecton from, we get to, whch s also a degenerate edge, so t must be on a corner (see Fgure 2). All of these narrow our choces to just one, or sometmes two when the dagram has extra symmetry; n that case, the two choces are equvalent. In our example, there s only one choce, the edge labeled n Fgure 22. Step 3 : We determne where to place edges, 2,..., n, n +. From edge n S m,n, we go horzontally to the left to get to 2, and n between we pass through (see Fgure 2). On the Hooper dagram, from edge we go aganst the arrows around the whte vertex, and label the vertcal edge and the next horzontal edge 2. From edge 2 n S m,n, we go n the drecton of the vertcal cylnder decomposton to get to 3, so we go wth the arrows around the black vertex and label the next horzontal edge 3. In our example S,3, ths s the end of the row; for m > 3, we contnue untl we get to n, gong left and up n the polygons and correspondngly gong around the whte and black vertces n the Hooper dagram. To get from edge n to n +, n the polygons we go up and rght for n odd, and left and down for n even, and we follow the arrows n the Hooper dagram to do the same. For our example S,3, from 3 to, we go up and rght, so n the Hooper dagram we follow the arrow around the black vertex to

30 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 30 Fgure 22. The labeled Hooper dagram for S,3, and the general form (see Remark 32). We do not nclude the bottom edge, the rght edge, or the bottom-rght corner of the general form n Fgure 22, because the edge labels and the vertex colors depend on the party of m and n, so t s clearer to look at the example. the vertcal edge, and then at the other end of the vertcal edge we follow the arrow around the whte vertex, and label the horzontal edge. The same s true for any odd n. When n s even, we follow the same pattern on the Hooper dagram to go left and down and label edge n + n the same locaton. Step : We complete the labels of S m,n and also label wth S n,m. The constructon n Step 3 shows why movng horzontally across a lne n the Hooper dagram corresponds to the zg-zag labelng n each polygon of the Bouw-Möller surface: gong around whte and black vertces corresponds to alternately gong horzontally and vertcally n the polygons. To get from one horzontal lne to the next n the Hooper dagram, we follow the drecton n the polygons. Thus, the snakng labelng n the Hooper dagram corresponds to the labelng descrbed n Secton 6.. We already placed edge of S n,m, and we follow exactly the same method for the rest of the edges as we just descrbed for S m,n. Ths leads to the overlad snakng patterns shown n Fgure 22. Remark 6.2. When we defned the Hooper dagrams n Secton 3, we followed Hooper s conventon of the arrangement of whte and black vertces and arrow drectons. In fact, ths choce s somewhat arbtrary; the dagrams lead to the same polygon constructon f we rotate them by a half-turn, or reflect them horzontally or vertcally. Usng Hooper s conventon, along wth our left-to-rght numberng system n the polygons where we frst label P (0) wth,..., n and so on, leads to the edges and beng n the lower-left corner of the labeled Hooper dagram, wth the numberng gong up. We prefer to have the s n the upper-left corner wth the numbers gong down, so after we fnsh labelng t, we wll reflect the dagram horzontally, as n Fgure 22b for the general form. Ths choce s merely stylstc Transton dagrams: defntons and examples. In ths secton we defne transton dagrams, whch descrbe all possble transtons between edge labels for trajectores that belong to a gven sector of drectons (see Defnton 6. below). We wll frst descrbe n ths secton transton dagrams for cuttng sequences of trajectores whose drecton belongs to the sector [0, π/n]. Then, explotng the symmetres of the polygonal presentaton of Bouw-Möller surfaces, we wll descrbe transton dagrams for the other sectors of wdth π/n, see 6.8. Defnton 6.3. For = 0,..., 2n, let Σ n = [π/n, ( + )π/n]. We call Σ 0 n = [0, π/n] the standard sector. For a trajectory τ, we say τ Σ n f the angle of the trajectory s n Σ n. Let us frst descrbe the transtons that are allowed n each sector: Defnton 6.. The transton n n 2 s allowed n sector Σ n f some trajectory n Σ n cuts through edge n and then through edge n 2.

31 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 3 The man result of ths secton (Theorem 6.5) s the descrpton of the structure of dagrams whch descrbe of all possble transtons n Σ 0 n for S m,n. Defnton 6.5. The transton dagram T m,n for trajectores n Σ n on S m,n s a drected graph whose vertces are edge labels of the polygon decomposton of the surface, wth an arrow from edge label n to edge label n 2 f and only f the transton n n 2 s allowed n Σ n. Example 6.6. We construct T,3 0 whch s for sector Σ0 3 = [0, π/3] (Fgure 23). A trajectory passng through edge can then go horzontally across through edge 2 or dagonally up through edge 6, so we draw arrows from 2 and 6. A trajectory passng through edge 2 can go across through edge, or up through edge 3, so we draw arrows 2 and 2 3. From edge 3, we can only go up to edge, so we draw 3. The rest of the dagram s constructed n the same manner. We do not draw (for example) an arrow from 3 to 6, because such a trajectory s not n Σ 0 3 (t s n Σ 3 ) T 0,3 : 6 5 T 0 3, : Fgure 23. Transton dagrams for the standard sector Example 6.. In Fgure 23, we also show T3, 0, whch s constructed n the same way for trajectores n sector Σ 0 = [0, π/] on S 3,. We chose to label the edges as we dd so that the numbers n the transton dagrams snake back and forth across the table n ths convenent way, just as n the Hooper dagram. The arrows are always as n Fgure 23: The arrows n the upper-left corner of every dagram are exactly as n the fgure, and f m and n are larger, the same alternatng pattern s extended down and to the rght. We prove ths general structure n the man result of ths secton, Theorem Admssblty of sequences. Consder the space L m,n Z of b-nfnte words w n the symbols (edge label numbers) of the alphabet L m,n used to label the edges of the polygon presentaton of S m,n. Defnton 6.8. Let us say that the word w n L m,n Z s admssble f there exsts a dagram T m,n for {0,..., n } such that all transtons n w correspond to labels of edges of T m,n. In ths case, we wll say that w s admssble n (dagram) T m,n. Equvalently, the sequence w s admssble n T m,n f t descrbes an nfnte path on T m,n. Smlarly, a fnte word u s admssble (admssble n T m,n) f t descrbes a fnte path on a dagram (on T m,n). Admssblty s clearly a necessary condton for a sequence to be a cuttng sequence: Lemma 6.9. Cuttng sequences are admssble. Proof. Let w be a cuttng sequence of a lnear a trajectory τ on S m,n. Up to orentng t sutably (and reversng the ndexng by Z f necessary) we can assume wthout loss of generalty that ts drecton θ belongs to [0, π]. Then there exsts some 0 n such that θ Σ n. Snce the dagram Tm,n contans by defnton all transtons whch can occurr for cuttng sequences of lnear trajectores wth drecton n Σ n, t follows that w s admssble n Tm,n. We remark that some words are admssble n more than one dagram. For example, snce we are usng closed sectors, a trajectory n drecton kπ/n s admssble n sector k and n sector k +. On the other hand, f w s a non-perodc sequence, then t s admssble n a unque dagram:

32 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 32 Lemma 6.0. If w n L m,n Z s a non-perodc cuttng sequence of a lnear trajectory on S m,n, then there exsts a unque {0,..., n } such that w s admssble n dagram T m,n. Proof. We know that w s the cuttng sequence of some τ n an unknown drecton θ. Let 0 n be so that w s admssble n Tm,n. A pror w could be admssble n some other dagram too and we want to rule out ths possblty. We are gong to show that all transtons whch are allowed n Tm,n actually occur. Snce w s non-perodc, the trajectory τ cannot be perodc. The Veech dchotomy (see 2.3) mples that τ s dense n S m,n. Let n n 2 be a transton allowed n Tm,n. Ths means that we can choose nsde the polygons formng S m,n a segment n drecton θ that connects an nteror pont on a sde labeled by n wth an nteror pont on a sde labeled n 2. Snce τ s dense, t comes arbtrarly close to the segment. Snce by constructon τ and the segment are parallel, ths shows that w contans the transton n n 2. Repeatng the argument for all transtons n Tm,n, we get that w gves a path on Tm,n whch goes through all arrows. Ths mples that the the dagram n whch w s admssble s unquely determned, snce one can verfy by nspecton that there s a unque dagram whch contans certan transtons Dervaton dagrams. We now defne dervaton dagrams and explan how to construct them. These dagrams, as explaned n the ntroducton, wll provde a concse way to encode the rule to derve cuttng sequences. As usual, we start wth a concrete example for S,3, then gve the general defnton and results. As explaned n Secton 3, the Bouw-Möller surfaces S m,n and S n,m are cut-and-paste affnely equvalent va a dffeomorphsm Ψ m,n. Hence, we can draw a flp-sheared verson of S n,m surface on the S n,m polygon decomposton. Ths s shown for the specal case of m =, n = 3 n Fgure 2. When two edges concde, we arrange them so that red and green edges alternate gong horzontally, and also vertcally (as shown n Fgure 2 for the example). Fgure 2. S 3, wth flp-sheared edges of S,3, and S,3 wth flpsheared edges of S 3,. We add the followng labelng to the transton dagram, thus makng t nto a dervaton dagram. Recall that each arrow n n 2 n the dagram represents a possble transton from edge n to n 2 for a trajectory n Σ n n S m,n. We label the arrow n n 2 wth the edge label n 3 f trajectores whch ht the edge n and then the edge n 2 passes through some edge labeled n 3 of the flp-sheared S n,m. It turns out that, wth a sutable conventon to treat degenerate cases, ths s defnton s well posed: ether every trajectory from n to n 2 passes through n 3, or no trajectory from n to n 2 passes through n 3. Ths wll be shown below n Lemma 6.3. Example 6.. Fgure 2 shows S 3, n red wth the flp-sheared edges of S,3 n green, and shows S,3 n green wth the flp-sheared edges of S 3, n red. We wll construct the dervaton dagram for each. The transton dagram for S 3, s as before, but now we wll add arrow labels (Fgure 25). A trajectory passng from to 2 crosses edge 2, so we label 2 wth 2. A trajectory passng from 6 to 5 also passes through 2, so we label 6 5 wth 2 as well. Snce these arrows are next to each other, we just wrte one 2 and the arrows share the label. The rest of the dagram, and the dagram for S,3, s constructed n the same way.

33 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 33 The only exceptons to ths are the degenerate cases, where edges concde. The edges that concde here are wth, 3 wth 8, wth, and 9 wth 5. Four pars of edges concde n ths way n the four corners of every transton dagram. Fgure 25. Dervaton dagrams for S,3 and S 3, In general, we adopt the followng conventon, whch corresponds (after a shear) to Conventon 5.5 for the orthogonal presentatons. Conventon 6.2. When sdes of S n,m and of the flp and sheared pre-mage of S n,m by Ψ n m concde, we draw them adjacent to each other and ordered so that sdes of S n,m (red) and sdes of S n,m (green) dagonals alternate, as shown n Fgures 20 and 2 for S,3 and S 3,. Wth ths conventon, the followng Lemma holds, whch s essentally a restatng of Lemma 5.6 from the orthogonal presentatons: Lemma 6.3. Consder any segment of a trajectory on S m,n wth drecton θ n the standard sector Σ 0 n whch crosses from the sde of S m,n labeled n to the sde of S m,n labeled n 2. Consder the nterwoven sdes of the flp-sheared copy of S n,m obtaned asa premage of Ψ n m. Then only one of the followng s possble: () ether no such segment crosses a sde of the flp-sheared edges of S 3,, or (2) every such segment crosses the same sde of the flp-sheared edges of S 3,. Proof. Remark that the affne dffeomorphsm that maps the orthogonal presentaton of S m,n to S m,n, by mappng negatve dagonals to sdes of S m,n, and the dual orthogonal presentaton of S n,m to the flp and sheard premage of S n,m, by mappng postve dagonals to flp and sheared premages of sdes of S n,m by Ψ n m. Thus, Conventon 6.2 for the sdes of S m,n and the sdes of the premage of S n,m by Ψ n m correspond to Conventon 6.2 for dagonals n the orthogonal presentatons. Thus, the lemma follows mmedately from Lemma 5.6 for the orthogonal presentatons. Wth the above conventon (Conventon 6.2), n vrtue of Lemma 6.3 the followng defnton s well posed. Defnton 6.. The dervaton dagram D 0 m,n s the transton dagram T 0 m,n for the standard sector wth arrows labeled as follows. We label the arrow n n 2 wth the edge label n 3 f all the segments of trajectores wth drecton n the standard sector whch ht the edge n and then the edge n 2 passes through some edge labeled n 3 of the flp-sheared S n,m. Otherwse, we leave the arrow n n 2 wthout a label. In the example of dervaton dagram for the surface S 3, n Fgure 25, one can see that the arrow labels n the example are also are arranged elegantly: they snake up and down, nterlaced wth the edge labels n two alternatng grds. The relaton between the dagrams for S 3, and S,3 s smple as well: flp the edge labels across the dagonal, and then overlay the arrows n the standard pattern. Ths structure holds for every Bouw-Möller surface, as we prove n the followng man theorem of ths secton: Theorem 6.5 (Structure theorem for dervaton dagrams). The structure of the dervaton dagram for S m,n n sector [0, π/n] s as follows:

34 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 3 The dagram conssts of n columns and m rows of edge labels of S m,n. The edge labels start wth n the upper-left corner and go left to rght across the top row, then rght to left across the second row, and so on, snakng back and forth down the dagram untl the last edge label n(m-) s n the left or rght bottom corner, dependng on party of m. Vertcal arrows between edge labels go down n odd-numbered columns and up n even-numbered columns. Vertcal arrows have no arrow labels. A par of left and rght horzontal arrows connects every par of horzontally-adjacentedge labels. Horzontal arrows have arrow labels, whch are edge labels of S n,m. For convenence, we choose to arrange these arrow pars so that the top arrow goes left and the bottom arrow goes rght for odd-numbered columns of arrows, and vce-versa n even-numbered columns of arrows. Wth ths arrangement, the arrow labels are as follows: The top-left arrow label s, and then gong down, the next two arrows are both labeled 2, and the rest of the pars are numbered consecutvely, untl the last remanng arrow s labeled n. Then the arrow to the rght s labeled n+, and gong up the next two arrows are both labeled n+2, and so on, snakng up and down across the dagram untl the last arrow s labeled m(n-). There are two examples of dervaton dagrams n Fgure 25, and the general form s shown n Fgure 26. Essentally, the two transton dagrams n Fgure 23 are lad over each other as overlappng grds. Fgure 26. The form of a dervaton dagram for S m,n Agan, we omt the rght and bottom edges of the dagram because ther labels depend on the party of m and n; to understand the full dagram, t s clearer to look at an example such as Fgure The structure theorem for dervaton dagrams. In ths secton we prove Theorem 6.5 descrbng the structure of dervaton dagrams. For the proof we wll use the stars and hats that we defned n Secton 5. Let us recall that each edge n the Hooper dagram corresponds to a basc rectangle, whch s the ntersecton of two cylnders, as explaned n Secton 3.2. Each star confguraton of basc rectangles corresponds exactly to the four possble hat confguratons, see Lemma 5.3 and also Fgure 8. Recall that the mddle edge s the one that s numbered n Fgure 8, and called a n Fgure 2 below. We wll now descrbe the labelng on these hats that corresponds to a gven labelng by a, b, c, d, e, f of the basc rectangles n the stars. Each basc rectangle ether contans an edge of S m,n (red, a negatve dagonal) or an edge of S n,m (green, a postve dagonal). Thus, gvng a labelng of dagonals s equvalent to gvng a labelng of basc rectangles. Furthermore, f we work wth augmented dagrams and degenerate basc rectangles, each edge of the Bouw-Möller surface and of ts dual Bouw-Möller surface s n correspondence wth a dagonal (postve or negatve) of a basc rectangle (possbly degenerate). Let us frst establsh:

35 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 35 Lemma 6.6. Hats are rght-sde-up when the mddle edge s n an even-numbered column, and upsde-down when the mddle edge s n an odd-numbered column. Proof. Recall from Defnton 5.2 that we have defned a hat n such a way that the arrows from the Hooper dagram always go from the mddle edge of the hat to each of the adjacent vertcal edges from edge a to edges b and d as shown n n Fgure. Snce the arrows go down n even-numbered columns and up n odd-numbered columns of the Hooper dagram, as dscussed n 3. and shown n Fgure 9, the drectons of the hats also alternate accordngly. When we perform the reflecton dscussed n Remark 6.2, the drectons are reversed, as desred. The followng Lemma s key to provng the structure theorem, snce t descrbes the local structure of a transton dagram that corresponds to a (non-degenerate) hat/star confguraton. (Recall the cases for hats from the Degenerate Hat Lemma 5..) Lemma 6.. Consder an edge a of the Bouw-Möller surface S m,n. If the correspondng edge a of H m,n s the mddle edge of a hat n case, wth adjacent edges b, c, d, e, f as postoned n Fgure 2a, then the allowed transtons startng wth a are as shown n Fgure 2c. Fgure 2. (a) a hat n case (b) the correspondng star dagram (c) the transtons from edge a Furthermore, f a s the mddle edge of a hat n any of the degenerate cases 2, the correspondng arrow pcture s a subset of that pcture, wth exactly the edges that appear n the degenerate hat, as shown n Fgure 28. Fgure 28. The degenerate hats of cases 2, and ther correspondng transtons Proof. Frst, we consder the case where a s the mddle edge of a hat n case (Fgure 2a). Assume that edges a, b, c n the Hooper dagram are adjacent n a vertcal cylnder, so then a, d, f are adjacent n a horzontal cylnder. Then the star correspondng to ths hat s as n Fgure 2b.

36 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 36 Now we can determne the possble transtons from edge a to other edges of S m,n n ths case, edges c, e and f. Gong vertcally, a can go to c through b; gong horzontally, a can go to f through d, and gong dagonally, a can go to e wthout passng through any edge of S n,m. We record ths data wth the arrows n Fgure 2c. If nstead the edges a, b, c are adjacent n a horzontal cylnder, and a, d, f are adjacent n a vertcal cylnder, the roles of b and d are exchanged, and the roles of c and f are exchanged, but the allowed transtons and arrows reman the same. Now we consder the case where a s the mddle edge of a hat n cases 2. The analyss about basc rectangles and dagonals s the same as n case ; the only dfference s that the basc rectangles correspondng to auxlary (dotted) edges are degenerate, and the basc rectangles correspondng to mssng edges are mssng. The degeneracy of the rectangles does not affect the adjacency, so the degenerate edges act the same as normal edges, and reman n the arrow dagram. The mssng edges clearly cannot be ncluded n transtons, so these are removed from the arrow dagram (Fgure 28). We can now use these Lemmas to gve the proof of Theorem 6.5. Proof of Theorem 6.5. We begn wth a Hooper dagram as n Fgure 29a. The edges are labeled correspondng to the case of the hat that has that edge as ts mddle edge. The label s above the edge f that hat s rght-sde-up, and below the edge f the label s upsde-down, from Lemma 6.6. Lemma 6. tells us the allowed transtons n each case, and we copy the arrows onto the correspondng locatons n the Hooper dagram, n Fgure 29. Here the node at the tal of each arrow s the hat case number, and we have spaced out the arrows so that t s clear whch arrows come from whch hat. Fgure 29. The frst steps of constructng the dervaton dagram for S,3 Now we determne the arrow labels. Proposton 6. tells us that the edge labels from S m,n and S n,m snake back and forth and up and down, respectvely, so we copy the labels n onto the Hooper dagram n Fgure 30a. Then we use Lemma 6. to copy these labels onto the arrow pcture. For S,3, ths yelds the dervaton dagram n Fgure 30b, and for S m,n n general t yelds the dervaton dagram n Fgure 26. Where two dentcal arrow labels are adjacent (as for 2, 3, 6, here), we only wrte one label, and then get the dagram n Fgure 26, as desred. 6.. Normalzaton. Theorem 6.5 descrbes the transton dagram for Σ 0 n = [0, π/n]. Now we wll descrbe how to transform any trajectory nto a trajectory n Σ 0 n. To normalze trajectores whose drecton does not belong to the standard sector, we reflect each other sector Σ n for 2n onto Σ 0 n. Remark that geodesc are lne n a gven drecton and we can choose how to orent t. We can decde that all trajectores are gong up,.e. have ther angle θ [0, π]. Hence, often we wll consder only sectors Σ n for n.

37 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 3 Fgure 30. Fnshng the constructon of the dervaton dagram for S,3 Recall that for S m,n, we defned Σ n = [π/n, ( + )π/n]. Defnton 6.8. For 0 < 2n the transformaton φ n s a reflecton across the lne θ = (+)π/(2n). Thus, φ n maps Σ n bjectvely to Σ 0 n. In matrx form, we have [ ] φ cos (( + )π/n) sn (( + )π/n) n =. sn (( + )π/n) cos (( + )π/n) See Example 6.2 for the explct form of the reflecton matrces for n = 3. The reflecton φ n also gves an affne dffeomorphsm of S m,n, whch s obtaned by reflectng each polygon of S m,n (see Example 6.25 below). Conventon 6.9. We use the same symbols φ n to denote matrces n SL(2, R) and the correspondng affne dffeomorphsms of the Bouw-Möller surface S m,n. Each of the affne dffeomorphsms φ n also nduces a permutaton on the edge labels of S m,n,.e. on the alphabet n L m,n (see Example 6.26 below). We wll denote the permutaton correspondng to φ n by π n. We now want to descrbe these permutatons explctly. To do ths, we frst notce that each flp can be seen as a composton of two flps that are easer to study (see Lemma 6.20 below). The followng Defnton 6.2 and Lemma 6.22 then explan the actons of these fundamental transformatons on the labels of the polygons. Lemma Each of the reflectons φ n can be wrtten as a composton of the followng: a flp along the axs at angle π/n, denoted by f n. a flp along the axs at angle π/(2n), denoted by f 2n. Proof. Recall that we numbered the sectors wth Σ n = [π/n, ( + )π/n], and that φ n reflects sector Σ n nto sector Σ 0 n. Applyng f 2n to Σ n yelds Σn 2n, wth the opposte orentaton. The composton f n f 2n s a counter-clockwse rotaton by π/n, preservng orentaton. Thus, φ n = (f n f 2n ) 2n f 2n. Notce that ths s a composton of an odd number of flps, so t reverses orentaton, as requred. Defnton 6.2. We defne two actons on transton dagrams, whch leave the arrows n place but move the numbers (edge labels) around. The acton ν s a flp that exchanges the top row wth the bottom row, the second row wth the next-to-bottom row, etc. The acton β s a swtchng of adjacent pars n a knd of brck pattern where the n the upper-left corner s preserved, and the 2 and 3 exchange places, and 5 exchange places, and so on across the frst row, and then n the second row the pars that are exchanged are offset. See Fgure 3 for an example.

38 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES T 0 3, : ν(t3, β(t 0 3, ): Fgure 3. The actons ν and β on a transton dagram. Lemma () The flp f 2n has the effect of ν on the transton dagram. (2) The flp f n has the effect of of β on the transton dagram. Proof. () Recall Defnton 2., where we named the polygons P (0), P (),..., P (m ) from left to rght. By the Structure Theorem for dervaton dagrams 6.5, the frst row of a transton dagram has the edge labels of P (0), the second row has the edge labels of P (), and so on untl the last row has the edge labels of P (m ). A flp along the lne at angle π/(2n) exchanges the locatons of the short and long sdes, so t takes P (0) to P (m ), and takes P () to P (m ), etc. Thus t exchanges the rows by the acton of ν. (2) A flp along π/n exchanges pars of edge labels that are opposte each other n drecton π/n n the polygons, whch because of the zg-zag labelng are exactly the ones exchanged by β. Corollary The actons ν and β on the transton dagram correspondng to the actons of f 2n and f n, respectvely, preserve the rows of the transton dagram T m,n. Consequently, the permutatons π n preserve the rows of T m,n. Proof. It follows mmedately from Lemma 6.22 that the acton descrbed on the dagrams preserve rows. Now, each permutaton πn corresponds to a reflecton φ n, whch by Lemma 6.20 s obtaned as a composton of the transformatons f 2n and f n. Thus the permutatons are obtaned by composng the permutatons correspondng to f 2n and f n. Each permutaton preserves the rows, hence ther composton does too. Example 6.2 (Matrces for n = 3). For n = 3, the reflectons φ 3 for 0 2 that act on S,3 are gven by the followng matrces: φ 0 3 = [ ] 0 0 φ 3 = [ ] /2 3/2 3/2 /2 φ 2 3 = [ ] 0. 0 Example 6.25 (Reflectons for n = 3). In Fgure 32 we show how the reflectons φ 3 and φ act as affne dffeomorphsm on S,3 and S 3, respectvely. The sold lne reflects Σ to Σ 0 ; the dashed lne reflects Σ 2 to Σ 0, and for S 3, the dotted lne reflects Σ 3 to Σ 0. Example 6.26 (Permutatons for n = 3). Lookng at Fgure 32, we can see the permutaton on edge labels nduced by each φ n. S,3 : π 3 =()(29)(38)(56) S 3, : π =()(5)(68) π 2 3 =(2)(5)(8) π 2 =(6)(28)(35)() π 3 =(2)(3)(6).

39 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 39 Fgure 32. The acton of reflectons φ n on S 3, and S, Transton dagrams for other sectors. We can now explan how to draw a transton dagram for trajectores n each sector. Let us start wth some examples, and then gve a general rule to produce any such dagram. For our example surfaces S,3 and S 3,, the transton dagrams for each sector are n Fgures 33 and 3, respectvely T 0,3 : 6 5 T,3 : 5 6 T 2,3 : Fgure 33. Transton dagrams n each sector for S, T 0 3, : T 3, : T 2 3, : 2 3 T 3 3, : Fgure 3. Transton dagrams n each sector for S 3, Corollary 6.2. Up to permutng the labels, the shape of the transton dagram s always the same. For T m,n, the labels n T 0 m,n are permuted by π n. Defnton We wll call unversal dagram and denote by U m,n the unlabeled verson of the dagrams T m,n. The unversal dagrams for S,3 and S 3, are shown n Fgure 35. All transton dagrams for S m,n have the same arrow structure, U m,n, wth dfferent labels at the nodes.

40 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES 0 U,3 : U 3, : Fgure 35. The unversal dagrams U,3 and U 3,. Dervaton In ths secton we wll descrbe the renormalzaton procedure whch wll be our key tool to help us characterze (the closure of) all possble trajectores on a gven surface. The dea s that we wll descrbe geometrc renormalzaton operators (gven by compostons of affne maps and reflectons) whch transform a lnear trajectory nto another lnear trajectory, and at the same tme we wll descrbe the correspondng combnatoral operatons on cuttng sequences. The renormalzaton wll happen n two steps, by frst transformng a trajectory on S m,n nto one on S n,m (and descrbng how to transform the correspondng cuttng sequence), then mappng a trajectory on S n,m nto a new trajectory on S m,n (and a new cuttng sequence). The combnatoral operators whch shadow ths geometrc renormalzaton at the level of cuttng sequences wll be our dervaton operators, followed by a sutable normalzaton (gven by permutatons). Snce lnear trajectores wll be by constructon nfntely renormalzable under ths procedure, ther cuttng sequences wll have to be nfntely dervable (n the sense made precse n. below). More precsely, we begn ths secton by descrbng n. an example whch, for S,3, shows geometrcally how to renormalze trajectores and ther cuttng sequences. In.2 we then defne the combnatoral dervaton operator D n m and prove that t has the geometrc meanng descrbed n the example, whch mples n partcular that the derved sequence of a cuttng sequence on S m,n s a cuttng sequence of a lnear trajectory on the dual surface S n,m. In.3 we defne ths operator for sequences admssble n the standard sector, and then defne a normalzaton operator that maps admssble sequences to sequences admssble n the standard sector. Then, by combnng N m n D n m wth the operator N n m D m n one gets a dervaton operator on cuttng sequences for S m,n back to tself. In. we use ths composton to gve the defnton of nfntely dervable and prove that cuttng sequences are nfntely dervable (Theorem.). In.5, we use ths result to assocate to any gven cuttng sequence an nfnte sequence (the sequence of admssble dagrams) whch records combnatoral nformaton on the sequence of dervatves. We wll explan n the next secton 8 how ths sequence can be used to provde an analogue of the contnued fracton expanson for drectons. Fnally, n.6 we characterze the (perodc) sequences whch are fxed under the renormalzaton process, snce ths descrpton wll be needed for the characterzaton n 9... A motvatonal example: dervaton for S,3 geometrcally. Let us start wth an example to geometrcally motvate the defnton of dervaton. In we descrbed an explct affne dffeomorphm Ψ 3 from S,3 to S 3,, whch s obtaned by combnng a flp, a shear, a cut and paste, a smlarty and another shear. The effect of these steps on S,3 are shown n Fgure 36. Remark that the transformaton Ψ 3 acts on drectons by mappng the standard sector Σ0 3 for S,3 to the sector [π/, π], whch s the complement n [0, π] of the standard sector Σ 0 for S 3,. Ths s shown n Fgure 36, where the mage of the standard sector s followed step by step. In Fgure 3, the premages of the edges of S 3, (wth ther edge labels) by Ψ 3 are shown nsde S,3. Gven a trajectory τ on S,3 n a drecton θ Σ 0 3 = [0, π/3] wth cuttng sequence w n L,3 Z wth respect to the edge labels of S,3, one can also wrte the cuttng sequence w of the same trajectory τ wth respect to the edge labels of the pullback of the sdes of S 3, by Ψ 3. Ths gves a symbolc sequence w n L3, Z. We want to defne a combnatoral dervaton operator so that the sequence w s obtaned from the sequence w by dervaton.

41 CUTTING SEQUENCES ON BOUW-MÖLLER SURFACES shear flp shear cut&paste + rescale Fgure 36. The effect of Ψ 3 from S,3 to S 3,. Example.. The perodc trajectory τ on S,3 n Fgure 3a has correspondng cuttng sequence w = , and the same trajectory on S 3, has correspondng cuttng sequence w = We can read off w on the left sde of the fgure as the pullback of the sdes of S 3,, or on the rght sde of the fgure n S 3, tself. The reader can confrm that the path n D,3 0 n Fgure 25 collects exactly the arrow labels 36. Fgure 3. A trajectory n S,3 and S 3, : The green edges nsde S,3 on the left are the premages under Ψ 3 of S 3, on the rght. Fgure 2 showed ths constructon, and here we now show the same trajectory (the black lne) on both surfaces. Note that the trajectores n the two surfaces are not parallel; on the left t s at an angle of about 3, and on the rght about. 8 Here the overbar ndcates a b-nfnte perodc sequence.