4
$\begingroup$

Let $~E:y^2=x^3+x~$ be an elliptic curve over finite field $\mathbb{F}_{5},$ I compute the trace of Frobenius is $2$($E/\mathbb{F}_{5}$ obvious is ordinary).

(By the theory of CM, I know (when $E$ is an ordinary elliptic curve over finite field $\mathbb{F}_{q}$):$$\mathbb{Z}[\pi_{E}]\subseteq End(E)\subseteq \mathcal{O}_{K}$$ )

in the above example I got $\mathcal{O}_{K}=\mathbb{Z}[i]$, and $\mathbb{Z}[\pi_{E}]=\mathbb{Z}+2\mathcal{O}_{K}.$

Therefore $End(E)$ have two possible result: $\mathcal{O}_{K}$ or $\mathbb{Z}[\pi_{E}]$.

I want to know which is the true $End(E)$.

Actually, there is a bound for the conductor $[\mathcal{O}_{K}:\mathbb{Z}[\pi_{E}]].$ I'am not sure whether or not there exists any better result for deciding the conductor.

$\endgroup$

1 Answer 1

4
$\begingroup$

In your case, $End(E)=\mathcal O_K$, because $E$ has an automorphism of order $4$, namely $x\mapsto -x$ and $y\mapsto -2y$. This endomorphism cannot belong to $\mathbb Z[\pi_E]$, because you can check that there are no elements of $\mathbb Z[\pi_E]$ whose square is $-1$.

$\endgroup$
4
  • $\begingroup$ Thanks for your cute answer $\endgroup$
    – sherry
    Commented May 23, 2014 at 10:47
  • $\begingroup$ @FerraI'd love to share this general method with you. $\endgroup$
    – sherry
    Commented May 23, 2014 at 13:26
  • $\begingroup$ Can I ask how do you determine the field $K$ here? $\endgroup$ Commented Apr 20, 2015 at 16:53
  • 1
    $\begingroup$ ^^Never mind, I just found the formula $K=\mathbb{Q}(\sqrt{2^2-4\cdot 5})=\mathbb{Q}(i)$ where 2 is the Frobenius trace and 5 is the characteristic of the field $\endgroup$ Commented Apr 20, 2015 at 20:30

You must log in to answer this question.

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