The spectra of digraphs with Morita equivalent \(C^\ast\)-algebras (Q2085416)

In this paper, a digraph \(D = (V, E, r, s)\) consists of a set of vertices \(V\), a countable set of edges \(E\), and functions \(s: E \to V\) and \(r : E \to V\) called the source and range, respectively. In a fixed digraph \(D\), a loop is an edge \(e \in E\) such that \(r(e) = s(e)\), and two edges \(e \not = f\) are parallel if \(s(e) = s(f)\) and \(r(e) = r(f)\). Eilers et al. have recently completed the geometric classification of unital digraph \(C^\ast\)-algebras up to Morita equivalence using a set of moves on the corresponding digraphs. More precisely, for a digraph \(D = (V, E, r, s)\), consider transformations of the graph, referred to as moves (S), (R), (I), (O), (C), and (P), where \begin{itemize} \item move (S), removes a regular source; \item move (R), reduces at a regular vertex; \item move (O), outsplits at a non-sink; \item move (I), insplits at a regular non-source; \item move (C), the Cuntz splice at a vertex admitting at least two distinct return paths; \item move (P), ecloses a cyclic component. \end{itemize} From [\textit{S. Eilers} et al., Duke Math. J. 170, No. 11, 2421--2517 (2021; Zbl 1476.46064)], digraphs \(D_1\) and \(D_2\) having finitely many vertices and countably many edges have Morita equivalent \(C^\ast\)-algebras if and only if they differ by a finite sequence of moves (S), (R), (O), (I), (C), and (P) and their inverses; Associated with a digraph \(D\) there may be associated several matrices (such as adjacency, Laplacian, normalized Laplacian, etc). The authors explore the question of whether these moves preserve the nonzero elements of the spectrum of a finite digraph. Their main result may be summarized as follows Let \(D\) be a finite digraph, and consider the moves (S), (R), (O), (I), (C), and (P) that preserve the Morita equivalence class of the \(C^\ast\)-algebra of \(D\). \begin{itemize} \item[(i)] Moves (S), (O), and (I) preserve the multiset of nonzero elements of the adjacency spectrum of \(D\) while moves (R), (C), and (P) do not; \item [ (ii)] moves (S), (O), and (I) preserve the multiset of nonzero elements of the line adjacency spectrum of \(D\) while moves (R), (C), and (P) do not; \item[ (iii)] move (S) preserves the multiset of nonzero elements of the binary adjacency spectrum of \(D\) while moves (R), (O), (I), (C), and (P) do not; \item [(iv)] move (C) preserves the multisets of nonzero elements of the skew adjacency spectrum of \(D\), the binary skew adjacency spectrum of \(D\), the skew Laplace spectrum of \(D\), and the binary skew Laplace spectrum of \(D\), while moves (S), (R), (O), (I), and (P) do not. \end{itemize}