6
$\begingroup$

Is there a theorem which guarentees the existance of an elliptic curve with given number of points over $\mathbf{F}_p$ for a given $p$.

Thanks

Improve this question
$\endgroup$
1

2 Answers 2

Reset to default
10
$\begingroup$

Deuring proved that for every $a, |a| < 2\sqrt{p}$, there exists an elliptic curve with $p+1-a$ points over $\mathbb{F}_p$.

M Deuring, Die Typen der Multiplikatorenringe elliptischer Funktionenkörper, Abh. Math. Sem. Univ. Hamburg 14 (1941), 197-272.

Improve this answer
$\endgroup$
4
  • $\begingroup$ Do we have any way to construct such an elliptic curve in polynomial in $logp$ steps or can anyone tell about algorithms on constructing them. $\endgroup$
    – Himanshu Shukla
    Commented Dec 12, 2016 at 9:02
  • 1
    $\begingroup$ That's a different question, and people are unlikely to spot it here as a comment on an answer. You should ask a different question. $\endgroup$
    – znt
    Commented Dec 12, 2016 at 11:15
  • 1
    $\begingroup$ @HimanshuShukla Deuring's proof developed into what's known as the CM method of constructing elliptic curves. I believe the construction is polynomial in $D{\log p}$ steps where $D = 4p - a^2$. $\endgroup$
    – Felipe Voloch
    Commented Dec 12, 2016 at 13:13
  • $\begingroup$ @FelipeVoloch can you please give me a link of the paper by Deuring $\endgroup$
    – Himanshu Shukla
    Commented Dec 16, 2016 at 5:36
4
$\begingroup$

Perhaps you are looking for Honda-Tate theory, see http://projecteuclid.org/download/pdf_1/euclid.jmsj/1260463295 Honda, Taira (1968), "Isogeny classes of abelian varieties over finite fields", Journal of the Mathematical Society of Japan, 20: 83–95. (The eigenvalues of the Frobenius determine the number of $\mathbf{F}_{q^n}$-rational points by the Lefschetz trace formula.)

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .