Asymptotic Point Counts on Curve Moduli Spaces
Status Open · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedOpenOpenStatement
Definitions and mathematical statement
Let $q=p^r$, where $p$ is prime and $r\geq 1$ is an integer, and let ${\mathbb{F}}_q$ be the field with $q$ elements. For each integer $g\geq 2$, interpret $\mathcal M_g$, explicitly called a coarse moduli space in the supplied record, as the coarse moduli space over ${\mathbb{F}}_q$ of smooth, proper, geometrically connected, unmarked curves of genus $g$. This uses the standard interpretation of the notation; the supplied statement does not explicitly specify these curve hypotheses. No compactification or boundary of singular stable curves is included under this interpretation.Define \[ N_g(q)=\#\mathcal M_g({\mathbb{F}}_q), \qquad \mathcal M_g({\mathbb{F}}_q)=\operatorname{Hom}_{{\mathbb{F}}_q}\left(\operatorname{Spec}{\mathbb{F}}_q,\mathcal M_g\right). \] Thus $N_g(q)$ counts rational points of the coarse moduli space. It is not defined here as a count of ${\mathbb{F}}_q$-isomorphism classes of curves or as a sum weighted by reciprocals of automorphism-group orders.
For each fixed prime power $q$, does there exist a real number $L_q$ with $0<L_q<\infty$ such that \[ \lim_{\substack{g\to\infty\\g\in{\mathbb{Z}},\ g\geq 2}} \frac{N_g(q)}{q^{3g-3}}=L_q\,? \] The question concerns the limit through all integer genera, with $q$ held fixed. The curve-moduli interpretation above requires confirmation against the original problem discussion.
Short English statement
For a fixed finite field ${\mathbb{F}}_q$, count its rational points on the coarse moduli space of smooth genus-$g$ curves. Does dividing this count by $q^{3g-3}$ give a sequence converging to a finite, strictly positive number as $g$ tends to infinity? The standard curve-moduli interpretation is implicit in the supplied source and requires review.Sources
- Supplied local UnsolvedMath registry record, permanent ID $30003295$, title "Asymptotic Point Counts on Curve Moduli Spaces," exact source problem code
catalogue entry, in the collection "Oberwolfach Reports Open Problems." The record gives proposed year 2016 and does not name a proposer. - Supplied source citation: Surface Bundles (2017), Oberwolfach Reports, DOI 10.4171/owr/2016/56, pp. 3149--3195. https://doi.org/10.4171/owr/2016/56. The background describes Oberwolfach Reports as documenting mathematical workshops and their open-problem discussions. The supplied literature-source label is "Oberwolfach Report 56 (2017)."
- Supplied literature source: van der Geer, "Counting curves over finite fields." https://arxiv.org/abs/1409.6090.
- Supplied literature assessment, checked on exactly
2026-08-21: the record labels the problem open and states that point counts are computable in low genus and related cohomological data are known in ranges, but that the positive finite limit for the normalized coarse-moduli count is not established; recent asymptotic discussions are described as conjectural or heuristic. This is supplied dated curation derived from the OWR material, not an independently verified literature assessment. The supplied background expressly calls for independent verification of time-sensitive status and cited claims.
Statement licence: CC-BY-SA-4.0 · Source file
Contributions 0
No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.