Hostname: page-component-76fb5796d-5g6vh Total loading time: 0 Render date: 2024-04-27T11:17:43.372Z Has data issue: false hasContentIssue false

The projective fundamental group of a ℤ2-shift

Published online by Cambridge University Press:  14 October 2010

William Geller
Affiliation:
Institute of Mathematics, University of Warwick, Coventry CV4 7AL, UK
James Propp
Affiliation:
Department of Mathematics, MIT, Cambridge, MA 02139, USA (propp@math.mit.edu.)

Abstract

We define a new invariant for symbolic ℤ2-actions, the projective fundamental group. This invariant is the limit of an inverse system of groups, each of which is the fundamental group of a space associated with the ℤ2-action. The limit group measures a kind of long-distance order that is manifested along loops in the plane, and roughly speaking bears the same relation to the mixing properties of the ℤ2-action that π1; of a topological space bears to π0. The projective fundamental group is invariant under topological conjugacy. We calculate this invariant for several important examples of ℤ2-actions, and use it to prove non-existence of certain constant-to-one factor maps between two-dimensional subshifts. Subshifts that have the same entropy and periodic point data can have different projective fundamental groups.

Type
Research Article
Copyright
Copyright © Cambridge University Press 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[Baxt]Baxter, R. J.. Exactly Solved Models in Statistical Mechanics. Academic, New York-London, 1982.Google Scholar
[Berg]Berger, R.. The undecidability of the domino problem. Memoirs Amer. Math. Soc. 66 (1966).Google Scholar
[CoLa]Conway, J. H. and Lagarias, J. C.. Tilings with polyominoes and combinatorial group theory. J. Combin. Theory A 53 (1990), 183208.CrossRefGoogle Scholar
[EiSt]Eilenberg, S. and Steenrod, N.. Foundations of Algebraic Topology. Princeton University Press, 1952.Google Scholar
[GrSh]Grünbaum, B. and Shephard, G. C.. Tilings and Patterns. Freeman, New York, 1987.Google Scholar
[Kamm]Kammeyer, J.. A complete classification of two-point extensions of a multidimensional Bernoulli shift. Doctoral Dissertation, University of Maryland, 1988.Google Scholar
[Kast]Kasteleyn, P. W.. The statistics of dimers on a lattice, I. Physica 27 (1961), 12091225.Google Scholar
[Lieb]Lieb, E. H.. Residual entropy of square ice. Phys. Rev. 162 (1967), 162172.Google Scholar
[MaPa]Markley, N. G. and Paul, M. E.. Matrix subshifts for Zv symbolic dynamics. Proc. London Math. Soc. 43 (1981), 251272.Google Scholar
[Nasu]Nasu, M.. Constant-to-one and onto global maps of homomorphisms between strongly connected graphs. Ergod. Th. & Dynam. Sys. 3 (1983), 387413.Google Scholar
[Schl]Schmidt, K.. Algebraic Ideas in Ergodic Theory. (Conference Board of Mathematical Sciences). Vol. 76. American Mathematical Society, Massachusetts, RI, 1990.Google Scholar
[Sch2]Schmidt, K.. The cohomology of higher-dimensional shifts of finite type. Preprint 1992.Google Scholar
[Thur]Thurston, W.. Conway's tiling groups. American Mathematical Monthly. 97 (1990), 757773Google Scholar