# twists of elliptic curves over finite fields

Let $p\ge 5$ be prime. For every $j\in\mathbb{F}_p$, there are at most 6 twists of any elliptic curve over $\mathbb{F}_p$ with $j$-invariant $j$, and in general only two twists.

Is there a formula which gives the point counts $\#E(\mathbb{F}_p)$ (equivalently, the traces of Frobenius $a_p(E)$) of the finitely many elliptic curves over $\mathbb{F}_p$?

In particular, if $j\in\mathbb{F}_p$ and $j\not\equiv 0,1728\mod p$, then there are precisely two nonisomorphic elliptic curves $E_j,E_j'$ over $\mathbb{F}_p$ with $j$-invariant $j$. Is there a relation between $a_p(E_j),a_p(E_j')$?

If $p>2$ and $j \neq 0,1728$ then the two twists are of the form $E: y^2=f(x)$ and $E_d: d{y}^2=f(x)$ with $d \notin {\mathbb{F}_p^{*}}^{2}$, so $a_{E_d} = -a_E$, as follows: Denote $\chi(0) = 0$, $\chi(x) = 1$ if $x \in {\mathbb{F}_p^{*}}^{2}$, $\chi(x) = -1$ otherwise. Then $\#{E(\mathbb{F}_p)} = 1 + \Sigma_{x \in \mathbb{F}_p} (1+\chi(f(x)))$ so $a_E= - \Sigma \chi(f(x))$, $a_{E_d}= - \Sigma \chi(f(x)/d) = -a_E$.

• Likewise for $p=2$, when $E$ is $y^2+y=f(x)$ and the quadratic twist is $y^2+y=f(x)+a$ for some $a$ of trace $1$, and again each $x$ lies under a total of $2$ points of $E$ and its twist. Oct 27, 2016 at 2:06
• Do you have a reference for the formula you use for $\# E(\mathbb{F}_p)$? Does it also hold for non-prime finite fields $\mathbb{F}_q$? Nov 14, 2016 at 0:18

As David said, the two quadratic twists over $\mathbb F_p$ satisfy $a_p(E_1)+a_p(E_2)=0$. This is also easy to see if you think of taking the trace of the action of Frobenius on $T_\ell(E)$ and on the twist.

You also ask about the values of $a_p(E)$ as $E$ varies over all of the $\mathbb F_p$. That's more interesting. The answer is that as $p\to\infty$, the distribution is the one that appears in the Sato-Tate conjecture (now a theorem for elliptic curves over $\mathbb Q$). Thus writing $a_p(E)=2\sqrt{p}\cos\theta_p(E)$, the set of values $\{\theta_p(E) : E/\mathbb F_p\}$ approaches a $\sin^2$ distribution as $p\to\infty$. This is a theorem of Birch:

B. J. Birch, MR 230682 How the number of points of an elliptic curve over a fixed prime field varies, J. London Math. Soc. 43 (1968), 57--60.

• There's some explanation about Sato-Tate in Joe Silverman's "The Arithmetic of Elliptic Curves". I learned much from his two excellent books on elliptic curves. Oct 27, 2016 at 1:26
• And if $E/\mathbb Q$ with $j=0$ then $a_p=0 \Leftrightarrow p=2($mod $3)$ or $p=3$, and with $j=1728$ then $a_p=0 \Leftrightarrow p=3($mod $4)$ or $p=2$ Oct 27, 2016 at 13:04