Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Algebraic numbers, free group automorphisms and substitutions on the plane

Authors: Pierre Arnoux, Maki Furukado, Edmund Harriss and Shunji Ito
Journal: Trans. Amer. Math. Soc. 363 (2011), 4651-4699
MSC (2010): Primary 37B50, 52C20
Published electronically: April 14, 2011
MathSciNet review: 2806687
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: There has been much recent work on the geometric representation of Pisot substitutions and the explicit construction of Markov partitions for Pisot toral automorphims. We give a construction that extends this to the general hyperbolic case.

For the sake of simplicity, we consider a simple example of an automorphism of the free group on 4 generators whose associated matrix has 4 distinct complex eigenvalues, two of them of modulus larger than 1 and the other 2 of modulus smaller than 1 (non-Pisot case). Using this generator, we build substitution polygonal tilings of the contracting plane and the expanding plane of the matrix. We prove that these substitution tilings can be lifted in a unique way to stepped surfaces approximating each of these planes. The vertices of each of these stepped surfaces can be projected to an ``atomic surface'', a compact set with fractal boundary contained in the other plane.

We prove that both tilings can be refined to exact self-similar tilings whose tiles have fractal boundaries and can be obtained by iteration or by a ``cut and project'' method by using the atomic surface as the window.

Using the self-similar tiling, one can build a numeration system associated to a complex $ \lambda$-expansion; the natural extension of the $ \lambda$-expansion associated with this number system is the linear map obtained by abelianization of the free group automorphism. This gives an explicit Markov partition of this hyperbolic toral automorphism.

The fractal domains can be used to define a pseudo-group of translations which gives transversal dynamics in the sense of Vershik (1994) or numeration systems in the sense of Kamae (2005).

The construction can be extended to a larger class of free group automorphisms, each of which can be used to build substitution rules and dynamical systems.

