show · av.fq.p_rank all knowls · up · search:

Let $A/\mathbb{F}_q$ be an abelian variety where $q=p^r$. The $p$-rank of an abelian variety is the dimension of the geometric $p$-torsion as a $\mathbb{F}_p$-vector space: $$p\operatorname{-rank}(A) = \dim_{\mathbb{F}_p}( A(\overline{\mathbb{F}}_p)[p] ).$$ The $p$-rank is at most the dimension of $A$, with equality if and only if $A$ is ordinary.

Authors:
Knowl status:
  • Review status: reviewed
  • Last edited by Kiran S. Kedlaya on 2021-03-07 13:23:47
Referred to by:
History: (expand/hide all) Differences (show/hide)