Taniyama-Shimura theoremThe Taniyama-Shimura theorem establishes an important connection between elliptic curves, which are objects from algebraic geometry, and modular forms, which are certain periodic holomorphic functions investigated in number theory.
If p is a prime number and E is an elliptic curve over Q, we can reduce the equation defining E modulo p; for all but finitely many values of p we will get an elliptic curve over the finite field Fp, with np elements , say. One then considers the sequence ap = np - p, which is an important invariant of the elliptic curve E. Every modular form also gives rise to a sequence of numbers, by Fourier transform. An elliptic curve whose sequence agrees with that from a modular form is called modular. The Taniyma-Shimura theorem states:
- "All elliptic curves over Q are modular."
It attracted considerable interest in the 1980s when Gerhard Frey suggested that the Taniyama-Shimura conjecture (as it was then called) implies Fermat's last theorem. He did this by attempting to show that any counterexample to Fermat's last theorem would give rise to a non-modular elliptic curve. Kenneth Ribet later proved this result. In 1995, Andrew Wiles and Richard Taylor proved a special case of the Taniyama-Shimura theorem (the case of semistable elliptic curves) which was strong enough to yield a proof of Fermat's Last Theorem.
The full Taniyama-Shimura theorem was finally proved in 1999 by Breuil, Conrad, Diamond, and Taylor who, building on Wiles' work, incrementally chipped away at the remaining cases until the full result was proved.
Several theorems in number theory similar to Fermat's last theorem follow from the Taniyama-Shimura theorem. For example: no cube can be written as a sum of two relatively prime n-th powers, n ≥ 3. (The case n = 3 was already known by Euler.)
In March 1996 Wiles shared the Wolf Prize with Robert Langlands. Although neither of them had originated nor finished the proof of the full theorem that had enabled their achievements, they were recognized as having had the decisive influences that led to its finally being proven.
Q denotes the field of rational numbers.
Fp is also called a Galois field.