モジュラー性定理とフェルマーの最終定理への応用とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > モジュラー性定理とフェルマーの最終定理への応用の意味・解説 

モジュラー性定理とフェルマーの最終定理への応用

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/19 09:49 UTC 版)

楕円曲線」の記事における「モジュラー性定理とフェルマーの最終定理への応用」の解説

詳細は「谷山–志村予想」を参照 モジュラー性定理は、以前谷山志村予想としても知られていたが、Q の上全ての楕円曲線 E はモジュラーであるということであり、言い換えると、楕円曲線ハッセ・ヴェイユのゼータ関数ウェイト 2 でレベル 1モジュラー形式L-関数であるということ言っている。ここに N はアーベル多様体 E の導手英語版)である。(導手とは、E の判別式 Δ(E) として同じ素数により割ることのできる整数を言う。)言い換えると、Re(s) > 3/2対しL-関数を L ( E ( Q ) , s ) = ∑ n > 0 a ( n ) n − s {\displaystyle L(E(\mathbf {Q} ),s)=\sum _{n>0}a(n)n^{-s}} の形に書くと、 ∑ a ( n ) q n , q = exp ⁡ ( 2 π i z ) {\displaystyle \sum a(n)q^{n},\qquad q=\exp(2\pi iz)} はウェイト 2 でレベル N の双曲モジュラー形式新形式(英語版)(newform)を定義する。N を割らない素数に対してモジュラー形式係数 a(ℓ) は ℓ に等しい、つまり法 ℓ での最小多項式の解の個数等しい。 判別式(と導手)が 37 である楕円関数 y 2 − ″ y ″ = x 3 − x {\displaystyle y^{2}-''y''=x^{3}-x} の例は、モジュラー形式 f ( z ) = q − 2 q 23 q 3 + 2 q 4 − 2 q 5 + 6 q 6 + ⋯ , q = exp ⁡ ( 2 π i z ) {\displaystyle f(z)=q-2q^{2}-3q^{3}+2q^{4}-2q^{5}+6q^{6}+\cdots ,\qquad q=\exp(2\pi iz)} に関係付けられている。 ℓ を 37 とは異な素数とすると、係数性質比較することができる。従って、ℓ = 3 とすると法 3 の方程式の解は (0, 0), (0, 1), (2, 0), (1, 0), (1, 1), (2, 1) であり、a(3) = 3 − 6 = −3 である。 この予想1950年代主張され1999年アンドリュー・ワイルズアイデア用いて完全に証明された。彼は1994年大きな楕円曲線の族についてこの予想証明した予想には様々な定式がある。これらが同値であることを示すことは難しく20世紀後半数論主要なテーマであった導手 N の楕円曲線 E のモジュラーリティは、モジュラー曲線 X0(N) から E への、Q 上に定義された非定数有理写像存在することも表すことができる。特に、E の点はモジュラー関数によりパラメトライズされる。 例えば、曲線 y 2 − ″ y ″ = x 3 − x {\displaystyle y^{2}-''y''=x^{3}-x} のモジュラーパラメータ化は により与えられた。 x ( z ) = q − 2 + 2 q − 1 + 5 + 9 q + 18 q 2 + 29 q 3 + 51 q 4 + … y ( z ) = q − 3 + 3 q2 + 9 q − 1 + 21 + 46 q + 92 q 2 + 180 q 3 + … {\displaystyle {\begin{aligned}x(z)&=q^{-2}+2q^{-1}+5+9q+18q^{2}+29q^{3}+51q^{4}+\ldots \\y(z)&=q^{-3}+3q^{-2}+9q^{-1}+21+46q+92q^{2}+180q^{3}+\ldots \end{aligned}}} ここでは、上記のように q = exp(2πiz) とする。関数 x(z) と y(z) はウェイト 0 でレベル 37モジュラー関数で、言い換えると、それらは上半平面 Im(z) > 0 で定義され有理型で、関数等式 x ( a z + b c z + d ) = x ( z ) {\displaystyle x\left({\frac {az+b}{cz+d}}\right)=x(z)} を満たす。また同じことが、adbc = 1 かつ 37|c となる全ての整数 a, b, c, d と y(z) について成り立つ。 別な定式化は、一方で楕円曲線に、他方ではモジュラー形式関連するガロア表現比較依拠している。モジュラー形式に関係付けられ定式化予想の証明使用された。形式レベルを扱うこと(と曲線導手との関係)は特に微妙である。 予想の最も重要な応用フェルマーの最終定理(FLT)の証明である。素数 p > 5 に対してフェルマー方程式 a p + b p = c p {\displaystyle a^{p}+b^{p}=c^{p}} は、ではない整数解を持つとする、つまり、フェルマーの最終定理反例であるとすると、判別式 Δ = 1 256 ( a b c ) 2 p {\displaystyle \Delta ={\frac {1}{256}}(abc)^{2p}} の楕円曲線 y 2 = x ( x − a p ) ( x + b p ) {\displaystyle y^{2}=x(x-a^{p})(x+b^{p})} は、モジュラーではありえない。従って、楕円曲線のこの族(ヘレゴーチ・フライ曲線(Hellegouarch–Frey curves)と呼ぶ)の谷山志村予想の証明は、フェルマーの最終定理意味する2つステートメント結び付ける証明は、ゲルハルト・フライ1985年アイデア基礎にしていて、難しくテクニカルである。1987年ケン・リベットにより出版された。

※この「モジュラー性定理とフェルマーの最終定理への応用」の解説は、「楕円曲線」の解説の一部です。
「モジュラー性定理とフェルマーの最終定理への応用」を含む「楕円曲線」の記事については、「楕円曲線」の概要を参照ください。

ウィキペディア小見出し辞書の「モジュラー性定理とフェルマーの最終定理への応用」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「モジュラー性定理とフェルマーの最終定理への応用」の関連用語

1
12% |||||

モジュラー性定理とフェルマーの最終定理への応用のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



モジュラー性定理とフェルマーの最終定理への応用のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの楕円曲線 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS