Rigidity of pseudofunction algebras of ample groupoids

Abstract: We show that a Hausdorff, ample groupoid $\mathcal{G}$ can be completely recovered from the $I$-norm completion of $C_c(\mathcal{G})$. More generally, we show that this is also the case for the algebra of symmetrized $p$-pseudofunctions, as well as for the reduced groupoid $L^p$-operator algebra, for $p\neq 2$. Our proofs are based on a new construction of an inverse semigroup built from Moore-Penrose invertible partial isometries in an $L^p$-operator algebra. Along the way, we verify a conjecture of Rako\v{c}evi\'{c} concerning the continuity of the Moore-Penrose inverse for $L^p$-operator algebras.