## j-invariant of a supersingular elliptic curve

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let E be a supersingular curve over a finite field. Why is the j-invariant always in F_p^2?

-

The answers by Pete Clark and Sam Derbyshire below are great, but I'll add here a text reference: Silverman's "The Arithmetic of Elliptic Curves", Chapter V, Section 3, Theorem 3.1. In particular, see the proof of (ii) implies (iii). – Álvaro Lozano-Robledo Jul 27 2011 at 19:24

## 2 Answers

(Note: the following argument uses the fact that an isogeny of elliptic curves is inseparable iff it factors through the Frobenius isogeny. This is a result in Silverman's book, for instance.)

Let $E$ be an elliptic curve over an algebraically closed field $k$ of positive characteristic $p$. Recall that $[p]: E \rightarrow E$ is always an inseparable isogeny. Therefore, by the above, it factors through $F: E \rightarrow E^p$. Moreover $E$ is supersingular iff `$E[p](k) = 0$` iff $[p]$ is purely inseparable, iff the dual isogeny to Frobenius $V: E^p \rightarrow E$ (the "Verschiebung") is also inseparable. But again, this means that $V$ factors through the Frobenius isogeny for $E^p$ -- i.e., $E^p \rightarrow E^{p^2}$ -- and since both have degree $p$ this means that $E$ is isomorphic to $E^{p^2}$. Thus on $j$-invaraiants we have $j(E)^{p^2} = j(E)$, done.

-

Beat me to it. The Frobenius isogeny is always purely inseparable though, right? I think you meant that multiplication by $p$ is purely inseparable iff the dual to the Frobenius is inseparable. – Sam Derbyshire Mar 19 2010 at 0:52
@Sam: yes, you're right.  I fixed it accordingly.   – Pete L. Clark Mar 19 2010 at 0:58

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

In characteristic $p$, every map $E_1 \to E_2$ factors as a power of the Frobenius $\varphi_r \colon E_1 \to E_1^{(p^r)}$ followed by a separable morphism $E_1^{(p^r)} \to E_2$, and we find $r$ by looking at the inseparable degree of our map (if the map is separable, then $r=0$, as Pete pointed out).

Now, in the case of interest, if $E$ is supersingular, $\widehat{\varphi}$ is inseparable (as this is equivalent to multiplication by $p$ being purely inseparable). But then $\widehat{\varphi} \colon E^{(p)} \to E$ factors as $E^{(p)} \to E^{(p^2)} \to E$ by comparing degrees, where the first map is the Frobenius and the second is an isomorphism.

It then follows that $j(E) = j(E^{(p^2)}) = j(E)^{p^2}$ so $j(E) \in \mathbb{F}_{p^2}$.

-

Let me return the favor: every isogeny factors as above with the convention that the power of the Frobenius is allowed to be the zeroth power!  By the way, it strikes me that it should be possible to "merge" answers and split the credit.  That would be appropriate here... – Pete L. Clark Mar 19 2010 at 1:00
Haha, I guess it was confusing; it's clear that we need the zeroth power whenever our map is separable. As for the rest, I don't see any issues; it's a standard answer anyway! – Sam Derbyshire Mar 19 2010 at 1:13
Thanks for the answers guys – Josh Mar 19 2010 at 2:35
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 30, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9303038716316223, "perplexity_flag": "head"}