---
abstract: 'Let ${{\mathcal T}}$ be an aperiodic and repetitive tiling of ${{\mathbb R}}^d$ with finite local complexity. We present a spectral sequence that converges to the $K$-theory of ${{\mathcal T}}$ with page-$2$ given by a new cohomology that will be called PV in reference to the Pimsner-Voiculescu exact sequence. It is a generalization of the Serre spectral sequence. The PV cohomology of ${{\mathcal T}}$ generalizes the cohomology of the base space of a fibration with local coefficients in the $K$-theory of its fiber. We prove that it is isomorphic to the Čech cohomology of the hull of ${{\mathcal T}}$ (a compactification of the family of its translates).'
author:
- |
    Jean Savinien, Jean Bellissard\
    [Georgia Institute of Technology, School of Mathematics, Atlanta GA 30332-0160]{}
date:  
title: 'A Spectral Sequence for the $K$-theory of Tiling Spaces[^1]'
---

Main Results {#Ktiling07.sec-intro}
============

Let ${{\mathcal T}}$ be an aperiodic and repetitive tiling of ${{\mathbb R}}^d$ with finite local complexity (definition \[Ktiling07.def-repFLC\]). The hull $\Omega$ is a compactification, with respect to an appropriate topology, of the family of translates of ${{\mathcal T}}$ by vectors of ${{\mathbb R}}^d$ (definition \[Ktiling07.def-hull\]). The tiles of ${{\mathcal T}}$ are given compatible $\Delta$-complex decompositions (section \[Ktiling07.ssect-ringtrans\]), with each simplex punctured, and the $\Delta$-transversal $\Xi_\Delta$ is the subset of $\Omega$ corresponding to translates of ${{\mathcal T}}$ having the puncture of one of those simplices at the origin $0_{{{\mathbb R}}^d}$. The prototile space ${{\mathcal B}}_0$ (definition \[Ktiling07.def-B0\]) is built out of the prototiles of ${{\mathcal T}}$ (translational equivalence classes of tiles) by gluing them together according to the local configurations of their representatives in the tiling.

The hull is given a dynamical system structure via the natural action of the group ${{\mathbb R}}^d$ on itself by translation [@BBG06]. The [$C^{\ast}$-algebra ]{}of the hull is isomorphic to the crossed-product [$C^{\ast}$-algebra ]{}$C(\Omega) \rtimes {{\mathbb R}}^d$.

There is a map ${{\mathfrak p}}_o$ from the hull onto the prototile space (proposition \[Ktiling07.prop-projhullB0\])

$$\begin{array}{ccl}
\Xi_\Delta & \hookrightarrow & \Omega \\
 & & \downarrow  {{\mathfrak p}}_0 \\
& & {{\mathcal B}}_0
\end{array}$$ which, thanks to a lamination structure on $\Omega$ (remark \[Ktiling07.rem-lamination\]), resembles (although is [*not*]{}) a fibration with base space ${{\mathcal B}}_0$ and fiber $\Xi_\Delta$ (remark \[Ktiling07.rem-fibrahull\]). The Pimsner-Voiculescu (PV) cohomology $H_{PV}^\ast$ of the tiling (definition \[Ktiling07.def-pimcoho\]) is a cohomology of the base space ${{\mathcal B}}_0$ with “local coefficients” in the $K$-theory of the fiber $\Xi_\Delta$ (remark \[Ktiling07.rem-localcoef\]).

\[Ktiling07.thm-SSpim\] There is a spectral sequence that converges to the $K$-theory of the [$C^{\ast}$-algebra ]{}of the hull $$E_2^{rs} \Rightarrow  K_{r+s+d} \bigl( C(\Omega) \rtimes {{\mathbb R}}^d \bigr) \,,$$ and whose page-$2$ is given by $$E_2^{rs} \cong
H^r_{PV} \bigl( {{\mathcal B}}_0 ; K^s (\Xi_\Delta) \bigr) \,.$$

By an argument using the Thom-Connes isomorphism [@Co81] the $K$-theory of $C(\Omega) \rtimes {{\mathbb R}}^d$ is isomorphic to the topological $K$-theory of $\Omega$ (with a shift in dimension by $d$), and the above theorem can thus be seen formally as a generalization of the Serre spectral sequence [@Se51] for a certain class of laminations $ \Xi_\Delta \hookrightarrow \Omega \rightarrow {{\mathcal B}}_0$, which are foliated spaces [@MS88] but not fibrations.

This result brings a different point of view on a problem solved earlier by Hunton and Forrest in [@FH99]. They built a spectral sequence for the $K$-theory of a crossed product [$C^{\ast}$-algebra ]{}of a ${{\mathbb Z}}^d$-action on a Cantor set. Such an action exists always for tilings of finite local complexity, but it is by no means canonical. Indeed, thanks to a result of Sadun and Williams [@SW03], the hull of a repetitive tiling with finite local complexity is homeomorphic to a fiber bundle over a torus with fiber the Cantor set. These two results are sufficient to get the $K$-theory of the hull which, thanks to the Thom-Connes theorem [@Co81], gives also the $K$-theory of the [$C^{\ast}$-algebra ]{}of the tiling ${{\mathcal C}}(\Omega)\rtimes {{\mathbb R}}^d$. However, the construction of the hull through an inverse limit of branched manifolds, initiated by Anderson and Putnam [@AP98] for the case of substitution tilings and generalized in [@BBG06] to all repetitive tilings with finite local complexity, suggests a different and more canonical construction. So far however, it is not yet efficient for practical calculations.

One dimensional repetitive tilings with finite local complexity are all Morita equivalent to a ${{\mathbb Z}}$-action on a Cantor set. The Pimsner-Voiculescu exact sequence [@PV80] is then sufficient to compute the $K$-theory of the hull [@Be93]. In the late nineties, before the paper by Forrest and Hunton was written, Mihai Pimsner suggested to one of the authors[^2] a method to generalize the theorem to ${{\mathbb Z}}^d$-actions. This spectral sequence was used and described already in [@BKL01] and is a special case of the Kasparov spectral sequence [@Ka88] for $KK$-theory. We recall it here for completeness and to justify naming $H_{PV}^\ast$ after Pimsner and Voiculescu.

\[Ktiling07.thm-PimSS2\] Let ${{\mathcal A}}$ be a [$C^{\ast}$-algebra ]{}endowed with a ${{\mathbb Z}}^d$ action $\alpha$ by $\ast$-automorphisms. The PV complex is defined as $K_\ast({{\mathcal A}})\otimes \Lambda^\ast {{\mathbb Z}}^d  \xrightarrow{ \ d_{PV} \ }K_\ast({{\mathcal A}})\otimes \Lambda^\ast {{\mathbb Z}}^d$ with $$d_{PV}= \sum_{i=1}^d (\alpha_{i\ast} - {{\mathbf 1}})\otimes e_i\wedge \,,$$ where $\{e_1, \cdots , e_d\}$ is the canonical basis of ${{\mathbb Z}}^d$, $\alpha_i= \alpha_{e_i}$ is the restriction of $\alpha$ to the $i$-th component of ${{\mathbb Z}}^d$, whereas $x\wedge$ is the exterior multiplication by $x\in {{\mathbb Z}}^d$.

There is a spectral sequence converging to the $K$-theory of ${{\mathcal A}}$ $$E_2^{rs} \Rightarrow  K_{r+s+d} \bigl( {{\mathcal A}}\rtimes_\alpha {{\mathbb Z}}^d \bigr) \,,$$ with page-$2$ isomorphic to the cohomology of the PV complex.

[*Idea of the proof.*]{} The spectral sequence is built out of the cofiltration associated with the filtration of the mapping torus $M_\alpha({{\mathcal A}})$ by ideals of functions vanishing on the squeleton of the torus. The differential for PV cohomology can be identified using the $K$-theory maps (Bott and boundary maps). The reader is referred to [@Bla98] and in particular to proposition 10.4.1 where the problem for $d=1$ is treated briefly. [$\Box$]{}

A more topological expression of this theorem consists in replacing ${{\mathbb Z}}^d$ by its classifying space, the torus ${{\mathbb T}}^d$, with a $CW$-complex decomposition given by an oriented (open) $d$-cube and all of its (open) faces in any dimension. Then the PV complex can be proved to be isomorphic to the following complex: the cochains are given by covariant maps $\varphi (e) \in K_\ast({{\mathcal A}})$, where $e$ is a cell of ${{\mathbb T}}^d$ and $\varphi(\overline{e}) =-\varphi(e)$ if $\overline{e}$ is the face $e$ with opposite orientation. The covariance means that if two cells $e,e'$ differ by a translation $a\in {{\mathbb Z}}^d$ then $\varphi(e') = \alpha^a \varphi(e)$. The differential is the usual one, namely $d\varphi (e) = \sum_{e'\in\partial e} \varphi(e')$. If $H^\ast_P \bigl( {{\mathbb T}}^d ; K_\ast ({{\mathcal A}}) \bigr)$ denotes the corresponding cohomology this gives

\[Ktiling07.cor-pim\] The PV cohomology group for the crossed product ${{\mathcal A}}\rtimes_\alpha {{\mathbb Z}}^d$ is isomorphic to $H^\ast_{PV} \bigl( {{\mathbb T}}^d ; K_\ast ({{\mathcal A}}) \bigr)$.

The spectral sequence used by Forrest and Hunton in [@FH99] in the case ${{\mathcal A}}={{\mathcal C}}(X)$ where $X$ is the Cantor set coincides with the PV spectral sequence. The present paper generalizes this construction for tilings by replacing the classifying space ${{\mathbb T}}^d$, by the prototile space ${{\mathcal B}}_0$.

The hull can also be built out of a [*box decomposition*]{} [@BBG06]. Namely a [*box*]{} is a local product of the transversal (which is a Cantor set) by a polyhedron in ${{\mathbb R}}^d$ called the [*base*]{} of the box. Then the hull can be shown to be given by a finite number of such boxes together with identifications on the boundary of the bases. This is an extension of the mapping torus, for which there is only one box with base given by a [*cube*]{} [@Se51]. Since ${{\mathcal A}}$ in the present case is the space of continuous functions on the Cantor set $X$, $K_0({{\mathcal A}})$ is isomorphic to ${{\mathcal C}}(X,{{\mathbb Z}})$ whereas $K_1({{\mathcal A}})=0$, leading to the present result. In Section \[Ktiling07.ssect-PimCoho1d\] an example of an explicit calculation of the PV cohomology is proposed illustrating the way it can be used. Further examples, and methods of calculation of PV cohomology will be investigated in future research. However, as it turns out (see section \[Ktiling07.ssect-cohom\]), the PV cohomology is isomorphic to other cohomologies used so far on the hull, such as the Čech cohomology [@AP98; @Sa03], the group cohomology [@FH99] or the pattern equivariant cohomology [@Ke03; @KP06; @Sa06].

[**Aknowledgements.**]{} Both authors were invited and funded by the Erwin Schrödinger Institute (Vienna, Austria) in Summer 2006 and at the Institut Henri Poincaré (Paris, France) in Spring 2007. It is a pleasure for J. Savinien to thank the Erwin Schrödinger Institute that supported him as a Junior Research Fellow; most of this work was done there. He aknowledges financial support from the School of Mathematics of the Georgia Institute of Technology. He thanks J. Hunton and C. Schochet for useful discussions and comments on this work. J. Bellissard thanks Mihai Pimsner for his explanation of the spectral sequence for ${{\mathbb Z}}^d$-actions (theorem \[Ktiling07.thm-PimSS2\]) provided in June 1997 in a conversation in Geneva. He is also indebted to J. Hunton, J. Kellendonk and A. Legrand for patiently explaining what a spectral sequence is. He is also indebted to J.-M. Gambaudo and L. Sadun for explaning him how to built the branched manifolds involved in this work.

