Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm working on the following problem from Silverman's advanced topic in the arithmetic of elliptic curves: Let $E$ be an elliptic curve defined over a number field $L$ with complex multiplication by $K$, and let $\mathfrak{P}$ be a prime of $L$ lying over $p$ at which $E$ has good ordinary reduction. Prove that $\mathbf{Q}_p$ contains a subfield isomorphic to $K$.

Now, I have the following partial solution which I can't finish. Let $K=\mathbf{Q}(\sqrt{-D})$ for some positive square-free integer. Since $E$ has good reduction at $\mathfrak{P}$, we know that $End(E)$ injects into $End(\tilde{E})$ (this is prop 4.4 in the CM chapter) where $\tilde{E}$ denote reduction at $\mathfrak{P}$. It follows that the ring of integers in $K$, $\mathcal{O}$ injects into $End(\tilde{E})$. Restriction then gives a map to $End(\tilde{E}[p])$. But $\tilde{E}[p]\cong\mathbf{Z}/p\mathbf{Z}$ since $E$ has ordinary reduction here, so this endomorphism ring is just $\mathbf{Z}/p\mathbf{Z}$ itself.

Summing up, I now have a map from $\mathcal{O}\to\mathbf{Z}/p\mathbf{Z}$. Now, under this map, $-D$ just goes to $-D\bmod p$. But then $\sqrt{-D}$ maps to a square root of $-D$, so that $-D$ must be a square $\bmod p$. Now, if $p$ does not divide $D$, this tells us something useful: $-D$ is invertible $\bmod p$ and a square, so by Hensel's lemma, $\sqrt{-D}\in\mathbf{Q}_p$, whence $K$ is a subfield of $\mathbf{Q}_p$. But if $p$ does divide $D$, this tells us nothing.

So, assuming what I have done above is coherent, I need to somehow rule out the case that $p$ divides $D$. Of course, this has to be the case because if $p$ divides $D$ then $K$ cannot be contained in $\mathbf{Q}_p$.

Is there an easy way to show that if $p$ divides $D$ and if $\mathfrak{P}$ lies over $p$, then the reduction must be bad or super singular? I can't think of a reason why this would be the case or how else to proceed. Any insight on this problem would be greatly appreciated.

share|improve this question
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.