PlanetMath: Taniyama-Shimura theorem

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (210)
Orphanage
Unclass'd (1)
Unproven (472)
Corrections (38)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

Taniyama-Shimura theorem

(Theorem)

For any natural number $N \geq 1$ , define the modular group $\Gamma_0(N)$ to be the following subgroup of the group $\operatorname{SL}(2,{\mathbb{Z}})$ of integer coefficient matrices of determinant 1:

$\displaystyle \Gamma_0(N) := \left\{ \left. \begin{pmatrix}a & b \\ c & d \end{... ... \operatorname{SL}(2,{\mathbb{Z}})\ \right\vert\ c \equiv 0 \pmod{N} \right\}.$

Let $\H ^*$ be the subset of the Riemann sphere consisting of all points in the upper half plane (i.e., complex numbers with strictly positive imaginary part), together with the rational numbers and the point at infinity. Then $\Gamma_0(N)$ acts on $\H ^*$ , with group action given by the operation

$\displaystyle \begin{pmatrix}a & b \\ c & d \end{pmatrix} \cdot z := \frac{az+b}{cz+d}.$

Define

to be the quotient of $\H ^*$ by the action of $\Gamma_0(N)$ . The quotient space

inherits a quotient topology and holomorphic structure from ${\mathbb{C}}$ making it into a compact Riemann surface. (Note: $\H ^*$ itself is not a Riemann surface; only the quotient

is.) By a general theorem in complex algebraic geometry, every compact Riemann surface admits a unique realization as a complex nonsingular projective curve; in particular,

has such a realization, which by abuse of notation we will also denote

. This curve is defined over ${\mathbb{Q}}$ , although the proof of this fact is beyond the scope of this entry ¹.

Taniyama-Shimura Theorem (weak form): For any elliptic curve defined over $\mathbb{Q}$ , there exists a positive integer and a surjective algebraic morphism $\phi: X_0(N) \to E$ defined over $\mathbb{Q}$ .

This theorem was first conjectured (in a much more precise, but equivalent formulation) by Taniyama, Shimura, and Weil in the 1970's. It attracted considerable interest in the 1980's when Frey [2] proposed that the Taniyama-Shimura conjecture implies Fermat's Last Theorem. In 1995, Andrew Wiles [3] proved a special case of the Taniyama-Shimura theorem which was strong enough to yield a proof of Fermat's Last Theorem. The full Taniyama-Shimura theorem was finally proved in 1997 by a team of a half-dozen mathematicians who, building on Wiles's work, incrementally chipped away at the remaining cases until the full result was proved. As of this writing, the proof of the full theorem can still be found on Richard Taylor's preprints page.

Bibliography

1: Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard; On the modularity of elliptic curves over $\mathbf{Q}$ : wild 3-adic exercises. J. Amer. Math. Soc. 14 (2001), no. 4, 843-939
2: Frey, G. Links between stable elliptic curves and certain Diophantine equations. Ann. Univ. Sarav. 1 (1986), 1-40.
3: Wiles, A. Modular elliptic curves and Fermat's Last Theorem. Annals of Math. 141 (1995), 443-551.

Footnotes

... entry ¹: Explicitly, the curve is the unique nonsingular projective curve which has function field equal to ${\mathbb{C}}(j(z), j(Nz))$ , where denotes the elliptic modular -function. The curve is essentially the algebraic curve defined by the polynomial equation $\Phi_N(X,Y) = 0$ where $\Phi_N$ is the modular polynomial, with the caveat that this procedure yields singularities which must be resolved manually. The fact that $\Phi_N$ has integer coefficients provides one proof that is defined over ${\mathbb{Q}}$ .

"Taniyama-Shimura theorem" is owned by djao.

(view preamble)

See Also: Fermat's last theorem, modular form

Other names:

Taniyama-Shimura-Weil conjecture, Taniyama-Weil conjecture, Taniyama-Shimura conjecture, Taniyama-Shimura-Weil theorem

Log in to rate this entry.
(view current ratings)

Cross-references: Andrew Wiles, Fermat's last theorem, implies, equivalent, morphism, surjective, elliptic curve, equation, polynomial, algebraic, modular, function field, scope, curve, projective curve, nonsingular, algebraic geometry, Riemann surface, compact, holomorphic structure, quotient topology, quotient space, action, quotient, operation, group action, acts on, infinity, rational numbers, imaginary part, positive, strictly, complex numbers, upper half plane, points, Riemann sphere, subset, determinant, matrices, coefficient, integer, group, subgroup, modular group, natural number
There are 4 references to this entry.

This is version 11 of Taniyama-Shimura theorem, born on 2002-02-03, modified 2004-02-28.
Object id is 1720, canonical name is TaniyamaShimuraConecture.
Accessed 10444 times total.

Classification:

AMS MSC:	11F06 (Number theory :: Discontinuous groups and automorphic forms :: Structure of modular groups and generalizations; arithmetic groups)
	14H52 (Algebraic geometry :: Curves :: Elliptic curves)

Pending Errata and Addenda

None.[ View all 6 ]

Discussion

forum policy

No messages.

Interact