We reinvestigate the theory of deformations of tilings using P-equivariant cohomology. In particular we relate the notion of asymptotically negligible shape functions introduced by Clark and Sadun to weakly P-equivariant forms. We then investigate more closely the relation between deformations of patterns and homeomorphism or topological conjugacy of pattern spaces.
Suppose that we have a repetitive and aperiodic tiling $\bf T$ of $\mathbb{R}^n$, and two mass distributions $f_1$ and $f_2$ on $\mathbb{R}^n$, each pattern equivariant with respect to $\bf T$. Under what circumstances is it possible to do a bounded transport from $f_1$ to $f_2$? When is it possible to do this transport in a strongly or weakly pattern-equivariant way? We reduce these questions to properties of the \v Cech cohomology of the hull of $\bf T$, properties that in most common examples are already well-understood.
We study homeomorphisms of tiling spaces with finite local complexity (FLC), of which suspensions of $d$-dimensional subshifts are an example, and orbit equivalence of tiling spaces with (possibly) infinite local complexity (ILC). In the FLC case, we construct a cohomological invariant of homeomorphisms, and show that all homeomorphisms are a combination of tiling deformations, translations, and local equivalences (MLD). In the ILC case, we construct a cohomological invariant in the so-called weak cohomology, and show that all orbit equivalences are combinations of tiling deformations, transla…
We will show that an equivalence relation on a Cantor set arising from a two-dimensional substitution tiling by polygons is affable in the sense of Giordano, Putnam and Skau.
We establish direct isomorphisms between different versions of tiling cohomology. The first version is the direct limit of the cohomologies of the approximants in the Anderson-Putnam-Gähler complex, the second is the recently introduced PV-cohomolgy of Bellissard and Savinien and the third is pattern equivariant cohomology. For the last two versions one can define weak cohomology groups. We show that the isomorphisms extend to the weak versions. This leads to an alternative formulation of the pattern equivariant mixed quotient group which describes deformations of the tiling modulo topological…
In this second paper, we study the case of substitution tilings of R^d. The substitution on tiles induces substitutions on the faces of the tiles of all dimensions j=0, ..., d-1. We reconstruct the tiling's equivalence relation in a purely combinatorial way using the AF-relations given by the lower dimensional substitutions. We define a Bratteli multi-diagram B which is made of the Bratteli diagrams B^j, j=0, ..., d, of all those substitutions. The set of infinite paths in B^d is identified with the canonical transversal Xi of the tiling. Any such path has a "border", which is a set of tails i…
Crystallographic tilings of the Euclidean space $\mathbb{E}^n$ are defined as simple tilings whose group of isometric automorphisms is crystallographic. To classify crystallographic tilings by their automorphism groups it is necessary to extend the standard equivalence relation of mutual local derivability to a version taking more general isometries than translations into account. This also requires the extension of the standard metrics on tiling spaces. Finally, a tiling with a given crystallographic group as automorphism group is constructed.
We consider substitution tilings in R^d that give rise to point sets that are not bounded displacement (BD) equivalent to a lattice and study the cardinality of BD(X), the set of distinct BD class representatives in the corresponding tiling space X. We prove a sufficient condition under which the tiling space contains continuously many distinct BD classes and present such an example in the plane. In particular, we show here for the first time that this cardinality can be greater than one.
We extend rotation theory of circle maps to tiling spaces. Specifically, we consider a 1-dimensional tiling space $Ω$ with finite local complexity and study self-maps $F$ that are homotopic to the identity and whose displacements are strongly pattern equivariant (sPE). In place of the familiar rotation number we define a cohomology class $[μ]$. We prove existence and uniqueness results for this class, develop a notion of irrationality, and prove an analogue of Poncaré's Theorem: If $[μ]$ is irrational, then $F$ is semi-conjugate to uniform translation on a space $Ω_μ$ of tilings that is homeom…
Let T be an aperiodic and repetitive tiling of R^d with finite local complexity. Let O be its tiling space with canonical transversal X. The tiling equivalence relation R_X is the set of pairs of tilings in X which are translates of each others, with a certain (etale) topology. In this paper R_X is reconstructed as a generalized "tail equivalence" on a Bratteli diagram, with its standard AF-relation as a subequivalence relation. Using a generalization of the Anderson-Putnam complex, O is identified with the inverse limit of a sequence of finite CW-complexes. A Bratteli diagram B is built from …
We relate Kellendonk and Putnam's pattern-equivariant (PE) cohomology to the inverse-limit structure of a tiling space. This gives a version of PE cohomology with integer coefficients, or with coefficients in any Abelian group. It also provides an easy proof of Kellendonk and Putnam's original theorem relating PE cohomology to the Cech cohomology of the tiling space. The inverse-limit structure also allows for the construction of a new non-Abelian invariant, the PE representation variety.
This is a chapter in an upcoming book on aperiodic order. We go over different versions of tiling cohomology (\v Cech, pattern-equivariant, PV, quotient) with emphasis on the inverse limit constructions used to compute these cohomologies. We then consider the uses of tiling cohomology to distinguish spaces, to understand deformations, and to help understand maps between tiling spaces. The emphasis of this chapter is on substitution tilings and their generalizations, but the underlying ideas apply equally well to cut-and-project tilings and to tilings defined by local matching rules.
Under suitable conditions, a substitution tiling gives rise to a Smale space, from which three equivalence relations can be constructed, namely the stable, unstable, and asymptotic equivalence relations. We denote with $S$, $U$, and $A$ their corresponding $C^*$-algebras in the sense of Renault. In this article we show that the $K$-theories of $S$ and $U$ can be computed from the cohomology and homology of a single cochain complex with connecting maps for tilings of the line and of the plane. Moreover, we provide formulas to compute the $K$-theory for these three $C^*$-algebras. Furthermore, w…
In 1966 Harry Kesten settled the Erd\H os-Szüsz conjecture on the local discrepancy of irrational rotations. His proof made heavy use of continued fractions and Diophantine analysis. In this paper we give a purely topological proof Kesten's theorem (and Oren's generalization of it) using the pattern equivariant cohomology of aperiodic tiling spaces.
We consider random fields indexed by finite subsets of an amenable discrete group, taking values in the Banach-space of bounded right-continuous functions. The field is assumed to be equivariant, local, coordinate-wise monotone, and almost additive, with finite range dependence. Using the theory of quasi-tilings we prove an uniform ergodic theorem, more precisely, that averages along a Foelner sequence converge uniformly to a limiting function. Moreover we give explicit error estimates for the approximation in the sup norm.
The paper establishes an equivalence between pure point diffraction and certain types of model sets, called inter model sets, in the context of substitution point sets and substitution tilings. The key ingredients are a new type of coincidence condition in substitution point sets, which we call algebraic coincidence, and the use of a recent characterization of model sets through dynamical systems associated with the point sets or tilings.