13.07.2015 Views

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

points in the imaginary quadratic field K, as well as by values of the <strong>Weber</strong>function w, at division points of an elliptic curve with complex multiplicationby K. It would take us too far afield from the purpose of these notes to makethis any more precise. However, to get our toes wet, let us at least describehow to generate the Hilbert class field of K.For each z ∈ C with positive imaginary part, let j(z) be the correspondingvalue of the elliptic modular function, defined bywhereg 2 (z) = 60j(z) = 1728 ·g 2 (z) 3g 2 (z) 3 − 27g 3 (z) 2,∑ 1(mz + n) 4, g ∑ 13(z) = 140(mz + n) 6.(0,0)≠(m,n)∈Z 2 (0,0)̸=(m,n)∈Z 2<strong>The</strong>n we have the beautiful theorem:<strong>The</strong>orem 12 Let Let K be an imaginary quadratic field, with ring of integersO K = Z + Zτ. <strong>The</strong>n j(τ) is an algebraic integer, and U = K(j(τ)) is theHilbert class field of K.3.9 Hilbert’s twelfth problem<strong>The</strong> generation of ray class fields by the values of transcendental functionswas emphasized by Hilbert in his ‘twelfth problem’ presented at the ParisInternational Congress of Mathematicians in 1900. He wrote“<strong>The</strong> extension of <strong>Kronecker</strong>’s theorem to the case that in place ofthe realm of rational numbers or of the imaginary quadratic fieldany algebraic field whatever is laid down as realm of rationality,seems to me of the greatest importance. I regard this problemas one of the most profound and far reaching in the theory ofnumbers and of functions.”So far very little progress has been made on the problem in general. However,in closing these notes, let us at least mention some additional specialcases that have been partially treated:12

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!