Pattern-equivariant homology

Walton, James¹

¹Department of Mathematics, University of York, Heslington, YO10 5DD, United Kingdom

Algebraic and Geometric Topology, Tome 17 (2017) no. 3, pp. 1323-1373

Résumé

Pattern-equivariant (PE) cohomology is a well-established tool with which to interpret the Čech cohomology groups of a tiling space in a highly geometric way. We consider homology groups of PE infinite chains and establish Poincaré duality between the PE cohomology and PE homology. The Penrose kite and dart tilings are taken as our central running example; we show how through this formalism one may give highly approachable geometric descriptions of the generators of the Čech cohomology of their tiling space. These invariants are also considered in the context of rotational symmetry. Poincaré duality fails over integer coefficients for the “ePE homology groups” based upon chains which are PE with respect to orientation-preserving Euclidean motions between patches. As a result we construct a new invariant, which is of relevance to the cohomology of rotational tiling spaces. We present an efficient method of computation of the PE and ePE (co)homology groups for hierarchical tilings.

Détail

DOI : 10.2140/agt.2017.17.1323

Classification : 52C23, 37B50, 52C22, 55N05
Keywords: aperiodic order, tilings, quasicrystals, tiling cohomology

Bibliographie

[1] J E Anderson, I F Putnam, Topological invariants for substitution tilings and their associated C∗–algebras, Ergodic Theory Dynam. Systems 18 (1998) 509 | DOI

[2] P Arnoux, V Berthé, H Ei, S Ito, Tilings, quasicrystals, discrete planes, generalized substitutions, and multidimensional continued fractions, from: "Discrete models: combinatorics, computation, and geometry", Discrete Math. Theor. Comput. Sci. Proc. AA, Maison Inform. Math. Discrèt. (2001) 59

[3] P Arnoux, G Rauzy, Représentation géométrique de suites de complexité 2n + 1, Bull. Soc. Math. France 119 (1991) 199

[4] M Baake, M Schlottmann, P D Jarvis, Quasiperiodic tilings with tenfold symmetry and equivalence with respect to local derivability, J. Phys. A 24 (1991) 4637

[5] M Barge, B Diamond, J Hunton, L Sadun, Cohomology of substitution tiling spaces, Ergodic Theory Dynam. Systems 30 (2010) 1607 | DOI

[6] J Bellissard, A Julien, J Savinien, Tiling groupoids and Bratteli diagrams, Ann. Henri Poincaré 11 (2010) 69 | DOI

[7] R Berger, The undecidability of the domino problem, 66, Amer. Math. Soc. (1966) 72

[8] V Berthé, A Siegel, Tilings associated with beta-numeration and substitutions, Integers 5 (2005)

[9] A Björner, Posets, regular CW complexes and Bruhat order, European J. Combin. 5 (1984) 7 | DOI

[10] R Bott, L W Tu, Differential forms in algebraic topology, 82, Springer (1982) | DOI

[11] P L Bowers, K Stephenson, A “regular” pentagonal tiling of the plane, Conform. Geom. Dyn. 1 (1997) 58 | DOI

[12] A Clark, J Hunton, Tiling spaces, codimension one attractors and shape, New York J. Math. 18 (2012) 765

[13] A Clark, L Sadun, When shape matters: deformations of tiling spaces, Ergodic Theory Dynam. Systems 26 (2006) 69 | DOI

[14] F Durand, Linearly recurrent subshifts have a finite number of non-periodic subshift factors, Ergodic Theory Dynam. Systems 20 (2000) 1061 | DOI

[15] A Forrest, J Hunton, J Kellendonk, Topological invariants for projection method patterns, 758, Amer. Math. Soc. (2002) | DOI

[16] N P Frank, A primer of substitution tilings of the Euclidean plane, Expo. Math. 26 (2008) 295 | DOI

[17] N P Frank, L Sadun, Fusion : a general framework for hierarchical tilings of Rd, Geom. Dedicata 171 (2014) 149 | DOI

[18] F Gähler, G R Maloney, Cohomology of one-dimensional mixed substitution tiling spaces, Topology Appl. 160 (2013) 703 | DOI

