An elliptic curve whose endomorphism ring is larger than \(\Z\) is said to have complex multiplication (often abbreviated to CM). In this case, for curves defined over fields of characteristic zero, the endomorphism ring is isomorphic to an order in an imaginary quadratic field.
An elliptic curve whose geometric endomorphism ring is larger than \(\Z\) is said to have potential complex multiplication (potential CM).
The property of having CM over an extension depends only on the $j$-invariant of the curve. For an elliptic curve $E$ defined over a number field $K$ a necessary condition is that $j(E)$ is an algebraic integer, and there are only finitely many CM $j$-invariants in any specific number field. In particular, for an elliptic curve defined over the field of rational numbers, the $j$-invariant must be an integer, and it is known that there are precisely 13 CM $j$-invariants, namely $$-262537412640768000, -147197952000, -884736000, -12288000, -884736, -32768, -3375, 0, 1728, 8000, 54000, 287496, 16581375.$$ This was proved in the 1970s and is closely related to the problem of finding all imaginary quadratic fields of class number one, since these are precisely the values $j(\tau)$ where $j$ is the classical modular $j$-function and $\tau$ is an imaginary quadratic algebraic integer such that the ring $\Z[\tau]$ has unique factorization.
- Review status: reviewed
- Last edited by Andrew Sutherland on 2020-10-10 16:19:37
- lmfdb/ecnf/main.py (line 764)
- lmfdb/ecnf/main.py (line 770)
- lmfdb/ecnf/templates/ecnf-curve.html (line 171)
- lmfdb/elliptic_curves/elliptic_curve.py (line 688)
- lmfdb/elliptic_curves/elliptic_curve.py (line 738)
- lmfdb/elliptic_curves/templates/ec-curve.html (line 164)
- 2020-10-10 16:19:37 by Andrew Sutherland (Reviewed)
- 2020-10-10 12:54:14 by Andrew Sutherland
- 2020-10-04 10:53:39 by John Cremona
- 2020-09-26 17:08:08 by John Voight
- 2020-09-26 17:07:35 by John Voight
- 2018-06-18 02:42:39 by John Jones (Reviewed)