Williams' and Graded Equivalence Conjectures for small graphs

Roozbeh Hazrat,Elizabeth Pacheco
2024-11-04
Abstract:We prove what might have been expected: The Williams Conjecture in symbolic dynamics and Graded Morita Equivalence Conjecture for Leavitt/$C^*$-graph algebras hold for ``small graphs'', i.e., connected graphs with three vertices, no parallel edges, no sinks with no trivial hereditary and saturated subsets. Namely, two small graphs are shift equivalent if and only if they are strong shift equivalent if and only if their Leavitt/$C^*$-graph algebras are graded/equivariant Morita equivalent.
Rings and Algebras,Operator Algebras
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to verify whether Williams' conjecture and the graded Morita equivalence conjecture hold for "small graphs". Specifically, the author aims to prove that for small graphs with three vertices, no parallel edges, no sinks, and no trivial hereditary saturated subsets, shift equivalence, strong shift equivalence between two small graphs, and the graded Morita equivalence of their corresponding Leavitt/C* - graph algebras are equivalent. ### Research Background In symbolic dynamical systems, shift of finite type (SFT) is a fundamental research object. It consists of sequences of symbols selected from a finite set, and these sequences do not contain certain "forbidden" finite subsequences. SFT is equipped with a shift map to produce dynamic behavior. Williams' work in the 1970s showed that understanding these dynamical systems can be reduced to understanding the relationships between certain matrices: two shifts of finite type are topologically conjugate if and only if their underlying matrices (or graphs) are strongly shift - equivalent. ### Core Problem Although the concepts of shift equivalence and strong shift equivalence have existed for a long time, the subtle differences between them are still elusive. In addition, Cuntz and Krieger discovered in the 1980s that shifts of finite type and their equivalences can be associated with the invariance of certain graph C* - algebras. After the introduction of Leavitt path algebras as the discrete version of graph C* - algebras, it has become an active research area for classifying these algebras and their relationships with shifts of finite type. ### Main Contributions of the Paper In this paper, the author proves that for a specific class of small graphs (i.e., graphs with three vertices, no parallel edges, no sinks, and no trivial hereditary saturated subsets), the following conditions are equivalent: 1. The adjacency matrices \(A_E\) and \(A_F\) of graphs \(E\) and \(F\) are shift - equivalent. 2. The adjacency matrices \(A_E\) and \(A_F\) of graphs \(E\) and \(F\) are strongly shift - equivalent. 3. The Leavitt path algebras \(L_k(E)\) and \(L_k(F)\) are graded Morita - equivalent. 4. The graph C* - algebras \(C^*(E)\) and \(C^*(F)\) are equivariant Morita - equivalent. 5. There exists an order - preserving \(\mathbb{Z}[x, x^{-1}]\)-module isomorphism \(K_{gr}^0(L_k(E))\to K_{gr}^0(L_k(F))\). 6. The monoids \(T_E\) and \(T_F\) are \(\mathbb{Z}\)-isomorphic. ### Methods and Results The author proves the above equivalences by calculating the graded Grothendieck groups \(K_{gr}^0\) of these small graphs and using the in - splitting/out - splitting graph transformations in Williams' theorem. Although these graphs are small, they present very interesting cases. The author also explores the second - graded classification conjecture and proves that it holds for these graphs except for a pair of special cases \(E_8^1\) and \(E_{12}^1\). ### Summary Through strict mathematical derivations and detailed calculations, this paper verifies the correctness of Williams' conjecture and the graded Morita equivalence conjecture on specific small graphs, providing important theoretical support for further research on symbolic dynamical systems and graph algebras.