Content deleted Content added
mNo edit summary |
m The intro paragraph should make it clear that the reason why it is called Taniyama-Shimura was because Taniyama and Shimura proposed the origional conjecture |
||
Line 1:
[[Category:Algebraic geometry]][[Complex analysis]][[Category:Theorem]]
The '''Taniyama-Shimura theorem''' establishes an important connection between [[elliptic curve]]s, which are objects from [[algebraic geometry]], and [[modular form]]s, which are certain periodic [[holomorphic function]]s investigated in [[number theory]]. Despite the name, which was a carry over from the Taniyama-Shimura ''[[Conjecture]]'', the theorem is the work of [[Andrew Wiles]], [[Christophe Breuil]], [[Brian Conrad]], [[Fred Diamond]], and [[Richard Taylor (mathematician)|Richard Taylor]].
If ''p'' is a [[prime number]] and ''E'' is an elliptic curve over '''Q''' (the [[field (mathematics)|field]] of [[rational number]]s), we can reduce the equation defining ''E'' [[modular arithmetic|modulo]] ''p''; for all but finitely many values of ''p'' we will get an elliptic curve over the [[finite field]] '''F'''<sub>''p''</sub>, with ''n''<sub>''p''</sub> elements , say. One then considers the sequence ''a''<sub>''p''</sub> = ''n''<sub>''p''</sub> - ''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 Taniyama-Shimura theorem states:
| |||