2022/05/15 by Bruce W. Jordan, Jordan, Bruce W., Yevgeny Zaytman +1
Mathematics · #14G15 (Secondary) #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #FOS: Mathematics #Number Theory (math.NT) #Primary 14K02 (Primary) 11G10 #math.AG #math.NT #msc:11G10 #msc:14G15 #msc:14K02
paper · pdf · doi:10.48550/arxiv.2205.07383
arxiv created 2022/05/15 · openalex publication_date 2022/05/15 · arxiv updated 2022/05/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We consider the structures formed by isogenies of abelian varieties with polarizations that are not necessarily principal, specifically with the [ℓ]-polarizations we have previously defined. Our primary interest is in superspecial abelian varieties, where the isogenies are related to quaternionic hermitian forms. We first consider isogeny graphs. We show that these [ℓ]-isogeny graphs are a generalized Brandt graph and construct them entirely in terms of definite quaternion algebras. We prove that they are connected and give examples to show that the regular graphs obtained are sometimes Ramanujan and sometimes not. Isogenies of [ℓ]-polarized abelian varieties can be closed under composition, with the consequence that such isogenies naturally form semi-simplicial complexes as introduced by Eilenberg and Zilber in 1950 (later also called Δ-complexes) -- the higher-dimensional analogues of multigraphs. We show that these isogeny complexes can be constructed from the arithmetic of hermitian forms over definite quaternion algebras and that they are quotients of the Bruhat-Tits building of the symplectic group by the action of a quaternionic unitary group. Working with quaternions these isogeny graphs and complexes are amenable to machine computation and we include many examples, concluding with a detailed examination of the [2]-isogeny complexes of superspecial abelian surfaces in characteristic 7.