MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

So let $\mathbf{F}_q$ be a finite field with $q$ elements where $q=p^m$,

$p$ a prime number and $m\in\mathbf{Z}_{\geq 1}$. Let $f(x,y)\in \mathbf{F}_q[x,y]$

be a smooth non-constant polynomial and let $A:=\mathbf{F}_q[x,y]/(f)$.

Q: Does there exists an integer $N_0$ (which depends on $A$) such that for $N\geq N_0$ one

may always find a prime ideal $P\subseteq A$ such that $A/P\simeq\mathbf{F}_{q^N}$?

share|cite|improve this question
up vote 1 down vote accepted

The answer is "yes", given what we know about the number of points on the corresponding projective curve (or more accurately a smooth model of it, in case of singularities). Since points at infinity and singular points can be bounded terms of the degree of f, they don't affect the asymptotics here. So the question comes down to the existence of points with a given field of definition, of size a large power of q. The calculation that the main term gives the right answer (>0) can be read off the case of the affine line, where it is certainly true.

share|cite|improve this answer
Well now that I think it is obvious. If $C$ is the corresponding curve then we have an exact formula for $\#C(\mathbb{F}_{q^n})$. It is $q^n+1+(error term)$. Nous using weak Weil estimates we are done. – Hugo Chapdelaine Feb 9 '11 at 17:44
and I should say that for a proper divisor $d|n$ $\#C(\mathbb{F}_{q^d})=q^d+1+(error term)$ so weak estimates imply that $C(\mathbb{F}_{q^n})-\bigcup_{d|n,d\neq n}C(\mathbb{F}_{q^d})$ is larger than 1. – Hugo Chapdelaine Feb 9 '11 at 18:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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