[19] D Gonçalves, On the K–theory of the stable C∗–algebras from substitution tilings, J. Funct. Anal. 260 (2011) 998 | DOI

[20] B Grünbaum, G C Shephard, Tilings and patterns, W H Freeman (1987)

[21] A Haynes, M Kelly, B Weiss, Equivalence relations on separated nets arising from linear toral flows, Proc. Lond. Math. Soc. 109 (2014) 1203 | DOI

[22] A Haynes, H Koivusalo, J Walton, A characterization of linearly repetitive cut and project sets, preprint (2015)

[23] J Kellendonk, The local structure of tilings and their integer group of coinvariants, Comm. Math. Phys. 187 (1997) 115 | DOI

[24] J Kellendonk, Pattern-equivariant functions and cohomology, J. Phys. A 36 (2003) 5765 | DOI

[25] J Kellendonk, Pattern equivariant functions, deformations and equivalence of tiling spaces, Ergodic Theory Dynam. Systems 28 (2008) 1153 | DOI

[26] J Kellendonk, M V Lawson, Tiling semigroups, J. Algebra 224 (2000) 140 | DOI

[27] J Kellendonk, I F Putnam, Tilings, C∗–algebras, and K–theory, from: "Directions in mathematical quasicrystals" (editors M Baake, R V Moody), CRM Monogr. Ser. 13, Amer. Math. Soc. (2000) 177

[28] J Kellendonk, I F Putnam, The Ruelle–Sullivan map for actions of Rn, Math. Ann. 334 (2006) 693 | DOI

[29] M Kelly, L Sadun, Pattern equivariant cohomology and theorems of Kesten and Oren, Bull. Lond. Math. Soc. 47 (2015) 13 | DOI

[30] G Lafitte, M Weiss, Computability of tilings, from: "Fifth International Conference on Theoretical Computer Science" (editors G Ausiello, J Karhumäki, G Mauri, L Ong), Int. Fed. Inf. Process. 273, Springer (2008) 187 | DOI

[31] J R Munkres, Elements of algebraic topology, Addison-Wesley (1984)

[32] N Ormes, C Radin, L Sadun, A homeomorphism invariant for substitution tiling spaces, Geom. Dedicata 90 (2002) 153 | DOI

[33] R Penrose, Pentaplexity: a class of nonperiodic tilings of the plane, from: "Geometrical combinatorics" (editors F C Holroyd, R J Wilson), Res. Notes in Math. 114, Pitman (1984) 55

[34] N Priebe Frank, L Sadun, Fusion tilings with infinite local complexity, Topology Proc. 43 (2014) 235

[35] C Radin, Aperiodic tilings, ergodic theory, and rotations, from: "The mathematics of long-range aperiodic order" (editor R V Moody), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 489, Kluwer (1997) 499

[36] D Rust, An uncountable set of tiling spaces with distinct cohomology, Topology Appl. 205 (2016) 58 | DOI

[37] L Sadun, Pattern-equivariant cohomology with integer coefficients, Ergodic Theory Dynam. Systems 27 (2007) 1991 | DOI

[38] L Sadun, Topology of tiling spaces, 46, Amer. Math. Soc. (2008) | DOI

[39] L Sadun, R F Williams, Tiling spaces are Cantor set fiber bundles, Ergodic Theory Dynam. Systems 23 (2003) 307 | DOI

[40] K Schmidt, Multi-dimensional symbolic dynamical systems, from: "Codes, systems, and graphical models" (editors B Marcus, J Rosenthal), IMA Vol. Math. Appl. 123, Springer (2001) 67 | DOI

[41] D Shechtman, I Blech, D Gratias, J W Cahn, Metallic phase with long-range orientational order and no translational symmetry, Phys. Rev. Lett. 53 (1984) 1951 | DOI

[42] J Walton, Cohomology of rotational tiling spaces, preprint (2016)

[43] E C Zeeman, Dihomology, III : A generalization of the Poincaré duality for manifolds, Proc. London Math. Soc. 13 (1963) 155 | DOI