Advanced Number Theory
From modular forms and Fermat's Last Theorem to algebraic and analytic number theory
Advanced (graduate level)
About This Section
Advanced number theory studies the three pillars of modern number theory. In arithmetic geometry and modular forms, the foundations of modular forms and arithmetic geometry lead to an understanding of the road to Fermat's Last Theorem. In algebraic number theory, the notion of ideals reveals how unique factorization fails and how it is restored, and in analytic number theory the zeta function is used to explore the distribution of primes.
Prerequisites
- Intermediate-level content (applications of congruences, the basics of elliptic curves)
- Abstract algebra (groups, rings, fields, the basics of Galois theory)
- Complex analysis (theory of complex functions)
- The basics of measure theory and integration
Table of Contents
Arithmetic Geometry & Modular Forms
Modular forms, the proof of Fermat's Last Theorem, and the foundations of arithmetic geometry.
1. Modular Forms
Holomorphic functions on the upper half-plane and the Taniyama-Shimura conjecture.
- Definition and transformation law of modular forms
- Fourier expansion and arithmetic information
- The Taniyama-Shimura conjecture
2. Fermat's Last Theorem
A 350-year problem and an overview of Wiles's proof.
- History of the problem and Kummer's contribution
- Relation to the Taniyama-Shimura-Weil conjecture
- The heart of Wiles's proof
3. Arithmetic Geometry
The fusion of number theory and algebraic geometry.
- Schemes over the ring of integers
- Étale cohomology
- The Mordell conjecture (Faltings's theorem)
Faltings's Theorem
An algebraic curve of genus $g \geq 2$ has only finitely many rational points. The resolution of the Mordell conjecture.
- The genus of an algebraic curve
- Outline of the proof (theory of heights)
- The Bombieri-Lang conjecture
Algebraic Number Theory
Understanding, through the notion of ideals, how unique factorization fails and how it is restored.
4. Algebraic Integers
An extension of the notion of integer. Algebraic numbers, the ring of integers $\mathcal{O}_K$, norm and trace.
5. Ideal Theory
A generalization of prime factorization. Prime-ideal decomposition and Dedekind domains.
6. Class Number and Unit Group
The ideal class group, the class number formula, and Dirichlet's unit theorem.
Transcendental Number Theory
The existence and construction of transcendental numbers, and deep results in Diophantine approximation.
Diophantine Approximation
The precision limits of rational approximation of irrationals. Theorems of Dirichlet, Liouville, Thue, and Roth.
- Dirichlet's approximation theorem and Hurwitz's theorem
- The Thue-Siegel-Roth theorem
- Application to Thue equations
Advanced Transcendental Number Theory
The complete proof of Hermite–Lindemann–Weierstrass, and the theorems of Gelfond–Schneider, Roth, and Baker.
- The Gelfond–Schneider theorem (Hilbert's 7th problem)
- Diophantine approximation and Roth's theorem
- Proof of the Hermite–Lindemann–Weierstrass theorem
- Schanuel's conjecture and open problems
Analytic Number Theory
Exploring the distribution of primes through zeta functions.
7. Dirichlet Series and Euler Products
The Riemann zeta function, the Euler product formula, Dirichlet L-functions, and the theorem on arithmetic progressions.
- Convergence and analytic continuation of Dirichlet series
- Proof of the Euler product formula
- Dirichlet's theorem on arithmetic progressions
10. Rational Points on Elliptic Curves
The Mordell-Weil theorem, descent, Selmer groups, and the BSD conjecture.
Diophantine Geometry & Modern Topics
Open problems and cutting-edge research in modern number theory.
Cryptography
Advanced applications of number theory to cryptography.
Key Theorems
Unique Factorization of Ideals in a Dedekind Domain
Every nonzero ideal of a Dedekind domain is expressed uniquely as a product of prime ideals.
Dirichlet's Unit Theorem
The unit group of the ring of integers $\mathcal{O}_K$ of a number field $K$ has the form
$$\mathcal{O}_K^* \cong \mu_K \times \mathbb{Z}^{r+s-1}$$where $\mu_K$ is the group of all roots of unity contained in $K$, $r$ is the number of real embeddings, and $s$ is the number of pairs of complex embeddings.
Gelfond–Schneider Theorem
If $\alpha \ne 0, 1$ and $\beta \notin \mathbb{Q}$ are both algebraic, then $\alpha^\beta$ is transcendental.
Roth's Theorem
For an algebraic irrational $\alpha$ and any $\varepsilon > 0$, only finitely many rationals $p/q$ satisfy $|\alpha - p/q| < 1/q^{2+\varepsilon}$.
The Prime Number Theorem
Let $\pi(x)$ denote the number of primes not exceeding $x$. Then
$$\lim_{x \to \infty} \dfrac{\pi(x)}{x / \ln x} = 1$$Dirichlet's Theorem on Arithmetic Progressions
When $\gcd(a, m) = 1$, the arithmetic progression $a, a+m, a+2m, \ldots$ contains infinitely many primes.
The Mordell–Weil Theorem
The group of all rational points on an elliptic curve over the rationals is a finitely generated abelian group.
Applications Accessible at This Level
Elliptic Curve Cryptography (ECC)
A cryptosystem built on the group structure of elliptic curves over finite fields. It achieves security equivalent to RSA with far shorter keys, and is widely used in smart cards and TLS/SSL. Its foundation is the group structure of the rational points of an elliptic curve (the finite-field analogue of the Mordell-Weil theorem).
Pairing-Based Cryptography
Cryptography using the Weil and Tate pairings on elliptic curves. It realizes capabilities previously thought impossible, such as identity-based encryption, attribute-based encryption, and searchable encryption. Deep theory from algebraic geometry and number theory lies behind it.
Connections with Physics
The distribution of the zeros of the Riemann zeta function is known to agree statistically with the energy-level distribution of quantum-chaotic systems (the Montgomery-Odlyzko conjecture). Modular forms also appear naturally in string theory, and the deep relationship between number theory and physics is an active area of research.
Fast Integer Multiplication
Algorithms for multiplying large integers (Schönhage-Strassen, Fürer) use number-theoretic transforms and the theory of cyclotomic fields. This is of practical importance in cryptographic and scientific computing.
Connection to Research Frontiers
Algebraic and analytic number theory remain active fields of research. From classical problems such as the class number one problem, the twin prime conjecture, and Goldbach's conjecture, to modern themes such as the Langlands program, Shimura varieties, and Iwasawa theory, many open problems remain. The BSD conjecture (one of the Millennium Prize Problems) relates the L-function of an elliptic curve to its rational points, and carries a one-million-dollar prize.
Study Tips
- The role of modular forms: understand the transformation law of modular forms — which link number theory, algebraic geometry, and physics — and the arithmetic meaning of their Fourier coefficients
- Historical context: follow how Fermat's Last Theorem was resolved through the synthesis of elliptic curves, modular forms, and Galois representations
- A geometric viewpoint: by viewing number theory as schemes over $\text{Spec}(\mathbb{Z})$, the tools of algebraic geometry become available
- Approaching open problems: touch the frontier of modern mathematics, such as the Riemann hypothesis and the BSD conjecture
References
- J.-P. Serre, A Course in Arithmetic (Springer)
- Ireland & Rosen, A Classical Introduction to Modern Number Theory (Springer)
- Neukirch, Algebraic Number Theory (Springer)
- Marcus, Number Fields (Springer)
- Silverman, The Arithmetic of Elliptic Curves (Springer)
- Diamond & Shurman, A First Course in Modular Forms (Springer)
Reading
Fermat's Last Theorem — A 350-Year Story [Reading]
A single line scribbled in the margin of a book tormented mathematicians for 350 years. A relaxed telling of the long journey — through elliptic curves and modular forms to Wiles's proof — as a piece of human drama.
The Riemann Hypothesis — One Critical Line That Rules the Primes [Reading]
Checking a trillion zeros is still not a proof. Why the error term of the prime number theorem is governed by the zeros of zeta, and why those zeros are believed to line up — a relaxed look at the frontier of analytic number theory.
How Sparse Do the Primes Get? — The Intuition Behind the Prime Number Theorem [Reading]
There are infinitely many primes, yet they grow sparser the higher you go. From Euclid's few-line proof to the smooth law of the prime number theorem, a relaxed telling of the order hidden within apparent caprice.
The Mystery of Adjacent Primes — The Twin Prime Conjecture [Reading]
Are there infinitely many pairs of primes exactly 2 apart? A relaxed telling of a question a schoolchild can grasp yet has gone unsolved for two millennia, and the breakthrough opened by a little-known mathematician.
Why Cryptography Relies on Primes — One-Way Computation [Reading]
Multiplying two primes takes an instant; factoring their product takes centuries. A relaxed telling of how this "easy forward, hellish backward" asymmetry underpins modern cryptography.