The paper studies the supersingular locus of the characteristic p moduli space of principally polarized abelian 8-folds that are equipped with an action of a maximal order in a quaternion algebra, that is non-split at the infinite place, but split at p. The main result is that its irreducible components... Show more