References [Enhancements On Off] (What's this?)

  • [AI01] Pierre Arnoux and Shunji Ito, Pisot substitutions and Rauzy fractals, Bulletin of the Belgian Mathematical Society 8 (2001), 181-207, Journées Montoises d'Informatique Théorique (Marne-la-Vallée, 2000). MR 1838930 (2002j:37018)
  • [AIS01] Pierre Arnoux, Shunji Ito, and Yuki Sano, Higher dimensional extensions of substitutions and their dual maps, Journal d'Analyse Mathématique 83 (2001), 183-206. MR 1828491 (2003c:37016)
  • [AW70] Roy L. Adler and Benjamin Weiss, Similarity of automorphisms of the torus, Memoirs of the American Mathematical Society 98 (1970), 1-43. MR 0257315 (41:1966)
  • [Ber66] Robert Berger, The indecidability of the domino problem, Mem. Amer. Math. Soc. 66 (1966), 1-72. MR 0216954 (36:49)
  • [BH92] Mladen Bestvina and Michael Handel, Train tracks and automorphisms of free groups, Annals of Mathematics 135 (1992), no. 1, 1-51. MR 1147956 (92m:20017)
  • [BK06] Marcy Barge and Jaroslaw Kwapisz, Geometric theory of unimodular Pisot substitutions, American Journal of Mathematics 128 (2006), no. 5, 1219-1282. MR 2262174 (2007m:37039)
  • [Bor97] Stéphane Le Borgne, Dynamique symbolique et propriétés stochastiques des automorphismes du tore: Cas hyperbolique et quasi-hyperbolique, Ph.D. thesis, Université de Rennes I, 1997.
  • [Bow70] Rufus Bowen, Markov partitions for Axiom A diffeomorphisms, American Journal of Mathematics 92 (1970), 725-747. MR 0277003 (43:2740)
  • [Bow78] -, Markov partitions are not smooth, Proceedings of the American Mathematical Society 71 (1978), no. 1, 130-132. MR 0474415 (57:14055)
  • [dB81] N.G. de Bruijn, Algebraic theory of penrose's non-periodic tilings of the plane, Indagationes Mathematicae 43 (1981), 38-66.
  • [Ei03] Hiromi Ei, Some properties of invertible substitutions of rank $ d$, and higher dimensional substitutions, Osaka Journal of Mathematics 40 (2003), 543-562. MR 1988704 (2004e:37020)
  • [FHK02] A. H. Forrest, J. R. Hunton, and J. Kellendonk, Cohomology of canonical projection tilings, Comm. Math. Phys. 226 (2002), no. 2, 289-322. MR 1892456
  • [FIR06] Maki Furukado, Shunji Ito, and E. Arthur Robinson Jr., Tilings associated with non-Pisot matrices, Annales de l'Institut Fourie 56 (2006), no. 7, 2391-2435. MR 2290785 (2008b:37028)
  • [Fur06] Maki Furukado, Tilings from non-Pisot unimodular matrices, Hiroshima Mathematical Journal 36 (2006), no. 2, 289-329. MR 2259740 (2007f:52045)
  • [Gar77] Martin Gardner, Extraordinary nonperiodic tilings that enriches the theory of tiles, Scientific American (1977), 110-119.
  • [Har03] E. O. Harriss, On canonical substitution tilings, Ph.D. thesis, Imperial College London, 2003.
  • [HL04] Edmund O. Harriss and Jeroen S.W. Lamb, Canonical substitution tilings of Ammann-Beenker type, Theoret. Comput. Sci. 319 (2004), no. 1-3, 241-279. MR 2074956
  • [Kam05] Teturo Kamae, Numeration systems, fractals and stochastic processes, Israel J. Math. 149 (2005), 87-135. MR 2191211 (2006j:37018)
  • [Ken92] Richard Kenyon, Self-replicating tilings, Symbolic dynamics and its applications (P. Walters, ed.), AMS Contemp. Math. Series, vol. 135, 1992, pp. 239-263. MR 1185093 (94a:52043)
  • [Ken96] -, The construction of self-similar tilings, Geom. and Func. Analysis 6 (1996), 417-488. MR 1392326 (97j:52025)
  • [KV98] Richard Kenyon and Anatoly Vershik, Arithmetic contruction of sofic partitions of hyperbolic toral automorphisms, Ergodic Theory and Dynamical Systems 18 (1998), 357-372. MR 1619562 (99g:58092)
  • [Man02] Anthony Manning, A Markov partition that reflects the geometry of a hyperbolic toral automorphism, Transactions of the American Mathematical Society 354 (2002), no. 7, 2849-2863. MR 1895206 (2003g:37048)
  • [PS01] Nathalie Priebe and Boris Solomyak, Characterization of planar pseudo-self-similar tilings, Discrete and Computational Geometry 26 (2001), 289-306. MR 1854103 (2002j:37029)
  • [Rau82] Gérard Rauzy, Nombres algébriques et substitutions, Bulletin de la Société Mathématique de France 110 (1982), 147-178. MR 667748 (84h:10074)
  • [Rob96] E. Arthur Robinson, Jr., The dynamical properties of Penrose tilings, Transactions of the American Mathematical Society 348 (1996), 4447-4464. MR 1355301 (97a:52041)
  • [Sen95] Marjorie Senechal, Quasicrystals and geometry, Cambridge University Press, 1995. MR 1340198 (96c:52038)
  • [Sie02] N. Pytheas Fogg, Substitutions in dynamics, arithmetics and combinatorics, ch. 7: Spectral theory and geometric represntation of substitutions (V. Berthé, S. Ferenczi, and A. Siegel, eds.), Springer, 2002, Lecture Notes in Mathematics, 1794. MR 1970385 (2004c:37005)
  • [Sin68] Yakov Sinai, Markov partitions and U-diffeomorphisms, Funkts. Anal. Prilozhen. 2 (1968), 64-89. MR 0233038 (38:1361)
  • [Thu89] William P. Thurston, Groupes, tilings and finite state automata, AMS Colloquium Lectures (1989), Lectures notes distributed in conjunction with the Colloquium Series.
  • [Ver94] Anatoly M. Vershik, Locally transversal symbolic dynamics, Algebra i Analiz 6 (1994), 94-106, in Russian. MR 1301832 (95h:58045)
  • [Wil67] R. F. Williams, One-dimensional non-wandering sets, Topology 6 (1967), 473-487. MR 0217808 (36:897)
  • [Wil74] -, Expanding attractors, Inst. Hautes Études Sci. Publ. Math. (1974), no. 43, 169-203. MR 0348794 (50:1289)
  • [Wil01] R. F. Williams, The Penrose, Ammann and DA tiling spaces are Cantor set fiber bundles, Ergodic Theory Dynam. Systems 21 (2001), no. 6, 1883-1901. MR 1869076

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 37B50, 52C20

Retrieve articles in all journals with MSC (2010): 37B50, 52C20

Additional Information

Pierre Arnoux
Affiliation: IML UPR-Cnrs 9016, Campus de Luminy case 907, 13288 Marseille Cedex 9, France

Maki Furukado
Affiliation: Faculty of Business Administration, Yokohama University, 79-4, Tokiwadai, Hodogaya-ku, Yokohama, 240-8501, Japan

Edmund Harriss
Affiliation: Department of Mathematics, University of Arkansas, Fayetteville, Arkansas 72701

Shunji Ito
Affiliation: Graduate School of Natural Science and Technology of Kanazawa University, Kakuma-machi, Kanazawa, 920-1192, Japan

Received by editor(s): November 15, 2008
Received by editor(s) in revised form: August 8, 2009
Published electronically: April 14, 2011
Additional Notes: The third author was supported by JSPS Short Term visiting Fellowship: PE03516UJ and by EPSRC Postdoctoral fellowship: EP/C527267
Article copyright: © Copyright 2011 Pierre Arnoux, Maki Furukado, Edmund Harriss, Shunji Ito

American Mathematical Society