10.08.2013 Views

A Brief Introduction to Classical and Adelic Algebraic ... - William Stein

A Brief Introduction to Classical and Adelic Algebraic ... - William Stein

A Brief Introduction to Classical and Adelic Algebraic ... - William Stein

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.

12 CHAPTER 2. INTRODUCTION<br />

(e) Deeper proof of Gauss’s quadratic reciprocity law in terms of arithmetic<br />

of cyclo<strong>to</strong>mic fields Q(e 2πi/n ), which leads <strong>to</strong> class field theory.<br />

4. Wiles’s proof of Fermat’s Last Theorem, i.e., x n +y n = z n has no nontrivial<br />

integer solutions, uses methods from algebraic number theory extensively (in<br />

addition <strong>to</strong> many other deep techniques). Attempts <strong>to</strong> prove Fermat’s Last<br />

Theorem long ago were hugely influential in the development of algebraic<br />

number theory (by Dedekind, Kummer, Kronecker, et al.).<br />

5. Arithmetic geometry: This is a huge field that studies solutions <strong>to</strong> polynomial<br />

equations that lie in arithmetically interesting rings, such as the integers<br />

or number fields. A famous major triumph of arithmetic geometry is Faltings’s<br />

proof of Mordell’s Conjecture.<br />

Theorem 2.3.1 (Faltings). Let X be a plane algebraic curve over a number<br />

field K. Assume that the manifold X(C) of complex solutions <strong>to</strong> X has genus<br />

at least 2 (i.e., X(C) is <strong>to</strong>pologically a donut with two holes). Then the set<br />

X(K) of points on X with coordinates in K is finite.<br />

For example, Theorem 2.3.1 implies that for any n ≥ 4 <strong>and</strong> any number<br />

field K, there are only finitely many solutions in K <strong>to</strong> x n + y n = 1. A famous<br />

open problem in arithmetic geometry is the Birch <strong>and</strong> Swinner<strong>to</strong>n-Dyer<br />

conjecture, which gives a deep conjectural criterion for exactly when X(K)<br />

should be infinite when X(C) is a <strong>to</strong>rus.

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

Saved successfully!

Ooh no, something went wrong!