Barge, Marcy; Kwapisz, Jaroslaw Geometric theory of unimodular Pisot substitutions. (English) Zbl 1152.37011 Am. J. Math. 128, No. 5, 1219-1282 (2006). The authors are concerned with the tiling flow \(T\) associated to a substitution \(\phi\) over a finite alphabet. Their focus is on substitutions that are unimodular Pisot, namely their matrix is unimodular and has all eigenvalues strictly inside the unit circle with exception of the Perron eigenvalue \(\lambda>1\). Thus \(\lambda\) belongs to the class of Pisot numbers. The motivation is provided by the still open conjecture asserting that \(T\) has pure discrete spectrum, including: injectivity of the canonical torus map (the geometric realization), geometric coincidence condition, partial commutation of \(T\) and the dual \(\mathbb R^{d-1}\)-action, measure and tiling properties of Rauzy fractals, and concrete algorithms. Some of these are original and some have already appeared in the literature (as sufficient conditions only) but they all emerge from a unified approach based on the new device: the strand space \(\mathcal F_\phi\) of \(\phi\). The proof of the necessity hinges on determination of the discrete spectrum of \(T\) as that of the associated Kronecker toral flow. Reviewer: Takao Komatsu (Hirosaki) Cited in 3 ReviewsCited in 42 Documents MSC: 37B50 Multi-dimensional shifts of finite type, tiling dynamics (MSC2010) 11R06 PV-numbers and generalizations; other special algebraic numbers; Mahler measure 37B10 Symbolic dynamics 37A45 Relations of ergodic theory with number theory and harmonic analysis (MSC2010) Keywords:unimodular Pisot; pure discrete spectrum conjecture; tiling flow; geometric coincidence condition; geometric realization/canonical torus PDFBibTeX XMLCite \textit{M. Barge} and \textit{J. Kwapisz}, Am. J. Math. 128, No. 5, 1219--1282 (2006; Zbl 1152.37011) Full Text: DOI Online Encyclopedia of Integer Sequences: The ternary tribonacci word; also a Rauzy fractal sequence: fixed point of the morphism 1 -> 12, 2 -> 13, 3 -> 1, starting from a(1) = 1. Trajectory of 1 under the morphism 1 -> 12, 2 -> 3, 3 -> 1. A Rauzy fractal sequence: trajectory of 1 under morphism 1 -> 2,3; 2 -> 3; 3 -> 1. A Rauzy fractal sequence: trajectory of 1 under morphism 1 -> 1,2,1,3; 2 -> 3; 3 -> 1.