リベットの定理（リベットのていり、Ribet's theorem）とは、モジュラー形式に関連するガロア表現の性質に関する定理である。ケン・リベットによって1986年に証明されるまではイプシロン予想（epsilon conjecture、ε-conjecture）とも呼ばれていた。谷山・志村予想とイプシロン予想からフェルマー予想（フェルマーの最終定理）が導かれるため、リベットによる証明はフェルマー予想の解決にとっても重要な一歩であった。
数学的な用語では、リベットの定理は、楕円曲線に関連するガロア表現が特定の性質を持つ場合、その曲線はモジュラーではあり得ない（同じ表現を生じさせるモジュラー形式が存在し得ないという意味で）ことを示す。 主張 を に関する重さ2の新形式 で付随する 2-次元絶対既約 mod Galois 表現 は で不分岐（）かつ で有限平坦とする。
リベットの定理は、このときレベル 重さ2の新形式 が存在して、が成り立つことを主張するものである。
特に が 上の楕円曲線で導手 なら、谷山・志村予想によりレベル 重さ2の新形式 であって付随する 2次元 mod Galois 表現 が の2次元 mod Galois 表現 と同型になるものが取れる。
ここで にリベットの定理を適用したいが、そのためには の既約性と分岐性を調べる必要がある。の理論を使えば、 が で不分岐であり、が極小判別式を割る場合 において有限平坦であることを示せる。よってリベットの定理が使え、レベル重さ2の新形式 であって であるものの存在が示せる。
レベル下げ リベットの定理は、導手 の楕円曲線 に対して となるようなレベル の 楕円曲線 が存在することを保証しない。 レベル の新形式 は有理数でない フーリエ係数を持つ可能性があるため、付随する アーベル多様体は一般に楕円曲線とは限らない。 たとえば、クレモナ データベースの楕円曲線 4171a1 は次の方程式で与えられる。
ここで導手 、判別式 である。これを使用すると、mod 7で 導手 97の楕円曲線にレベル下げすることは出来ない. むしろ、mod ガロア表現はレベル 97 の 非有理新形式 g' の mod のガロア表現と同型です。
ただし、レベルを下げた新形式のレベル に比べて十分に大きい の場合、有理新形式 (楕円曲線など) は別の有理新形式 (楕円曲線など) に下がります。 特に の場合、mod 有理新形式のガロア表現は、レベル の非有理新形式と同型ではない。
したがって、有理新形式間の非自明なレベル下げは、大きな では発生すると予測されません。
歴史 Yves Hellegouarchは学位論文の中で、フェルマー方程式の解（a、b、c）を別の数学的対象である楕円曲線に関連付けるというアイデアを生み出した}。 pが奇素数で、a、b、cが以下のような正整数である場合、以下のようになる。
であるとき、対応するは次式で与えられる代数曲線である。
これは上で定義される種数1の非特異代数曲線であり、その射影閉包は上の楕円曲線である。
1982年にゲルハルト・フライが同じ曲線の珍しい性質に注目し、現在ではフライ曲線と呼ばれている。これは、FLTの反例がモジュラーでない曲線を作ることを示し、フェルマーと谷山の架け橋となった。 この予想は、フライが谷山・志村予想がFLTを含意することを示唆したときに大きな関心を集めた． しかし、彼の議論は完全ではなかった。これは谷山・志村予想の半安定の場合の証明がFLTを暗示することを示した。 Serreは完全な証明を提供せず、欠落したビットはε予想またはε-予想として知られるようになった。 1986年の夏、ケン・リベットがε予想を証明し、それによってモジュラー性定理がFLTを含意することが証明された。
名前の由来は「谷山・志村予想＋ε ⇒ フェルマー最終定理」のεの部分から。
「谷山・志村予想＋ε ⇒ フェルマー最終定理」の導出 指数 のフェルマー方程式にゼロ以外の整数 解があると仮定します。 対応する Frey 曲線 は 極小判別式 が に等しい楕円曲線です。 その導手 は の 根基、つまり、 を割るすべての異なる素数の積である。 方程式 の基本的な考察 で、 のいずれかが偶数であること、従ってNも偶数であることがわかる。 谷山・志村予想によれば、 はモジュラー楕円曲線です。 の を割るすべての奇素数は べき 乗に現れるため、 リベットの定理を繰り返し用いれば導手からすべての奇素数を取り除ける。 しかし、モジュラー曲線 の種数が 0 であるため、レベル 2 の新形式は存在しないため矛盾 (レベル N の新形式は の微分形式）。
脚注
参考資料
Kenneth Ribet, From the Taniyama-Shimura conjecture to Fermat's last theorem. Annales de la faculté des sciences de Toulouse Sér. 5, 11 no. 1 (1990), p. 116–139.
Frey Curve and Ribet's Theorem
関連項目
ABC予想 ワイルズによるフェルマーの最終定理の証明
外部リンク
Ken Ribet and Fermat's Last Theorem by Kevin Buzzard June 28, 2008