>>180 つづき

https://ja.wikipedia.org/wiki/%E8%B0%B7%E5%B1%B1%E5%BF%97%E6%9D%91%E4%BA%88%E6%83%B3
谷山志村予想（たにやましむらよそう、Taniyama-Shimura conjecture）は、「すべての有理数体上に定義された楕円曲線はモジュラーであろう」という数学の予想。

証明されて定理となったので、モジュラー性定理またはモジュラリティ定理 (modularity theorem) と呼ばれることもある。

アンドリュー・ワイルズ (Andrew Wiles) は、半安定楕円曲線のモジュラリティ定理＝谷山志村予想を証明し、この証明はフェルマーの最終定理とも深く関連する。
後に、クリストフ・ブロイル（英語版）(Christophe Breuil)、ブライアン・コンラッド（英語版）(Brian Conrad)、フレッド・ダイアモンド（英語版）(Fred Diamond)、リチャード・テイラー(Richard Taylor)は、
ワイルズのテクニックを拡張し、2001年にモジュラリティ定理を完全に証明した。

モジュラリティ定理は、ロバート・ラングランズ(Robert Langlands)によるより一般的な予想の特別な場合である。
ラングランズ・プログラムは、保型形式、あるいは保型表現(automorphic representation)（適切なモジュラ形式の一般化）を、例えば数体上の任意の楕円曲線のような、より一般的な数論幾何の対象へ関連付ける方法を探している。
これらの拡張された予想の場合は、現在のところほぼ証明されていない。

^ 黒川重信・栗原将人・斎藤毅共著『数論Ⅱ：岩澤理論と保型形式』岩波書店、2005年、ISBN 4-00005528-3、pp. 589, 591.