Higher-dimensional shift equivalence and strong shift equivalence are the same over the integers

Author:
J. B. Wagoner

Journal:
Proc. Amer. Math. Soc. **109** (1990), 527-536

MSC:
Primary 54H20; Secondary 28D20, 58F11

DOI:
https://doi.org/10.1090/S0002-9939-1990-1012941-9

MathSciNet review:
1012941

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let and denote, respectively, the spaces of strong shift equivalences and shift equivalences over a subset of a ring which is closed under addition and multiplication. For example, let be the integers or the nonnegative integers . For any principal ideal domain , we prove that the continuous map is a homotopy equivalence. The methods also show that any inert automorphism, i.e., an element in the kernel of can be represented by a closed loop in which in is spanned by a triangulated -disc supporting a positive -cocycle. These cocycles are used in work of Kim-Roush that leads to a counterexample to Williams' lifting problem for automorphisms of finite subsystems of subshifts of finite type.

**[BFK]**M. Boyle, J. Franks, and B. Kitchens,*Automorphisms of one-sided subshifts of finite type*, preprint, IBM Research, T. J. Watson Research Center, Yorktown Heights, 1988. (To appear in Ergodic Theory and Dynamical Systems.) MR**1074312 (91h:58037)****[BLR]**M. Boyle, D. Lind, and D. Rudolph,*The automorphism group of a subshift of finite type*, preprint, University of Washington/University of Maryland, 1986. (To appear in Trans. Amer. Math. Soc.) MR**927684 (89m:54051)****[KR]**K. H. Kim and F. W. Roush,*On the structure of inert automorphisms of subshifts*, preprint, Alabama State University, 1989. MR**1139751 (94c:58056)****[S]**G. Segal,*Classifying spaces and spectral sequences*, Publ. Math. IHES.**34**(1968), 85-147. MR**0232393 (38:718)****[Sp]**E. Spanier,*Algebraic topology*, McGraw-Hill, 1966. MR**0210112 (35:1007)****[W1]**J. B. Wagoner,*Markov partitions and*, Publ. Math. IHES.**65**(1987), 91-129. MR**908217 (90d:28022)****[W2]**-,*Triangle identities and symmetries of a subshift of finite type*, preprint, Univ. of California at Berkeley, 1987. (To appear in Pacific J. Math.) MR**1056673 (91h:28017)****[W3]**-,*Eventual finite-order generation for the kernel of the dimension group representation*, preprint, Univ. of California at Berkeley, 1987. (To appear in Trans. Amer. Math. Soc.) MR**1027363 (91a:54055)****[Wi]**R. F. Williams,*Classification of subshifts of finite type*, Ann. of Math.**98**(1973), 120-153, Errata, ibid.,**99**(1974), 380-381. MR**0331436 (48:9769)**

Retrieve articles in *Proceedings of the American Mathematical Society*
with MSC:
54H20,
28D20,
58F11

Retrieve articles in all journals with MSC: 54H20, 28D20, 58F11

Additional Information

DOI:
https://doi.org/10.1090/S0002-9939-1990-1012941-9

Keywords:
Higher-dimensional shift equivalence and strong shift equivalence,
positive -cocycle,
inert automorphism

Article copyright:
© Copyright 1990
American Mathematical Society