Asymptotic point-count conjecture for curves of fixed gonality

About 6 years old · traced to

Fix a prime power qq and an integer γ≥2\gamma\geq 2. Let Nq(g,γ)N_q(g,\gamma) denote the maximum number of Fq\mathbb{F}_q-rational points on a curve of genus gg and gonality γ\gamma.

Asymptotic point-count conjecture. For sufficiently large genus gg, one has

Nq(g,γ)=γ(q+1).N_q(g,\gamma)=\gamma(q+1).

This extends a conjecture previously posed for curves over F2\mathbb{F}_2 to all finite fields. It concerns the eventual maximum number of rational points among curves of fixed gonality, and remains open in the supplied source.

References

Primary source

Xander Faber and Jon Grantham, “Ternary and Quaternary Curves of Small Fixed Genus and Gonality with Many Rational Points”, arXiv:2010.07992 (2022).

Progress summary

Refreshed
Claimed progress

The conjecture is proved for odd finite fields, while the characteristic-two case remains open beyond gonality two.

Faber–Grantham proposed that, for fixed qq and γ≥2\gamma\geq 2, sufficiently high-genus curves of gonality γ\gamma attain the universal point bound γ(q+1)\gamma(q+1). The supplied sources identify the all-qq statement as unresolved in characteristic 22.

Known results

  • The bound #C(Fq)≤γ(q+1)\#C(\mathbb{F}_q)\leq\gamma(q+1) holds for curves of gonality γ\gamma.
  • Gonality γ=2\gamma=2 satisfies Nq(g,2)=2(q+1)N_q(g,2)=2(q+1) for sufficiently large gg, for every prime power qq.
  • For every fixed qq and γ\gamma, abelian-cover constructions give lim sup⁡g→∞Nq(g,γ)=γ(q+1)\limsup_{g\to\infty}N_q(g,\gamma)=\gamma(q+1), but not eventual equality.

May 2023 odd-characteristic proof

On May 4, 2023, “Curves of fixed gonality with many rational points” reported that every odd prime power qq and every γ≥2\gamma\geq 2 satisfy the conjecture for all sufficiently large genera. The result constructs nonsingular curves with exactly γ(q+1)\gamma(q+1) rational points; the supplied evidence does not establish the remaining even-qq cases.

Current status (as of September 2026): The conjecture is settled for γ=2\gamma=2 over all finite fields and is claimed for every γ≥2\gamma\geq 2 over odd prime powers; the cases of even qq with γ≥3\gamma\geq 3 remain open.

Sources

Solutions 0

No solutions have been posted yet.