Cohomology of one-dimensional mixed substitution tiling spaces (Q1944342)

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\).