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.

The property of having CM only depends 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.

This is a special case of an abelian variety with complex multiplication.

**Knowl status:**

- Review status: reviewed
- Last edited by John Jones on 2018-06-18 02:42:39

**Referred to by:**

- dq.ec.reliability
- dq.ecnf.source
- ec.curve_label
- ec.endomorphism_ring
- ec.maximal_galois_rep
- ec.q.121.b2.bottom
- ec.q.endomorphism_ring
- ec.q.invariants
- ec.q.non-surjective_prime
- ec.q.surjective_prime
- ec.q_curve
- g2c.geom_end_alg
- lmfdb/ecnf/main.py (line 752)
- lmfdb/ecnf/main.py (line 758)
- lmfdb/ecnf/templates/ecnf-curve.html (line 171)
- lmfdb/elliptic_curves/elliptic_curve.py (line 681)
- lmfdb/elliptic_curves/elliptic_curve.py (line 730)
- lmfdb/elliptic_curves/templates/ec-curve.html (line 159)

**History:**(expand/hide all)

- 2018-06-18 02:42:39 by John Jones (Reviewed)