complex multiplication
Let be an elliptic curve. The endomorphism ring
of ,denoted , is the set of all regular maps such that , where is theidentity element
for the group structure of . Note that this isindeed a ring under addition () and composition of maps.
The following theorem implies that every endomorphism is also agroup endomorphism
:
Theorem 1
Let be elliptic curves, and let be a regular map such that. Then is also a group homomorphism,i.e.
[Proof: See [2], Theorem 4.8, page 75]
If is isomorphic (as a ring) to an order (http://planetmath.org/OrderInAnAlgebra) in a quadratic imaginaryfield then we say that the elliptic curve E has complexmultiplication by (or complex multiplication by ).
Note: always contains a subring isomorphic to, formed by the multiplication by n maps:
and, in general, these are all the maps in the endomorphism ring of .
Example: Fix . Let be the ellipticcurve defined by
then this curve has complex multiplication by (more concretely by ). Besides the multiplicationby maps, contains a genuine new element:
(the name complex multiplication comes from the fact that weare “multiplying” the points in the curve by a complex number, in this case).
References
- 1 James Milne, Elliptic Curves, online course notes. http://www.jmilne.org/math/CourseNotes/math679.htmlhttp://www.jmilne.org/math/CourseNotes/math679.html
- 2 Joseph H. Silverman, The Arithmetic of Elliptic Curves. Springer-Verlag, New York, 1986.
- 3 Joseph H. Silverman, Advanced Topics inthe Arithmetic of Elliptic Curves. Springer-Verlag, New York,1994.
- 4 Goro Shimura, Introduction to theArithmetic Theory of Automorphic Functions. Princeton UniversityPress, Princeton, New Jersey, 1971.