The distribution of torsion subschemes of abelian varieties
arXiv:1404.1809 · doi:10.1017/S1474748014000450
Abstract
We consider the distribution of p-power group schemes among the torsion of abelian varieties over finite fields of characteristic p, as follows. Fix natural numbers g and n, and let be a non-supersingular principally quasipolarized Barsotti-Tate group of level n. We classify the F_q-rational forms of . Among all principally polarized abelian varieties X/F_q of dimension g with p^n-torsion geometrically isomorphic to ξ, we compute the frequency with which X[p^n] is isomorphic to . The error in our estimate is bounded by where D depends on g, n and p, but not on .