“Taniyama-Shimura Conjecture”的概念、定义、习题解题方法及翻译-数学辞典

单词

Taniyama-Shimura Conjecture

释义

Taniyama-Shimura Conjecture

A conjecture which arose from several problems proposed by Taniyama in an international mathematics symposium in 1955. Let be an Elliptic Curve whose equation has Integer Coefficients, let be theConductor of and, for each , let be the number appearing in the -function of . Then there existsa Modular Form of weight two and level which is an eigenform under the Hecke Operatorsand has a Fourier Series .

The conjecture says, in effect, that every rational Elliptic Curve is a Modular Form in disguise. Statedformally, the conjecture suggests that, for every Elliptic Curve over theRationals, there exist nonconstant Modular Functions and of the same level such that

Equivalently, for every Elliptic Curve, there is a Modular Form with the same Dirichlet L-Series.

In 1985, starting with a fictitious solution to Fermat's Last Theorem, G. Frey showed that he could create anunusual Elliptic Curve which appeared not to be modular. If the curve were not modular, then this would show thatif Fermat's Last Theorem were false, then the Taniyama-Shimura conjecture would also be false. Furthermore, if theTaniyama-Shimura conjecture were true, then so would be Fermat's Last Theorem!

However, Frey did not actually prove whether his curve was modular. The conjecture that Frey's curve was modularcame to be called the ``epsilon conjecture,'' and was quickly proved by Ribet (Ribet's Theorem) in 1986,establishing a very close link between two mathematical structures (the Taniyama-Shimura conjecture and Fermat's LastTheorem) which appeared previously to be completely unrelated.

As of the early 1990s, most mathematicians believed that the Taniyama-Shimura conjecture was not accessible to proof. However, A. Wiles was not one of these. He attempted to establish the correspondence between the set of EllipticCurves and the set of modular elliptic curves by showing that the number of each was the same. Wilesaccomplished this by ``counting'' Galois representations and comparing them with the number of modular forms. In 1993,after a monumental seven-year effort, Wiles (almost) proved the Taniyama-Shimura conjecture for special classes of curvescalled Semistable Elliptic Curves.

Wiles had tried to use horizontal Iwasawa theory to create a so-called Class Number formula, but was initiallyunsuccessful and therefore used instead an extension of a result of Flach based on ideas from Kolyvagin. However, therewas a problem with this extension which was discovered during review of Wiles' manuscript in September 1993. Formerstudent Richard Taylor came to Princeton in early 1994 to help Wiles patch up this error. After additional effort, Wilesdiscovered the reason that the Flach/Kolyvagin approach was failing, and also discovered that it was precisely what hadprevented Iwasawa theory from working.

With this additional insight, he was able to successfully complete the erroneous portion of the proof using Iwasawa theory,proving the Semistable case of the Taniyama-Shimura conjecture (Taylor and Wiles 1995, Wiles 1995) and, at the sametime, establishing Fermat's Last Theorem as a true theorem.

See also Elliptic Curve, Fermat's Last Theorem, Modular Form, Modular Function, Ribet'sTheorem

References

Lang, S. ``Some History of the Shimura-Taniyama Conjecture.'' Not. Amer. Math. Soc. 42, 1301-1307, 1995.

Taylor, R. and Wiles, A. ``Ring-Theoretic Properties of Certain Hecke Algebras.'' Ann. Math. 141, 553-572, 1995.

Wiles, A. ``Modular Elliptic-Curves and Fermat's Last Theorem.'' Ann. Math. 141, 443-551, 1995.

随便看

数学辞典收录了8975条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。