Every positive integer is the order of an ordinary abelian variety over ${\mathbb{F}}_2$

Everett W. Howe, Kiran S. Kedlaya

We show that for every integer $m>0$, there is an ordinary abelian variety over ${\mathbb{F}}_2$ that has exactly $m$ rational points.