Complex multiplication

This article is about a topic in the theory of elliptic curves. For information about multiplication of complex numbers, see complex numbers.

In mathematics, complex multiplication is the theory of elliptic curves E that have an endomorphism ring larger than the integers; and also the theory in higher dimensions of abelian varieties A having enough endomorphisms in a certain precise sense (it roughly means that the action on the tangent space at the identity element of A is a direct sum of one-dimensional modules). Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible when the period lattice is the Gaussian integer lattice or Eisenstein integer lattice.

It has an aspect belonging to the theory of special functions, because such elliptic functions, or abelian functions of several complex variables, are then 'very special' functions satisfying extra identities and taking explicitly calculable special values at particular points. It has also turned out to be a central theme in algebraic number theory, allowing some features of the theory of cyclotomic fields to be carried over to wider areas of application.

David Hilbert is said to have remarked that the theory of complex multiplication of elliptic curves was not only the most beautiful part of mathematics but of all science.

Example of the imaginary quadratic field extension

An elliptic curve over the complex numbers is obtained as a quotient of the complex plane by a lattice Λ, here spanned by two fundamental periods ω₁ and ω₂. The four-torsion is also shown, corresponding to the lattice 1/4 Λ containing Λ.

Consider a imaginary quadratic extension field $K=\mathbb {Q} ({\sqrt {-d}})\ d>0$ , which provide the typical example of complex multiplication.

For the two periods $\omega _{1},\omega _{2}$ of an elliptic function $f$ it is called to be of complex multiplication if there is an algebraic relation between $f(z)$ and $f(\lambda z)$ for all $\lambda$ in $K$ .

Conversely, Kronecker conjectured that every abelian extensions of $K$ would be obtained by the (roots of the) equation of a suitable elliptic curve with complex multiplication, known as the Kronecker Jugendtraum and Hilbert's twelfth problem.

An example of an elliptic curve with complex multiplication is

$\mathbb {C} /\mathbb {Z} [i]\ \theta \ \;$

where Z[i] is the Gaussian integer ring, and θ is any non-zero complex number. Any such complex torus has the Gaussian integers as endomorphism ring. It is known that the corresponding curves can all be written as

$Y^{2}=4X^{3}-aX\ \,$

having an order 4 automorphism sending

$Y\rightarrow -iY,\ \ \ \ X\rightarrow -X$

in line with the action of i on the Weierstrass elliptic functions.

More generally, consider the group of lattice L on the complex plane generated by $\omega _{1},\omega _{2}$ . Then we define the Weierstrass function with a variable $z$ in $\mathbb {C}$ as follows:

$\wp (z;L)=\wp (z;\omega _{1},\omega _{2})={\frac {1}{z^{2}}}+\sum _{n^{2}+m^{2}\neq 0}\left\{{\frac {1}{(z+m\omega _{1}+n\omega _{2})^{2}}}-{\frac {1}{\left(m\omega _{1}+n\omega _{2}\right)^{2}}}\right\}$

where

$g_{2}=60\sum _{(m,n)\neq (0,0)}(m\omega _{1}+n\omega _{2})^{-4}$

$g_{3}=140\sum _{(m,n)\neq (0,0)}(m\omega _{1}+n\omega _{2})^{-6}.$

Let $\wp '$ be the derivation of $\wp$ then we obtain the isomorphism:

