Supersingular elliptic curve

Short description: Mathematical concept

In arithmetic geometry, supersingular elliptic curves form a certain class of elliptic curves over a field of characteristic $p>0$ with unusually large endomorphism rings. Elliptic curves over such fields which are not supersingular are called ordinary, and these two classes of elliptic curves behave fundamentally differently in many aspects. (Hasse 1936) discovered supersingular elliptic curves during his work on the Riemann hypothesis for elliptic curves by observing that positive characteristic elliptic curves could have endomorphism rings of unusually large rank 4, and (Deuring 1941) developed their basic theory.

The term "supersingular" has nothing to do with singular points of curves, and all supersingular elliptic curves are non-singular. It comes from the phrase "singular values of the $j$-invariant" used for values of the j-invariant for which a complex elliptic curve has complex multiplication. The complex elliptic curves with complex multiplication are those for which the endomorphism ring has the maximal possible rank 2. In positive characteristic it is possible for the endomorphism ring to be even larger: it can be an order in a quaternion algebra of dimension 4, in which case the elliptic curve is supersingular.

Definition

There are many different but equivalent ways of defining supersingular elliptic curves. Let $K$ be a field with algebraic closure $\bar{K}$ of characteristic $p>0$, and let $E$ be an elliptic curve over $K$.

• The $\bar{K}$-valued points $E(\bar{K})$ have the structure of an abelian group. For every $n$, we have a multiplication map $[n]:E\to E$ whose kernel is denoted by $E[n]$. One can show that either

