谷山・志村の定理

数学の谷山・志村予想（たにやましむらよそう、英: Taniyama–Shimura conjecture）とは、「有理数体上に定義された楕円曲線はすべてモジュラーであろう」という予想である。この予想はアンドリュー・ワイルズとクリストフ・ブルイユ、ブライアン・コンラッド、フレッド・ダイアモンド、リチャード・テイラーらによって証明された。 今日ではモジュラー性定理またはモジュラリティ定理（modularity theorem）と呼ばれ、20世紀数学の快挙の一つとされている。ワイルズは半安定楕円曲線に対する谷山・志村予想を証明することでフェルマーの最終定理を証明した。 モジュラリティ定理は、ロバート・ラングランズによるより一般的な予想の特別な場合でもある。ラングランズ・プログラムは、保型形式、あるいは保型表現（適切なモジュラ形式の一般化）を、例えば数体上の任意の楕円曲線のような、より一般的な数論的代数幾何学の対象へ関連付けようとする。拡張された予想のうち、ほとんどのケースは未だ証明されていないが、 が実二次体上定義された楕円曲線がモジュラーであることを証明した。