{"id":"arxiv/2608.14145","url":"https://arxiv.org/abs/2608.14145","tags":["math.NT","math.AG"],"score":0,"title":"The Richelot isogeny graph and paramodular forms of weight 3: Atkin-Lehner signs and certified spectra","domain":"math.NT","source":"arxiv","authors":["Hung T. Dang"],"reviews":0,"subject":"math.NT","summary":"The Richelot $(2,2)$-isogeny graph $G_p$ of superspecial abelian surfaces in characteristic $p$ is the genus-2 analogue of the supersingular isogeny graph: its weighted adjacency matrix is a Brandt matrix for a compact inner form of $\\mathrm{GSp}_4$, and it commutes with an Atkin-Lehner involution $R(π)$. Refining Ibukiyama's conjectures, we conjecture the automorphic origin and the $R(π)$-sign of every eigenvalue: Eisenstein, Saito-Kurokawa, Yoshida and paramodular eigenvalues, and pairs of type-Va eigensystems that only $R(π)$ separates. We compute $G_p$ at 33 primes, with up to 2176…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-14","reactions":{}}