$E[p^r](\bar{K})\cong \{\begin{array}{l}0,\text{ or}\\ \mathbb{\mathbb{Z}}/p^r\mathbb{\mathbb{Z}}\end{array}$

for $r=1,2,3,\dots$ In the first case, $E$ is called supersingular. Otherwise it is called ordinary. In other words, an elliptic curve is supersingular if and only if the group of geometric points of order $p$ is trivial.

• An elliptic curve is supersingular if and only if its endomorphism algebra $\mathrm{End}(E)\otimes \mathbb{\mathbb{Q}}$ over $\bar{K}$ is an order in a quaternion algebra. In this case the endomorphism algebra has rank 4, while the endomorphism ring of every ordinary elliptic curve has rank 1 or 2. The endomorphism ring of a supersingular elliptic curve over a given base field can have rank less than 4; it may be necessary to pass to a finite extension of $K$ to realize the full rank. In particular, the endomorphism ring of an elliptic curve over a field of prime order is never of rank 4, even if the elliptic curve is supersingular.

• Let $G$ be the formal group associated to $E$. Then $E$ is supersingular if and only if the height $\mathrm{ht}(G)=2$; for ordinary curves the height is 1.

• The Frobenius morphism $F:E\to E$ induces a map $F^{*}:H^1(E,{{𝒪}}_E)\to H^1(E,{{𝒪}}_E)$. The curve $E$ is supersingular if and only if $F^{*}=0$.

• The Verschiebung operator $V:E\to E$ induces a map $V^{*}:H^0(E,{\mathrm{\Omega }}_E^1)\to H^0(E,{\mathrm{\Omega }}_E^1)$. The curve $E$ is supersingular if and only if $V^{*}=0$.

• An elliptic curve is supersingular if and only if its Hasse invariant is 0.

• An elliptic curve is supersingular if and only if the group scheme $E[p]$ is connected.

• An elliptic curve is supersingular if and only if the dual of the Frobenius map is purely inseparable.

• An elliptic curve is supersingular if and only if the "multiplication by $p$" map is purely inseparable and the $j$-invariant of the curve lies in ${\mathbb{𝔽}}_{p^2}$.

• Suppose $E$ is in Legendre form, defined by the equation $y^2=x(x-1)(x-\lambda )$, and $p$ is odd. Then for $\lambda \ne 0,1$, the curve $E$ is supersingular if and only if the sum

$\sum _{i=0}^n{(\genfrac{}{}{0ex}{}{n}{i})}^2{\lambda }^i$

vanishes, where $n=(p-1)/2$. Using this formula, one can show that there are only finitely many supersingular elliptic curves over $K$ (up to isomorphism).

• Suppose $E$ is given as a cubic curve in the projective plane by a homogeneous cubic polynomial $f(x,y,z)$. Then $E$ is supersingular if and only if the coefficient of $(xyz{)}^{p-1}$ in $f^{p-1}$ is zero.

• If $K$ is a finite field of order $q$, then $E$ is supersingular if and only if the trace of the $q$-power Frobenius endomorphism is congruent to zero modulo $p$. When $q=p>3$ this is equivalent to having the trace of Frobenius equal to zero (by the Hasse bound); this does not hold for $p=2$ or 3.

Examples

• If $K$ is a field of characteristic 2, every curve defined by an equation of the form $y^2+a_{3}y=x^3+a_{4}x+a_6$ with $a_3\ne 0$ is a supersingular elliptic curve, and conversely every supersingular curve in characteristic 2 is isomorphic to one of this form.

• Over the field with 2 elements, any supersingular elliptic curve is isomorphic to exactly one of the following:

$y^2+y=x^3+x+1$

$y^2+y=x^3+1$

$y^2+y=x^3+x$

with 1, 3, and 5 points respectively.

• Over an algebraically closed field of characteristic 2, there is (up to isomorphism) exactly one supersingular elliptic curve, given by $y^2+y=x^3$, with $j$-invariant 0. Its ring of endomorphisms is the ring of Hurwitz quaternions, and its automorphism group has order 24, contains a normal subgroup of order 8 isomorphic to the quaternion group, and is the binary tetrahedral group.

• If $K$ is a field of characteristic 3, every curve defined by an equation of the form $y^2=x^3+a_{4}x+a_6$ with $a_4\ne 0$ is a supersingular elliptic curve, and conversely every supersingular curve in characteristic 3 is isomorphic to one of this form.

• Over an algebraically closed field of characteristic 3, there is (up to isomorphism) exactly one supersingular elliptic curve, given by $y^2=x^3-x$, with $j$-invariant 0. Its ring of endomorphisms is the ring of quaternions of the form $a+bj$ with $a$ and $b$ Eisenstein integers, and its automorphism group has order 12.

• For $p>3$, the elliptic curve $y^2=x^3+1$ (with $j$-invariant 0) is supersingular if and only if $p\equiv 2(\mathrm{mod}3)$, and the elliptic curve $y^2=x^3+x$ (with $j$-invariant 1728) is supersingular if and only if $p\equiv 3(\mathrm{mod}4)$.

• The elliptic curve $y^2=x(x-1)(x+2)$ is nonsingular over ${\mathbb{𝔽}}_p$ for $p\ne 2,3$. It is supersingular for $p=23$ and ordinary for every other prime $p\le 73$.

• The modular curve $X_0(11)$, with $j$-invariant $-2^{12}\cdot 11^{-5}\cdot 31^3$ and equation $y^2+y=x^3-x^2-10x-20$, is supersingular at primes $p$ for which the coefficient of $q^p$ in $\eta (\tau {)}^2\eta (11\tau {)}^2$ vanishes mod $p$. These primes begin 2, 19, 29, 199, 569, 809, 1289, 1439, 2539, 3319, ... (sequence A006962 in the OEIS).

Classification

For each prime $p$ there are only finitely many $j$-invariants of supersingular elliptic curves in characteristic $p$. Over an algebraically closed field, an elliptic curve is determined by its $j$-invariant, so the number of isomorphism classes is finite. If each supersingular curve $E$ is weighted by $1/|\mathrm{Aut}(E)|$, then the total weight is $(p-1)/24$.

Since elliptic curves generically have automorphism groups of order 2 (with exceptions at $j=0$ and $j=1728$), the classification is as follows:

• There are exactly $\lfloor p/12\rfloor$ supersingular elliptic curves with automorphism groups of order 2.
• If $p\equiv 3(\mathrm{mod}4)$, there is an additional supersingular curve with $j$-invariant 1728 whose automorphism group is cyclic of order 4, except when $p=3$, where it has order 12.
• If $p\equiv 2(\mathrm{mod}3)$, there is an additional supersingular curve with $j$-invariant 0 whose automorphism group is cyclic of order 6, except when $p=2$, where it has order 24.

All supersingular $j$-invariants in characteristic $p$ lie in the finite field ${\mathbb{𝔽}}_{p^2}$. For small primes, they all lie in the prime subfield ${\mathbb{𝔽}}_p$ itself, but this property fails for larger primes—the first failure occurs at $p=37$, where the supersingular $j$-invariants include the roots of $x^2-6x+6\in {\mathbb{𝔽}}_{37}[x]$, which are the conjugate pair $3\pm \sqrt{15}$ in ${\mathbb{𝔽}}_{37^2}$. The distinction between primes for which all supersingular $j$-invariants are rational (lie in ${\mathbb{𝔽}}_p$) and primes for which some require the quadratic extension ${\mathbb{𝔽}}_{p^2}$ is central to the connection with monstrous moonshine, described in the next section.

(Birch Kuyk) give a table of all $j$-invariants of supersingular curves for primes up to 307. For the first few primes, the supersingular $j$-invariants are:

Prime $p$	Supersingular $j$-invariants	All in ${\mathbb{𝔽}}_p$?
2	0	Yes
3	1728	Yes
5	0	Yes
7	1728	Yes
11	0, 1728	Yes
13	5	Yes
17	0, 8	Yes
19	7, 1728	Yes
23	0, 19, 1728	Yes
29	0, 2, 25	Yes
31	2, 4, 1728	Yes
37	8, 3±√15	No

Connection with supersingular primes

The notion of supersingular elliptic curves gives rise to two different but related uses of the term "supersingular prime" in number theory.

Supersingular primes for a given curve

Given an elliptic curve $E$ defined over the rationals and a prime $p$ of good reduction, the prime $p$ is called a supersingular prime for $E$ if the reduction of $E$ modulo $p$ is a supersingular elliptic curve over ${\mathbb{𝔽}}_p$. This notion depends on the choice of curve: different elliptic curves have different sets of supersingular primes. (Elkies 1987) proved that every elliptic curve over $\mathbb{\mathbb{Q}}$ has infinitely many supersingular primes, though Serre showed that for curves without complex multiplication, the set of such primes has asymptotic density zero.

Supersingular primes in moonshine theory

A prime $p$ is called a supersingular prime (without reference to any particular curve) if every supersingular elliptic curve in characteristic $p$ can be defined over the prime subfield ${\mathbb{𝔽}}_p$—equivalently, if every supersingular $j$-invariant in characteristic $p$ lies in ${\mathbb{𝔽}}_p$ rather than requiring the extension ${\mathbb{𝔽}}_{p^2}$. Andrew Ogg proved that this condition is equivalent to the modular curve $X_0^{+}(p)=X_0(p)/w_p$ having genus zero, and that exactly fifteen primes satisfy it: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, and 71.

Ogg then noticed that these are precisely the prime divisors of the order of the Monster group, the largest sporadic simple group. This coincidence—connecting the arithmetic geometry of modular curves to the representation theory of sporadic groups—was one of the starting points of the theory of monstrous moonshine, later developed by Conway and Norton (1979) and proved by Richard Borcherds (1992).

See also

• Supersingular prime (algebraic number theory)
• Supersingular prime (moonshine theory)
• Supersingular variety
• Monstrous moonshine

References

• Birch, B. J.; Kuyk, W., eds. (1975), "Table 6", Modular functions of one variable. IV, Lecture Notes in Mathematics, 476, Berlin, New York: Springer-Verlag, pp. 142–144, doi:10.1007/BFb0097591, ISBN 978-3-540-07392-5 
• Deuring, Max (1941), "Die Typen der Multiplikatorenringe elliptischer Funktionenkörper", Abh. Math. Sem. Univ. Hamburg 14: 197–272, doi:10.1007/BF02940746 
• Elkies, Noam D. (1987), "The existence of infinitely many supersingular primes for every elliptic curve over Q", Inventiones Mathematicae 89 (3): 561–567, doi:10.1007/BF01388985, ISSN 0020-9910 
• Elkies, Noam D. (1991). "Distribution of supersingular primes". Astérisque 198–200: 127–132. 
• Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, 52, Springer-Verlag, ISBN 1-4419-2807-3 
• Hasse, Helmut (1936), "Zur Theorie der abstrakten elliptischen Funktionenkörper I, II, III", J. Reine Angew. Math. 175: 55–62, 69–88, 193–208, http://gdz.sub.uni-goettingen.de/en/dms/loader/toc/?PPN=PPN243919689_0175 
• Ogg, A. P. (1980). "Modular Functions". in Cooperstein, Bruce; Mason, Geoffrey. The Santa Cruz Conference on Finite Groups. Proc. Symp. Pure Math.. 37. Providence, RI: American Mathematical Society. pp. 521–532. ISBN 0-8218-1440-0. 
• Serre, Jean-Pierre (1998). Abelian ℓ-adic Representations and Elliptic Curves. Research Notes in Mathematics. 7 (Revised reprint of the 1968 original ed.). Wellesley, MA: A K Peters. ISBN 1-56881-077-6. 
• Silverman, Joseph H. (2009), The Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, 106 (2nd ed.), New York: Springer-Verlag, ISBN 978-0-387-09493-9 
• Washington, Lawrence C. (2003), Elliptic Curves: Number Theory and Cryptography, Chapman & Hall/CRC, ISBN 1-58488-365-0