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; the difference between the two is the $p$-rank deficit of $A$.

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