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
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.