Submit progress

on Ihara constant over $\mathbb{F}_2$ ($C_{33}$)

The statement

$C_{33}=A(2)$ is the Ihara constant over $\mathbb{F}_2$ . [DM2013-def-Aq]

For each integer $g\ge 1$ , let

N_{2}(g) := \max\bigl\{\#X(\mathbb{F}_2)\;:\; X/\mathbb{F}_2 \text{ a smooth projective geometrically integral curve of genus } g\bigr\}.

[DM2013-def-Nqg]

Then

A(2) := \limsup_{g\to\infty}\frac{N_{2}(g)}{g}.

[DM2013-def-Aq]

What gets accepted

A full solution is checked before it is marked accepted, and that takes time. Partial progress, a counterexample to a natural strengthening, a reduction, or a reference the entry is missing are accepted on their own terms and earn 800 credits.

Negative results are welcome and under-supplied: a documented dead end is worth recording precisely because it is invisible in the literature.