A dichotomy for simple self-similar graph $C^\ast$-algebras
We investigate the pure infiniteness and stable finiteness of the Exel-Pardo $C^*$-algebras $\mathcal{O}_{G,E}$ for countable self-similar graphs $(G,E,φ)$. In particular, we associate a specific ordinary graph $\widetilde{E}$ to $(G,E,φ)$ such that some properties such as simpleness, stable finiteness or pure infiniteness of the graph $C^*$-algebra $C^*(\widetilde{E})$ imply that of $\mathcal{O}_{G,E}$. Among others, this follows a dichotomy for simple $\mathcal{O}_{G,E}$: if $(G,E,φ)$ contains no $G$-circuits, then $\mathcal{O}_{G,E}$ is stably finite; otherwise, $\mathcal{O}_{G,E}$ is purely infinite. Furthermore, Li and Yang recently introduced self-similar $k$-graph $C^*$-algebras $\mathcal{O}_{G,Λ}$. We also show that when $|Λ^0|<\infty$ and $\mathcal{O}_{G,Λ}$ is simple, then it is purely infinite.