Isogeny graphs associated to Moret-Bailly families of supersingular abelian surfaces

Abstract

For an odd prime $p$ and any prime $\ell \ne p$, we study finite directed graphs arising from the set of all equivalence classes of Moret-Bailly families of abelian surfaces in characteristic $p$ together with relative $(\ell ,\ell )$-isogenies. We relate these graphs to the space of algebraic modular forms on an inner form of $GS{p}_4/\mathbb{Q}$ that is compact modulo its center and, using the Jacquet-Langlands correspondence, estimate the eigenvalues of their adjacency matrices. We further investigate a Sarnak-Xue type theorem in this setting, providing a first step toward the study of cut-off phenomena for these graphs.

26 pages