谷山・志村の定理

出典: フリー百科事典『ウィキペディア（Wikipedia）』

谷山・志村定理（たにやましむらていり、Taniyama-Shimura theorem; モジュラー性定理ともいう）とは、「すべての楕円曲線はモジュラーである」という数学の定理である。これは、「ある楕円方程式のE系列は、どれかの保型形式のM系列である」とも言える。提出された時点では、未証明の予想にすぎなかったので、「谷山・志村予想」と呼ばれた。フェルマーの最終定理の証明とも関連する。

[編集] 意味

谷山・志村定理（または谷山・志村予想）の意味は、「楕円曲線論」と「保型形式論」という異なる二つの分野で用いられる特殊な概念が同種のものである、ということだ。これは、予想が提出された当時では、とても衝撃的なことだった。なぜなら、この二つの分野のそれぞれの概念は、まったく別の概念だと思われていたからだ。

二つの分野の別の概念が同種のものだとすれば、そこには何らかの深遠な真実がひそんでいることになる。それゆえ、この予想は、通常の定理のように一つの分野だけの問題ではなくて、数学における広範な真実を告げる重大な問題だと理解された。たとえ証明はまだなされていないとしても、その重要性は普通の定理を上回った。そして、その解決（つまり証明）が、是非とも達成すべき目標とされた。

[編集] 経緯

谷山・志村予想は、1955年9月に日光の国際会議で谷山豊が提出した、いくつかの「問題」を原型とする。それらの問題が互いに関連しているらしいことは谷山も気付いていたが、実は同じ命題の言い換えであることが後に判明した。谷山自身は若くして自殺したため、最終的な形は谷山の盟友である志村五郎によって定式化され、長らく「谷山・志村予想」と呼ばれていた。

内容的に「ゼータの統一」というテーマを扱う豪快な予想であり、数論の中心に位置するものの一つと目されるまでにいたったが、攻略自体は絶望視されていた。1984年秋、この予想からフェルマーの最終定理（フェルマーの大定理、フェルマー予想）が出るというアイディアがゲルハルト・フライにより提示され、セールによる定式化を経て（フライ・セールのイプシロン予想）、1986年夏にケン・リベットによって証明されたことにより俄然注目を集めたが、アンドリュー・ワイルズを除いては、まともに挑もうとする数学者は依然として現れなかった。

アンドリュー・ワイルズ(Andrew Wiles, プリンストン大学教授）により、この予想はまず半安定な場合について解決された（1993～1995年）。ワイルズが1993年に発表した証明には一箇所致命的なギャップが存在したため、その修正に当ってはワイルズの元教え子であったリチャード・テイラーも貢献した。1994年9月、ワイルズはギャップを回避することに成功し、修正された証明は翌1995年に2編の論文として出版された。このことにより、ワイルズは谷山・志村予想の系であるフェルマー予想をも解決した。

一般の場合についてはリチャード・テイラー(Richard Taylor, ハーバード大学教授)、ブライアン・コンラッド(Brian Conrad, ミシガン大学教授)、フレッド・ダイアモンド(Fred Diamond, ブランダイズ大学教授)、クリストフ・ブレイユ(Christophe Breuil, IHES長期研究員)の4人による共著論文On the modularity of elliptic curves over Qにより肯定的に解決された。

実力者アンドレ・ヴェイユが西洋で発表したので「谷山＝ヴェイユ予想」「ヴェイユ予想」と呼ばれることもある。（ただし、普通ヴェイユ予想といえば非特異代数多様体上の合同ゼータ函数に関する予想のことである。）