Geometry
Arithmetic Geometry
Цели урока
- Understand schemes over Spec Z as the foundation of arithmetic geometry
- Learn Mordell-Weil theorem: the group of rational points on an elliptic curve is finitely generated
- Study Faltings theorem: curves of genus >= 2 have finitely many rational points
- Explore L-functions attached to elliptic curves and the BSD conjecture
Предварительные знания
- Algebraic curves, genus, elliptic curves over complex numbers
- Arithmetic over non-Archimedean fields connects to tropicalization
Can the geometry of a curve over the complex numbers predict how many rational solutions it has? Faltings' 1983 theorem says yes, in a striking way.
- Elliptic curve cryptography (ECC) relies on the group law and hardness of the discrete log problem in E(F_p)
- Wiles' proof of Fermat's Last Theorem used the arithmetic geometry of elliptic curves and modular forms
- The BSD conjecture, if proved, would give an algorithm to determine whether a Diophantine equation has infinitely many solutions
Historical Background
1922: Mordell conjectures: curves of genus >= 2 have finitely many rational points 1965: Mordell-Weil theorem proved: E(Q) is a finitely generated abelian group 1983: Faltings proves Mordell's conjecture (Faltings theorem), Fields Medal 1986 1965: Birch and Swinnerton-Dyer conjecture formulated relating rank to L-function order
Schemes over Z and Mordell-Weil
Let E be an elliptic curve over Q with integral Weierstrass model. The Mordell-Weil theorem describes the structure of E(Q). Which statement is correct?
Mordell-Weil (1922 for Q, generalized by Weil to number fields) states that E(K) is a finitely generated abelian group, so the structure theorem gives E(Q) iso Z^r oplus T with rank r >= 0 and torsion T finite. Option A confuses Mazur's theorem (which classifies the torsion subgroup T, bounding |T| by 16) with finiteness of all of E(Q): elliptic curves of positive rank have infinitely many rational points. Option C assumes a fixed rank, which is false in general (the rank varies and is not even known to be bounded). Option D is wrong: E(Q) is countable as a subset of Q x Q.
Faltings Theorem and Rational Points
Faltings theorem (Mordell conjecture, 1983) describes how the genus of a smooth projective curve C over Q controls the set C(Q) of rational points. What does it state?
Faltings proved exactly that genus at least 2 forces finiteness of rational points. Option B is wrong: genus 1 (elliptic curves) can have positive Mordell-Weil rank and hence infinitely many rational points (e.g. y^2 = x^3 - 2). Option C is false: a genus 0 curve with no rational point at all has C(Q) empty (e.g. a conic with no Q-point); only when C(Q) is nonempty is C iso P^1 over Q and the point set infinite. Option D mixes up reduction theory with Diophantine finiteness; good reduction is a local condition unrelated to the genus dichotomy.
L-functions and BSD Conjecture
The Birch and Swinnerton-Dyer (BSD) conjecture relates the L-function L(E, s) of an elliptic curve E over Q to the arithmetic of E(Q). Which equality does the conjecture predict?
BSD predicts that the order of vanishing of L(E, s) at the center s = 1 equals the Mordell-Weil rank of E(Q); the refined form even gives the leading coefficient in terms of the period, regulator, Tamagawa numbers, and |Sha|. Option B confuses a special value with the torsion subgroup, conflating two different invariants. Option C is the Generalized Riemann Hypothesis for L(E, s), an independent (and also open) statement about zeros, not about the rank. Option D is wrong on dimensions: T_l(E) is always rank 2 over Z_l regardless of the Mordell-Weil rank of E(Q).
Connections to Other Topics
Arithmetic geometry connects number theory, cryptography, and the Langlands program.
- Algebraic Curves: Bezout's Theorem and Genus — Elliptic curves and higher genus curves are the central objects of arithmetic geometry
- Tropical Geometry — Tropical methods give combinatorial models for p-adic varieties
- Derived Algebraic Geometry: Introduction — Derived stacks are the modern language for moduli of arithmetic objects
Итоги
- Arithmetic geometry studies schemes over Spec Z, enabling simultaneous study over Q and all F_p
- Mordell-Weil: the rational points E(Q) of an elliptic curve form a finitely generated abelian group
- Faltings theorem: smooth projective curves of genus >= 2 over Q have finitely many rational points
- BSD conjecture links the rank of E(Q) to the order of vanishing of L(E,s) at s=1 - a Millennium Prize problem
Вопросы для размышления
- Why does the genus of a curve (a topological invariant) control how many rational points it has?
- The BSD conjecture has been verified computationally for millions of curves - why is a proof so difficult?
- How does the Galois action on etale cohomology encode arithmetic information?
Связанные уроки
- geo-24 — Algebraic curves are the objects of arithmetic geometry
- geo-27 — Tropicalization over p-adic fields is a tool in arithmetic geometry
- geo-29 — Derived algebraic geometry works over any ring
- top-05 — Fundamental group - etale fundamental group of a scheme
- geo-26 — Mirror symmetry uses arithmetic structures