1: \begin{abstract}
2: We consider the structures formed by isogenies of
3: abelian varieties with polarizations that are not necessarily principal,
4: specifically with the
5: $[\ell]$-polarizations we have previously defined. Our primary interest is
6: in superspecial abelian varieties, where the isogenies are related
7: to quaternionic hermitian forms. We first consider isogeny graphs.
8: We show that these $[\ell]$-isogeny graphs are a generalized
9: Brandt graph and construct
10: them entirely in terms of definite quaternion algebras. We prove
11: that they are connected and give examples to
12: show that the regular graphs obtained are sometimes Ramanujan and
13: sometimes not. Isogenies of $[\ell]$-polarized abelian varieties can be closed
14: under composition, with the consequence that such isogenies naturally
15: form semi-simplicial complexes as introduced by Eilenberg and Zilber in 1950
16: (later also called
17: $\Delta$-complexes)---the higher-dimensional analogues of multigraphs.
18: We show that these isogeny
19: complexes can be constructed from the arithmetic of hermitian forms over
20: definite quaternion algebras and that they are quotients of the Bruhat-Tits
21: building of the symplectic group by the action of a quaternionic unitary group.
22: 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$.
23:
24:
25:
26:
27:
28:
29:
30:
31:
32: \end{abstract}
33: