4129961bec4357c4.tex
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: