Estimates for the number of rational points on simple abelian varieties over finite fields

Borys Kadets
DOI: https://doi.org/10.1007/s00209-020-02520-w
2020-03-28
Mathematische Zeitschrift
Abstract:Let <i>A</i> be a simple Abelian variety of dimension <i>g</i> over the field <span class="mathjax-tex">\(\mathbb {F}_q\)</span>. The paper provides improvements on the Weil estimates for the size of <span class="mathjax-tex">\(A(\mathbb {F}_q)\)</span>. For an arbitrary value of <i>q</i> we prove <span class="mathjax-tex">\((\lfloor (\sqrt{q}-1)^2 \rfloor + 1)^g \le \#A(\mathbb {F}_q) \le (\lceil (\sqrt{q}+1)^2 \rceil - 1)^{g}\)</span> holds with finitely many exceptions. We compute improved bounds for various small values of <i>q</i>. For instance, the Weil bounds for <span class="mathjax-tex">\(q=3,4\)</span> give a trivial estimate <span class="mathjax-tex">\(\#A(\mathbb {F}_q) \ge 1\)</span>; we prove <span class="mathjax-tex">\(\# A(\mathbb {F}_3) \ge 1.359^g\)</span> and <span class="mathjax-tex">\(\# A(\mathbb {F}_4) \ge 2.275^g\)</span> hold with finitely many exceptions. We use these results to give some estimates for the size of the rational 2-torsion subgroup <span class="mathjax-tex">\(A(\mathbb {F}_q)[2]\)</span> for small <i>q</i>. We also describe all abelian varieties over finite fields that have no new points in some finite field extension.
mathematics
What problem does this paper attempt to address?