DOCUMENTA MATHEMATICA, Vol. 4 (1999), 285-340

Kengo Matsumoto

Presentations of Subshifts and Their Topological Conjugacy Invariants

We introduce the notions of symbolic matrix system and $\lambda$-graph system that are presentations of subshifts. They are generalized notions of symbolic matrix and $\lambda$-graph for sofic subshifts to general subshifts. We then formulate strong shift equivalence and shift equivalence between symbolic matrix systems and show that two subshifts are topologically conjugate if and only if the associated canonical symbolic matrix systems are strong shift equivalent. We construct several kinds of shift equivalence invariants for symbolic matrix systems. They are the dimension groups, the Bowen-Franks groups and the nonzero spectrum that are generalizations of the corresponding notions for nonnegative matrices. The K-groups for symbolic matrix systems are introduced. They are also shift equivalence invariants and stronger than the Bowen-Franks groups but weaker than the dimension triples. These kinds of shift equivalence invariants naturally induce topological conjugacy invariants for subshifts.

1991 Mathematics Subject Classification: Primary 58F03, Secondary 54H20, 34C35, 19K14, 19K33

Keywords and Phrases: subshifts, symbolic dynamics, topological conjugacy, strong shift equivalence, shift equivalence, dimension group, Bowen-Franks group

Full text: dvi.gz 84 k, dvi 253 k, ps.gz 265 k.