Cohomology of one-dimensional mixed substitution tiling spaces

From MaRDI portal
Publication:1944342



Abstract: We compute the Cech cohomology with integer coefficients of one-dimensional tiling spaces arising from not just one, but several different substitutions, all acting on the same set of tiles. These calculations involve the introduction of a universal version of the Anderson-Putnam complex. We show that, under a certain condition on the substitutions, the projective limit of this universal Anderson-Putnam complex is isomorphic to the tiling space, and we introduce a simplified universal Anderson-Putnam complex that can be used to compute Cech cohomology. We then use this simplified complex to place bounds on the rank of the first cohomology group of a one-dimensional substitution tiling space in terms of the number of tiles.


The authors generalize the definition of the Anderson-Putnam complex \(AP(\Omega)\) of a tiling space \(\Omega\) to the case of a tiling space built from several substitutions (something they refer to as a mixed substitution space), by defining a slightly different equivalence relation on the space \(\Omega \times \mathbb{R}^d\) leading to what they call a ``modified Anderson-Putnam complex \(AP'(\Omega)\). For one-dimensional tiling systems they chose to deal with symbolic substitutions and accordingly they define a graph-like Anderson-Putnam complex \(AP(\mathcal{A})\) on an alphabet \(\mathcal{A}\) which gives a simpler description of mixed substitution systems. Under a certain quotienting procedure on the edges and vertices of \(AP(\mathcal{A})\) the authors obtain what they call a ``left-collared Anderson-Putnam complex \(AP_L(\mathcal{A})\), for which it is convenient to compute Čech cohomology groups. Under a certain condition on the mixed substitutions they prove that Čech cohomology groups of one-dimensional mixed symbolic substitution spaces are isomorphic to the direct limit of Čech cohomology groups of such complexes. The proof follows from proving that one-dimensional mixed symbolic substitutions spaces are isomorphic to the projective limit of certain Anderson-Putnam complexes, themselves isomorphic to the projective limit of certain modified Anderson-Putnam complexes, whose cohomology is isomorphic to the cohomology of the projective limit of left-collared ``full Anderson-Putnam complexes \(AP_L(\mathcal{A})\). The authors further utilize this latter complex to compute a bound on the rank of the first cohomology group \(H^1(\Omega_{F,s})\); if \(\mathcal{A}\) is an alphabet with \(|\mathcal{A}|=n\), \(F=(\phi_1, \dots, \phi_k)\) a mixed symbolic substitution system on \(\mathcal{A}\), \(s \in \{1, \dots, k\}^{\mathbb{N}}\), then rk\(H^1(\Omega_{F,s}) \leq n^2 - n + 1\).











This page was built for publication: Cohomology of one-dimensional mixed substitution tiling spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1944342)