15
$\begingroup$

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.

Just as the title asked. I'm not familiar with complex multiplication. I want to know some intuitive understanding of that concept.

Any help would be appreciated.

:)

$\endgroup$
  • $\begingroup$ Could you give us some idea of your background? For example, how much algebraic number theory do you know? How you familiar with elliptic curves? $\endgroup$ – M Turgeon Apr 21 '14 at 14:04
  • $\begingroup$ I am learning algebraic number theory, algebraic geometry and elliptic curves this semester. I am not so clear about $End(E)$. $\endgroup$ – sherry Apr 21 '14 at 14:09
  • $\begingroup$ Have you come across this: en.wikipedia.org/wiki/…? $\endgroup$ – M Turgeon Apr 21 '14 at 14:12
  • $\begingroup$ After reading that page I have this question. What make me confused is the highly appreciate of CM theory. $\endgroup$ – sherry Apr 21 '14 at 14:17
25
$\begingroup$

Complex multiplication is a beautiful generalization of cyclotomy --- the theory of cyclotomic fields and related areas.

Cyclotomy was one of the subjects Gauss developed in Disquitiones. Some of the key points are:

  • The values of the transcendental function $e^z$ at the division (i.e. torsion) points $z = \dfrac{2\pi i}{n}$ of $\mathbb C/2 \pi i \mathbb Z$ are algebraic integers (i.e. $n$th roots of unity $\zeta_n$).

  • The minimal polynomial of the $\zeta_n$ is abelian (i.e. has abelian Galois group) over $\mathbb Q$.

  • All abelian extensions of $\mathbb Q$ are generated by these values.

  • This last fact, applied to quadratic extensions of $\mathbb Q$, can be used to derive quadratic reciprocity.


The theory of CM has a similar structure. Let me describe it here just for the field $K =\mathbb Q(i)$.

  • If $\Lambda$ denotes the square lattice in $\mathbb C$, appropriately scaled, then the values of the transcendental function $\wp(z;\Lambda)$ (the Weierstrass $\wp$-function for the lattice $\Lambda$) at the points $z = \lambda/n$ for $\lambda \in \Lambda$ (which are the $n$-division, or $n$-torsion, points of $\mathbb C/\Lambda$) are algebraic integers.

  • The minimal polynomials of these algebraic integers over $\mathbb Q(i)$ are abelian.

  • All abelian extensions of $\mathbb Q(i)$ can be generated by these particular algebraic integers.

  • This last fact can be related to reciprocity laws (e.g. biquadratic reciprocity) over $\mathbb Q(i)$.


So the theory of CM relates transcendental function theory (more particularly, the theory of elliptic functions) and algebraic number theory in an amazing way. The fact that such apparently different and disparate areas of math are connected by the theory is one of its attractions, and I'm confident that this is part (perhaps a large part) of the motivation behind Hilbert's statement.


One could note that when Langlands started writing papers explaining his expectations regarding the arithmetic of Shimura varieties --- a far reaching generalization of everything described above --- he titled one of the early expositions of his ideas Some contemporary problems with origins in the Jugendtraum (Kronecker's Jugendtraum was to develop the theory of CM). I mention this as another indication that CM theory, building on the theory of cyclotomy over $\mathbb Q$, continues to be regarded as a model for how the theories of automorphic forms, algebraic varieties, and algebraic number theory should be related together by reciprocity laws.

$\endgroup$
4
$\begingroup$

I'll write something, probably incomplete, and hopefully someone more capable than I will fill in the gaps.

Let's start at the beginning: number fields are finite extensions of the rational field $\mathbb Q$. For every such extension $K/\mathbb Q$, we can associate a group, called the class group, which more or less measure how close the ring of integers in $K$ is to being a Unique Factorization Domain. In particular, when we talk of abelian extensions of $\mathbb Q$, we mean that the class group the Galois group $\mathrm{Gal}(K/\mathbb Q)$ is an abelian group.

Now, it turns out that the abelian extensions of $\mathbb Q$ have a very nice characterization, through the Kronecker-Weber theorem:

All abelian extensions of $\mathbb Q$ are subfields of a cyclotomic field $\mathbb Q(\zeta_n)/\mathbb Q$.

The problem is that, this only holds for abelian extensions of the rationals. The next question number theorists in the 19th century tried to answer is:

How can we extend this to the next simplest case, that of quadratic fields?

Recall that all quadratic extensions of $\mathbb Q$ are of the form $\mathbb Q(\sqrt{d})$, where $d$ is a square-free integer. If it is positive we get a real quadratic field; if it is negative, an imaginary quadratic field. The theory of complex multiplication is therefore a way to generalize the Kronecker-Weber theorem to imaginary quadratic fields. But you may ask, where do the elliptic curves come in? Through the following theorem:

Let $E$ be an elliptic curve over $\mathbb C$. Then the ring of endomorphisms of $E$ is either $\mathbb Z$ or isomorphic to an order in an imaginary quadratic field.

Therefore, elliptic curves with CM (i.e. whose ring of endomorphisms is larger than $\mathbb Z$) are connected to imaginary quadratic fields. Moreover, for any such field and any order $\mathcal O$ in it, there exists an elliptic curve $E$ such that $End(E)\cong\mathcal O$. And this is, somehow, the first step in generating all abelian extensions of imaginary quadratic fields (bit to go further would need class field theory).

In conclusion: the reason why Hilbert was so fond of the theory of Complex Multiplication is probably that it gives a rather elegant solution to the problem of "extending" the Kronecker-Weber theorem to imaginary quadratic fields.

$\endgroup$
  • $\begingroup$ Thanks. I'm not sure if there are any intuitive understanding for the 3ed form:$End(E)=$an order in a definite quaternion algebra over $Q$. Can this analogy to some other classical theory? $\endgroup$ – sherry Apr 21 '14 at 15:33
  • $\begingroup$ Unless I'm mistaken, over a field of characteristic zero, what I listed above are the only two possibilities. But if you want an "intuition", you can note that "definite" means that the algebra is split at infinity, which is some sort of analogue of imaginary quadratic field. $\endgroup$ – M Turgeon Apr 21 '14 at 16:02
  • $\begingroup$ This is certainly one possible answer, but do you have any evidence that suggests this is what Hilbert had in mind? There are many other aspects of Complex Multiplication that Hilbert could have had in mind. $\endgroup$ – Álvaro Lozano-Robledo Apr 22 '14 at 13:19
  • 1
    $\begingroup$ You are wrong about the definition of an abelian extension. The class group is (by its very definition) always an abelian group. The word "abelian" in "abelian extension" refers to the Galois group of the extension. $\endgroup$ – Andy Putman Apr 24 '14 at 4:22
  • 1
    $\begingroup$ @AndyPutman Thank you for pointing it out, honest mistake $\endgroup$ – M Turgeon Apr 24 '14 at 14:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.