Cutting sequences on Bouw-Moeller surfaces: an S-adic characterization

Abstract

Résumé. On considère un codage symbolique des géodésiques sur une famille de surfaces de Veech (surfaces de translation riches en symétries affines) récemment découverte par Bouw et Möller. Ces surfaces, comme l’a remarqué Hooper, peuvent être réalisées en coupant et collant une collection de polygones semi-réguliers. Dans cet article, on caractérise l’ensemble des suites symboliques (“suites de coupage”) qui correspondent au codage de trajectoires linéaires, à l’aide de la suite des côtés des polygones croisés. On donne une caractérisation complète de l’adhérence de l’ensemble des suites de coupage, dans l’esprit de la caractérisation classique des suites sturmiennes et de la récente caractérisation par Smillie-Ulcigrai des suites de coupage des trajectoires linéaires dans les polygones réguliers. La caractérisation est donnée en termes d’un système fini de substitutions (connu aussi sous le nom de présentation S-adique), réglé par une transformation unidimensionnelle qui ressemble à l’algorithme de fraction continue. Comme dans le cas sturmien et dans celui des polygones réguliers, la caractérisation est basée sur la renormalisation et sur la définition d’un opérateur combinatoire de dérivation approprié. Une des nouveautés est que la dérivation se fait en deux étapes, sans utiliser directement les éléments du groupe de Veech, mais en utilisant un difféomorphisme affine qui envoie une surface de Bouw-Möller vers sa surface “duale”, qui est dans le même disque de Teichmüller. Un outil technique utilisé est la présentation des surfaces de Bouw-Möller par les diagrammes de Hooper. ABSTRACT. We consider a symbolic coding for geodesics on the family of Veech surfaces (translation surfaces rich with affine symmetries) recently discovered by Bouw and Möller. These surfaces, as noticed by Hooper, can be realized by cutting and pasting a collection of semi-regular polygons. We characterize the set of symbolic sequences (cutting sequences) that arise by coding linear trajectories by the sequence of polygon sides crossed. We provide a full characterization for the closure of the set of cutting sequences, in the spirit of the classical characterization of Sturmian sequences and the recent characterization of Smillie-Ulcigrai of cutting sequences of linear trajectories on regular polygons. The characterization is in terms of a system of finitely many substitutions (also known as an S-adic presentation), governed by a one-dimensional continued fraction-like map. As in the Sturmian and regular polygon case, the characterization is based on renormalization and the definition of a suitable combinatorial derivation operator. One of the novelties is that derivation is done in two steps, without directly using Veech group elements, but by exploiting an affine diffeomorphism that maps a Bouw- Möller surface to the dual Bouw-Möller surface in the same Teichmüller disk. As a technical tool, we crucially exploit the presentation of Bouw-Möller surfaces via Hooper diagrams.