Computing algorithm for reduction type of CM abelian varieties

Abstract

Let $\mathcal{A}$ be an abelian variety over a number field, with a good reduction at a prime ideal containing a prime number $p$. Denote by $\mathrm{A}$ an abelian variety over a finite field of characteristic $p$, obtained by the reduction of $\mathcal{A}$ at the prime ideal. In this paper we derive an algorithm which allows to decompose the group scheme $\mathrm{A}[p]$ into indecomposable quasi-polarized ${\mathrm{BT}}_1$-group schemes. This can be done for the unramified $p$ on the basis of its decomposition into prime ideals in the endomorphism algebra of $\mathrm{A}$. We also compute all types of such correspondence for abelian varieties of dimension up to $5$. As a consequence we establish the relation between the decompositions of prime $p$ and the corresponding pairs of $p$-rank and $a$-number of an abelian variety $\mathrm{A}$.

arXiv admin note: text overlap with arXiv:1209.5207