3
$\begingroup$

We think the following is true:

For all sufficiently large primes $p$ and all natural $g \ge 1$, there exists affine plane curve $f(x,y)=0$ over $\mathbb{F}_p$ which is non-singular, absolutely irreducible, of genus $g$ and it doesn't have any rational points.

Is it true?

Is it known?


This doesn't violate Hasse-Weil bound, because the bound requires SMOOTH projective model and our examples have very few singular points on the projective model.

For $p=13,g=1$ check this question and comments

Added Example of pointless non-sigular affine curves for $g=1$ defined by two equations. Let $f_0=x^3+y^2-1,f_1=z(x^p-x)-1$ and the curve $C : f_0=0,f_1=0$. Then $f_1$ is linear in $z$ so $C$ is birationally equivalent to $f_0=0$.

The curve is pointless because $x^p-x$ is zero modulo $p$.

To get a single equation for the curve set $f$ the resultant of $f_0$ and $f_1$ wrt $x$, experimentally it is irreducible.

$\endgroup$
  • 4
    $\begingroup$ Doesn't this contract the Hasse-Weil bound? You need small $p$ and large $g$ to get no points. $\endgroup$ – S. Carnahan May 29 '19 at 12:14
  • $\begingroup$ A smooth geometrically connected genus $1$ curve over a finite field always has a rational point (by Hasse's estimate or the Lang-Steinberg theorem, say), so this can't be right. Maybe you meant a different set of quantifiers? $\endgroup$ – Gro-Tsen May 29 '19 at 12:23
  • 2
    $\begingroup$ Aaaah, I'm thinking maybe you meant to ask about affine plane curves. If this is the case you should write it in big bold capital letters in the question, because everyone (and certainly the three people who reacted so far) will interpret “curve” as “projective curve”! $\endgroup$ – Gro-Tsen May 29 '19 at 12:29
  • $\begingroup$ @S.Carnahan I edited. See example for $p=13,g=1$. I still believe this is true. $\endgroup$ – joro May 29 '19 at 12:33
  • 3
    $\begingroup$ This is true: in fact, any plane curve over a finite field (possibly with the exception of $\mathbb{F}_2$) can be birationally transformed to another plane curve with all of its points contained in a single line. $\endgroup$ – dinamo May 29 '19 at 12:35
0
$\begingroup$

Partial results, because of contradicting comments in the question.

Let $f(x,y)=0$ be smooth and absolutely reducible curve over $\mathbb{F}_p$.

To reduce the number of points while keeping the genus the same, for $f_1, f_2 \in \mathbb{F}_p[x,y]$ and a new variable $z$ set $F(x,y,z)=f_1 z - f_2$ and take the curve $f=0,F=0$. This is linear in $z$, so it preserves the genus of $f=0$.

If you want only one equation for the curve, take $G$ to be the resultant of $f$ and $F$ with respect to $x$.

We have the constraints $f_1(x,y) = 0 \implies f_2(x,y)=0$, which may fail by construction.

Extreme example $p=13,f=x^3+y^3-2,f_1 = x^p-x, f_2 =1$, the plane curve $G=0$ is pointless and smooth. since $x^p-x=0$ for all $x$. where

G=y^39*z^3 - 3*y^27*z^3 + 2*y^24*z^3 - 3*y^21*z^3 + y^18*z^3 + 2*y^12*z^3 - 5*y^9*z^3 - y^6*z^3 - 4*y^3*z^3 - 3*z^3 + 1

We think this $G$ is absolutely irreducible over $\mathbb{F}_{13}$.

If we want to exclude a set $S$ of $x$ coordinates, take $f_2=1, f_1=z \prod_{a \in S}(x-a)$.

Other $f,f_1,f_2$ may give non singular plane curves with few or no points, while keeping $G$ non-singular.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.