Constructivism Sunny Science Seekers. Key People Jean Piaget Lev Vygotsky John Dewey Jerome Bruner
Jean BELLISSARD - People
Transcript of Jean BELLISSARD - People
![Page 1: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/1.jpg)
Seoul National University March20, 2014 1
THE TOPOLOGYof
TILING SPACESJean BELLISSARD
Georgia Institute of Technology, AtlantaSchool of Mathematics & School of Physics
e-mail: [email protected]
Sponsoring
This material is based upon work supported by the National Science Foundation
Grant No. DMS-1160962
Any opinions, findings, and conclusions or recommendations expressed in this
material are those of the author(s) and do not necessarily reflect the views of the
National Science Foundation.
![Page 2: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/2.jpg)
Seoul National University March20, 2014 2
ContributorsR. Benedetti, U. Pisa, Italy
J.-M. Gambaudo, U. Nice, France
D.J.L. Herrmann, U. Tübingen, Germany
J. Kellendonk, U. Lyon I, France
J. Savinien, U. Metz, France
M. Zarrouati, U. Toulouse, France
![Page 3: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/3.jpg)
Seoul National University March20, 2014 3
Main ReferencesJ. Bellissard, The Gap Labeling Theorems for Schrödinger’s Operators,in From Number Theory to Physics, pp. 538-630, Les Houches March 89, Springer,J.M. Luck, P. Moussa & M. Waldschmidt Eds., (1993).
J. Kellendonk,The local structure of tilings and their integer group of coinvariants,Comm. Math. Phys., 187, (1997), 1823-1842.
J. E. Anderson, I. Putnam,Topological invariants for substitution tilings and their associated C∗-algebras,Ergodic Theory Dynam. Systems, 18, (1998), 509-537.
A. H. Forrest, J. Hunton,The cohomology and K-theory of commuting homeomorphisms of the Cantor set,Ergodic Theory Dynam. Systems, 19, (1999), 611-625.
J. C. Lagarias,Geometric models for quasicrystals I & II,Discrete Comput. Geom., 21, (1999), 161-191 & 345-372.
![Page 4: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/4.jpg)
Seoul National University March20, 2014 4
J. Bellissard, D. Herrmann, M. Zarrouati,Hull of Aperiodic Solids and Gap Labeling Theorems,In Directions in Mathematical Quasicrystals, CRM Monograph Series,Volume 13, (2000), 207-259, M.B. Baake & R.V. Moody Eds., AMS Providence.
L. Sadun, R. F. Williams,Tiling spaces are Cantor set fiber bundles,Ergodic Theory Dynam. Systems, 23, (2003), 307-316.
J. Bellissard, R. Benedetti, J. M. Gambaudo,Spaces of Tilings, Finite Telescopic Approximations,Comm. Math. Phys., 261, (2006), 1-41.
J. Bellissard, J. Savinien,A Spectral Sequence for the K-theory of Tiling Spaces,arXiv:0705.2483, submitted to Ergod. Th. Dyn. Syst., 2007.
![Page 5: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/5.jpg)
Seoul National University March20, 2014 5
Content1. Tilings, Tilings...
2. The Hull as a Dynamical System
3. Branched Oriented Flat Riemannian Manifolds
4. Cohomology and K-Theory
5. Conclusion
![Page 6: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/6.jpg)
Seoul National University March20, 2014 6
I - Tilings, Tilings,...
![Page 7: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/7.jpg)
Seoul National University March20, 2014 7
- A triangle tiling -
![Page 8: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/8.jpg)
Seoul National University March20, 2014 8
- Dominos on a triangular lattice -
![Page 9: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/9.jpg)
Seoul National University March20, 2014 9
- Building the chair tiling -
![Page 10: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/10.jpg)
Seoul National University March20, 2014 10
- The chair tiling -
![Page 11: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/11.jpg)
Seoul National University March20, 2014 11
- The Penrose tiling -
![Page 12: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/12.jpg)
Seoul National University March20, 2014 12
- Kites and Darts -
![Page 13: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/13.jpg)
Seoul National University March20, 2014 13
- Rhombi in Penrose’s tiling -
![Page 14: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/14.jpg)
Seoul National University March20, 2014 14
- Inflation rules in Penrose’s tiling -
![Page 15: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/15.jpg)
Seoul National University March20, 2014 15
- The Penrose tiling -
![Page 16: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/16.jpg)
Seoul National University March20, 2014 16
- The octagonal tiling -
![Page 17: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/17.jpg)
Seoul National University March20, 2014 17
- Octagonal tiling: inflation rules -
![Page 18: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/18.jpg)
Seoul National University March20, 2014 18
- Another octagonal tiling -
![Page 19: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/19.jpg)
Seoul National University March20, 2014 19
- Another octagonal tiling -
![Page 20: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/20.jpg)
Seoul National University March20, 2014 20
- Building the Pinwheel Tiling -
![Page 21: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/21.jpg)
Seoul National University March20, 2014 21
- The Pinwheel Tiling -
![Page 22: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/22.jpg)
Seoul National University March20, 2014 22
Aperiodic Materials
1. Periodic Crystals in d-dimensions:translation and crystal symmetries.Translation group T ' Zd.
2. Periodic Crystals in a Uniform Magnetic Field;magnetic oscillations, Shubnikov-de Haas, de Haas-van Alfen.The magnetic field breaks the translation invariance to givesome quasiperiodicity.
![Page 23: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/23.jpg)
Seoul National University March20, 2014 23
3. Quasicrystals: no translation symmetry, buticosahedral symmetry. Ex.:
(a) Al62.5Cu25Fe12.5;(b) Al70Pd22Mn8;(c) Al70Pd22Re8;
4. Disordered Media: random atomic positions
(a) Normal metals (with defects or impurities);(b) Alloys(c) Doped semiconductors (Si, AsGa, . . .);
![Page 24: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/24.jpg)
Seoul National University March20, 2014 24
- The icosahedral quasicrystal AlPdMn -
![Page 25: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/25.jpg)
Seoul National University March20, 2014 25
- The icosahedral quasicrystal HoMgZn-
![Page 26: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/26.jpg)
Seoul National University March20, 2014 26
II - The Hull as a Dynamical System
![Page 27: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/27.jpg)
Seoul National University March20, 2014 27
Point SetsA subset L ⊂ Rd may be:1. Discrete.
2. Uniformly discrete: ∃r > 0 s.t. each ball of radius r contains at most one pointof L.
3. Relatively dense: ∃R > 0 s.t. each ball of radius R contains at least one pointsof L.
4. A Delone set: L is uniformly discrete and relatively dense.
5. Finite Local Complexity (FLC): L −L is discrete and closed.
6. Meyer set: L and L −L are Delone.
![Page 28: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/28.jpg)
Seoul National University March20, 2014 28
Point Sets and Point MeasuresM(Rd) is the set of Radon measures on Rd namely the dual spacetoCc(Rd) (continuous functions with compact support), endowedwith the weak∗ topology.
For L a uniformly discrete point set in Rd:
ν := νL =∑y∈L
δ(x − y) ∈M(Rd) .
![Page 29: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/29.jpg)
Seoul National University March20, 2014 29
Point Sets and TilingsGiven a tiling with finitely many tiles (modulo translations), a De-lone set is obtained by defining a point in the interior of each(translation equivalence class of) tile.
Conversely, given a Delone set, a tiling is built through the Voronoicells
V(x) = a ∈ Rd ; |a − x| < |a − y| ,∀yL \ x
1. V(x) is an open convex polyhedron containing B(x; r) and contained into B(x; R).
2. Two Voronoi cells touch face-to-face.
3. If L is FLC, then the Voronoi tiling has finitely many tiles modulo transla-tions.
![Page 30: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/30.jpg)
Seoul National University March20, 2014 30
- Building a Voronoi cell-
![Page 31: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/31.jpg)
Seoul National University March20, 2014 31
- A Delone set and its Voronoi Tiling-
![Page 32: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/32.jpg)
Seoul National University March20, 2014 32
The Hull
A point measure is µ ∈ M(Rd) such that µ(B) ∈ N for any ballB ⊂ Rd. Its support is1. Discrete.
2. r-Uniformly discrete: iff ∀B ball of radius r, µ(B) ≤ 1.
3. R-Relatively dense: iff for each ball B of radius R, µ(B) ≥ 1.
Rd acts onM(Rd) by translation.
![Page 33: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/33.jpg)
Seoul National University March20, 2014 33
Theorem 1 The set of r-uniformly discrete point measures is compactand Rd-invariant.Its subset of R-relatively dense measures is compact and Rd-invariant.
Definition 1 Given L a uniformly discrete subset of Rd, the Hull of Lis the closure inM(Rd) of the Rd-orbit of νL.
Hence the Hull is a compact metrizable space on which Rd acts byhomeomorphisms.
![Page 34: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/34.jpg)
Seoul National University March20, 2014 34
Properties of the HullIf L ⊂ Rd is r-uniformly discrete with Hull Ω then using com-pactness1. each point ω ∈ Ω is an r-uniformly discrete point measure with support Lω.
2. if L is (r,R)-Delone, so are all Lω’s.
3. if, in addition, L is FLC, so are all the Lω’s.Moreover then L −L = Lω − Lω ∀ω ∈ Ω.
Definition 2 The transversal of the Hull Ω of a uniformly discrete setis the set of ω ∈ Ω such that 0 ∈ Lω.
Theorem 2 If L is FLC, then its transversal is completely discontinu-ous.
![Page 35: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/35.jpg)
Seoul National University March20, 2014 35
Local Isomorphism Classes and Tiling Space
A patch is a finite subset of L of the form
p = (L − x) ∩ B(0, r1) x ∈ L , r1 ≥ 0
Given L a repetitive, FLC, Delone set let W be its set of finitepatches: it is called the the L-dictionary.
A Delone set (or a Tiling) L′ is locally isomorphic to L if it has thesame dictionary. The Tiling Space ofL is the set of Local IsomorphismClasses of L.
Theorem 3 The Tiling Space of L coincides with its Hull.
![Page 36: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/36.jpg)
Seoul National University March20, 2014 36
Minimality
L is repetitive if for any finite patch p there is R > 0 such that eachball of radius R contains an ε-approximant of a translated of p.
Theorem 4 Rd acts minimaly on Ω if and only if L is repetitive.
![Page 37: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/37.jpg)
Seoul National University March20, 2014 37
Examples
1. Crystals : Ω = Rd/T ' Td with the quotient action of Rd
on itself. (Here T is the translation group leaving the latticeinvariant. T is isomorphic to ZD.)The transversal is a finite set (number of point per unit cell).
2. Impurities in Si : let L be the lattices sites for Si atoms (it is aBravais lattice). Let A be a finite set (alphabet) indexing thetypes of impurities.The transversal is X = AZ
d with Zd-action given by shifts.The Hull Ω is the mapping torus of X.
![Page 38: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/38.jpg)
Seoul National University March20, 2014 38
- The Hull of a Periodic Lattice -
![Page 39: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/39.jpg)
Seoul National University March20, 2014 39
QuasicrystalsUse the cut-and-project construction:
Rd' E‖
π‖←− Rn π⊥
−→ E⊥ ' Rn−d
Lπ‖←− L
π⊥−→W ,
Here
1. L is a lattice in Rn,
2. the window W is a compact polytope.
3.L is the quasilattice in E‖ defined as
L = π‖(m) ∈ E‖ ; m ∈ L , π⊥(m) ∈W
![Page 40: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/40.jpg)
Seoul National University March20, 2014 40
![Page 41: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/41.jpg)
Seoul National University March20, 2014 41
- The transversal of the Octagonal Tiling is completelydisconnected -
![Page 42: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/42.jpg)
Seoul National University March20, 2014 42
III - The Gap Labeling Theorem
J. Bellissard, R. Benedetti, J.-. Gambaudo, Commun. Math. Phys., 261, (2006), 1-41.J. Kaminker, I. Putnam, Michigan Math. J., 51, (2003), 537-546.
M. Benameur, H. Oyono-Oyono, C. R. Math. Acad. Sci. Paris, 334, (2002), 667-670.
![Page 43: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/43.jpg)
Seoul National University March20, 2014 43
Schrödinger’s OperatorIgnoring electrons-electrons interactions, the one-electron Hamil-tonian is given by
Hω = −~2
2m∆ +
∑y∈Lω
v(· − y)
Its integrated density of states (IDS) is defined by
N(E) = limΛ↑Rd
1|Λ|
#eigenvalues of Hω Λ≤ E
For anyRd-invariant probability measureP on Ω the limit exists a.e.and is independent of ω. It defines a nondecreasing function of Econstant on the spectral gaps of Hω. It is asymptotic at large E’sto the IDS of the free Hamiltonian.
![Page 44: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/44.jpg)
Seoul National University March20, 2014 44
- An example of IDS -
![Page 45: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/45.jpg)
Seoul National University March20, 2014 45
Phonons, Vibrational ModesAtom vibrations in the harmonic approximation are solution of
Md2~u(ω,x)
dt2 =∑
y∈Lω;y,x
Kω(x, y)(~u(ω,x) − ~u(ω,y)
)•M= atomic mass,
• ~u(ω,x) displacement vector of the atom located at x ∈ Lω,
• Kω(x, y) is the matrix of spring constants.
The density of vibrational modes (IDVM) is the IDS of K1/2ω .
![Page 46: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/46.jpg)
Seoul National University March20, 2014 46
Gap Labels
Theorem 5 The value of the IDS or of the IDVM on gaps is a linearcombination of the occurrence probabilities of finite patches with integercoefficients.
The proof goes through the group of K-theory of the hull. The result is model independent.
The abstract result goes back to 1982 (J.B). In 1D, proved in 1993 (JB). Recent proof in any dimension
for aperiodic, repetitive, aperiodic tilings by Kaminker-Putnam, Benameur & Oyono-Oyono, JB-
Bendetti-Gambaudo in 2001.
![Page 47: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/47.jpg)
Seoul National University March20, 2014 47
IV - Branched Oriented FlatRiemannian Manifolds
![Page 48: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/48.jpg)
Seoul National University March20, 2014 48
Laminations and BoxesA lamination is a foliated manifold with C∞-structure along theleaves but only finite C0-structure transversally. The Hull of aDelone set is a lamination with Rd-orbits as leaves.
If L is a FLC, repetitive, Delone set, with Hull Ω a box is the home-omorphic image of
φ : (ω, x) ∈ F ×U 7→ t−xω ∈ Ω
if F is a clopen subset of the transversal, U ⊂ Rd is open and tdenotes the Rd-action on Ω.
![Page 49: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/49.jpg)
Seoul National University March20, 2014 49
A quasi-partition is a family (Bi)ni=1 of boxes such that
⋃i Bi = Ω
and Bi ∩ B j = ∅.
Theorem 6 The Hull of a FLC, repetitive, Delone set admits a finitequasi-partition. It is always possible to choose these boxes as φ(F × U)with U a d-rectangle.
![Page 50: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/50.jpg)
Seoul National University March20, 2014 50
Branched Oriented Flat ManifoldsFlattening a box decomposition along the transverse directionleads to a Branched Oriented Flat manifold. Such manifolds can bebuilt from the tiling itself as follows
Step 1:
1. X is the disjoint union of all prototiles;
2. glue prototiles T1 and T2 along a face F1 ⊂ T1 and F2 ⊂ T2 if F2is a translated of F1 and if there are x1, x2 ∈ R
d such that xi + Tiare tiles of T with (x1 + T1) ∩ (x2 + T2) = x1 + F1 = x2 + F2;
3. after identification of faces, X becomes a branched oriented flatmanifold (BOF) B0.
![Page 51: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/51.jpg)
Seoul National University March20, 2014 51
- Branching -
![Page 52: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/52.jpg)
Seoul National University March20, 2014 52
- Vertex branching for the octagonal tiling -
![Page 53: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/53.jpg)
Seoul National University March20, 2014 53
Step 2:
1. Having defined the patch pn for n ≥ 0, let Ln be the subset ofL of points centered at a translated of pn. By repetitivity this isa FLC repetitive Delone set too. Its prototiles are tiled by tilesof L and define a finite family Pn of patches.
2. Each patch in T ∈ Pn will be collared by the patches of Pn−1touching it from outside along its frontier. Call such a patchmodulo translation a a collared patch and Pc
n their set.
3. Proceed then as in Step 1 by replacing prototiles by collaredpatches to get the BOF-manifold Bn.
4. Then choose pn+1 to be the collared patch in Pcn containing pn.
![Page 54: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/54.jpg)
Seoul National University March20, 2014 54
- A collared patch -
![Page 55: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/55.jpg)
Seoul National University March20, 2014 55
Step 3:
1. Define a BOF-submersion fn : Bn+1 7→ Bn by identifying patchesof order n in Bn+1 with the prototiles of Bn. Note that D fn = 1.
2. Call Ω the projective limit of the sequence
· · ·fn+1→ Bn+1
fn→ Bn
fn−1→ · · ·
3. X1, · · ·Xd are the commuting constant vector fields on Bn gen-erating local translations and giving rise to a Rd action t onΩ.
Theorem 7 The dynamical system
(Ω,Rd, t) = lim←
(Bn, fn)
obtained as inverse limit of branched oriented flat manifolds, is conjugateto the Hull of the Delone set of the tiling T by an homemorphism.
![Page 56: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/56.jpg)
Seoul National University March20, 2014 56
V - Cohomology and K-Theory
![Page 57: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/57.jpg)
Seoul National University March20, 2014 57
Cech Cohomology of the HullLetU be an open covering of the Hull. If U ∈ U, F (U) is the spaceof integer valued locally constant function on U.
For n ∈N, the n-chains are the element of Cn(U), namely the freeabelian group generated by the elements of F (U0 ∩ · · · ∩Un) whenthe Ui varies inU. A differential is defined by
d : Cn(U) 7→ Cn+1(U)
d f (n+1⋂i=0
Ui) =
n∑j=0
(−1) j f (⋂i:i, j
Ui)
![Page 58: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/58.jpg)
Seoul National University March20, 2014 58
This defines a complex with cohomology Hn(U,Z). The Cechcohomology group of the Hull Ω is defined as
Hn(Ω,Z) = lim−−→U
Hn(U,Z)
with ordering given by refinement on the set of open covers.Thanks to properties of the cohomology, if f ∗n is the map inducedby fn on the cohomology
Hn(Ω,Z) = lim−−→
n
(Hn(Bn,Z), f ∗n
)
![Page 59: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/59.jpg)
Seoul National University March20, 2014 59
ExamplesJ. E. Anderson, I. Putnam, Ergodic Theory Dynam. Systems, 18, (1998), 509-537.L. Sadun, Topology of Tiling Spaces. AMS (2008)
![Page 60: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/60.jpg)
Seoul National University March20, 2014 60
ExamplesJ. E. Anderson, I. Putnam, Ergodic Theory Dynam. Systems, 18, (1998), 509-537.L. Sadun, Topology of Tiling Spaces. AMS (2008)
• Fibonacci: dividesR into intervals a, b of length 1, σ = (√
5−1)/2according to the substitution rule a 7→ ab , b 7→ a. ThenH0 = Z , H1 = Z2
![Page 61: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/61.jpg)
Seoul National University March20, 2014 61
- The Anderson-Putnam complex for the Fibonacci tiling -
![Page 62: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/62.jpg)
Seoul National University March20, 2014 62
ExamplesJ. E. Anderson, I. Putnam, Ergodic Theory Dynam. Systems, 18, (1998), 509-537.L. Sadun, Topology of Tiling Spaces. AMS (2008)
• Fibonacci: dividesR into intervals a, b of length 1, σ = (√
5−1)/2according to the substitution rule a 7→ ab , b 7→ a. ThenH0 = Z , H1 = Z2
![Page 63: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/63.jpg)
Seoul National University March20, 2014 63
ExamplesJ. E. Anderson, I. Putnam, Ergodic Theory Dynam. Systems, 18, (1998), 509-537.L. Sadun, Topology of Tiling Spaces. AMS (2008)
• Fibonacci: dividesR into intervals a, b of length 1, σ = (√
5−1)/2according to the substitution rule a 7→ ab , b 7→ a. ThenH0 = Z , H1 = Z2
• Thue-Morse: substitution a 7→ ab , b 7→ baH0 = Z , H1 = Z[1/2] ⊕Z
![Page 64: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/64.jpg)
Seoul National University March20, 2014 64
ExamplesJ. E. Anderson, I. Putnam, Ergodic Theory Dynam. Systems, 18, (1998), 509-537.L. Sadun, Topology of Tiling Spaces. AMS (2008)
• Fibonacci: dividesR into intervals a, b of length 1, σ = (√
5−1)/2according to the substitution rule a 7→ ab , b 7→ a. ThenH0 = Z , H1 = Z2
• Thue-Morse: substitution a 7→ ab , b 7→ baH0 = Z , H1 = Z[1/2] ⊕Z
• Penrose 2D:H0 = Z , H1 = Z5 , H2 = Z8
![Page 65: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/65.jpg)
Seoul National University March20, 2014 65
ExamplesJ. E. Anderson, I. Putnam, Ergodic Theory Dynam. Systems, 18, (1998), 509-537.L. Sadun, Topology of Tiling Spaces. AMS (2008)
• Fibonacci: dividesR into intervals a, b of length 1, σ = (√
5−1)/2according to the substitution rule a 7→ ab , b 7→ a. ThenH0 = Z , H1 = Z2
• Thue-Morse: substitution a 7→ ab , b 7→ baH0 = Z , H1 = Z[1/2] ⊕Z
• Penrose 2D:H0 = Z , H1 = Z5 , H2 = Z8
• Chair tiling:H0 = Z , H1 = Z[1/2]⊕Z[1/2] , H2 = Z[1/4]⊕Z[1/2]⊕Z[1/2]
![Page 66: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/66.jpg)
Seoul National University March20, 2014 66
Other Cohomologies
• Longitudinal Cohomology (Connes, Moore-Schochet)
• Pattern-equivariant cohomology (Kellendonk-Putnam, Sadun)
• PV-cohomology (Savinien-Bellissard)
In maximal degree the Cech Homology does exists. It contains anatural positive cone isomorphic to the set of positive Rd-invariantmeasures on the Hull (Bellissard-Benedetti-Gambaudo).
![Page 67: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/67.jpg)
Seoul National University March20, 2014 67
Cohomology and K-theoryThe main topological property of the Hull (or tiling psace) issummarized in the following
Theorem 8 (i) The various cohomologies, Cech, longitudinal, pattern-equivariant and PV, are isomorphic.(ii) There is a spectral sequence converging to the K-group of the Hullwith page 2 given by the cohomology of the Hull.(iii) In dimension d ≤ 3 the K-group coincides with the cohomology.
![Page 68: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/68.jpg)
Seoul National University March20, 2014 68
Conclusion
1. Tilings can be equivalently be represented by Delone sets or pointmeasures.
2. The Hull allows to give tilings the structure of a dynamical systemwith a transversal.
3. This dynamical system can be seen as a lamination or, equiva-lently, as the inverse limit of Branched Oriented Flat RiemannianManifolds.
![Page 69: Jean BELLISSARD - People](https://reader031.fdocuments.us/reader031/viewer/2022012505/6180f051c9b96f146c409fc3/html5/thumbnails/69.jpg)
Seoul National University March20, 2014 69
4. The Cech cohomology is equivalent to the longitudinal one,obtained by inverse limit, to the pattern-equivariant one or tothe Pimsner cohomology are equivalent Cohomology of the Hull.The K-group of the Hull can be computed through a spectralsequence with the cohomology in page 2.
5. In maximum degree, the Homology gives the family of invariantmeasures and the Gap Labelling Theorem.