$z\mapsto (1,\wp (z),\wp '(z))$

which means the 1 to 1 coresspondence between the complex torus group $\mathbb {C} /L$ and the elliptic curve

$E:x_{0}x_{2}^{2}=4x_{1}^{3}-g_{2}x_{0}^{2}x_{1}-g_{3}x_{0}^{3}$

in the complex plane. This means that the ring of analytic automorphic group of $\mathbb {C} /L$ i.e., the ring of automorphism of $E$ , turn out to be isomorphic to the (subring of) integer rings of $K$ . In particular, assume $K\subset \mathbb {C}$ and consider $L$ as an ideal of $K$ then $\mathbb {C} /L$ is agreed with the integer rings ${\mathfrak {o}}$ .

Rewrite $\tau =\omega _{1}/\omega _{2}\ {\text{Im}}\tau >0$ and $\Delta (L)=g_{2}(L)^{3}-27g_{3}(L)^{3}$ , then

$J(\tau )=J(E)=J(L)=2^{6}3^{3}g_{2}(L)^{3}/\Delta (L)\ .$

This means that the J-invariants of $E$ belong to the algebraic numbers of $K$ if $E$ has complex multiplication.

Abstract theory of endomorphisms

The ring of endomorphisms of an elliptic curve can be of one of three forms:the integers Z; an order in an imaginary quadratic number field; or an order in a definite quaternion algebra over Q.

When the field of definition is a finite field, there are always non-trivial endomorphisms of an elliptic curve, coming from the Frobenius map, so the complex multiplication case is in a sense typical (and the terminology isn't often applied). But when the base field is a number field, complex multiplication is the exception. It is known that, in a general sense, the case of complex multiplication is the hardest to resolve for the Hodge conjecture.

Kronecker and abelian extensions

Kronecker first postulated that the values of elliptic functions at torsion points should be enough to generate all abelian extensions for imaginary quadratic fields, an idea that went back to Eisenstein in some cases, and even to Gauss. This became known as the Kronecker Jugendtraum; and was certainly what had prompted Hilbert's remark above, since it makes explicit class field theory in the way the roots of unity do for abelian extensions of the rational number field, via Shimura's reciprocity law.

Indeed, let K be an imaginary quadratic field with class field H. Let E be an elliptic curve with complex multiplication by the integers of K, defined over H. Then the maximal abelian extension of K is generated by the x-coordinates of the points of finite order on some Weierstrass model for E over H.

Many generalisations have been sought of Kronecker's ideas; they do however lie somewhat obliquely to the main thrust of the Langlands philosophy, and there is no definitive statement currently known.

Sample consequence

It is no accident that

$e^{\pi {\sqrt {163}}}=262537412640768743.99999999999925007\dots \,$

or equivalently,

$e^{\pi {\sqrt {163}}}=640320^{3}+743.99999999999925007\dots \,$

is so close to an integer. This remarkable fact is explained by the theory of complex multiplication, together with some knowledge of modular forms, and the fact that

$\mathbf {Z} \left[{\frac {1+{\sqrt {-163}}}{2}}\right]$

is a unique factorization domain.

Here $(1+{\sqrt {-163}})/2$ satisfies α² = α − 41. In general, S[α] denotes the set of all polynomial expressions in α with coefficients in S, which is the smallest ring containing α and S. Because α satisfies this quadratic equation, the required polynomials can be limited to degree one.

Alternatively,

$e^{\pi {\sqrt {163}}}=12^{3}(231^{2}-1)^{3}+743.99999999999925007\dots \,$

an internal structure due to certain Eisenstein series, and with similar simple expressions for the other Heegner numbers.

Singular moduli

The points of the upper half-plane τ which correspond to the period ratios of elliptic curves over the complex numbers with complex multiplication are precisely the imaginary quadratic numbers. The corresponding modular invariants j(τ) are the singular moduli, coming from an older terminology in which "singular" referred to the property of having non-trivial endomorphisms rather than referring to a singular curve.

The modular function j(τ) is algebraic on imaginary quadratic numbers τ: these are the only algebraic numbers in the upper half-plane for which j is algebraic.

If Λ is a lattice with period ratio τ then we write j(Λ) for j(τ). If further Λ is an ideal a in the ring of integers O_K of a quadratic imaginary field K then we write j(a) for the corresponding singular modulus. The values j(a) are then real algebraic integers, and generate the Hilbert class field H of K: the field extension degree [H:K] = h is the class number of K and the H/K is a Galois extension with Galois group isomorphic to the ideal class group of K. The class group acts on the values j(a) by [b] : j(a) → j(ab).

In particular, if K has class number one, then j(a) = j(O) is a rational integer: for example, j(Z[i]) = j(i) = 1728.

See also

• Abelian variety of CM-type, higher dimensions
• Algebraic Hecke character
• Heegner point
• Hilbert's twelfth problem
• Lubin–Tate formal group, local fields
• Drinfeld shtuka, global function field case

References

• Borel, A.; Chowla, S.; Herz, C. S.; Iwasawa, K.; Serre, J.-P. Seminar on complex multiplication. Seminar held at the Institute for Advanced Study, Princeton, N.J., 1957-58. Lecture Notes in Mathematics, No. 21 Springer-Verlag, Berlin-New York, 1966
• Husemöller, Dale H. (1987). Elliptic curves. Graduate Texts in Mathematics. Vol. 111. With an appendix by Ruth Lawrence. Springer-Verlag. ISBN 0-387-96371-5. Zbl 0605.14032.
• Lang, Serge (1983). Complex multiplication. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Vol. 255. New York: Springer-Verlag. ISBN 0-387-90786-6. Zbl 0536.14029.
• Serre, J.-P. (1967). "XIII. Complex multiplication". In Cassels, J.W.S.; Fröhlich, Albrecht (eds.). Algebraic Number Theory. Academic Press. pp. 292–296.
• Shimura, Goro (1971). Introduction to the arithmetic theory of automorphic functions. Publications of the Mathematical Society of Japan. Vol. 11. Tokyo: Iwanami Shoten. Zbl 0221.10029.
• Shimura, Goro (1998). Abelian varieties with complex multiplication and modular functions. Princeton Mathematical Series. Vol. 46. Princeton, NJ: Princeton University Press. ISBN 0-691-01656-9. Zbl 0908.11023.
• Silverman, Joseph H. (1986). The Arithmetic of Elliptic Curves. Graduate Texts in Mathematics. Vol. 106. Springer-Verlag. ISBN 0-387-96203-4. Zbl 0585.14026.
• Silverman, Joseph H. (1994). Advanced Topics in the Arithmetic of Elliptic Curves. Graduate Texts in Mathematics. Vol. 151. Springer-Verlag. ISBN 0-387-94328-5. Zbl 0911.14015.

External links

• Complex multiplication from PlanetMath.org
• Examples of elliptic curves with complex multiplication from PlanetMath.org
• Ribet, Kenneth A. (1995). "Galois Representations and Modular Forms". Bulletin of the American Mathematical Society. 32 (4): 375–402. CiteSeer^x: 10.1.1.125.6114. {{cite journal}}: Unknown parameter |month= ignored (help)