Simplicity of $C^*$-algebras of contracting self-similar groups

Abstract: We show that the $C^*$-algebra associated by Nekrashevych to a contracting self-similar group is simple if and only if the corresponding complex $\ast$-algebra is simple. We also improve on Steinberg and Szaka\'c's algorithm to determine if the $\ast$-algebra is simple. This provides an interesting class of non-Hausdorff amenable, effective and minimal ample groupoids for which simplicity of the $C^*$-algebra and the complex $\ast$-algebra are equivalent.