Historic Background {#Ktiling07.sec-hist}
===================

[*Spectral sequences*]{} were introduced by Leray [@Le46] during WWII, as a way to compute the cohomology of a sheaf. It was later put in the framework used today by Koszul [@Ko47]. One of the first applications of this method was performed by Borel and Serre [@BS50]. Later, Serre, in his Ph. D. Thesis [@Se51] defined the notion of Serre fibration and build a spectral sequence to compute the their singular homology or cohomology. This more or less led him to calculate the rational homotopy of spheres.

In the early fifties, Hirzebruch made an important step in computing the Euler characteristic of various complex algebraic varieties and complex vector bundles over them [@Hi54]. He showed that this characteristic can be computed from the Chern classes of the tangent bundle and of the vector bundle through universal polynomials [@Hi56] which coincides with the Todd genus in the case of varieties. It allowed him to show that the Euler characteristic is additive for extensions namely if $E,E',E''$ are complex vector bundles and if $0\rightarrow E'\rightarrow E\rightarrow E''\rightarrow 0$ is an exact sequence, than $\chi(E)= \chi(E')+\chi(E'')$. This additivity property led Grothendieck to define axiomatically an additive group characterizing this additivity relation, which he called the $K$-group [@Gro58]. It was soon realized by Atiyah and Hirzebruch [@AH61] that the theory could be extended to topological spaces $X$ and they defined the topological $K$-theory as a cohomology theory without the axiom of dimension. The $K_0$-group is the set of stable equivalence classes of complex vector bundles over $X$, while $K_1$ (and more generaly $K_n$) is the set of stable equivalence classes of complex vector bundles over the suspension (respectively the $n$-th suspension) of $X$. The Bott periodicity theorem reduces the number of groups to two only. Moreover, the Chern character was shown to define a natural map between the $K$-group and the integer Čech cohomology of $X$, and that it becomes an isomorphism when both groups are rationalized. In this seminal paper [@AH61] Atiyah and Hirzebruch define a spectral sequence that will be used in the present work. It is a particular case of Serre spectral sequence for the trivial fibration of $X$ by itself with fiber a point: it converges to the $K$-theory of $X$ and its page-$2$ is isomorphic to the cohomology of $X$.

Almost immediately after this step, Atiyah and Singer extended the work of Hirzebruch to the [*Index theorem*]{} [@AS63; @AS68] for elliptic operators. Such an operator is defined between two vector bundles, it is unbounded, in general and, with the correct domains of definition defines a Fredholm operator. The index can be interpreted as an element of the $K$-group and is calculated through a formula which generalizes the results of Hirzebruch for algebraic varieties. Eventually, Atiyah and Singer extended the theory to the equivariant $K$-theory valid if a compact Lie group $G$ acts on the vector bundle. If $P$ is an elliptic operator commuting with $G$ its index gives an element of the covariant $K$-theory. In a programmatic paper [@Si70], Singer proposed various extensions to elliptic operators with c[œ]{}fficients depending on parameters. As an illustration of such a program, Coburn, Moyer and Singer [@CMS73] gave an index theorem for elliptic operators with almost periodic c[œ]{}fficients (see also [@Su79]). Eventually the index theorem became the cornerstone of Connes’ program to build a [*Noncommutative Geometry*]{}. In a seminal paper [@Co79] he defined the theory of [*noncommutative integration*]{} and showed that its first application was an index theorem for elliptic operators on a foliation (see also [@Co82; @Co94]).

In the seventies, it was realized that the Atiyah-Hirzebruch $K$-theory could be expressed in algebraic terms through the [$C^{\ast}$-algebra ]{}${{\mathcal C}}(X)$ of continuous functions on the compact space $X$. The definition of the $K$-group requires then to consider matrix valued continuous functions $M_n({{\mathcal C}}(X))$ instead for all $n$. The smallest [$C^{\ast}$-algebra ]{}containing all of them is ${{\mathcal C}}(X)\otimes {{\mathcal K}}$, where ${{\mathcal K}}$ denotes the [$C^{\ast}$-algebra ]{}of compact operators on a separable Hilbert space. Therefore, since this later algebra is non commutative, all the construction could be used for any [$C^{\ast}$-algebra]{}. Then Kasparov [@Ka80; @Ka88] defined the notion of $KK$-theory generalizing even more the $K$ groups to correspondences between two [$C^{\ast}$-algebras]{}.

The problem investigated in the present paper is the latest development of a program that was initiated in the early eighties [@JM82; @Be82] when the first version of the [*gap labeling theorem*]{} was proved (see [@Be86; @Be93; @BBG06] for later developments). At that time the problem was to compute the spectrum of a Schr[ö]{}dinger operator $H$ in an aperiodic potential. Several examples where discovered of Schrödinger operators with a Cantor-like spectrum [@Hof76; @Mos81]. Labeling the infinite number of gaps per unit length interval, was a challenge. It was realized that the $K$-theory class of the spectral projection on spectrum below the gap was a proper way of doing so [@Be82]. The first calculation was made on the Harper equation and gave an explanation for a result already obtained by Claro and Wannier [@CW78], a result eventually used in the theory of the quantum Hall effect [@TKN2]. This problem was motivated by the need for a theory of aperiodic solids, in particular their electronic and transport properties. With the discovery of [*quasicrystals*]{} in 1984 [@SBGC84], this question became crucial in Solid State Physics. The construction of the corresponding [$C^{\ast}$-algebra ]{}became then the main issue and led to the definition of the [*Hull*]{} [@Be86]. It was proved that the Hull is a compact metrizable space $\Omega$ endowed with an action of ${{\mathbb R}}^d$ via homeomorphisms. Then it was proved in [@Be86; @Be93], that the resolvent of the Schrödinger operator $H$ belongs to the [$C^{\ast}$-algebra ]{}${{\mathcal A}}={{\mathcal C}}(\Omega)\rtimes {{\mathbb R}}^d$. With each ${{\mathbb R}}^d$-invariant probability measure ${{\mathbb P}}$ on $\Omega$ is associated a trace ${{{\mathcal T}}_{{{\mathbb P}}}}$ on this algebra. Following an argument described in [@Be82], it was proved that a gap could be labeled by the value of the density of state, and that this value belongs to the image by the trace ${{{\mathcal T}}_{{{\mathbb P}}}}$ of the group $K_0({{\mathcal A}})$. During the eighties several results went on to compute the set of gap labels [@Pi83; @Be86]. In one dimension, detailed results could be proved (see [@Be93] for a review). The most spectacular result was given in the case of a discretized Laplacian with a potential taking on finitely many values (called [*letters*]{}): in such a case the set of gap labels is the ${{\mathbb Z}}$-module generated by the occurrence probability of all possible finite words found in the sequence defined by the potential. If this sequence is given by a [*substitution*]{}, these occurrence probabilities can be computed explicitely in terms of the incidence matrix of the substitution and of the associated substitution induced on the set of words with two letters [@QU87; @Be93]. The key property in proving such results was the use of the Pimsner-Voiculescu exact sequence [@PV80]. Soon after, A. van Elst [@vEl94] extended these results to the case of 2D-potentials, using the same method.

In the French version [@Co90] of his book on [*Noncommutative geometry*]{} [@Co94], Connes showed how the general formalism he had developed could be illustrated with the special case of the Penrose tiling. Using the substitution rules for its construction, he introduced a [$C^{\ast}$-algebra]{}, which turns out to be AF, and computed its ordered $K_0$-group, using the classification of AF-algebras obtained by Bratelli in 1972 [@Br72]. This result was an inspiration for Kellendonk, who realized that, instead of looking at the inflation rule as a source of noncommutativity, it was actually better to consider the space translations of the tiling [@Ke95], in the spirit of the formalism developed in [@Be82; @Be86; @Be93] for aperiodic solids. He extended this latter construction of the Hull to tilings and then this Hull is called [*tiling space*]{}. In this important paper, Kellendonk introduced the notion of [*forcing the border*]{} for a general tiling, which appears today as an important property for the calculation of the K-groups and cohomology of a tiling space. This work gave a strong motivation to prove the [*Gap Labeling Theorem in higher dimension*]{} and to compute the $K$-group of the Hull. It was clear that the method used in one dimension, through the Pimsner-Voiculescu exact sequence could only be generalized through a spectral sequence. The first use of spectral sequences in computing the set of gap labels on the case of the 2D-octagonal tiling [@BCL98] was followed by a proof of the Gap Labeling Theorem for 3D-quasicrystals [@BKL01]. Finally, the work by Forrest and Hunton [@FH99] used a classical spectral sequence to compute the full $K$-theory of the [$C^{\ast}$-algebra ]{}for an action of ${{\mathbb Z}}^d$ on the Cantor set. It made possible the computation of the K-theory and the cohomology of the Hull for quasicrystals in two and three dimensions [@HFK02; @GHK05]. Other examples of tilings followed later [@Sa05].

In addition to Kellendonk’s work, several important contributions helped to build tools to prove the higher dimensional version of the Gap Labeling Theorem. Among the major contributions was the work of Lagarias [@La99A; @La99B; @LP03], who introduced a geometric and combinatoric aspect of tiling through the notion of a Delone set. This concept was shown to be conceptually crucial in describing aperiodic solids [@BHZ00]. Through the construction of Voronoi, Delone sets and tilings become equivalent concepts, allowing for various intuitive point of views to study such problems.

Another important step was performed in 1998 by Anderson and Putnam [@AP98], who proposed to build the tiling space of a substitution tiling through a CW-complex built from the prototiles of a tiling (called prototile space in this paper). The substitution induces a map from this CW-complex into itself and they showed that the inverse limit of such system becomes homeomorphic to the tiling space. A similar construction was proposed independently by Gambaudo and Martens in 1999 to describe dynamical system. This latter case corresponds to 1D repetitive tilings with finite local complexity, so that this latter construction goes beyond the substitution tilings. One interesting outcome of this work was a systematic construction of minimal dynamical systems, uniquely ergodic or not, and with positive entropy[^3] (see [@GM06]). Eventually, the Gambaudo-Martens construction led to the construction of the Hull as an inverse limit of compact oriented branched flat Riemannian manifolds [@BBG06][^4] used in the present paper (although only their topological $CW$-complex structure is needed here). Equivalently, the Hull can be seen as a [*lamination*]{} [@Gh99] of a [*foliated space*]{} [@MS88]. The extension of this construction to include tilings without finite local complexity, such as the pinwheel model [@Rad99], was performed by Gambaudo and Benedetti [@BG03] using the notion of solenoids (reintroduced by Williams in the seventies [@Wil74]).

A Mathematical Reminder {#Ktiling07.sect-mathback}
=======================

The preliminary definitions and results required for stating theorem \[Ktiling07.thm-SSpim\] are presented here. They are taken mostly from previous work of the first author in [@BHZ00; @BBG06] on tilings and Delone sets and the reader is referred to those papers for complete proofs. Let ${{\mathbb R}}^d$ denote the usual Euclidean space of dimension $d$ with euclidean norm $ \| \cdot \| $. First of all the definition of a repetive tiling of ${{\mathbb R}}^d$ with finite local complexity is recalled, and then the hull and transversal of such a tiling are introduced. The connection with Delone sets is briefly mentioned as well as the definition of the groupoid of the transversal of a Delone set. The prototile space of a tiling and the ring of functions on the transversal are then built, and finally the PV cohomology defined.

Tilings and their hulls {#Ktiling07.ssect-tiling}
-----------------------

\[Ktiling07.def-tiling\]

(i) A [tile]{} of ${{\mathbb R}}^d$ is a compact subset of ${{\mathbb R}}^d$ which is homeomorphic to the unit ball.

(ii) A punctured tile is an ordered pair consisting of a tile and one of its points.

(iii) A [tiling]{} of ${{\mathbb R}}^d$ is a covering of ${{\mathbb R}}^d$ by a family of tiles whose interiors are pairwise disjoint. A tiling is said to be punctured if its tiles are punctured.

(iv) A [prototile]{} of a tiling is a translational equivalence class of tiles (including the puncture).

(v) The [first corona]{} of a tile in a tiling ${{\mathcal T}}$ is the union of the tiles of ${{\mathcal T}}$ intersecting it.

(vi) A [collared prototile]{} of ${{\mathcal T}}$ is the subclass of a prototile whose representatives have the same first corona up to translation.

A collared prototile is a prototile where a local configuration of its representatives has been specified: each representative has the same neighboring tiles.

In the sequel it is implicitely assumed that tiles and tilings are punctured. All tiles are assumed to be finite $\Delta$-complexes which are particular $CW$-complex structures (see section \[Ktiling07.ssect-ringtrans\]). They are also required to be compatible with the tiles of their first coronas, [*i.e.*]{} the intersection of any two tiles is itself a sub-$\Delta$-complex of both tiles. In other words, tilings considered here are assumed to be $\Delta$-complexes of ${{\mathbb R}}^d$.

\[Ktiling07.def-patch\] Let ${{\mathcal T}}$ be a tiling of ${{\mathbb R}}^d$.

(i) A [patch]{} of ${{\mathcal T}}$ is a finite union of neighboring tiles in ${{\mathcal T}}$ that is homeomorphic to a ball. A patch is punctured by the puncture of one of the tiles that it contains. The radius of a patch is the radius of the smallest ball that contains it.

(ii) A [pattern]{} of ${{\mathcal T}}$ is a translational equivalence class of patches of ${{\mathcal T}}$.

(iii) The [first corona]{} of a patch of ${{\mathcal T}}$ is the union of the tiles of ${{\mathcal T}}$ intersecting it.

(iv) A [collared pattern]{} of ${{\mathcal T}}$ is the subclass of a pattern whose representatives have the same first corona up to translation.

The following notation will be used in the sequel: prototiles and patterns will be written with a hat, for instance $\hat{t}$ or $\hat{p}$, to distinguish them from their representatives. Often the following convention will be implicit: if $\hat{t}$ is a prototile and $\hat{p}$ a pattern, then $t$ and $p$ will denote their respective representatives that have their punctures at the origin $0_{{{\mathbb R}}^d}$.

The results in this paper are valid for the class of tilings that are [*repetitive*]{} with [*finite local complexity*]{}.

\[Ktiling07.def-repFLC\] Let ${{\mathcal T}}$ be a tiling of ${{\mathbb R}}^d$.

(i) ${{\mathcal T}}$ has [Finite Local Complexity]{} (FLC) if for any $R>0$ the set of patterns of ${{\mathcal T}}$ whose representatives have radius less than $R$ is finite.

(ii) ${{\mathcal T}}$ is [repetitive]{} if for any patch of ${{\mathcal T}}$ and every $\epsilon>0$, there is an $R>0$ such that for every $x$ in ${{\mathbb R}}^d$ there exists [modulo an error]{} $\epsilon$ with respect to the Hausdorff distance, a translated copy of this patch belonging to ${{\mathcal T}}$ and contained in the ball $B(x,R)$.

(iii) For any $x$ in ${{\mathbb R}}^d$, let $ {{\mathcal T}}+x = \{ t+x \, : \, t \in {{\mathcal T}}\}$ denote its translation, then ${{\mathcal T}}$ is [aperiodic]{} if there is no $x\ne0$ in ${{\mathbb R}}^d$ such that $ {{\mathcal T}}+x = {{\mathcal T}}$.

For tilings with FLC the repetitivity condition (ii) above can be stated more precisely: [*A tiling ${{\mathcal T}}$ with FLC is repetitive if given any patch there is an $R>0$ such that for every $x$ in ${{\mathbb R}}^d$ there exists an [*exact copy*]{} of this patch in ${{\mathcal T}}$ contained in the ball $B(x,R)$.*]{}

The class of repetitive tilings satisfying the FLC property is very rich and has been investigated for decades. It started in the 70’s with the work of Penrose [@Pen74] and Meyer [@Mey72] and went on both from an abstract mathematical level and with a view towards applications, in particular to the physics of quasicrystals [@La99A; @La99B]. It contains an important subclass of the class of [*substitution tilings*]{} that was reinvestigated in the 90’s by Anderson and Putnam in [@AP98], and also the class of tilings obtained by the [*cut-and-projection*]{} method, for which a comprehensive study by Hunton, Kellendonk and Forrest can be found in [@HFK02], and more generaly it contains the whole class of [*quasiperiodic tilings*]{}, which are models for quasicrystals.

The Ammann aperiodic tilings are examples of substitution tilings (see [@GruShep87] chapter 10, Ammann’s original work does not appear in the literature). In addition other examples include the octogonal tiling as well as the famous Penrose “kite and darts” [@Pen74] tilings which are both substitution and cut-and-projection tilings (see [@GruShep87] chapter 10, and [@Rad99] chapter 4). However the so-called Pinwheel tiling (see [@Rad94] and [@Rad99] chapter 4) is a substitution tiling but does not satisfy the FLC property given here since prototiles are defined here as equivalence classes of tiles under only translations and not more general isometries of ${{\mathbb R}}^d$ like rotations.

The first author has proposed in [@BHZ00] a topology that applies to a large class of tilings (for which there exist an $r_0>0$ such that all tiles contain a ball of radius $r_0$). In the case considered here, where tiles are assumed to be finite $CW$-complexes, this topology can be adapted as follows.

Let ${{\mathcal F}}$ be a family of tilings whose tiles contain a ball of a fixed radius $r_0>0$ and have compatible $CW$-complex structures (the intersection of any two tiles is a subcomplex of both). Given an open set $O$ in ${{\mathbb R}}^d$ with compact closure and an $\epsilon>0$, a neighborhood of a tiling $T$ in ${{\mathcal F}}$ is given by

$$U_{O,\epsilon}(T) =
\left\{
T' \in {{\mathcal F}}\, : \,
\sup_{0\le k \le d} h_k ( O \cap T^k, O \cap T'^k) < \epsilon
\right\} \,,
$$ where $T^k$ and $T'^k$ are the $k$-skeletons of $T$ and $T'$ respectively and $h_k$ is the $k$-dimensional Hausdorff distance.

Let ${{\mathcal T}}$ be a tiling of ${{\mathbb R}}^d$. The group ${{\mathbb R}}^d$ acts on the set of all translates of ${{\mathcal T}}$, the action (translation) is denoted $ {\mbox{\sc t}}^a, a \in {{\mathbb R}}^d$: ${\mbox{\sc t}}^a {{\mathcal T}}={{\mathcal T}}+a =  \{ t+a \, : t \in {{\mathcal T}}\} $.

\[Ktiling07.def-hull\]

(i) The [*hull*]{} of ${{\mathcal T}}$, denoted $\Omega$, is the closure of $ {\mbox{\sc t}}^{{{\mathbb R}}^d} {{\mathcal T}}$.

(ii) The canonical [*transversal*]{}, denoted $\Xi$, is the subset of $\Omega$ consisting of tilings that have the puncture of one of their tiles at the origin $0_{{{\mathbb R}}^d}$.

The hull of a tiling is seen as a dynamical system $ (\Omega, {{\mathbb R}}^d, {\mbox{\sc t}})$ which, for the class of tilings considered here, has interesting properties that are now stated (see [@BBG06] section 2.3).

[[@BBG06; @La99A]]{} \[Ktiling07.thm-hull\] Let ${{\mathcal T}}$ be a tiling of ${{\mathbb R}}^d$.

(i) ${{\mathcal T}}$ is repetitive if and only if the dynamical system of its hull $ (\Omega, {{\mathbb R}}^d, {\mbox{\sc t}}) $ is [minimal]{}.

(ii) If ${{\mathcal T}}$ has FLC, then its canonical transversal $\Xi$ is totaly disconnected.

(iii) If ${{\mathcal T}}$ is aperiodic, repetitive and has FLC, then $\Xi$ is a Cantor set (perfect and totaly disconnected).

The minimality of the hull allows one to see any of its points as just a translate of ${{\mathcal T}}$.

\[Ktiling07.rem-topohull\]

*A metric topology for tiling spaces has been used in the literature for historical reasons. Let ${{\mathcal T}}$ be a repetive tiling or ${{\mathbb R}}^d$ with FLC. The orbit space of ${{\mathcal T}}$ under translation by vectors of ${{\mathbb R}}^d$, $ {\mbox{\sc t}}^{{{\mathbb R}}^d} {{\mathcal T}}$, is endowed with a metric as follows (see [@BBG06] section 2.3). For $T$ and $T'$ in $ {\mbox{\sc t}}^{{{\mathbb R}}^d} {{\mathcal T}}$, let $A$ denote the set of $\varepsilon$ in $(0,1)$ such that there exist $x$ and $x'$ in $ B(0, \varepsilon ) $ for which $ {\mbox{\sc t}}^x T $ and $ {\mbox{\sc t}}^{x'} T'$ agree on $  B(0, \frac{1}{\varepsilon} ) $, [*i.e.*]{} their tiles whose punctures lie in the ball are matching, then*

$$\delta (T,T') = \left\{
\begin{array}{lcl}
\inf A & {\rm if} & A \ne \emptyset \,, \\
1 & {\rm if} &  A = \emptyset \,.
\end{array}
\right.$$

Hence the diameter of $ {\mbox{\sc t}}^{{{\mathbb R}}^d} {{\mathcal T}}$ is bounded by $1$ and the action of ${{\mathbb R}}^d$ is continuous.

For the class of repetitive tilings with FLC, the topology of the hull given in definition \[Ktiling07.def-hull\] is equivalent to this $\delta$-metric topology [@BBG06].

Delone sets and groupoid of the transversal {#Ktiling07.ssect-delone}
-------------------------------------------

The notions for tilings given in the previous subsection can be translated for the set of their punctures in terms of Delone sets.

\[Ktiling07.def-delone\] Let ${{\mathcal L}}$ be a discrete subset of ${{\mathbb R}}^d$.

(i) Given $r>0$, ${{\mathcal L}}$ is [$r$–uniformly discrete]{} if any open ball of radius $r$ in ${{\mathbb R}}^d$ meets ${{\mathcal L}}$ in at most one point.

(ii) Given $R>0$, ${{\mathcal L}}$ is [$R$–relatively dense]{} if any open ball of radius $R$ in ${{\mathbb R}}^d$ meets ${{\mathcal L}}$ in at least one point.

(iii) ${{\mathcal L}}$ is an [$(r,R)$–Delone set]{} is it is $r$–uniformly discrete and $R$–relatively dense.

(iv) ${{\mathcal L}}$ is repetitive if given any [*finite*]{} subset $p \subset {{\mathcal L}}$ [*and any $\epsilon >0$*]{}, there is an $R>0$ such that the intersection of ${{\mathcal L}}$ with any closed ball of radius $R$ contains a copy (translation) of $p$ [*modulo an error of $\epsilon$ (w.r.t. the Hausdorff distance)*]{}

(v) A patch of radius $R>0$ of ${{\mathcal L}}$ is a subset of ${{\mathbb R}}^d$ of the form $ \left( {{\mathcal L}}- x \right) \cap B(0,R) $, for some $x \in {{\mathcal L}}$. If for all $R>0$ the set of its patches of radius $R$ is finite then ${{\mathcal L}}$ has finite local complexity.

(vi) ${{\mathcal L}}$ is [aperiodic]{} if there is no $x\ne0$ in ${{\mathbb R}}^d$ such that ${{\mathcal L}}- x  = {{\mathcal L}}$.

Condition [*(iv)*]{} above is equivalent to saying that ${{\mathcal L}}- {{\mathcal L}}$, the set of vectors of ${{\mathcal L}}$, is discrete.

Given a punctured tiling ${{\mathcal T}}$ if there exists $r, R>0$ such that each of its tiles contains a ball a radius $r$ and is contained in a ball of radius $R$, then its set of punctures ${{\mathcal L}}_{{\mathcal T}}$ is an $(r,R)$-Delone set, and it is repetitive and has FLC if and only if the tiling is repetitive and has FLC. Conversely, given a Delone set the Voronoi construction below gives a tiling, and they both share the same repetitivity or FLC properties.

\[Ktiling07.def-voronoi\] Let ${{\mathcal L}}$ be an $(r,R)$–Delone set of ${{\mathbb R}}^d$. The Voronoi tile at $ x \in {{\mathcal L}}$, is defined by $$T_x = \left\{ y \in {{\mathbb R}}^d \, : \, \|y-x\| \le \| y-x'\|, \, \forall x' \in {{\mathcal L}}\right\} \,,$$ with puncture the point $x$. The Voronoi tiling ${{\mathcal V}}$ associated with ${{\mathcal L}}$ is the tiling of ${{\mathbb R}}^d$ whose tiles are the Voronoi tiles of ${{\mathcal L}}$.

The tiles of the Voronoi tiling of a Delone set are (closed) convex polytopes that touch on common faces.

The hull and transversal of a Delone set are defined as follows [@BHZ00].

\[Ktiling07.def-delonehull\] Let ${{\mathcal L}}$ be a Delone set of ${{\mathbb R}}^d$. The hull $\Omega$ of ${{\mathcal L}}$ is the closure in the weak–$\ast$ topology of the set of translations of the Radon measure that has a Dirac mass at each point of ${{\mathcal L}}$ $$\Omega = \overline{ \bigl\{ {\mbox{\sc t}}^a \mu\,;\, a\in {{\mathbb R}}^d \bigr\} }^{\, w^\ast} \,,
\quad \quad \mu = 
\sum_{x\in {{\mathcal L}}} \delta_x \,,$$ and the transversal $\Xi$ of ${{\mathcal L}}$ is the subset $$\Xi = \bigl\{ \omega \in \Omega \, ; \,     \omega(\{0\}) =1 \bigr\} \,.$$

Given a general Delone set this topology of its hull is strictly coarser than the $\delta$-metric topology for its Voronoi tiling given in remark \[Ktiling07.rem-topohull\], but if it is repetitive and has FLC then they are equivalent [@BBG06]. The weak-$\ast$ topology is here also equivalent to the local Hausdorff topology on the set ${\mbox{\sc t}}^{{{\mathbb R}}^d} {{\mathcal L}}$ of translates of ${{\mathcal L}}$: given an open set $O$ in ${{\mathbb R}}^d$ with compact closure and an $\epsilon>0$, a neighborhood of $\ell$ is given by

$$U_{O,\epsilon}(\ell) = 
\bigl\{
\ell' \in {\mbox{\sc t}}^{{{\mathbb R}}^d} {{\mathcal L}}\, : \, h_d ( \ell \cap O , \ell' \cap O ) < \epsilon
\bigr\} \,,$$ where $h_d$ is the $d$-dimensional Hausdorff distance.

The hull of a Delone set is also seen as a dynamical system under the homeomorphic action of ${{\mathbb R}}^d$ by translation. Just as in proposition \[Ktiling07.thm-hull\], the hull and transversal of repetitive Delone sets with FLC have similar interesting properties.

[[@BHZ00]]{} \[Ktiling07.thm-delonehull\] Let ${{\mathcal L}}$ be a Delone set of ${{\mathbb R}}^d$.

(i) ${{\mathcal L}}$ is repetitive if and only if the dynamical system of its hull $ (\Omega, {{\mathbb R}}^d, {\mbox{\sc t}}) $ is [minimal]{}.

(ii) If ${{\mathcal L}}$ has FLC, then its transversal $\Xi$ is totally disconnected.

(iii) If ${{\mathcal L}}$ is aperiodic, repetitive and has FLC, then $\Xi$ is a Cantor set (perfect and totaly disconected).

The two approches of tilings or Delone sets which are repetitive and have FLC are thus equivalent. Such tilings give rise to Delone sets (their sets of punctures), and conversely such Delone sets give rise to tilings (their Voronoi tilings) and their respective hulls share the same properties.

Recall that a groupoid is a small category in which every morphism is invertible [@Co79; @Re80].

\[Ktiling07.def-groupoid\] Let ${{\mathcal L}}$ be a Delone set of ${{\mathbb R}}^d$. The [*groupoid of the transversal*]{} is the groupoid $\Gamma$ whose set of objects is the transversal: $\Gamma^0 = \Xi$, and whose set of arrows is $$\Gamma^1 =
\bigl\{
(\xi,x) \in \Xi \times {{\mathbb R}}^d \, : \, {\mbox{\sc t}}^{-x}\xi \in \Xi 
\bigr\} \,.$$ Given an arrow $\gamma = (\xi,x)$ in $\Gamma^1$, its [*source*]{} is the object $s(\gamma)= {\mbox{\sc t}}^{-x} \xi \in \Xi$ and its [*range*]{} the object $r(\gamma) = \xi \in \Xi$.

The Delone sets considered here are repetitive with FLC and the groupoids of their transversals are [*étale*]{}, [*i.e.*]{} given any arrow $\gamma$ with range (or source) object $x$, there exists an open neighborhood $O_x$ of $x$ in $\Gamma^0$ and a homeomorphism $ \varphi : O_x \rightarrow \Gamma^1$ that maps $x$ to $\gamma$. This implies that the sets of arrows having any given object as a source or range are discrete. This follows because for such Delone sets their sets of vectors are discrete and given any fixed $l>0$ their sets of vectors of length less than $l$ are finite.

Prototile space of a tiling {#Ktiling07.ssect-boxhull}
---------------------------

Let ${{\mathcal T}}$ be an aperiodic and repetitive tiling of ${{\mathbb R}}^d$ with FLC and assume its tiles are compatible finite $CW$-complexes (the intersection of two tiles is a subcomplex of both). A finite $CW$-complex ${{\mathcal B}}_0$, called prototile space, is built out of its prototiles by gluing them along their boundaries according to all the local configurations of their representatives in ${{\mathcal T}}$.

\[Ktiling07.def-B0\] Let $\hat{t}_j , \, j=1, \cdots N_0$, be the prototiles of ${{\mathcal T}}$. Let $t_j$ denote the representative of $\hat{t}_j$ that has its puncture at the origin. The [*prototile space*]{} of ${{\mathcal T}}$, ${{\mathcal B}}_0({{\mathcal T}})$, is the quotient $CW$-complex $${{\mathcal B}}_0 ({{\mathcal T}}) =  \coprod_{j=1}^{N_0} t_j \; / \sim \,,$$ where two $n$-cells $e_i^n \in t^n_i$ and $e_j^n \in t^n_j$ are identified if there exists $u_i, u_j \in {{\mathbb R}}^d$ for which $t_i + u_i$ and $t_{j}+u_{j}$ are tiles of ${{\mathcal T}}$ such that $e_i^n + u_i$ and $e_j^n + u_j$ coincide on the intersection of their $n$-skeletons.

The [*collared prototile space*]{} of ${{\mathcal T}}$, ${{\mathcal B}}_0^c ({{\mathcal T}})$, is built similarly from the collared prototiles of ${{\mathcal T}}$: $t_i^c, i=1, \cdots N_0^c$.

The images in ${{\mathcal B}}_0({{\mathcal T}})$ or ${{\mathcal B}}_0^c ({{\mathcal T}})$ of the tiles $t_j^{(c)}$’s will be denoted $\tau_j$ and still be called tiles.

\[Ktiling07.prop-projhullB0\] There is a continuous map $ {{\mathfrak p}}_{0,{{\mathcal T}}}^{(c)} : \Omega \rightarrow {{\mathcal B}}_0^{(c)}({{\mathcal T}}) $ from the hull onto the (collared) prototile space.

[*Proof.*]{} Let $ \lambda_0^{(c)} :  \coprod_{j=1}^{N_0^{(c)}} t_j \rightarrow {\mathcal B}_0^{(c)}({{\mathcal T}}) $ be the quotient map. And let $ \rho_0^{(c)} : \Omega \times {{\mathbb R}}^d \rightarrow \coprod_{j=1}^{N_0^{(c)}} t_j^{(c)} $ be defined as follows. If $x$ belongs to the intersection of $k$ tiles $t^{\alpha_1}, \cdots t^{\alpha_k}$, in $\omega$, with $t^{\alpha_l} = t_{j_l}^{(c)} + u_{\alpha_l}(\omega), \, l=1, \cdots k$, then $ \rho_0^{(c)} (\omega,x) =  \coprod_{l=1}^{k} x-u_{\alpha_l}(\omega) $ and lies in the disjoint union of the $t_{j_l}^{(c)}$’s.

The map ${{\mathfrak p}}_{0,{{\mathcal T}}}^{(c)}$ is defined as the composition: $ \omega  \mapsto  \lambda_0^{(c)} \circ \rho_0^{(c)} ( \omega, 0_{{{\mathbb R}}^d} ) $. The map $ \rho_0^{(c)} (\cdot, 0_{{{\mathbb R}}^d})$ sends the origin of ${{\mathbb R}}^d$, that lies in some tiles of $\omega$, to the corresponding tiles $t_j^{(c)}$’s at the corresponding positions.

In ${{\mathcal B}}_0^{(c)}({{\mathcal T}})$, points on the boundaries of two tiles $\tau_j^{(c)}$ and $\tau_{j'}^{(c)}$ are identified if there are neighboring copies of the tiles $t_j^{(c)}$ and $t_{j'}^{(c)}$ somewhere in ${{\mathcal T}}$ such that the two associated points match. This ensures that the map ${{\mathfrak p}}_{0,{{\mathcal T}}}^{(c)}$ is well defined, for if in ${{\mathbb R}}^d$ tiled by $\omega$, the origin $0_{{{\mathbb R}}^d}$ belongs to the boundaries of some tiles, then the corresponding points in $\coprod_{j=1}^{N_0^{(c)}} t_j^{(c)} $ given by $\rho_0^{(c)} (\omega, 0_{{{\mathbb R}}^d})$ are identified by $\lambda_0^{(c)}$.

Let $x$ be a point in $ {{\mathcal B}}_0^{(c)}({{\mathcal T}})$, and $O_x$ and open neighborhood of $x$. Say $x$ belongs to the intersection of some tiles $\tau_{j_1}^{(c)}, \cdots \tau_{j_k}^{(c)}$. Let $\omega$ be a preimage of $x$: ${{\mathfrak p}}_{0,{{\mathcal T}}}^{(c)} (\omega) = x$. The preimage of $O_x$ is the set of tilings $\omega'$’s for which the origin lies in some neighborhood of tiles that are translates of $ t_{j_1}^{(c)}, \cdots t_{j_k}^{(c)}$, and this defines a neighborhood of $\omega$ in the hull. Therefore ${{\mathfrak p}}_{0,{{\mathcal T}}}^{(c)}$ is continuous. [$\Box$]{}

For simplicity, the prototile space ${{\mathcal B}}_0({{\mathcal T}})$ is written ${{\mathcal B}}_0$, and the map ${{\mathfrak p}}_{0,{{\mathcal T}}}$ is written ${{\mathfrak p}}_0$.

The lift of the puncture of the tile $\tau_j$ in ${{\mathcal B}}_{0}$, denoted $\Xi(\tau_j)$, is a subset of the transversal called the [*acceptance zone*]{} of the prototile $\hat{t}_j$. It consists of all the tilings that have the puncture of a representative of $\hat{t}_j$ at the origin. The $\Xi(\tau_j)$’s for $j=1, \cdots N_0$, form a clopen partition of the transversal, because any element of $\Xi$ has the puncture of a unique tile at the origin which corresponds to a unique prototile. The $\Xi(\tau_j)$’s are thus Cantor sets like $\Xi$.

\[Ktiling07.rem-lamination\] [*Although those results will not be used here, it has been proven in [@BBG06] that the prototile space ${{\mathcal B}}_0$ (as well as the patch spaces ${{\mathcal B}}_p$ defined similarly in the next section, definition \[Ktiling07.def-Bp\]) has the structure of a flat oriented Riemanian branched manifold. Also, the hull $\Omega$ can be given a [*lamination*]{} structure as follows: the lifts of the interiors of the tiles $ B_{0j} = {{\mathfrak p}}_0^{-1}( \stackrel{\circ}{\tau_j} )$ are boxes of the lamination which are homeomorphic to $ \stackrel{\circ}{t_j} \times \Xi( \tau_j )$ via the maps $ (x,\xi) \mapsto {\mbox{\sc t}}^{-x}\xi $ which read as local charts.*]{}

The hull as an inverse limit of patch spaces {#Ktiling07.ssect-invlim}
--------------------------------------------

As in the previous section, let ${{\mathcal T}}$ be an aperiodic and repetitive tiling of ${{\mathbb R}}^d$ with FLC, and assume its tiles are compatible finite $CW$-complexes (the intersection of two tiles is a subcomplex of both). Let ${{\mathcal L}}_{{\mathcal T}}$ denote the Delone set of punctures of ${{\mathcal T}}$. It is repetitive and has FLC. Let ${{\mathcal P}}_{{\mathcal T}}$ denote the set of patterns of ${{\mathcal T}}$. As ${{\mathcal T}}$ has finite local complexity (hence finitely many prototiles), the set ${{\mathcal P}}_{{\mathcal T}}$ is countable, and for any given $l>0$ the set of patterns whose representatives have radius less than $l$ is finite.

A finite $CW$-complex ${{\mathcal B}}_p$, called a patch space, associated with a pattern $\hat{p}$ in ${{\mathcal P}}_{{\mathcal T}}$ is built from the prototiles of an appropriate subtiling of ${{\mathcal T}}$, written ${{\mathcal T}}_p$ below, in the same way that ${{\mathcal B}}_0$ was built from the prototiles of ${{\mathcal T}}$ in definition \[Ktiling07.def-B0\]. The construction goes as follows.

Let $\hat{p}$ in ${{\mathcal P}}_{{\mathcal T}}$ be a pattern of ${{\mathcal T}}$.

(i) Consider the sub-Delone set ${{\mathcal L}}_p$ of ${{\mathcal L}}_{{\mathcal T}}$ consisting of punctures of all the representative patches in ${{\mathcal T}}$ of $\hat{p}$. ${{\mathcal L}}_p$ is repetitive and has FLC.

(ii) The Voronoi tiling ${{\mathcal V}}_p$ of ${{\mathcal L}}_p$ is built and each point of ${{\mathcal L}}_{{\mathcal T}}$ is assigned to a unique tile of ${{\mathcal V}}_p$ as explained below.

(iii) Each tile $v$ of ${{\mathcal V}}_p$ is replaced by the patch $p_v$ of ${{\mathcal T}}$ made up of the tiles whose punctures have been assigned to $v$. This gives a repetitive tiling with FLC, ${{\mathcal T}}_p$, whose tiles are those patches $p_v$’s.

(iv) ${{\mathcal B}}_p$ is built out of the collared prototiles of ${{\mathcal T}}_p$, by gluing them along their boundaries according to the local configurations of their representatives in ${{\mathcal T}}_p$.

The second point needs clarifications since the tiles of ${{\mathcal V}}_p$ are Voronoi tiles (convex polytopes, see definition \[Ktiling07.def-voronoi\]) of ${{\mathcal L}}_p$ and not patches of ${{\mathcal T}}$. If a point of ${{\mathcal L}}_{{\mathcal T}}$ (a puncture of a tile of ${{\mathcal T}}$) lies on the boundary of some (Voronoi) tiles of ${{\mathcal V}}_p$, a criterion for assigning it to a specific one is required. To do so, let $u$ be a vector of ${{\mathbb R}}^d$ that is not colinear to any of the faces of the tiles of ${{\mathcal V}}_p$ (such a vector exists since ${{\mathcal V}}_p$ has FLC, hence finitely many prototiles). A point $x$ is said to be $u$-interior to a subset $X$ of ${{\mathbb R}}^d$ if there exist an $\epsilon>0$ such that $x+\epsilon u$ belongs to the interior of $X$. Since $u$ is not colinear to any of the faces of the tiles of ${{\mathcal V}}_p$, if a point $x$ belongs to the intersection of the boundaries of several (Voronoi) tiles of ${{\mathcal V}}_p$, it is $u$-interior to only one of them. This allows as claimed in (ii) to assign each point of ${{\mathcal L}}_{{\mathcal T}}$ to a unique tile of ${{\mathcal V}}_{{\mathcal T}}$. Now as explained in (iii), each Voronoi tile $v$ can then be replaced by the patch of ${{\mathcal T}}$ which is the union of the tiles of ${{\mathcal T}}$ whose punctures are $u$-interior to $v$.

Each patch $p_v$ is considered a tile of ${{\mathcal T}}_p$ and punctured by the puncture of the Voronoi tile $v$ which is by construction the puncture of some representative patch of $\hat{p}$ in ${{\mathcal T}}$. As patches of ${{\mathcal T}}$, the $p_v$’s are also compatible finite $CW$-complexes as they are made up of tiles of ${{\mathcal T}}$ which are.

The prototiles of ${{\mathcal T}}_p$ are actually patterns of ${{\mathcal T}}$, and thus ${{\mathcal T}}_p$ is considered a subtiling of ${{\mathcal T}}$. From this remark it can be proven that there is a homeomorphism between the hull of ${{\mathcal T}}_p$ and $\Omega$, that conjugates the ${{\mathbb R}}^d$-action of their associated dynamical systems (see [@BBG06] section 2).

\[Ktiling07.def-Bp\] The [*patch space*]{} ${{\mathcal B}}_p$ is the collared prototile space of ${{\mathcal T}}_p$ (definition \[Ktiling07.def-B0\]): $
{{\mathcal B}}_p = {{\mathcal B}}_0^c ({{\mathcal T}}_p) \,.
$

The images in ${{\mathcal B}}_p$ of the patches $p_j$’s (tiles of ${{\mathcal T}}_p$) will be denoted $\pi_j$ and still be called patches. The map $ {{\mathfrak p}}_{0,{{\mathcal T}}_p}^c : \Omega \rightarrow {{\mathcal B}}_p$, built in proposition \[Ktiling07.prop-projhullB0\], is denoted ${{\mathfrak p}}_p$.

This construction of ${{\mathcal B}}_p$ from ${{\mathcal T}}_p$ is essentially the same as the construction of ${{\mathcal B}}_0$ from ${{\mathcal T}}$ given in definition \[Ktiling07.def-B0\], the only difference being that collared prototiles of ${{\mathcal T}}_p$ (collared patches of ${{\mathcal T}}$) are used here instead. Such patch spaces are said to [*force their borders*]{}. This condition was introduced by Kellendonk in [@Ke95] for substitution tilings and was required in order to be able to recover the hull as the inverse limit of such spaces. It was generalized in [@BBG06] for branched manifolds of repetitive tilings with FLC and coincides here with the above definition.

The map $ f_p : {{\mathcal B}}_p \rightarrow {{\mathcal B}}_0 $ defined by $ f_p = {{\mathfrak p}}_0 \circ {{\mathfrak p}}_{p}^{-1} $ is surjective and continuous. It projects ${{\mathcal B}}_p$ onto ${{\mathcal B}}_0$ in the obvious way: a point $x$ in ${{\mathcal B}}_p$ belongs to some patch $\pi_j$, hence to some tile, and $f_p$ sends $x$ to the corresponding point in the corresponding tile $\tau_{j'}$. More precisely, if $\tilde{x}$ in $p_j$ is the point of ${{\mathbb R}}^d$ corresponding to $x$ in $\pi_j$, then $\tilde{x}$ belongs to some tile, which is the translate of some $t_{j'}$ and $f_p(x)$ is the corresponding point in $\tau_{j'}$ in ${{\mathcal B}}_0$. If $x$ belongs to the boundaries of say $\pi_{j_1}, \cdots \pi_{j_k}$, in ${{\mathcal B}}_p$, then there are corresponding points $\tilde{x}_{j_1}, \cdots \tilde{x}_{j_k}\), in \(p_{j_1}, \cdots p_{j_k}\),
which are then on the boundaries of the copies of some tiles $t\_[[j’]{}\_1]{}, t\_[[j’]{}\_[k’]{}]{}. The boundaries of those tiles are identified by the map $\rho_0$ in the definition of ${{\mathfrak p}}_0$ and $f_p(x)$ is the corresponding point on the common boundaries of the $\tau_{{j'}_1}, \cdots \tau_{{j'}_{k'}}$.

Recall the convention stated after definition \[Ktiling07.def-patch\]: if $\hat{p}$ is a pattern, then $p$ denotes its representative that has its puncture at the origin. Given two patterns $\hat{p}$ and $\hat{q}$ with $ q \subset p$, the map $ f_{qp} : {{\mathcal B}}_p \rightarrow {{\mathcal B}}_q $ defined by $ f_{qp} = f_{q}^{-1} \circ f_p = {{\mathfrak p}}_q \circ {{\mathfrak p}}_{p}^{-1}$ is continuous and surjective. Given three patterns $\hat{p}, \hat{q}$ and $\hat{r}$ with $ r \subset q \subset p$ the following composition rule holds: $ f_{rq} \circ f_{qp} = f_{rp} $. Moreover given two arbitrary patterns $\hat{q}$ and $\hat{r}$, there exists another pattern $\hat{p}$ such that $p$ contains $q$ and $r$ (since ${{\mathcal L}}_q$ and ${{\mathcal L}}_r$ are repetitive sub-Delone sets of ${{\mathcal L}}_{{\mathcal T}}$). Hence the index set of the maps $f_p$’s is a directed set and $ ( {{\mathcal B}}_p , f_{qp} ) $ is a projective system.

As shown in [@BBG06], the hull $\Omega$ can be recovered from the inverse limit $ \varprojlim ( {{\mathcal B}}_p , f_{qp} ) $ under some technical conditions that are for convenience taken here to be directly analoguous to those given in [@BBG06] section 2.6. Namely: the patch spaces ${{\mathcal B}}_p$ are required to [*force their borders*]{}, and only maps $f_{qp}$ between patch spaces that are [*zoomed out*]{} of each other are allowed (definition \[Ktiling07.def-zoomout\] below). The first condition, as mentioned above, is fullfilled here by the very definition of patch spaces given above, because they are built out of [*collared patterns*]{} as can be checked from the more general definition of a branched manifold that forces its border given in [@BBG06] definition 2.43. The second condition is stated as follows.

\[Ktiling07.def-zoomout\] Given two patterns $\hat{p},\hat{q} $ in ${{\mathcal P}}_{{\mathcal T}}$, with $ q \subset p$, $ {{\mathcal B}}_p $ is said to be [zoomed out]{} of $ {{\mathcal B}}_q $ if the following two conditions hold.

(i) For all $ i \in \{ 1, \cdots N_p\} $, the patch $p_i$ is the union of some copies of the patches $q_j$’s.

(ii) For all $ i \in \{ 1, \cdots N_p\} $, the patch $p_i$ contains in its interior a copy of some patch $q_j$.

The first condition is equivalent to requiring that the tiles of ${{\mathcal L}}_p$ are patches of ${{\mathcal L}}_q$.

Given a patch space ${{\mathcal B}}_q$ it is always possible to build another patch space ${{\mathcal B}}_p$ that is zoomed out of ${{\mathcal B}}_q$: it suffices to choose a pattern $\hat{p}$ such that $p \supset q$ with a radius large enough. This can be done by induction for instance: building ${{\mathcal B}}_p$ from patches of ${{\mathcal L}}_q$ (which are patches of ${{\mathcal T}}$) the same way ${{\mathcal B}}_q$ was built from patches of ${{\mathcal T}}$; if the radius of $q$ is large enough, then each patch of ${{\mathcal T}}$ that ${{\mathcal B}}_q$ is composed of will contain a tile of ${{\mathcal T}}$ in its interior and so ${{\mathcal B}}_q$ will be zoomed out from ${{\mathcal B}}_0$.

\[Ktiling07.def-properseq\] A [proper sequence]{} of patch spaces of ${{\mathcal T}}$ is a projective sequence $ \bigl\{ {{\mathcal B}}_{l}, f_l \bigr\}_{l\in {{\mathbb N}}} $ where, for all $l\ge1$, ${{\mathcal B}}_l$ is a patch space associated with a pattern $\hat{p}_l$ of ${{\mathcal T}}$ and $f_l= f_{p_{l-1}p_{l}}$, such that ${{\mathcal B}}_l$ is zoomed out of ${{\mathcal B}}_{l-1}$, with the convention that $f_0 = f_{p_1}$ and ${{\mathcal B}}_0$ is the prototile space of ${{\mathcal T}}$.

Note that the first patch space in a proper sequence can be chosen to be the prototile space of the tiling ([*i.e.*]{} made of uncollared prototiles), all that matters for recovering the hull by inverse limit as shown in the next theorem, is that the next patch spaces are zoomed out of each other, and built out of collared patches ([*i.e.*]{} force their borders).

\[Ktiling07.thm-invlimBp\] The inverse limit of a proper sequence $ \bigl\{ {{\mathcal B}}_{l}, f_l \bigr\}_{l\in {{\mathbb N}}} $ of patch spaces of ${{\mathcal T}}$ is homeomorphic to the hull of ${{\mathcal T}}$: $$\Omega \cong \varprojlim \bigl( {{\mathcal B}}_{l}, f_l \bigr)  \,.$$

[*Proof.*]{} The homeomorphism is given by the map $ {{\mathfrak p}}: \Omega \rightarrow \varprojlim   \bigl( {{\mathcal B}}_{l}, f_l \bigr) $, defined by $ {{\mathfrak p}}(\omega) = \bigl( {{\mathfrak p}}_0 (\omega), {{\mathfrak p}}_1 (\omega), \cdots \bigr) $, with inverse $ {{\mathfrak p}}^{-1} (x_0, x_1, \cdots ) = \cap \{ {{\mathfrak p}}^{-1}_l (x_l), l\in {{\mathbb N}}\} $.

The map ${{\mathfrak p}}$ is surjective, because all the ${{\mathfrak p}}_l$’s are. For the proof of injectivity, consider $ \omega, \omega' \in \Omega$ with $ {{\mathfrak p}}(\omega) = {{\mathfrak p}}(\omega') $. For simplicity the metric $\delta$ defined in remark \[Ktiling07.rem-topohull\] is used in this proof. Fix $\epsilon >0$. To prove that $\delta(\omega, \omega') < \epsilon$ it suffices to show that the two tilings agree on a ball of radius $\frac{1}{\epsilon}$. For each $l$ in ${{\mathbb N}}$, ${{\mathfrak p}}_l (\omega) = {{\mathfrak p}}_l (\omega') $ in some patch $\pi_{l,j}$ in ${{\mathcal B}}_l$. This means that the tilings agree on some translate of the patch $p_{l,j}$ that contains the origin. The definition of patch spaces made up from collared patterns (condition of [*forcing the border*]{} in [@BBG06]) implies that the tilings agree on the ball $B(0_{{{\mathbb R}}^d}, r_l)$, where $r_l$ is the parameter of uniform discretness of the Delone set ${{\mathcal T}}_{p_l}$. The assumption that the patch spaces are zoomed out of each other (condition (ii) in definition \[Ktiling07.def-zoomout\]) implies that $r_l > r_{l-1} + r$, where $r$ is the parameter of uniform discretness of ${{\mathcal L}}_{{\mathcal T}}$. Hence $r_l > (l+1) r$, and choosing $l$ bigger than the integer part of $\frac{1}{r\epsilon}$ concludes the proof of the injectivity of ${{\mathfrak p}}$.

Condition (i) in definition \[Ktiling07.def-zoomout\] implies that for every $l\ge 1$, $ {{\mathfrak p}}^{-1}_l (x_l) \subset {{\mathfrak p}}^{-1}_{l-1} (x_{l-1})$. The definition of ${{\mathfrak p}}^{-1}$ then makes sense by compactness of $\Omega$ because any finite intersection of some ${{\mathfrak p}}^{-1}_l (x_l)$’s is non empty and closed.

A neighborhood of $x=(x_0, x_1, \cdots)$ in $\varprojlim   \bigl( {{\mathcal B}}_{l}, f_l \bigr)$ is given by $ U_n (x) = \bigl\{ y=(y_0, y_1, \cdots) \, : \,  y_i = x_i , i \le n \bigr\} $ for some integer $n$. If $\omega$ is a preimage of $x$, $ {{\mathfrak p}}(\omega) = x$, then the preimage of $U_n(x)$ is given by all tilings $\omega'$ such that ${{\mathfrak p}}_n (\omega') = {{\mathfrak p}}_n (\omega)$, [*i.e.*]{} those tilings agree with $\omega$ on some patch $p_n$ around the origin; they form then a neighborhood of $\omega$ in $\Omega$. This proves that that ${{\mathfrak p}}$ and ${{\mathfrak p}}^{-1}$ are continuous. [$\Box$]{}

Another important construction which allows one to recover the hull by inverse limit has been given by Gähler in an unpublished work as a generalization of the construction of Anderson and Putnam in [@AP98]. Instead of gluing together patches to form the patch spaces ${{\mathcal B}}_p$’s, Gähler’s construction consists in considering “multicollared prototiles” and the graph that link them according to the local configurations of their representatives in the tiling. This construction keeps track of the combinatorics of the patches that those “multicollared tiles” represent and thus is enough to recover the hull topologically, which is sufficient for topological concerns (for cohomology or $K$-theory in particular). The construction given here, and taken from [@BBG06] where those patch spaces are proven to be branched manifolds, takes more structure into account and the homeomorphism between the hull and the inverse limit of such branched manifolds which is built in [@BBG06] is not only a topological conjugacy but yields a conjugacy of the dynamical systems’ actions.

Cohomology of Tiling Spaces {#Ktiling07.sec-cohomtil}
===========================

Tiling Cohomologies {#Ktiling07.ssect-cohom}
-------------------

Various cohomologies for tiling spaces have been used in the literature. For the class of tilings considered here (aperiodic, repetitive with FLC) they are all isomorphic.

First, the Čech cohomology of the hull was introduced for instance in [@AP98] for substitution tilings (and in full generality for tilings on Riemanian manifolds in [@Sa03]). Hulls of such tilings are obtained by inverse limit of finite $CW$-complexes, and their Čech cohomology is obtained by direct limit.

For repetitive tilings with FLC, if a lamination structure is given to the hull as in [@BBG06], the cohomology of the hull is defined by direct limit of the simplicial cohomologies of branched manifolds that approximate the hull by inverse limit (a generalisation of theorem \[Ktiling07.thm-invlimBp\]). This cohomology is isomorphic the Čech cohomology of the hull, using the natural isomorphism between Čech and simplicial cohomologies that holds for such branched manifolds (which are $CW$-complexes) and passing to direct limit. It has been used to prove that the generators of the $d$-th cohomology group are in one-to-one correspondence with invariant ergodic probability measures on the hull.

Another useful cohomology, the Pattern-Equivariant (PE) cohomology, has been proposed by Kellendonk and Putnam in [@Ke03; @KP06] for real coefficients and then generalized to integer coefficients by Sadun [@Sa06]. This cohomology has been used for proving that the Ruelle-Sullivan map (associated with an ergodic invariant probability measure on the hull) from the Čech cohomology of the hull to the exterior algebra of the dual of ${{\mathbb R}}^d$ is a ring homomorphism. Let ${{\mathcal T}}$ be a repetitive tiling with FLC. Assume its tiles are compatible $CW$-complexes, so that it gives a $CW$-complex decomposition of ${{\mathbb R}}^d$. The group of PE $n$-cochains $C_{PE}^n$ is a subgroup of the group of integer singular $n$-cochains of ${{\mathbb R}}^d$ that satisfy the following property: an $n$-cochain $\varphi$ is said to be PE if there exists a patch $p$ of ${{\mathcal T}}$ such that $\varphi(\sigma_1) = \varphi(\sigma_2)$, for $2$ $n$-simplices $\sigma_1, \sigma_2$ with image cells $e_1, e_2$, whenever there exists $ x \in e_1, \, y \in e_2$ such that ${{\mathfrak p}}_p ( {\mbox{\sc t}}^{-x}{{\mathcal T}}) = {{\mathfrak p}}_p ( {\mbox{\sc t}}^{-y} {{\mathcal T}})$. The simplicial coboundary of a PE cochain is easily seen to be PE (possibly with respect to a patch of larger radius), and this defines the complex for integer PE cohomology. A PE cochain is a cochain that agree on points which have the same local environments in ${{\mathcal T}}$ or equivalently is the pull back of a cochain on some patch space ${{\mathcal B}}_p$. Hence PE cohomology can be seen as the direct limit of the singular cohomologies of a proper sequence of patch spaces. Using the natural isomorphisms between cellular and Čech cohomologies that holds for those $CW$-complexes and taking direct limits, the integer PE cohomology turns out to be isomorphic to the Čech cohomology of the hull.

The PV cohomology described in the next section \[Ktiling07.ssect-ringtrans\] is also isomorphic to the Čech cohomology of the hull (see theorem \[Ktiling07.thm-pimcoho\]).

The PV cohomology {#Ktiling07.ssect-ringtrans}
-----------------

The definition of a [*$\Delta$-complex*]{} structure is first recalled, following the presentation of Hatcher in his book on Algebraic Topology [@Hatcher02] section 2.1.

Given $n+1$ points $v_0, \cdots v_n$, in ${{\mathbb R}}^m, m>n$, that are not collinear, let $[v_0, \cdots, v_n]$ denote the $n$-simplex with vertices $v_0, \cdots v_n$. Let $\Delta^n$ denote the standard $n$-simplex

$$\Delta^n = \bigl\{  (x_0, x_1, \cdots x_n) \in {{\mathbb R}}^{n+1} \, : \, \sum_{i=0}^{n} x_i = 1 \ {\rm and} \ x_i \ge 0 \ {\rm for \ all} \ i \bigr\}\,,$$ whose vertices are the unit vectors along the coordinate axes. An ordering of those vertices is specified and this allows to define a canonical linear homeomorphism between $\Delta^n$ and any other $n$-simplex $[v_0, \cdots, v_n]$, that preserves the order of the vertices, namely, $  (x_0, x_1, \cdots x_n) \mapsto \sum x_i v_i $.

If one of the $n+1$ vertices of an $n$-simplex $[v_0, \cdots, v_n]$ is deleted, then the remaining $n$ vertices span an $(n-1)$-simplex, called a face of $[v_0, \cdots, v_n]$. By convention the vertices of any subsimplex spanned by a subset of the vertices are ordered according to their order in the larger simplex.

The union of all the faces of $\Delta^n$ is the boundary of $\Delta$, written $\partial \Delta^n$. The open simplex $ \stackrel{\! \! \! \! \circ}{\Delta^n} $ is $ \Delta^n \setminus \partial \Delta^n $, the interior of $\Delta^n$.

A $\Delta$-complex structure on a space $X$ is a collection of maps $ \sigma_\alpha : \Delta^n \rightarrow X$, with $n$ depending on the index $\alpha$, such that

(i) The restriction $ \sigma_\alpha \arrowvert_{\stackrel{\! \! \! \! \circ}{\Delta^n}} $ is injective, and each point of $X$ is in the image of exactly one such restriction.

(ii) Each restriction of $\sigma_\alpha$ to a face of $\Delta^n$ is one of the maps $ \sigma_\beta : \Delta^{n-1} \to X$. The face of $\Delta^n$ is identified with $\Delta^{n-1}$ by the canonical linear homeomorphism between them that preserves the ordering of the vertices.

(iii) A set $A \subset X$ is open iff $ \sigma_{\alpha}^{-1} (A)$ is open in $\Delta^n$ for each $\sigma_\alpha$.

A $\Delta$-complex $X$ can be built as a quotient space of a collection of disjoint simplices by identifying various subsimplices spanned by subsets of the vertices, where the identifications are performed using the canonical linear homeomorphism that preserves orderings of the simplices. It can be shown that $X$ is a Hausdorff space. Then condition (iii) implies that each restriction $ \sigma_\alpha \arrowvert_{\stackrel{\! \! \! \! \circ}{\Delta^n}}  $ is a homeomorphism onto its image, which is thus an open simplex in $X$. These open simplices $ \sigma_\alpha ( \stackrel{\! \! \! \! \circ}{\Delta^n} ) $ are cells $e^{n}_{\alpha}$ of a $CW$-complex structure on $X$ with the $\sigma_\alpha$’s as characteristic maps.

It is now assumed that the tiles of ${{\mathcal T}}$ are compatible finite $\Delta$-complexes: the intersection of two tiles is a sub-$\Delta$-complex of both. In addition each cell $e^{n}_{\alpha}=\sigma_\alpha ( \stackrel{\! \! \! \! \circ}{\Delta^n} ) $ of each tile is punctured, by say the image under $\sigma_\alpha$ of the barycenter of $\Delta^n$. Hence ${{\mathcal T}}$ can be seen as a $\Delta$-complex decomposition of ${{\mathbb R}}^d$, and this $\Delta$-complex structure gives a “refinement” of the tiling (each tile beeing decomposed into the union of the closures of the cells it contains). If ${{\mathcal T}}$ is the Voronoi tiling of a Delone set its tiles can be split into $d$-simplices since they are are polytopes: this gives a $\Delta$-complex structures for which the maps $\sigma_\alpha$ are simply affine maps. The maps $\sigma_\alpha : \Delta^n \rightarrow {{\mathcal B}}_0$ of the $\Delta$-complex structure of ${{\mathcal B}}_0$, will be called the [*characteristic maps*]{} of the $n$-simplices on ${{\mathcal B}}_0$ represented by its image.

By construction (definition \[Ktiling07.def-B0\]) as a quotient $CW$-complex, the prototile space ${{\mathcal B}}_0$ is a finite $\Delta$-complex.

\[Ktiling07.def-simplicialtrans\] The [*$\Delta$-transversal*]{}, denoted $\Xi_\Delta$, is the subset of $\Omega$ consisting of tilings that have the puncture of one of their cells (of one of their tiles) at the origin $0_{{{\mathbb R}}^d}$.

Since ${{\mathcal T}}$ has finitely many prototiles and they have finite $CW$-complex structures, the set of the punctures of the cells of the tiles of ${{\mathcal T}}$ is a Delone set. This Delone set will be called the [*$\Delta$-Delone set*]{} of ${{\mathcal T}}$, and denoted ${{\mathcal L}}_\Delta$. The $\Delta$-transversal is thus the canonical transversal of ${{\mathcal L}}_\Delta$.

The $\Delta$-transversal is not immediately related to the canonical transversal. Indeed the lift of the puncture of a cell does not belong to the transversal in general, unless this puncture coincides with the puncture of the tile of ${{\mathcal B}}_0$ that contains that cell.

The $\Delta$-transversal is the lift of the punctures of the cells in ${{\mathcal B}}_0$. It is partitioned by the lift of the punctures of the $n$-cells, denoted $\Xi_\Delta^n$ which is the subset of $\Omega$ consisting of tilings that have the puncture of an $n$-cell at the origin. As for the transversal, the $\Delta$-transversal is a Cantor set, and the $\Xi_\Delta^n$’s give a partition by clopen sets. The ring of continuous integer-valued functions on the $\Delta$-transversal, $C (\Xi_\Delta, {{\mathbb Z}})$, is thus the direct sum of the $C (\Xi_\Delta^n, {{\mathbb Z}})$’s for $n=0, \cdots d$.

Given the characteristic map $\sigma$ of an $n$-simplex $e$ of ${{\mathcal B}}_0$, let $\Xi_\Delta (\sigma)$ denote the lift of the puncture of $e$, and $\chi_\sigma$ its characteristic function on $\Xi_\Delta$. The subset $\Xi_\Delta (\sigma)$ is called the [*acceptance zone*]{} of $\sigma$. Since continuous integer-valued functions on a totally disconnected space are generated by characteristic functions of clopen sets, $\chi_\sigma$ belongs to $C (\Xi_\Delta, {{\mathbb Z}})$.

Consider the characteristic map $\sigma: \Delta^n \rightarrow {{\mathcal B}}_0$ of an $n$-simplex $e$ of ${{\mathcal B}}_0$, and $\tau$ a face of $\sigma$ ([*i.e.*]{} the restriction of $\sigma$ to a face of $\Delta^n$) with associated simplex $f$ (a face of $e$). The simplices $e$ and $f$ in ${{\mathcal B}}_0$ are contained in some tile $\tau_j$. Viewing $e$ and $f$ as subsets of the tile $t_j$ in ${{\mathbb R}}^d$, it is possible to define the vector $x_{\sigma \tau}$ that joins the puncture of $f$ to the puncture of $e$. Notice that since ${{\mathcal B}}_0$ is a [*flat*]{} branched manifold (remark \[Ktiling07.rem-lamination\], and [@BBG06]), the vector $x_{\sigma \tau}$ is also well defined in ${{\mathcal B}}_0$ as a vector in a region containing the simplex $e$.

\[Ktiling07.def-ringtrans\] (i) Let $\sigma$ and $\tau$ be characteristic maps of simplices in ${{\mathcal B}}_0$. The operator $\theta_{\sigma \tau}$, on $C (\Xi_\Delta, {{\mathbb Z}})$, is defined by $$\theta_{\sigma \tau} = 
\left\{ 
\begin{array}{clc}
\chi_\sigma  {\mbox{\sc t}}^{  x_{\sigma \tau} } \chi_{\tau}    & {\rm if} & \tau \subset \partial \sigma \,,\\
0 & {\rm otherwise} \,. &
\end{array}
\right.$$ where $\tau \subset \partial \sigma$ means that $\tau$ is a face of $\sigma$. Here the translation acts by ${\mbox{\sc t}}^{x_{\sigma \tau}}f(\xi) = f({\mbox{\sc t}}^{-x_{\sigma \tau}}\xi)$ whenever $f\in C (\Xi_{\Delta}(\tau), {{\mathbb Z}})$.

\(ii) The [function ring of the transversal]{} ${{\mathcal A}}_{\Xi_\Delta}$ is the ring (finitely) generated by the operators $\theta_{\sigma \tau}$ and their adjoints $\theta_{\sigma \tau}^\ast = \chi_\tau {\mbox{\sc t}}^{-x_{\sigma\tau}} \chi_\sigma$ if $ \tau \subset \partial \sigma$ and $0$ otherwise, over all characteristic maps $\sigma$ and $\tau$ of simplices in ${{\mathcal B}}_0$.

The operators $\theta_{\sigma \tau}$’s satisfy the following properties:

\[Ktiling07.eq-ringtrans\] $$\begin{aligned}
\theta_{\sigma \tau} \theta_{\sigma\tau}^\ast =  \chi_\sigma \quad {\rm if} \ \tau \subset \partial \sigma \,,
\label{Ktiling07.eq-ringtrans2}\\
\sum_{\sigma \, : \, \partial \sigma \supset \tau}   \theta_{\sigma\tau}^\ast \theta_{\sigma \tau} =    \chi_\tau \,. \quad
\label{Ktiling07.eq-ringtrans3}\end{aligned}$$

The $\theta_{\sigma \tau}$’s are thus [*partial isometries*]{}. The ring ${{\mathcal A}}_{\Xi_\Delta}$ is unital and its unit is the characteristic function of the $\Delta$-transversal $ 1_{{{\mathcal A}}_{\Xi_\Delta}} = \chi_{\Xi_\Delta} $. The ring of continuous integer-valued functions on the $\Delta$-transversal $C (\Xi_\Delta, {{\mathbb Z}})$ is a left ${{\mathcal A}}_{\Xi_\Delta}$–module.

\[Ktiling07.rem-ringtrans\]

*It is important to notice that the operators $\theta_{\!\sigma \partial_i \!\sigma}$’s are in one-to-one correspondence with a set of arrows that generate $\Gamma_\Delta^1$, the arrows of the groupoid $\Gamma_\Delta$ of the $\Delta$-transversal (groupoid of the transversal of the Delone set ${{\mathcal L}}_\Delta$, see definition \[Ktiling07.def-groupoid\]). The set of arrows $\Gamma_\Delta^1$ is indeed in one-to-one correspondence with the set of vectors joining points of ${{\mathcal L}}_\Delta$, and it is generated by the set of vectors joining a point of ${{\mathcal L}}_\Delta$ to a “nearest neighbour” (a puncture of a face of the simplex of ${{\mathcal T}}$ whose puncture is that point, or of a simplex containing it on its boundary). Each vector can be decomposed into a sum of such generating vectors, and each arrow can be decomposed into a composition of such generating arrows (corresponding to those generating vectors). This generating set is finite, since ${{\mathcal T}}$ has FLC (in particular there are finitely many prototiles), and each of its vectors is an $x_{\!\sigma \partial_i \!\sigma}$ and thus corresponds to a unique operator $\theta_{\!\sigma \partial_i \!\sigma}$.*

A “representation by partial isometries” of the set of generators of $\Gamma_\Delta^1$ is given by $$\theta(\gamma) = \chi_{{{\mathfrak p}}_0 \circ {{\mathfrak p}}_0^{-1} (s(\gamma))} \, {\mbox{\sc t}}(\gamma) \, \chi_{{{\mathfrak p}}_0 \circ {{\mathfrak p}}_0^{-1} (r(\gamma))} \,,$$ where, if $ \gamma=(\xi, x)$, then ${\mbox{\sc t}}(\gamma)$ is the translation operator ${\mbox{\sc t}}^x$.

Let ${{\mathcal S}}_0^n$ be the set of the characteristic maps $\sigma : \Delta^n \rightarrow {{\mathcal B}}_0$ of the $n$-simplices of the $\Delta$-complex decomposition of ${{\mathcal B}}_0$, and ${{\mathcal S}}_0$ the (disjoint) union of the ${{\mathcal S}}_0^n$’s. The group of simplicial $n$-chains on ${{\mathcal B}}_0$, $C_{0,n}$, is the free abelian group with basis ${{\mathcal S}}_0^n$.

\[Ktiling07.def-pimcoho\] The [PV cohomology]{} of the hull of ${{\mathcal T}}$ is the homology of the complex $ \bigl\{ C^n_{PV}, d_{PV}^n \bigr\} $, where:

(i) the PV cochain groups are the groups of continuous integer valued functions on $\Xi_\Delta^n$: $ C^n_{PV} = C (\Xi_\Delta^n, {{\mathbb Z}})$ for $n=0, \cdots d$,

(ii) the PV differential, $d_{PV}$, is the element of ${{\mathcal A}}_{\Xi_\Delta}$ given by the sum over $n=1, \cdots d$, of the operators $$\label{Ktiling07.eq-pimdif}
    d_{PV}^n : 
    \left\{ 
    \begin{array}{l}
    C^{n-1}_{PV} \longrightarrow C^n_{PV} \\
    d_{PV}^n = {\displaystyle \sum_{\sigma \in {{\mathcal S}}_{0}^n} \sum_{i=0}^{n}} (-1)^i \; \theta_{\!\sigma \partial_i\!\sigma}
    \end{array}
    \right. \,.$$

The “simplicial form” of $d_{PV}^n$ makes it clear that $d_{PV}^{n+1} \circ d_{PV}^{n} = 0$ for $n=1, \cdots d-1$. We shall call alternatively the PV cohomology of the hull of ${{\mathcal T}}$ simply the [*PV cohomology of ${{\mathcal T}}$*]{}.

\[Ktiling07.rem-fibrahull\]

*Thanks to the lamination structure on $\Omega$ described in remark \[Ktiling07.rem-lamination\] the map ${{\mathfrak p}}_0$*

$$\begin{array}{ccl}
\Xi_\Delta & \hookrightarrow & \Omega \\
 & & \downarrow  {{\mathfrak p}}_0 \\
& & {{\mathcal B}}_0
\end{array}$$

looks very much like a fibration of $\Omega$ with base space ${{\mathcal B}}_0$ and fiber $\Xi_\Delta$. However because of the branched structure there are paths in ${{\mathcal B}}_0$ that cannot be lifted to any leaf of $\Omega$. Hence this is not a fibration. Nevertheless the result in the present paper (theorem \[Ktiling07.thm-SSpim\]) gives a spectral sequence analogous to the Serre spectral sequence for a fibration.

\[Ktiling07.rem-localcoef\]

*This PV cohomology of ${{\mathcal T}}$ is formally analogous to a cohomology with local coefficients (see [@Hatcher02] chapter 3.H.) but in a more general setting. Let $G_x$ be the group $C( {{\mathfrak p}}_0^{-1}(x), {{\mathbb Z}})$ for $x$ in ${{\mathcal B}}_0$. As ${{\mathfrak p}}_0^{-1}(x)$ is a Cantor set, $G_x$ is actually its $K^0$-group: $ G_x = K^0 \bigl( {{\mathfrak p}}_0^{-1}(x) \bigr)$ while its $K^1$ group is trivial. The family of groups $ (G_x)_{x\in{{\mathcal B}}_0}$ is analoguous to a local coefficient system, with the operators $\theta_{\sigma\tau}$’s in the role of group isomorphisms between the fibers, but they are not isomorphisms here (as they come from a groupoid). If $\sigma$ in $C_0^n$ is an $n$-chain, and $\varphi$ in $C_{PV}^{n-1}$ is a PV $(n\!-\!1)$-cochain, then the differential $$d_{PV}^n \varphi (\sigma) =  \sum_{i=0}^{n} (-1)^i \theta_{\!\sigma \partial_i\!\sigma} \varphi (\partial_i \sigma) \,,$$*

takes the restrictions of $\varphi$ to the faces $\partial_i \sigma$, which are elements of the groups $G_{x_{\partial_i \sigma}}$ (where $x_{\partial_i \sigma}$ is the puncture of the image simplex of $\partial_i \sigma$), and pull them to $\sigma$ with the operators $\theta_{\!\sigma \partial_i\!\sigma}$’s to get an element of the group $G_{x_{\sigma}}$ (where $x_{\sigma}$ is the puncture of the image simplex of $\sigma$).

A rigorous formulation of the points in this remark as well as in the previous remark \[Ktiling07.rem-ringtrans\] will be investigated in further research.

An example: PV cohomology in $1$-dimension {#Ktiling07.ssect-PimCoho1d}
------------------------------------------

This section presents the explicit calculation of PV cohomology of some $1$-dimensional tilings obtained by “cut and projection”. This is to illustrate techniques that can be used to calculate PV cohomology, rather than showing its distinct features and differences compared to other cohomologies. Further examples in higher dimensions, and methods of calculation for PV cohomology will be investigated in a future work.

![image](cutproj1d.eps){width="7cm"}

Let ${{\mathbb R}}^2$ be the Euclidean plane with basis vectors $e_1$ and $e_2$, and let ${{\mathbb Z}}^2$ be the lattice of points of integer coordinates. Let $ C = (0,1] \times [0,1)$ be the unit square “open on the left and top”. Fix an irrational number $\alpha$ in ${{\mathbb R}}_+ \setminus {{\mathbb Q}}$. Let $L_\alpha$ be line of slope $\alpha$ (through the origin) and $p_\alpha$ the projection onto $L_\alpha$. Let $L_\alpha^\perp$ be the orthogonal complement of $L_\alpha$ and $p_\alpha^\perp = 1 - p_\alpha$. Let $W_\alpha=p^{\perp}_\alpha ( C )$, and $ \Sigma = \bigl\{ a \in {{\mathbb Z}}^2 \, : \, p_\alpha^\perp(a) \in W_\alpha \bigr\}$ be the set of points of ${{\mathbb Z}}^2$ that project to $W_\alpha$. A lattice point $a = (a_1, a_2)$ in ${{\mathbb Z}}^2$ belongs to $\Sigma$ if and only if $ -\alpha \le a_2 - a_1 \alpha  < 1 $. The projection of $\Sigma$ onto $L_\alpha$ defines an aperiodic tiling ${{\mathcal T}}_\alpha$ whose tiles’ edges are the projections of points of $\Sigma$. The tiling ${{\mathcal T}}_\alpha$ has two types of tiles that correspond to the projections of the vertical and horizontal of $C$. In particular ${{\mathcal T}}_\alpha$ is repetitive with FLC [@BHZ00; @La99A; @La99B; @LP03].

Identifying $L_\alpha^\perp$ (oriented towards the “northwest”) with the real line, $W_\alpha$ can be seen as the interval $[-\frac{\alpha}{\sqrt{1+\alpha^2}}, \frac{1}{\sqrt{1+\alpha^2}})$. Let ${{\mathcal A}}_\alpha$ be the [$C^{\ast}$-algebra ]{}generated by the characteristic functions $\chi_{[x_1,x_2)}$ for $x_1<x_2$ in $p_\alpha^\perp(\Sigma)$. The transversal $\Xi_\alpha$ is defined to be the spectrum of ${{\mathcal A}}_\alpha$. It has been shown in [@BHZ00] that it is a Cantor set (compact, perfect and totally disconnected), and can be seen as a completion of the interval $W_\alpha$ for a finer topology than the usual one, where the intervals $[x_1,x_2)$, for $x_1<x_2$ in $p_\alpha^\perp(\Sigma)$, are open and closed.

We further identify $W_\alpha$ (rescalling it and identifying its endpoints) with the unit circle with the topology induced by $\Xi_\alpha$. This defines the Cantor circle ${{\mathbb S}}^1_\alpha$. It admits a countable basis of open and closed sets $i_{lm} = [ l \frac{\alpha}{1+\alpha}, m \frac{\alpha}{1+\alpha}) \mod 1$ for integers $l,m$. We can alternatively define ${{\mathbb S}}^1_\alpha$ as the spectrum of the [$C^{\ast}$-algebra ]{}generated by $\{ \theta^n_\alpha \chi_\alpha, \, n\in {{\mathbb Z}}\}$ where $\chi_\alpha$ is the characteristic function of the arc $[0,\frac{\alpha}{1+\alpha})$, and $\theta_\alpha$ the rotation of angle $\frac{\alpha}{1+\alpha}$.

We give $L_\alpha$ an orientation towards the first quadrant (“northeast”), and puncture the tiles by their left vertices for convenience (not their barycenters). The prototile space ${{\mathcal B}}_0 = {{\mathbb S}}^1 \!\vee {{\mathbb S}}^1$ is the wedge sum of two circles corresponding to the two prototiles with their vertices identified. The difference with section \[Ktiling07.ssect-ringtrans\] is that the $\Xi_\Delta^n$’s do not partition $\Xi_\Delta$ since there is only one vertex here, see definition \[Ktiling07.def-simplicialtrans\]. Consequently the canonical transversal and $\Delta$-transversal are identical here. The transversal $\Xi_\alpha$ is seen as the Cantor circle ${{\mathbb S}}^1_\alpha$. The arc $ [ \frac{-\alpha}{1+\alpha}, 0)$ is the acceptance zone $\Xi_a$ of the prototile $a$ whose representatives are the projections of horizontal intervals of $\Sigma$, and the arc $ [0, \frac{1}{1+\alpha})$ is the acceptance zone $\Xi_b$ of the prototile whose representatives are the projections of vertical intervals of $\Sigma$. The vectors $x_{\sigma \tau}$’s in the definitions of the operators $\theta_{\sigma\tau}$’s are here induced by the projections $p_\alpha^\perp (e_1)$ and $p_\alpha^\perp (e_2)$. Once rescaled to the unit circle the operator ${\mbox{\sc t}}^{x_a}$ becomes the rotation by $\frac{-1}{1+\alpha}$, and ${\mbox{\sc t}}^{x_b}$ the rotation by $\frac{\alpha}{1+\alpha}$, and are thus equal. The PV complex reads here simply $$\label{Ktiling07.eq-complexpim1d}
0 \longrightarrow C \bigl( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}\bigr) \xrightarrow{d_{PV} = {\rm id} - \theta_\alpha} C \bigl( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}\bigr) \longrightarrow 0 \,,$$ where $\theta_\alpha$ is the rotation by $\frac{\alpha}{1+\alpha}$ on ${{\mathbb S}}_\alpha^1$, and is unitary.

\[Ktiling07.prop-pimcoho1d\] The PV cohomology of (the hull $\Omega_\alpha$ of) ${{\mathcal T}}_\alpha$ is given by $$\left\{
\begin{array}{lll}
H_{PV}^0 \bigl( {{\mathcal B}}_0; C( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}) \bigr) & \cong & {{\mathbb Z}}\\
H_{PV}^1 \bigl( {{\mathcal B}}_0; C( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}) \bigr) & \cong & {{\mathbb Z}}\oplus {{\mathbb Z}}\end{array}
\right. \,.$$

[*Proof.*]{} A function $ f \in C \bigl( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}\bigr) $ reads as a finite sum $ f = \sum n \chi_{I_n} $ where $n$ is an integer and $\chi_{I_n}$ is the characteristic function of the clopen set $I_n = f^{-1}(n)$. The $0$-th cohomology group is the set of invariant functions under $\theta_\alpha$. Each $I_n$ is a finite disjoint union of base clopen sets $i_{lm}$’s. Given two base clopens $i_{lm} \subset I_n$ and $i_{l'm'} \subset I_{n'}$, $ \theta_\alpha^{m-m'} i_{l'm'} = [(l'+m-m')\frac{\alpha}{1+\alpha}, m\frac{\alpha}{1+\alpha}) \mod 1$, so that $ i_{lm} \cap \theta_\alpha^{m-m'} i_{l'm'} \ne \emptyset$. Hence if $f$ is invariant under $\theta_\alpha$, then $n$ must equal $n'$ and therefore $f$ must be constant.

The calculation of the first cohomology group, the group of coinvariants under $\theta_\alpha$, relies upon the fact that any function $ f \in C \bigl( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}\bigr) $ can be written as $ n_f \chi_{i_{01}} + m_f \chi_{{{\mathbb S}}_\alpha^1}$ modulo $ (1-\theta_\alpha) C \bigl( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}\bigr) $, for some integers $n_f, m_f$, that are uniquely determined by the class of $f$. This technical point is tedious but elementary (it uses an encoding of the real numbers from the partial fraction decomposition of $\frac{\alpha}{1+\alpha}$). [$\Box$]{}

\[Ktiling07.rem-pimcoho1d\]

**

(i) Using integration, $\int_{{{\mathbb S}}_\alpha^1}$, one gets a group isomorphism $$H_{PV}^1 \bigl( {{\mathcal B}}_0; C( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}) \bigr) \cong  {{\mathbb Z}}\oplus \frac{\alpha}{1+\alpha} {{\mathbb Z}}\,,$$ but PV cohomology by itself cannot distinguish between different values of $\alpha$.

(ii) The above calculations yield also the $K$-groups of the tiling space: $$\left\{
    \begin{array}{c}
    K^0 (\Omega) \cong \check{H}^0 (\Omega_\alpha ; {{\mathbb Z}}) \cong H_{PV}^0 \bigl( {{\mathcal B}}_0; C( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}) \bigr) \\
    K^1 (\Omega) \cong \check{H}^1 (\Omega_\alpha ; {{\mathbb Z}}) \cong H_{PV}^1 \bigl( {{\mathcal B}}_0; C( {{\mathbb S}}_\alpha^1, {{\mathbb Z}}) \bigr) 
    \end{array}
    \right.$$

    The isomorphism between Čech and PV cohomologies for hull of tilings is proven in theorem \[Ktiling07.thm-pimcoho\]. The isomorphisms between $K$-theory and cohomology of the hull comes from the natural isomorphisms (Chern character) between $K$-theory and cohomology of $CW$-complexes of dimension less than $3$ (a proof can be found in [@AP98], proposition 6.2), and the fact that $\Omega_\alpha$ is the inverse limit of such space (theorem \[Ktiling07.thm-invlimBp\]).

(iii) With the previous remark, the PV complex can be viewed as the Pimsner-Voiculescu exact sequence [@PV80] for the $K$-theory of the [$C^{\ast}$-algebra ]{}$C({{\mathbb S}}_\alpha^1) \rtimes_{\theta_\alpha} {{\mathbb Z}}$: $$\begin{array}{ccccc}
    K_0 \bigl( C({{\mathbb S}}_\alpha^1) \bigr) & \xrightarrow{ \ {\rm id} - \theta_\alpha \  } & K_0 \bigl( C({{\mathbb S}}_\alpha^1) \bigr) &
    \xrightarrow{ \quad \quad } & K_0 \bigl( C({{\mathbb S}}_\alpha^1) \rtimes_{\theta_\alpha} {{\mathbb Z}}\bigr) \\
    \uparrow & & & & \downarrow \\
    K_1 \bigl( C({{\mathbb S}}_\alpha^1) \rtimes_{\theta_\alpha} {{\mathbb Z}}\bigr) & \xleftarrow{ \quad \quad } & K_1 \bigl( C({{\mathbb S}}_\alpha^1) \bigr) &
    \xleftarrow{ \ {\rm id} - \theta_\alpha \ } & K_1 \bigl( {{\mathbb S}}_\alpha^1 \bigr)
    \end{array} \,.$$ Indeed $C({{\mathbb S}}_\alpha^1) \rtimes_{\theta_\alpha} {{\mathbb Z}}$ is the [$C^{\ast}$-algebra ]{}of the groupoid of the transversal, which is Morita equivalent to the [$C^{\ast}$-algebra ]{}of the hull of ${{\mathcal T}}_\alpha$ [@Be86]. Also $ K_0 \bigl( C({{\mathbb S}}_\alpha^1) \bigr) \cong C({{\mathbb S}}_\alpha^1, {{\mathbb Z}})$ and $ K_1 \bigl( C({{\mathbb S}}_\alpha^1) \bigr) \cong 0$ [@Be91].

Proof of theorem \[Ktiling07.thm-SSpim\] {#Ktiling07.sec-proof}
========================================

The proof of theorem \[Ktiling07.thm-SSpim\] follows from the following two theorems that will be proved separately for convenience and clarity.

It is important to notice that the first page of the spectral sequence of theorem \[Ktiling07.thm-SSpim\] is the PV complex (definition \[Ktiling07.def-pimcoho\]) and therefore its second page is given by PV cohomology. However the direct identification of the PV differential on the first page is highly technical and will not be presented here. The proof will use instead an approximation of the hull (theorem \[Ktiling07.thm-invlimBp\]) as an inverse limit of patch spaces (definition \[Ktiling07.def-Bp\]), and a direct limit spectral sequence for the $K$-theory of the hull (theorem \[Ktiling07.thm-SS\]), with page-$2$ isomorphic to its Čech cohomology. Some abstract results on spectral sequences are also needed, in particular some properties of the Atiyah-Hirzebruch spectral sequence [@AH61]. For the convenience of the reader, those known results are grouped together and proven in a separate section, section \[Ktiling07.sect-SS\].

Let ${{\mathcal T}}$ be an aperiodic and repetitive tiling of ${{\mathbb R}}^d$ with FLC (definition \[Ktiling07.def-repFLC\]), and assume its tiles are finite compatible $\Delta$-complexes. Let $\Omega$ be its hull (definition \[Ktiling07.def-hull\]) and $\Xi_\Delta$ its $\Delta$-transversal (definition \[Ktiling07.def-simplicialtrans\]).

\[Ktiling07.thm-SS\] There is a spectral sequence that converges to the $K$-theory of the [$C^{\ast}$-algebra ]{}of the hull $$E_2^{rs} \Rightarrow  K_{r+s+d} \bigl( C(\Omega) \rtimes {{\mathbb R}}^d \bigr) \,,$$ and whose page-$2$ is isomorphic to the integer Čech cohomology of the hull $$E_2^{rs} \cong
\left\{
\begin{array}{ll}
\check{H}^r ( \Omega ; {{\mathbb Z}}) & s \; {\it even,} \\
 0 & s \; {\it odd.}
\end{array}
\right.$$

\[Ktiling07.thm-pimcoho\] The integer Čech cohomology of the hull is isomorphic to the PV cohomology of the hull $$\check{H}^\ast(\Omega ; {{\mathbb Z}}) \cong H^\ast_{PV} \bigl( {{\mathcal B}}_0 ; C(\Xi_\Delta, {{\mathbb Z}}) \bigr) \,.$$

Proof of theorem \[Ktiling07.thm-pimcoho\] {#Ktiling07.ssect-proofpimcoho}
------------------------------------------

The proof of theorem \[Ktiling07.thm-pimcoho\] follows from propositions \[Ktiling07.prop-pimBp\] and \[Ktiling07.prop-pimB0\] below. First a PV cohomology of ${{\mathcal B}}_p$, writen $H^\ast_{PV} ( {{\mathcal B}}_0 ; C(\Sigma_p,{{\mathbb Z}}) )$, is defined. It is proven to be isomorphic to the simplicial cohomology of ${{\mathcal B}}_p$ in proposition \[Ktiling07.prop-pimBp\], and then proposition \[Ktiling07.prop-pimB0\] establishes that the PV cohomology of the hull is isomorphic to the direct limit of the PV cohomologies of a proper sequence of patch spaces.

Let ${{\mathcal S}}_p^n$ be the set of the characteristic maps $\sigma_p : \Delta^n \rightarrow {{\mathcal B}}_p$ of the $n$-simplices of the $\Delta$-complex decomposition of ${{\mathcal B}}_p$, and ${{\mathcal S}}_p$ the (disjoint) union of the ${{\mathcal S}}_p^n$’s. The group of simplicial $n$-chains on ${{\mathcal B}}_p$, $C_{p,n}$, is the free abelian group with basis ${{\mathcal S}}_p^n$.

\[Ktiling07.rem-orientBp\] [*The map $f_p : {{\mathcal B}}_p \rightarrow {{\mathcal B}}_0$ preserves the orientations of the simplices (the ordering of their vertices).* ]{}

Given a simplex $\sigma_p$ on ${{\mathcal B}}_p$, let $\Xi_{p, \Delta} (\sigma_p)$ denote the lift of the puncture of its image in ${{\mathcal B}}_p$ and $\chi_{\sigma_p}$ its characteristic function. $\Xi_{p, \Delta} (\sigma_p)$ is called the [*acceptance zone*]{} of $\sigma_p$; it is a clopen set in $\Xi_\Delta$.

\[Ktiling07.lem-partitionXip\] Given a simplex $\sigma$ on ${{\mathcal B}}_0$, its acceptance zone is partitioned by the acceptance zones of its preimages $\sigma_p$’s on ${{\mathcal B}}_p$ $$\Xi_\Delta (\sigma) = \coprod_{ \sigma_p \in f_{p \, \#}^{-1} (\sigma) } \Xi_{p, \Delta} (\sigma_p) \,.$$ where $f_{p\#} : C_{p,n} \rightarrow C_{0,n}$ denotes the map induced by $f_p$ on the simplicial chain groups.

[*Proof.*]{} The union of the $\Xi_{p, \Delta} (\sigma_p)$’s is equal to $\Xi_\Delta (\sigma)$, because each lift of the image simplex of a $\sigma_p$ corresponds to the lift of the image simplex of $\sigma$ that has a given local configuration (it is contained in some patch of ${{\mathcal T}}$ or some tile of ${{\mathcal T}}_p$, see section \[Ktiling07.ssect-invlim\].). If $\sigma_p$ and $\sigma'_p$ are distinct in $f_{p \,\#}^{-1} (\sigma)$, then ${{\mathfrak p}}_p \bigl(  \Xi_{p, \Delta} (\sigma_p) \bigr)  \cap {{\mathfrak p}}_p \bigl(  \Xi_{p, \Delta} (\sigma'_p) \bigr) $ is empty, and thus so is $ \Xi_{p, \Delta} (\sigma_p) \cap \Xi_{p, \Delta} (\sigma'_p) $. [$\Box$]{}

The maps in $f_{p \,\#}^{-1} (\sigma)$ are thus in one-to-one correspondence with the set of atoms of the partition of $\Xi_\Delta (\sigma)$ by the $\Xi_{p, \Delta} (\sigma_p)$’s, and the union over $\sigma$ in ${{\mathcal S}}_0^n$ of the $f_{p \,\#}^{-1} (\sigma)$’s is just ${{\mathcal S}}_p^n$.

The simplicial $n$-cochain group $C^n_p$ is $Hom(C_{p,n} , {{\mathbb Z}})$, the dual of the $n$-chain group $C_{p,n}$. It is represented faithfully on the group $C(\Xi_\Delta,{{\mathbb Z}})$ of continuous integer valued functions on the $\Delta$-tranversal by

$$\label{Ktiling07.eq-reppimcochain}
\rho_{p,n} : 
\left\{
\begin{array}{ccc}
C_p^n & \longrightarrow & C(\Xi_\Delta^n,{{\mathbb Z}}) \\
\psi & \longmapsto & {\displaystyle \sum_{\sigma_p \in {{\mathcal S}}_p^n}} \psi (\sigma_p) \chi_{\sigma_p}
\end{array}
\right. \,.$$

The image of $\rho_{p,n}$ will be written $C(\Sigma_p^n, {{\mathbb Z}})$, to remind the reader that this consists of functions on the “discrete transversal” $\Sigma_p^n$ which corrresponds to the atoms of the partitions of the $\Xi_\Delta (\sigma)$’s by the $\Xi_{p,\Delta} (\sigma_p)$’s for $ \sigma_p \in f_{p \, \#}^{-1} (\sigma)$. The representation $\rho_{p,n}$ is a group isomorphism onto its image $C(\Sigma_p^n, {{\mathbb Z}})$, its inverse is defined as follows: given $\varphi = \sum_{\sigma_p \in {{\mathcal S}}_p^n} \varphi_{\sigma_p} \chi_{\sigma_p}$, where $\varphi_{\sigma_p}$ is an integer, $\rho_p^{n \, -1} (\varphi)$ is the group homomorphism from $C_{p,n}$ to ${{\mathbb Z}}$ whose value on the basis map $\sigma_p$ is $\varphi_{\sigma_p}$.

Consider the characteristic map $\sigma_p$ of an $n$-simplex $e_p$ in ${{\mathcal B}}_p$. The simplex $e_p$ is contained in some tile $\pi_j$. Viewing $e_p$ as a subset of the patch $p_j$ in ${{\mathbb R}}^d$, it is possible to define the vector $x_{\!\sigma_{\!p} \, \partial_i \!\sigma_{\!p}}$, for some $i$ in $1, \cdots n$, that joins the puncture of the $i$-th face $\partial_i e_p$ (the simplex in ${{\mathcal B}}_p$ whose characteristic map is $\partial_i \sigma_p$) to the puncture of $e_p$. As a consequence of remark \[Ktiling07.rem-orientBp\], those vectors $x_{\!\sigma_{\!p} \, \partial_i \!\sigma_{\!p}}$’s are identical for all $\sigma_p$’s in the preimage of the characteristic map $\sigma$ of a simplex $e$ on ${{\mathcal B}}_0$, and equal to the vector $x_{\!\sigma \partial_i \!\sigma}$ which defines the operator $\theta_{\!\sigma \partial_i \!\sigma}$ in definition \[Ktiling07.def-ringtrans\]. By analogy, let $\theta_{\!\sigma_{\!p} \, \partial_i \!\sigma_{\!p}}$ be the operator $\chi_{\sigma_p} {\mbox{\sc t}}^{x_{\!\sigma \partial_i \!\sigma}} \chi_{\partial_i \sigma_p}$. With the relation $ {\mbox{\sc t}}^a \chi_\Lambda = \chi_{{\mbox{\sc t}}^a \Lambda} {\mbox{\sc t}}^a$ for $\Lambda \subset \Omega, a\in {{\mathbb R}}^d$, and lemma \[Ktiling07.lem-partitionXip\] it is easily seen that $\theta_{\!\sigma \partial_i \!\sigma}$ is the sum of the $\theta_{\!\sigma_{\!p} \, \partial_i \!\sigma_{\!p}}$’s over all $\sigma_p \in f_{p \,\#}^{-1} (\sigma)$. Hence PV differential given in equation can be written

$$\label{Ktiling07.eq-pimdifBp}
d_{PV}^n = 
\sum_{\sigma_p \in {{\mathcal S}}_{p}^n} \sum_{i=0}^{n} (-1)^i \theta_{\!\sigma_{\!p} \, \partial_i \!\sigma_{\!p}} \,,$$

and is then well defined as a differential from $ C(\Sigma_p^{n-1}, {{\mathbb Z}})$ to $C(\Sigma_p^n, {{\mathbb Z}}) $.

\[Bp\] Let $C^n_{PV} (p) = C(\Sigma_p^n, {{\mathbb Z}})$, for $n=0, \cdots d$. The [PV cohomology]{} of the patch space ${{\mathcal B}}_p$, denoted $H^\ast_{PV} ( {{\mathcal B}}_0 ; C(\Sigma_p,{{\mathbb Z}}) )$, is the homology of the complex $ \bigl\{ C^n_{PV}(p), d_{PV}^n \bigr\} $.

The notation $H^\ast_{PV} ( {{\mathcal B}}_0 ; C(\Sigma_p,{{\mathbb Z}}) )$ requires some comments. The map $f_p : {{\mathcal B}}_p \rightarrow {{\mathcal B}}_0$ is a “branched covering” with discrete “fibers”, the ${{\mathcal S}}_p^n$’s, that correspond to the “discrete transversals” $\Sigma_p^n$’s:

$$\begin{array}{ccl}
\Sigma_p & \hookrightarrow & {{\mathcal B}}_p \\
 & & \downarrow  {{\mathfrak p}}_p \\
& & {{\mathcal B}}_0
\end{array}$$ In analogy with remark \[Ktiling07.rem-localcoef\], the PV cohomology of ${{\mathcal B}}_p$ is analogous to a cohomology of the base space ${{\mathcal B}}_0$ with local coefficients in the $K$-theory of the “fiber” $\Sigma_p$.

\[Ktiling07.prop-pimBp\] The PV cohomology of the patch space ${{\mathcal B}}_p$ is isomorphic to its integer simplicial cohomology: $ H^\ast_{PV} ( {{\mathcal B}}_0 ; C(\Sigma_p,{{\mathbb Z}}) )  \cong H^\ast ({{\mathcal B}}_p ; {{\mathbb Z}}) $.

[*Proof.*]{} We actually prove a stronger statement: the complexes $C_{PV}(p)^\ast$ and $C_p^\ast$ are chain-equivalent. As mentioned earlier, $\rho_{p,n}$ in equation defines a group isomorphism between the simplicial cochain group $C_p^n$ and the PV cochain group $C_{PV}^n(p)$. Here they are both isomorphic to the direct sum $ {{\mathbb Z}}^{| {{\mathcal S}}_p^n |}$, where $| {{\mathcal S}}_p^n |$ is the cardinality of ${{\mathcal S}}_p^n$, [*i.e.*]{} the number of $n$ simplices on ${{\mathcal B}}_p$.

The differential of $\varphi \in C_{PV}^{n-1}(p)$, evaluated on an $n$-simplex $\sigma_p$, reads using $d_{PV}^n \varphi (\sigma_p)=\sum_{\sigma_p \in {{\mathcal S}}_p^n} \bigl(d_{PV}^n \varphi \bigr)_{\sigma_p}  \chi_{\sigma_p} $, with $ \bigl(d_{PV}^n \varphi \bigr)_{\sigma_p} = \sum_{i=1}^n (-1)^i \varphi_{\partial_i \sigma_p}$. On the other hand the simplicial differential of $\psi \in C^{n-1}_p$ reads $ \delta^n \psi (\sigma_p) = \sum_{i=1}^n (-1)^i \psi(\partial_i \sigma_p)$, and therefore $ d_{PV}^n \circ \rho_{p,n\!-\!1} = \rho_{p,n} \circ \delta^n , \, n=1, \cdots d$. Hence the $\rho_{p,n}$’s give a chain map and conjugate the differentials, and thus yield isomorphisms $\rho_{p,n}^\ast$’s between the $n$-th cohomology groups. [$\Box$]{}

\[Ktiling07.lem-invlimtrans\] Let $ \bigl\{ {{\mathcal B}}_{l}, f_l \bigr\}_{l\in {{\mathbb N}}} $ be a proper sequence of patch spaces of ${{\mathcal T}}$. The following holds: $ \Xi_\Delta \cong \varprojlim \bigl( {{\mathcal S}}_l, f_l \bigr)$, and $ C(\Xi_\Delta,{{\mathbb Z}}) \cong \varinjlim \bigl( C(\Sigma_l,{{\mathbb Z}}) , f^l \bigr)$, where $f^l$ is the dual map to $f_l$.

[*Proof.*]{} This is a straightforward consequence of theorem \[Ktiling07.thm-invlimBp\]. [$\Box$]{}

\[Ktiling07.prop-pimB0\] Let $ \bigl\{ {{\mathcal B}}_{l}, f_l \bigr\}_{l\in {{\mathbb N}}} $ be a proper sequence of patch spaces of ${{\mathcal T}}$. There is an isomorphism: $$H_{PV}^{\ast} \bigl( {{\mathcal B}}_0 ; C(\Xi_\Delta,{{\mathbb Z}}) \bigr) \cong
\varinjlim \left( H_{PV}^{\ast} \bigl( {{\mathcal B}}_0 ; C(\Sigma_l,{{\mathbb Z}}) \bigr) , f_{l}^\ast \right) \,.$$

[*Proof.*]{} By the previous lemma \[Ktiling07.lem-invlimtrans\] the cochain groups $C_{PV}^n$ of the hull are the direct limits of the cochain groups $C_{PV}^n(l)$ of the patch spaces ${{\mathcal B}}_l$. Let $f_{l}^{\#}: C_{PV}^n(l) \rightarrow C_{PV}^n (l)$ denote the map induced by $f_l$ on the PV cochain groups. Since the PV differential $d_{PV}$ is the same for the complexes of each patch space ${{\mathcal B}}_l$, it suffices to check that the following diagram is commutative $$\begin{array}{ccccccc}
\cdots & \longrightarrow &  C_{PV}^{n-1}(l) &
\xrightarrow{ \quad d_{P}^{n} \quad } & C_{PV}^{n}(l) &
\longrightarrow & \cdots \\
 & & \downarrow f_{l}^{\#} &  & \downarrow f_{l}^{\#} &  & \\
\cdots & \longrightarrow & C_{PV}^{n-1}(l+1) &
\xrightarrow{ \quad d_{P}^{n} \quad } & C_{PV}^{n}(l+1) &
\longrightarrow & \cdots 
\end{array}$$ which is straightforward using the relation $ \bigl( f_l^{\#} \varphi \bigr)_{\partial_j \sigma_l} = \varphi_{ f_{l\, \#}(\partial_j \sigma_l)}$. [$\Box$]{}

[**Proof of theorem \[Ktiling07.thm-pimcoho\].**]{} By standard results in algebraic topology [@Hatcher02; @Spa66], the Čech cohomology of the hull is isomorphic to the direct limit of the Čech cohomologies of the patch spaces ${{\mathcal B}}_i$, $ \check{H}^\ast (\Omega ; {{\mathbb Z}}) \cong \varinjlim  \left( \check{H}^{\ast} \bigl( {{\mathcal B}}_l ; {{\mathbb Z}}\bigr) , f_{l}^\ast \right) $. By the natural isomorphism between Čech and simplicial cohomologies for finite $CW$-complexes [@Spa66], $ \check{H}^\ast  \bigl( {{\mathcal B}}_l ; {{\mathbb Z}}\bigr) \cong H^\ast \bigl( {{\mathcal B}}_l ; {{\mathbb Z}}\bigr)$, and by proposition \[Ktiling07.prop-pimBp\], $ H^{\ast} \bigl( {{\mathcal B}}_l ; {{\mathbb Z}}\bigr) \cong H_{PV}^{\ast} \bigl( {{\mathcal B}}_0 ; C(\Sigma_l,{{\mathbb Z}}) \bigr) $, so that $ \check{H}^\ast  \bigl( {{\mathcal B}}_l ; {{\mathbb Z}}\bigr) \cong H_{PV}^{\ast} \bigl( {{\mathcal B}}_0 ; C(\Sigma_l,{{\mathbb Z}}) \bigr) $. By proposition \[Ktiling07.prop-pimB0\], the direct limit of the $H_{PV}^{\ast} \bigl( {{\mathcal B}}_0 ; C(\Sigma_l,{{\mathbb Z}}) \bigr)$’s is the PV cohomology of the hull. Therefore the integer Čech cohomology of the hull is isomorphic to the PV cohomology of the hull: $\check{H}^\ast(\Omega; {{\mathbb Z}}) \cong H^\ast_{PV} ({{\mathcal B}}_0 ;C(\Xi_\Delta,{{\mathbb Z}}) )$. [$\Box$]{}

Proof of theorem \[Ktiling07.thm-SS\] {#Ktiling07.ssect-proofSS}
-------------------------------------

The proof of theorem \[Ktiling07.thm-SS\] follows from propositions \[Ktiling07.prop-invlimSS\] and \[Ktiling07.prop-AHSS\] below. First by Thom-Connes isomorphism [@Co81], $ K_{\ast+d} \bigl( C(\Omega) \rtimes {{\mathbb R}}^d \bigr) \cong K_{\ast} \bigl( C(\Omega) \bigr) $, and therefore it suffices to build a spectral sequence that converges to the $K$-theory of the [$C^{\ast}$-algebra ]{}$C(\Omega)$. This is done by constructing a Schochet spectral sequence [@Schochet81], $\bigl\{ E^{r,s}_\ast \bigr\}$, associated with an appropriate filtration of $C(\Omega)$. It is shown in proposition \[Ktiling07.prop-invlimSS\] that this spectral sequence is the direct limit of spectral sequences, $\bigl\{ E^{r,s}_\ast (l) \bigr\}$, for the $K$-theory of the [$C^{\ast}$-algebras ]{}$C({{\mathcal B}}_l)$ of continuous functions on the patch spaces of a proper sequence. Then $\bigl\{ E^{r,s}_\ast (l) \bigr\}$ is shown to be isomorphic to the Atiyah-Hirzebruch spectral sequence [@AH61] for the topological $K$-theory of ${{\mathcal B}}_l$ in proposition \[Ktiling07.prop-AHSS\].

For basic definitions, terminology and results on spectral sequences, the reader is referred to [@McC]. In section \[Ktiling07.sect-SS\] some technical results on exact couples used here are provided.

For $s=0, \cdots d$, let $\Omega^s={{\mathfrak p}}_0^{-1} \bigl( {{\mathcal B}}_0^s \bigr)$ be the lift of the $s$-skeleton of the prototile space, and let $I_s = C_0 \bigl( \Omega \setminus \Omega^s \bigr)$. $I_s$ is a closed two-sided ideal of $C(\Omega)$, it consists of functions that vanish on the faces of dimension $s$ of the boxes of the hull (see section \[Ktiling07.ssect-boxhull\]). This gives a filtration of $C(\Omega)$:

$$\label{Ktiling07.eq-filtrationhull}
\{0\}=  I_d \hookrightarrow \, I_{d-1} \hookrightarrow \cdots \, I_0 \hookrightarrow I_{-1} \; = \ C(\Omega)  \,.$$

Let $ Q_s = I_{s-1} / I_s $, which is isomorphic to $ C_0 \bigl( \Omega^s \setminus \Omega^{s-1} \bigr) $. Let $K(I)$ and $K(Q)$ be the respective direct sums of the $K_\epsilon (I_s)$ and $K_\epsilon (Q_s)$ over $\epsilon=0,1$, and $s=0, \cdots d$. The short exact sequences $ 0 \rightarrow I_s \xrightarrow{\; i_s \; } I_{s-1} \xrightarrow{ \; \pi_s \; } Q_s \rightarrow 0 $, lead, through long exact sequences in $K$-theory, to the exact couple ${{\mathfrak P}}= \bigl( K(I), K(Q), i, \pi, \partial \bigr)$, where $i$ and $\pi$ are the induced maps and $\partial$ the boundary map in $K$-theory. Its associated Schochet spectral sequence [@Schochet81], $\bigl\{ E^{r,s}_\ast \bigr\}$, converges to the $K$-theory of $C(\Omega)$:

$$\label{Ktiling07.eq-Schochethull}
\left\{
\begin{array}{ccl}
E^{r,s}_1 & \Rightarrow &  K_{r+s} \bigl( C(\Omega) \bigr) \\
E^{r,s}_1 & = &  K_{r+s} \bigl( Q_s \bigr)
\end{array}
\right. \,.$$

Let ${{\mathcal B}}_p$ be a patch space associated with a pattern $\hat{p}$ of ${{\mathcal T}}$. Consider the filtration of the [$C^{\ast}$-algebra ]{}$C({{\mathcal B}}_p)$ by the closed two sided-ideals $I_s (p)= C_0 \bigl( {{\mathcal B}}_p \setminus {{\mathcal B}}_p^s \bigr)$:

$$\label{Ktiling07.eq-filtrationBp}
\{0\}=  I_d (p) \hookrightarrow \, I_{d-1}(p) \hookrightarrow \cdots \, I_0 (p)  \hookrightarrow I_{-1} (p) \; = \ C({{\mathcal B}}_p)  \,.$$

Let $ Q_s(p) = I_{s-1}(p) / I_s (p) $, which is isomorphic to $ C_0 \bigl( {{\mathcal B}}_p^s \setminus {{\mathcal B}}_p^{s-1} \bigr) $. Let $K(I(p))$ and $K(Q(p))$ be the respective direct sums of the $K_\epsilon (I_s(p))$ and $K_\epsilon (Q_s(p))$ over $\epsilon=0,1$, and $s=0, \cdots d$. The short sequences $ 0 \rightarrow I_s (p) \xrightarrow{\; i_{p,s}\; } I_{s-1}(p) \xrightarrow{ \; \pi_{p,s} \; } Q_s(p) \rightarrow 0 $, lead to the exact couple ${{\mathfrak P}}(p)= \bigl( K(I(p)), K(Q(p)), i_p, \pi_p, \partial \bigr)$, and its associated Schochet spectral sequence [@Schochet81], $\bigl\{ E^{r,s}_\ast (p) \bigr\}$, converges to the $K$-theory of $C({{\mathcal B}}_p)$:

$$\label{Ktiling07.eq-SchochetBp}
\left\{
\begin{array}{ccl}
E^{r,s}_1 (p) & \Rightarrow &  K_{r+s} \bigl( C({{\mathcal B}}_p) \bigr) \\
E^{r,s}_1 (p) & = &  K_{r+s} \bigl( Q_s (p) \bigr)
\end{array}
\right. \,.$$

\[Ktiling07.prop-invlimSS\] Given a proper sequence $ \bigl\{ {{\mathcal B}}_{l}, f_l \bigr\}_{l\in {{\mathbb N}}} $ of patch spaces of ${{\mathcal T}}$, the following holds: $$\bigl\{ E^{r,s}_\ast \bigr\} \cong \varinjlim \left( \bigl\{ E^{r,s}_\ast (l) \bigr\}  , f_{l \ast} \right) \,,$$ where $\bigl\{ E^{r,s}_\ast (l) \bigr\}$ is the Schochet spectral sequence for ${{\mathcal B}}_l$ corresponding to the patch $p=p_l$.

[*Proof.*]{} The map $f_l : {{\mathcal B}}_l \rightarrow {{\mathcal B}}_{l+1}$ induces a morphism of exact couples from $ f_{l\ast} : {{\mathfrak P}}(l) \rightarrow {{\mathfrak P}}(l+1)$. Indeed, consider the following diagram:

$$\begin{array}{ccccccc}
   K_{\varepsilon} \bigl(I_s(l) \bigr) & \xrightarrow{ \ i_{l,s} \ } &
   K_ {\varepsilon} \bigl( I_{s\!-\!1}(l) \bigr)& \xrightarrow{ \ \pi_{l,s} \ } &
   K _ {\varepsilon} \bigl( Q_s (l) \bigr)&  \xrightarrow{ \ \partial \ } &
   K_{\varepsilon+1} \bigl(I_s (l) \bigr) \\
\downarrow f_{l \ast} && \downarrow  f_{l \ast} &&
 \downarrow f_{l \ast} && \downarrow  f_{l \ast} \\
   K_{\varepsilon} \bigl( I_s (l\!+\!1) \bigr)& \xrightarrow{ \ i_{l\!+\!1,s} \ } &
   K_ {\varepsilon} \bigl(I_{s\!-\!1} (l\!+\!1) \bigr) & \xrightarrow{ \ \pi_{l\!+\!1,s} \ } &
   K _ {\varepsilon} \bigl( Q_s (l\!+\!1) \bigr) &  \xrightarrow{ \ \partial \ } &
   K_{\varepsilon+1} \bigl( I_s (l\!+\!1) \bigr) \\
\end{array}$$ The left and middle squares are easily seen to be commutative. To check the commutativity of the right square, recall that given a short exact sequence $ 0 \rightarrow I \rightarrow A \rightarrow A/J \rightarrow 0$ where $A$ is a $C^\ast$-algebra and $J$ a closed two-sided ideal, the boundary map of an element $ [x] \in K_\varepsilon (A/J) $ is computed via a lift $ z \in A \otimes {{\mathcal K}}$ of $x$. Let $[x] \in K _ {\varepsilon} \bigl( Q_s (l) \bigr) $. If $z \in I_{s\!-\!1}(l) \otimes {{\mathcal K}}$ is a lift of $x$, then $ f_{l \ast} z \in I_{s\!-\!1}(l\!+\!1) \otimes {{\mathcal K}}$ is a lift of $f_{l\ast} x$ and the commutativity of the right square follows.

As a consequence of theorem \[Ktiling07.thm-invlimBp\], $ I \cong \varinjlim \{ I(l), f^{\#}_l \}$ and $ Q \cong \varinjlim \{ Q(l), f^{\#}_l \}$, therefore $ K(I) \cong \varinjlim \bigl\{ K\bigl( I(l) \bigr), f^{\ast}_l \bigr\} $ and $ K(Q) \cong \varinjlim \bigl\{ K\bigl(Q(l) \bigr) , f^{\ast}_l \bigr\}$. Hence $\bigl\{ {{\mathfrak P}}(l), f^{\ast}_l \bigr\} $ is a direct system of exact couples and by lemma \[Ktiling07.lem-dirlimEC\] ${{\mathfrak P}}\cong \varinjlim \bigl\{ {{\mathfrak P}}(l), f^{\ast}_l \bigr\} $, and the same result on their associated spectral sequences follows by corollary \[Ktiling07.cor-dirlimSS\]. [$\Box$]{}

Given a finite $CW$-complex $X$, the Atiyah-Hirzebruch spectral sequence [@AH61] for the topological $K$-theory of $X$ is a particular case of Serre spectral sequence [@DaKi; @McC] for the trivial fibration of $X$ by itself with fiber a point: $$\label{Ktiling07.eq-AHss}
\left\{
\begin{array}{ccl}
E^{r,s}_{ \! \! \! \! _{\mbox{\tiny \it A\!H}} \, 2} & \Rightarrow &  K^{r+s} ( X ) \\
E^{r,s}_{ \! \! \! \! _{\mbox{\tiny \it A\!H}} \, 2} (p) & \cong &  H^{r} \bigl( X ;  K^s (\cdot) \bigr)
\end{array}
\right. \,,$$ where $\cdot$ denotes a point, so $K^s (\cdot) \cong {{\mathbb Z}}$ if $s$ is even, and $0$ if $s$ is odd.

It is defined on page-$1$ by $E^{r,s}_{ \! \! \! \! _{\mbox{\tiny \it A\!H}} \, 2} = K^r ( X^s,X^{s-1}) $ in [@AH61], and then proven that the page-$2$ is isomorphic to the cellular cohomology of $X$. If $X$ is a locally compact Hausdorff space, the spectral sequence can be rewritten algebraically, using the isomorphisms $ K^\ast (Y) \cong K_\ast \bigl( C_0 (Y) \bigr) $ and $K^\ast (Y,Z) \cong K_\ast \bigl( C_0(Y) / C_0(Z)\bigr)$ for locally compact Hausdorff spaces $Y,Z$. Consider the Schochet spectral sequence [@Schochet81] for the $K$-theory of the [$C^{\ast}$-algebra ]{}$C_0(X)$ associated with its filtration by the ideals $I_s=C_0 (X,X^s)$ of functions vanishing on the $s$-skeleton. Then the spectral sequence associated with the cofiltration of $C_0(X)$ by the ideals $F_s = C_0(X) /I_s \cong C_0(X^s)$ turns out to be this algebraic form of Atiyah-Hirzebruch spectral sequence.

\[Ktiling07.prop-AHSS\] The Schochet spectral sequence $\bigl\{ E^{r,s}_\ast (p) \bigr\}$ for the $K$-theory of the [$C^{\ast}$-algebra ]{}$C({{\mathcal B}}_p)$ is isomorphic to the Atiyah-Hirzebruch spectral sequence for the topological $K$-theory of ${{\mathcal B}}_p$.

[*Proof.*]{} By theorem \[Ktiling07.thm-filcofil\] (section \[Ktiling07.sect-SS\]) the Schochet spectral sequences built from the filtration of $A(p) = C({{\mathcal B}}_p)$ by the ideals $I_s(p)$, namely $ \bigl\{ E^{r,s}_\ast (p) \bigr\} $, and from the cofiltration of $A(p)$ by the quotients $F_s (p) = A(p) / I_s(p) \cong C_0 ({{\mathcal B}}_p^s)$, are isomorphic. As remarked above this last spectral sequence is nothing but the Atiyah-Hirzebruch spectral sequence. [$\Box$]{}

[**Proof of theorem \[Ktiling07.thm-SS\].**]{} Let $ \bigl\{ {{\mathcal B}}_{l}, f_l \bigr\}_{l\in {{\mathbb N}}} $ be a proper sequence of patch spaces of ${{\mathcal T}}$. By proposition \[Ktiling07.prop-AHSS\], the page-$2$ of Schochet spectral sequence $\bigl\{ E^{r,s}_\ast (l) \bigr\}$ is isomorphic to the simplicial cohomology of ${{\mathcal B}}_l$: $ E^{r,s}_2 (l) \cong \check{H}^r ({{\mathcal B}}_i ; {{\mathbb Z}})$ for $s$ even and $0$ for $s$ odd. By the natural isomorphism between simplicial and Čech cohomologies for $CW$-complexes [@Spa66], it follows that $ E^{r,s}_2 (l) \cong \check{H}^r ({{\mathcal B}}_i ; {{\mathbb Z}})$ for $s$ even and $0$ for $s$ odd. By standard results in algebraic topology [@Hatcher02; @Spa66] $ \check{H}^\ast (\Omega ; {{\mathbb Z}}) \cong \varinjlim  \left( \check{H}^{\ast} \bigl( {{\mathcal B}}_l ; {{\mathbb Z}}\bigr) , f_{l}^\ast \right) $, and therefore by proposition \[Ktiling07.prop-invlimSS\] the page-$2$ of Schochet spectral sequence for the $K$-theory of $C(\Omega)$ is isomorphic to the integer Čech cohomology of the hull: $ E^{r,s}_2 \cong \check{H}^r (\Omega ; {{\mathbb Z}})$ for $s$ even and $0$ for $s$ odd. [$\Box$]{}

Appendix: a reminder on spectral sequences {#Ktiling07.sect-SS}
==========================================

Some technical results about exact couples are recalled here. The formalism allows to state corollary \[Ktiling07.cor-extri\] which leads to the isomorphism between the Schochet spectral sequence associated with the filtration of a [$C^{\ast}$-algebra ]{}and the Schochet spectral sequence associated with its corresponding cofiltration in theorem \[Ktiling07.thm-filcofil\]. The construction of a direct limit of spectral sequences is also recalled. A few elementary definitions are given to set the terminology. The original reference on exact couples is the work of Massey [@Ma52]. The link with spectral sequences is only mentioned, and the reader is referred to [@DaKi; @McC] for further details.

An [*exact couple*]{} is a family $T=(D,E,i,j,k)$ where $D$ and $E$ are abelian groups and $i,j,k$ are group homomorphisms making the following triangle exact $$\label{Ktiling07.eq-triangle}
\begin{array}{rcccl}
  D & & \xrightarrow{ \ \ \ i \ \ \ }& & D\\
  k & \nwarrow & & \swarrow & j\\
    & & E & &
  \end{array}$$ In more generality, $D$ and $E$ can be graded modules over a ring, and $i,j,k$ module maps of various degrees. A morphism $\alpha$ between two exact couples $T$ and $T'$ is a pair of group homomorphisms $(\alpha_D, \alpha_E)$ making the following diagram commutative $$\label{Ktiling07.eq-morph}
\begin{array}{lclclcl}
   D &  \xrightarrow{ \ \ \ i \ \ \ }& 
     D &  \xrightarrow{ \ \ \ j \ \ \ } & 
      E &  \xrightarrow{ \ \ \ k \ \ \ } & D \\
\downarrow \alpha_D && \downarrow \alpha_D &&
 \downarrow \alpha_E && \downarrow \alpha_D \\
   D' &  \xrightarrow{ \ \ \ i' \ \ \ } & 
     D' &  \xrightarrow{ \ \ \ j' \ \ \ } & 
      E' & \xrightarrow{ \ \ \ k' \ \ \ }& D'
  \end{array}$$ The composition map $d=j\circ k : E\mapsto E$ is called the [*differential*]{} of the exact couple. Since is exact, it follows that $d^2= j\circ (k\circ j)\circ k =0$. Let then $H_d(E)$ be the homology of the complex $E\stackrel{d}{\longrightarrow}E$. Then the following theorem holds.

\[Ktiling07.th-dertria\]

(i) There is a [*derived exact couple*]{} $$\label{exactcouples06.eq-dertria}
    \begin{array}{rcccl}
      D^{(1)}=i(D) & &\xrightarrow{ \quad \quad \quad  i^{(1)} \quad \quad  \quad }&
                     & D^{(1)}=i(D)\\
       k^{(1)} &  \nwarrow & & \swarrow  &j^{(1)}\\
               &  &E^{(1)}=H_d(E)&    & 
      \end{array}$$ defined by $i^{(1)} =i \vert_{i(D)}$, $j^{(1)}(i(x))=j(x) + {\mbox{\rm Im}}(d)$ and $k^{(1)}(e+{\mbox{\rm Im}}(d))=k(e)$.

(ii) The derivation $ T \rightarrow T^{(1)}$ is a functor on the category of exact couples (with morphisms of exact couples).

The $n$-th iterated derived couple of $T$ is denoted $T^{(n)} = (D^{(n)}, E^{(n)}, i^{(n)}, j^{(n)}, k^{(n)})$.

\[Ktiling07.rem-dermorph\] [*Point (ii) in theorem \[exactcouples06.eq-dertria\] implies that a morphism of exact couples $ \alpha :  T \rightarrow T' $ induces derived morphisms $\alpha^{(n)}$ between the derived couples: $ \alpha_{D}^{(n)} = \alpha_{D}^{(n-1)} \vert_{ D^{(n)} } $ is the restriction of $\alpha_{D}^{(n-1)}$ to $D^{(n)}=i^{(n-1)}( D^{(n-1)} )$, and $ \alpha_{E}^{(n)} = ( \alpha_{E}^{(n-1)} )_{\ast} $ is the induced map of $\alpha_{E}^{(n-1)}$ on homology. Also $\alpha_E$ conjugates the differentials, namely $ \alpha_E^{(n)} \circ d^{(n)} = d'^{(n)} \circ \alpha_E^{(n)} $ for all $n$.*]{}

The [*spectral sequences*]{} considered here come from exact couples. Given an exact couple $(E,D,i,j,k)$, its associated spectral sequence is the family $( E_l, d_l)_{l\in{{\mathbb N}}}$ where $E_l =E^{(l)}$ is the derived $E$-term, and called the [*$E_l$-page*]{} or simply [*page-$l$*]{} of the spectral sequence, and $d_l = d^{(l)}$ is its differential. As noted above those $E$-terms are generally (bi)graded modules. A morphism of spectral sequence $\beta : (E_l, d_l)_{l\in {{\mathbb N}}} \rightarrow (E'_l, d'_l)_{l\in {{\mathbb N}}}$ is given by the $\alpha_E$-morphism of the exact couples, and can be seen as a sequence of [*chain maps*]{} $\beta_l : E_l \rightarrow E'_l$ for each $l$, [*i.e.*]{} commute with the differentials: $d_l \beta_l = \beta_l d'_l$.

\[Ktiling07.def-varEC\]

(i) An exact couple $T=(D,E,i,j,k)$ is said to be [trivial]{} if $E=0$.

(ii) Two exact couples $T$ and $T'$ are said to be [equivalent]{} if there is a morphism $\alpha : T \rightarrow T'$ such that $\alpha_{E}$ is an isomorphism.

\[Ktiling07.rem-trivEC\]

**

(i) If an exact couple is trivial, then it is of the form $(D,0,{\rm id}, 0, 0)$.

(ii) A trivial exact couple is identical to its derived couple.

(iii) An equivalence between two exact couples is equivalent to an isomorphism between their associated spectral sequences.

\[Ktiling07.def-cvEC\]

(i) An exact couple is said to converge whenever there is an $L\in {{\mathbb N}}$ such that for $l\geq L$ the $l$-th derived couples are trivial.

(ii) A spectral sequence is said to converge if its associated exact couple converges.

Given a morphism of exact couples $ \alpha : T \rightarrow T'$, its kernel $ {\mbox{\rm Ker}}\alpha = ( {\mbox{\rm Ker}}\alpha_D, {\mbox{\rm Ker}}\alpha_E, i,j,k)$ and image $ {\rm Im} \alpha = ( {\rm Im} \alpha_D, {\rm Im} \alpha_D, i', j', k')$ are $3$-periodic complexes (by commutativity of diagram ), but no longer exact couples in general.

\[Ktiling07.prop-ESEC\] Given an exact sequence of exact couples $$\cdots \rightarrow 
T_{m-1} \xrightarrow{\alpha_{m-1}} 
T_{m} \xrightarrow{\alpha_{m}} 
T_{m+1} \xrightarrow{\alpha_{m+1}} 
T_{m+2} \rightarrow  
\cdots \,,$$ that is $ {\rm Im} \alpha_{m-1} = {\mbox{\rm Ker}}\alpha_{m} $ for all $m$, the following holds: if $T_{m-1}$ and $T_{m+2}$ are trivial, then $T_{m}$ and $T_{m+1}$ are equivalent.

[**Proof.**]{} Using Remark \[Ktiling07.rem-trivEC\] the couples can be rewritten $T_{m-1} =(D_{m-1}, 0, {\rm id}, 0,0) $ and $ T_{m+2}=  (D_{m+2}, 0, {\rm id}, 0,0) $, and therefore $ \alpha_{m-1}=(\alpha_{D_{m-1}},0)$, and $\alpha_{m+1} = (\alpha_{D_{m+1}}, 0)$. The exact sequence for the $E$ terms then reads $ \cdots \rightarrow 0 \rightarrow E_m \xrightarrow{ \alpha_{E_m} } E_{m+1} \rightarrow 0 \rightarrow \cdots$, and therefore $\alpha_{E_m}$ is an isomorphism and gives an equivalence between $T_m$ and $T_{m+1}$. [$\Box$]{}

\[Ktiling07.cor-extri\] Given an exact triangle of exact couples, one of which is trivial, then the two others are equivalent.

\[Ktiling07.def-dirlimEC\] A direct system of exact couples $\bigl\{ T_l, \alpha_{lm} \bigr\}_I$, is given by an directed set $I$, and a family of exact couples $T_l$’s and morphisms of exact couples $ \alpha_{lm} : T_l \rightarrow T_m$ for $l\le m$ (with $\alpha_{ll}$ the identity), such that given $l,m \in I$ there exists $n\in I$, $n\ge l,m$ with $ \alpha_{ln} = \alpha_{mn} \circ \alpha_{lm}$.

If $T_l$ is written $ (D_l, E_l, i_l,j_l,k_l)$, the definition of a direct system of associated spectral sequences is given similarly by keeping only the data of the $E_l$-terms, their differentials $j_l \circ k_l$ and the morphisms $\alpha_{E_l}$.

Let $R$ be a commutative ring. Recall that the direct limit of a directed system of $R$-modules, $\bigl\{ M_l, \sigma_{lm} \bigr\}_I$ is given by the quotient of the direct product $ \bigoplus_{I} M_l $ by the $R$-module generated by all elements of the form $a_l - \sigma_{lm}(a_l)$ for $a_l \in M_l$, where each $R$-module $M_l$ is viewed as a submodule of $ \bigoplus_{I} A_l $.

\[Ktiling07.lem-dirlimEC\] Let $\bigl\{ T_l, \alpha_{lm} \bigr\}_I$ be a direct system of exact couples, and write the couples as $ T_l = (D_l, E_l, i_l,j_l,k_l)$, and the morphisms as $ \alpha_{lm} = (\alpha_{D_{lm}}, \alpha_{E_{lm}})$. There is a direct limit exact couple $T = \varinjlim \bigl\{ T_l, \alpha_{lm} \bigr\}$, given by $T = (D,E,i,j,l)$ with $ D = \varinjlim \bigl\{ D_l, \alpha_{D_lm} \bigr\}$, $ E = \varinjlim \bigl\{ E_l, \alpha_{E_lm} \bigr\}$, and $i,j,k$ the maps induced by the $i_l,j_l,k_l$’s.

[*Proof.*]{} The direct limits $D$ and $E$ are well-defined and it suffices to give the expressions of the module homomorphisms $i,j,k$ and show that $T$ is exact. Let $d$ be in $D$, [*i.e.*]{} it is the class $[d_l]$ for some $d_l \in D_l$, then $i(d) = [i_l (d_l)]$. If $d=[d_m]$ for some $m\ge l$ then $d_m = \alpha_{D_{lm}}(d_l)$ and $ [i_m (d_m)] = [ i_m \circ \alpha_{D_{lm}} (d_l)] = [\alpha_{D_{lm}} \circ i_l(d_l)]$ because $\alpha_{D_{lm}}$ is a morphism of exact couple (commutativity of diagram ), and therefore $ [i_m(d_m) = [i_l(d_l)]$ and $i$ is well-defined. Similarly for $d=[d_l]$ in $D$, $j(d) = [j_l(d_l)]$ in $E$, and for $e=[e_l]$ in $E$, $k(e)=[k_l(e_l)]$ in $D$, and are well-defined.

This proves also that $T$ is a $3$-periodic complex since the compositions $j\circ i$, $k \circ j$ and $i \circ k$ involves the compositions of the $i_l, j_l, k_l$, and are thus zero. Let $d \in {\mbox{\rm Ker}}j$ and $d=[d_l]$, then $j(d)= [j_l(d_l)]=0$ and by exactness of $T_l$ there exists $d'_l \in D_l$ such that $d_l=i_l(d'_l)$, let then $d'=[d'_l]$ in $D$ to have $d=[i_l(d'_l)] = i(d')$ and therefore ${\mbox{\rm Ker}}j = {\rm Im} i$. The other two relations $ {\mbox{\rm Ker}}i = {\rm Im} k$ and $ {\mbox{\rm Ker}}k = {\rm Im} j$ are proven similarly, and this shows that $T$ is exact. [$\Box$]{}

\[Ktiling07.cor-dirlimSS\] The result of lemma \[Ktiling07.lem-dirlimEC\] for direct limit of exact couples also holds for direct limit of associated spectral sequences.

Let $A$ be a [$C^{\ast}$-algebra ]{}, and assume there is a finite filtration by closed two-sided ideals: $$\label{Ktiling07.eq-fil}
 \{0\}=  I_d \stackrel{i_d}{\hookrightarrow} \, I_{d-1} \stackrel{i_{d\!-\!1}}{\hookrightarrow} \cdots \, I_0 \stackrel{i_0}{\hookrightarrow} I_{-1} \; = \ A \ \,.$$ There is an associated cofiltration of $A$ by the quotient [$C^{\ast}$-algebras ]{}$F_p = A / I_p$: $$\label{Ktiling07.eq-cofil}
A \ = F_d \stackrel{\rho_d}{\twoheadrightarrow} F_{d-1} \stackrel{\rho_{d\!-\!1}}{\twoheadrightarrow} \cdots F_0 \stackrel{\rho_0}{\twoheadrightarrow} F_{-1} = \{ 0 \} \ \,.$$ Let $Q_p=I_{p-1} / I_p$ be the quotient [$C^{\ast}$-algebra]{}. There are short exact sequences:

\[Ktiling07.eq-SESgrp\] $$\begin{aligned}
0  \longrightarrow \; I_p \, \xrightarrow{ \ \ i_p \ \ }  I_{p-1}  \xrightarrow{ \ \ \pi_p \ \ } \ Q_p \ \longrightarrow  0 
\label{Ktiling07.eq-SESfiltration}\\
0  \longrightarrow  Q_p \xrightarrow{ \ \ j_p \ \ } \  F_p \  \xrightarrow{ \ \ \rho_p \ \ }  F_{p-1}  \longrightarrow  0 
\label{Ktiling07.eq-SEScofiltration} \\
0  \longrightarrow \; I_p \, \xrightarrow{ \ \ l_p \ \ }  \ \, A  \ \, \xrightarrow{ \ \ \sigma_p \ \ } \  F_p \, \ \longrightarrow  0 
\label{Ktiling07.eq-SESlink}\end{aligned}$$

In $i_p$ is the canonical inclusion, and $\pi_p$ the quotient map $ \pi_p (x) = x + I_p$. In $l_p = i_p \circ i_{p-1} \circ \cdots i_{0}$ is the canonical inclusion, and $\sigma_p$ the quotient map $\sigma_{p} ( x ) = x + I_p$. And in $j_p$ is the canonical inclusion $ j_p ( x + I_p ) = l_{p-1}(x) + I_p $, and $\rho_p$ the quotient map $ \rho_p ( x + I_p ) = x + I_{p-1}$.

Associated with the short exact sequences of [$C^{\ast}$-algebras ]{} and there are a long (6-term periodic) exact sequences in $K$-theory that can be written in exact couples:

$$\begin{aligned}
T_I \ : \ 
\begin{array}{rcccl}
K(I) && \xrightarrow{ \ \ \ \ i \ \  \ \ }  && K(I) \\
\partial &\nwarrow &  & \swarrow & \pi \\
& & K(Q) & &
\end{array} 
\quad \quad \text{with} \quad K(I) = \bigoplus_{p=-1}^d \bigoplus_{\varepsilon=0,1} K_\varepsilon (I_p) 
\label{Ktiling07.eq-ECfiltration}\\
T_F \ : \ 
\begin{array}{rcccl}
\!  K(F) \!  && \xrightarrow{ \ \ \ \ \rho \ \  \ \ }  && \!  \! K(F) \!  \\
j &\nwarrow &  & \swarrow & \partial \\
& & K(Q) & &
\end{array}
\quad \quad \text{with} \quad K(F) = \bigoplus_{p=-1}^d \bigoplus_{\varepsilon=0,1} K_\varepsilon (F_p) 
\label{Ktiling07.eq-ECcofiltration}\end{aligned}$$

with $K(Q) = {\displaystyle \bigoplus_{p=-1}^d \bigoplus_{\varepsilon=0,1}} K_\varepsilon (Q_p)$, and $i$, $\pi$, $j$ and $\rho$ the induced maps on K-theory.

Since the filtration and the cofiltration are finite, both exact couple converge to the $K$-theory of $A$.

\[Ktiling07.thm-filcofil\] The spectral sequence for the $K$-theory of a [$C^{\ast}$-algebra ]{}$A$, associated with a filtration of $A$ by ideals $I_p$ as in , and the spectral sequence associated with its corresponding cofiltration by quotients $F_p = A /I_p$ as in , are isomorphic.

[*Proof.*]{} By remark \[Ktiling07.rem-trivEC\] (iii) it is sufficient to prove that the exact couples $T_I$ and $T_F$ are equivalent. By corollary \[Ktiling07.cor-extri\] it is also sufficient to prove that $T_I$ and $T_F$ fit into an exact triangle with a trivial exact couple.

Let $T_A$ be the the trivial exact couple $ T_A = (K(A),0, {\rm id}, 0, 0 ) $. We prove that the short exact sequences induce the following exact triangle of exact couples $$\label{Ktiling07.eq-extri}
\begin{array}{rcccl}
  T_I  && \xrightarrow{ \ \ \ \ l \ \  \ \ }  &&  T_A  \\
\partial &\nwarrow &  & \swarrow & \sigma \\
& & T_F & &
\end{array}$$ The exactness of the triangle comes from the exactness of the K-theory functor, and one has now to verify that the applications $l$, $\sigma$, and $\partial$ define morphisms of exact couples.

Those proofs are similar. We give the details for $ (l,0): T_I \rightarrow T_A $, where the application $0$ is the induced quotient map of the trivial short exact sequence $ 0 \longrightarrow Q_p \xrightarrow{ \  \ {\rm id}  \ \ }  
Q_p \xrightarrow{ \ \ 0 \ \  } 0 \longrightarrow 0 $, [*i.e.*]{} we prove that the following diagram is commutative ($\varepsilon$ is $0$ or $1$):

$$\label{Ktiling07.eq-morph1}
\begin{array}{ccccccc}
   K_{\varepsilon} (I_p) & \xrightarrow{ \ \  i_{p \ast}  \ \ } & 
   K_ {\varepsilon} (I_{p-1})& \xrightarrow{ \ \ \pi_{p\ast}  \ \ } & 
   K _ {\varepsilon} (Q_p)&  \xrightarrow{ \ \ \ \partial \ \ \ } & 
   K_{\varepsilon+1} (I_p) \\
\downarrow l_{p\ast} && \downarrow l_{p-1 \ast} &&
 \downarrow 0 && \downarrow  l_{p\ast} \\
   K_{\varepsilon} (A) & \xrightarrow{ \ \ \ {\rm id}_\ast \ \ \ } & 
   K_ {\varepsilon} (A)& \xrightarrow{ \ \ \ 0 \ \ \ } & 
   0 &  \xrightarrow{ \ \ \ \partial \ \ \ } & 
   K_{\varepsilon+1} (A) \\   
\end{array}$$

The middle square is commutative since the maps lead to $0$. The commutativity of the left square comes from the functoriality of K-theory: since $ l_p = l_{p-1} \circ i_p $, it follows that $ {\rm id}_\ast l_{p\ast} = l_{p\ast} = l_{p-1\ast} i_{p\ast} $. For the right square $ l_{p\ast} = {\rm id}_\ast l_{p \ast} = l_{p-1\ast} i_{p\ast} $ by commutativity of the left square, and thus $ l_{p\ast} \partial = l_{p-1\ast} i_{p\ast} \partial = 0$ because $ i_{p\ast} \partial = 0$ by exactness of the long exact sequence in K-theory induced by . [$\Box$]{}

[^1]: Work supported by the NSF grants no. DMS-0300398 and no. DMS-0600956.

[^2]: J.B. is indebted to M. Pimsner for this suggestion

[^3]: This result circulated as a preprint in 1999 but was published only in 2006

[^4]: This paper was posted on [arXiv.com math.DS/0109062]{} in its earlier version in 2001 but was eventually publishhed in a final form in 2006 only.
