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.

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

**Knowl status:**

- Review status: reviewed
- Last edited by Andrew Sutherland on 2020-10-10 16:19:37

**Referred to by:**

- dq.ec.reliability
- dq.ec.source
- dq.ecnf.source
- ec.curve_label
- ec.endomorphism_ring
- ec.maximal_galois_rep
- ec.q.121.b2.bottom
- ec.q.invariants
- ec.q.non-surjective_prime
- ec.q.surjective_prime
- ec.q_curve
- g2c.geom_end_alg
- st_group.1.2.1.1.1a.bottom
- st_group.1.2.3.1.1a.top
- lmfdb/ecnf/main.py (line 749)
- lmfdb/ecnf/main.py (line 756)
- lmfdb/ecnf/templates/ecnf-curve.html (line 144)
- lmfdb/ecnf/templates/ecnf-curve.html (lines 152-154)
- lmfdb/elliptic_curves/elliptic_curve.py (line 779)
- lmfdb/elliptic_curves/elliptic_curve.py (line 849)
- lmfdb/elliptic_curves/templates/ec-curve.html (lines 198-200)
- lmfdb/elliptic_curves/templates/ec-isoclass.html (line 34)
- lmfdb/elliptic_curves/templates/ec-isoclass.html (line 110)

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

- 2020-12-01 07:07:50 by John Cremona
- 2020-12-01 06:57:59 by John Cremona
- 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)

**Differences**(show/hide)