ワイルズによるフェルマーの最終定理の証明

アンドリュー・ワイルズ
ワイルズによるフェルマーの最終定理の証明（ワイルズによるフェルマーのさいしゅうていりのしょうめい）は、イギリスの数学者であるアンドリュー・ワイルズによってなされた、楕円曲線に関するモジュラリティ定理の特殊な場合の数学的証明である。リベットの定理と組み合わせることでフェルマーの最終定理の証明を与える。フェルマーの最終定理とモジュラリティ定理（谷山・志村予想）はともに、当時の知識で証明することは現実的にほぼ不可能であると同時代の数学者の多くは考えていた。
ワイルズは1993年6月23日、「モジュラー形式、楕円曲線およびガロア表現（Modular Forms, Elliptic Curves and Galois Representations.）」と題されたケンブリッジ大学の彼の講演にて最初に証明を発表した。しかし同年9月、証明に1ヶ所誤りが含まれていることが判明した。1年後の1994年9月19日、ワイルズは彼自身が「今までの職務においてもっとも重要な瞬間」と呼ぶアイデアを得た。彼はこれに関して「信じられないほど美しく…とてもシンプルでかつエレガント」なアイデアと語っており、これによって証明を数学者のコミュニティが受容する水準にまで正すことができた。この正しい証明は1995年に発表された。
ワイルズの証明は代数幾何学・数論のテクニックを多用しており、これらの数学分野から派生した成果を多く含んでいる。また、彼の証明はスキームの圏や岩澤理論などの、フェルマーが知りえなかった20世紀以降のテクニックを含む現代代数幾何学の一般的な構成を使用している。
証明を含む2本の論文は129ページの長さで、証明を構成するのにワイルズは7年を費やした。この証明について、ジョン・コーツは数論の最高の成果の1つであると、またジョン・ホートン・コンウェイは20世紀を代表する証明であると述べた。ワイルズがとったフェルマーの最終定理を証明する戦略は、楕円曲線の「半安定」と呼ばれる特殊な場合についてモジュラリティ定理を証明することであり、強力な保形性持ち上げ定理というテクニックを確立し、他の数々の問題に対しても全く新しいアプローチの道を開いた。フェルマーの最終定理の解決に対して、ワイルズはナイトの称号を与えられたほか、2016年のアーベル賞等の名誉が与えられた。ワイルズがアーベル賞を受賞することが発表されたとき、Norwegian Academy of Science and Lettersはワイルズの業績を「素晴らしい証明（"Stunning proof"）」と表現した。

**背景**

**フェルマーの最終定理**
1637年に書き表されたフェルマーの予想は、n > 2 の自然数 n について
 （フェルマー方程式）
を満たす自然数 a, b, c の組み合わせは存在しないということを述べている。

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

**谷山・志村予想**
1950-60年代、志村五郎は谷山豊から着想を得て、楕円曲線とモジュラー形式が互いにつながりを持っているのではないかと示唆した。これは後に「すべての有理数体上に定義された楕円曲線はモジュラーであろう」という予想として定式化され、谷山・志村予想として知られるようになった。西洋においてはこの予想がアンドレ・ヴェイユの1967年の論文によって広まったため、しばしば谷山・志村・ヴェイユ予想と呼ばれている。
この予想は、当時全く異なるものと一般には考えられていた最先端の数学的概念が、実際は同じもので見方が異なるだけであるということを述べており、真ならば理論的に素晴らしく首尾一貫したものであった。1980年頃までには多くのエビデンスによって広く真であると考えられるようになったが、証明あるいはそれに至るアプローチの発見は絶望視されていた（後述）。

**フライ曲線**
1960年代後半、Yves Hellegouarchはフェルマー方程式の解 a, b, c を全く別の数学的概念である楕円曲線と関連付けることを思いついた。それは次の関係を満たす ( x , y ) 座標平面上のすべての点によって作られる曲線であった。
 
1982-1985年、ゲルハルト・フライはこの楕円曲線の特殊な性質に着目し、フェルマー方程式を満たす自然数 a, b, c が存在するならば、曲線の判別式は

となり、このような楕円曲線はモジュラーたりえないだろうと予想した。これは「すべての楕円曲線はモジュラーである」とする谷村・志村予想と矛盾する。したがって、谷山・志村予想を証明・反証した場合はフェルマーの最終定理もまた同時に証明・反証されることになる、というアイディアをフライは提示した。このアイディアは谷村・志村予想とフェルマーの最終定理との架け橋となり、この楕円曲線はFrey curveと呼ばれた。
1985年、フライの予想はジャン・ピエール・セールによって定式化され、フライ曲線がモジュラーではないことが部分的に証明された。セールの主な関心はある種のガロア表現のモジュラー性に関する予想（セール予想）にあり、彼は完全な証明を与えなかったので、欠けていた部分はイプシロン予想（ε-予想）と呼ばれた。
セールの証明は完璧ではなかったものの、半安定状態の楕円曲線とフェルマーの最終定理のつながりをほぼ確実なものとするに至った。

**リベットの定理**
1986年夏、ケン・リベットはイプシロン予想を証明することに成功した。論文は1990年に発表され、リベットの定理として知られるようになった。リベットはこの証明により、フライが示唆したフェルマーの最終定理とフライ曲線との関係性をも証明した。つまり、半安定楕円曲線に対して谷山・志村予想を証明すれば、リベットの定理と組み合わせることで、フェルマーの最終定理を証明できることが確定したのだった。
数学的に表現すれば、リベットの定理は楕円曲線に関連付けられたガロア表現が（フライ曲線が持つ）ある種の性質を持つならば、その楕円曲線はモジュラーでないことを示し、そのガロア表現を生じさせるようなモジュラー形式もまた存在しないことを示した。
しかしながら、このようなセールとリベットによる研究の進展とは裏腹に、谷山・志村予想によるフェルマーの最終定理へのアプローチは現実的には適用できないと広く考えられていた。これは谷山・志村予想が当時知られていた知識だけでは全く証明できそうにないと見られていたためである203–205, 223, 226。例えば、ワイルズのかつての指導者であるジョン・コーツは「（谷山・志村予想は）全く証明できそうにない」226と述べたし、ケン・リベット自身も「証明ができないだろうと考えていた大勢のうちの１人」だと言っていた223。

**アンドリュー・ワイルズ**
リベットのイプシロン予想の証明を聞き、楕円曲線を研究していたイギリスの数学者アンドリュー・ワイルズは、谷山・志村予想の証明を秘密裏に進めることを決心した。これはワイルズの専門分野と、子供のころから魅了されていたフェルマーの最終定理に関わりがあることが判明したためでもあるし、長年未解決だった問題を証明することが彼にとって魅力的だったためでもある。
リベットは後に「ワイルズはおそらくこの地球上で（あの難問に）実際に挑戦して証明できるだなんて夢見るような向こう見ずさを持つ数少ない者のひとりだった」と述べている。223。

**証明の発表とその後**
1993年の6月21日-23日の間で、ワイルズは半安定楕円曲線に関する谷山・志村予想の証明、すなわちフェルマーの最終定理の証明を発表した。この発表はケンブリッジのIsaac Newton Institute for Mathematical Sciencesで3つの講義に渡って行われた。講義の後には比較的大きな規模の記者会見が行われた。
発表の後、ニック・カッツがワイルズの論文の査読を行うレフェリーの一人として指名された。カッツはレビューにおいて、ワイルズに証明に関する様々な質問をしたが、そのうちにワイルズ自身も認めるギャップが証明に含まれることがわかった。証明の重要な箇所（ある種の群の位数に上限を与える部分）の誤りであり、コリヴァキアン＝フラッハ法を拡張するのに使用したEuler systemが不完全だったというものだった。
ただし、この誤りによってワイルズの仕事が全く役に立たないものになったわけではなかった。ワイルズの証明のそれぞれの部分は単体でも意義深く革新的なものであり、証明の過程で多くの発展や新たなテクニックが見出されていたためである。この誤りに影響されたのは一箇所のみであった289, 296–297。しかしながら、この一箇所が（誤りによって）証明されないのであれば、フェルマーの最終定理の証明も成されない。
ワイルズはギャップを取り除くのにほとんど1年を費やした。当初は自身で訂正を試みたが、のちにかつての指導学生であるリチャード・テイラーの協力を仰ぐこととなった。1993年の終わりまでに、厳しい視線が注がれるなかでワイルズの証明が失敗したという噂が広がったが、どの程度深刻なのかに関しては知られていなかった。数学者はワイルズに彼の仕事が完全なのかそうでないのかに関わらず彼の証明を公開させるようにプレッシャーをかけ始めた。そうすることでより広い数学者のコミュニティがワイルズの仕事を精査し、利用することができるからである。しかし、誤りが訂正されるどころか、当初はそれほど深刻でないように思われたギャップは実は非常に重要で、取り除くのは容易でないように思われた。
ワイルズによれば、1994年9月19日の朝、彼はほとんど誤りの訂正を諦める寸前で、証明に失敗したことを認める瀬戸際におり、他の数学者が証明を発展させ、誤りを探すことができるように証明の詳細を発表しようとしていた。彼は証明がなぜ不完全だったのかを理解するための最後の確認をしていたが、不意に、コリヴァキアン＝フラッハ法の適用の際に問題となっている部分そのものが（コリヴァキアン＝フラッハ法のアプローチから得た経験を援用することで）岩澤理論の適用を可能にすることに気がついた。それぞれのアプローチは単体では不適切だが、両者のアプローチを組み合わせ、双方のアプローチのツールを使用することでギャップを取り除き、（ワイルズが最初に出した論文では証明が与えられていなかった）すべての場合に有効な類数公式(Class Number Formula, CNF)を与えた。。
"私はデスクに座ってコリヴァキアン＝フラッハ法の確認をしていました。これは私が誤りを訂正できると考えていたからではなく、少なくともなぜこのアプローチが失敗したのか、その理由を説明できるようにしておきたいと考えたからです。すると、突然すばらしいひらめきが頭に浮かびました。コリヴァキアン＝フラッハ法のアプローチは駄目でしたが、そうなっている理由がまさに3年前の岩澤理論のアプローチを適用するのに必要なものだったのです。コリヴァキアン＝フラッハ法のアプローチの灰から問題に対する真の解答が得られたようでした。それは信じられないほど美しく、シンプルでエレガントでした。なぜそんなことを私が見逃していたのかわかりませんが、その箇所を半信半疑で20分見つめました。それからその日は一日中、部屋の周りを歩き回り、そしてデスクに戻ってその箇所がまだそこにあることを確認するということを繰り返しました。それはそこにありました。私は気持ちを抑えることができませんでした。とても興奮していました。私の仕事のうちで、最も重要な瞬間でした。今後、あれほどのことが起こることはないでしょう。"
:— アンドリュー・ワイルズ。サイモン・シンによる引用。
1994年10月6日に、ワイルズは3人の同僚（ゲルト・ファルティングスを含む）に彼の新しい証明を査読するように頼んだ。1994年10月24日にワイルズは2つの論文を投稿した。この2つの論文は精査され、最終的に1995年5月にAnnals of Mathematicsで発表された。
*Modular Forms, Elliptic Curves and Galois Representations（モジュラー形式、楕円曲線およびガロア表現）
*Ring theoretic properties of certain Hecke algebras（ある種のヘッケ代数の環論的性質）
後者がワイルズとテイラーの共著で、主論文で訂正が必要だった箇所を修正し、必要な条件が満たされていることを証明したものである。この新しい証明は広く検査され、主な部分に関して正しいものであると受け入れられた。これらの論文は半安定楕円曲線に関するモジュラリティ定理を確立するものであり、遂にフェルマーの最終定理を証明するものであった。フェルマーが予想を書き残してから358年後のことであった。

**その後の発展**
フェルマーは、彼の最終定理の書き込みに際して「真に驚くべき証明を見つけたが、それを書くにはこの余白は小さすぎる」と記している。しかし、ワイルズの証明は非常に複雑で、他の多くの数学者の仕事を援用したものであったため、証明の全容を詳細まで理解しているのはほんの数人の数学者だけだ、とまで言われていた。ワイルズの証明を理解するために10日間に渡るカンファレンスがボストン大学で開かれたほどである。このカンファレンスの議事録をもとに出版された書籍は、数論の大学院生を対象として、証明を理解するために必要な前提となる全範囲のトピックを説明することを目的としていた。フェルマーが真に驚くべきと書き残した「証明」が、今日のワイルズによる証明と同様のものだったとは考えにくく、少なくとも公にそう発言している数学者はいない。
ワイルズは谷山・志村予想を楕円曲線の半安定な場合についてのみ証明したので、すべての楕円曲線に関して予想が証明されたわけではなかった。ワイルズの証明から数年後、クリストフ・ブルイユ、ブライアン・コンラッド、フレッド・ダイアモンド、リチャード・テイラー（しばしば「BCDT」と略される）の4人がこの仕事を発展させ、2001年の論文でより一般的なすべての場合について谷山・志村予想を証明した。この証明以後は、谷山・志村予想は「モジュラリティ定理」とも称されている。
2005年にオランダの計算機科学者Jan Bergstraはワイルズの証明をコンピューターで真偽の判定をできるような形にする場合の問題点を発表した。

**ワイルズの証明の概要**
ワイルズは半安定楕円曲線に関してモジュラリティ定理を証明し、そこからフェルマーの最終定理が背理法で導かれることを明らかにした。
証明は大きく2つの部分に分かれる。まずワイルズは「保型性持ち上げ定理（modularity lifting theorem）」 として知られるlabel=リフトに関する一般的な結果を証明する。これにより、楕円曲線に関する問題を、それらのガロア表現に関する問題に変換して証明することができる。後半では、全ての半安定曲線がモジュラーであることの証明を、それらのガロア表現がモジュラーであることを証明する形で行う。

**ワイルズの証明の数学的詳細**

**概要**
ワイルズは楕円曲線をモジュラー形式の可算集合にマッチングさせることを試みた。彼はこの直接的なアプローチがうまくいかないことを発見し、代わりに楕円曲線のガロア表現をモジュラー形式にマッチングさせることで問題を変換した。ワイルズはこのマッチング（または写像）を、より具体的には環準同型と表現している。

は変形環であり、はHecke ring（局所的にコンパクトな群のヘッケ代数）である。
ワイルズは多くの場合、この環の準同型が環の同型になりうるという洞察を得た（1995年の論文の第2章§3の予想2.16）。彼はと間の写像が、理論に現れる二つのアーベル群が有限で同じ濃度を持っている場合にのみ同型性であることに気がついた。これは「数的基準」と呼ばれることもある。この結果、フェルマーの最終定理は、2つの群が同じ位数を持つという記述に還元される。この証明の文章の多くは、環論や並べ換え理論に関連する話題や定理へとつながっている。Wilesの目標は、写像 が同型であることを検証し、最終的に とすることであった。変形を扱う際、ワイルズは4つのケースを定義したが、平坦の変形ケースは証明に手間がかかり、同巻の別論文「あるヘッケ代数の環論的性質」で扱われている。
ゲルト・ファルティングスは、その会報で次の可換図式を与えている(p. 745)。
230px 
あるいは究極的には となり、完全交差であることが示される。ワイルズは を直接示せなかったので、 と   による lifts でそれを実現した。
このマッチングを行うために、ワイルズは類数公式（CNF）を作成する必要があった。当初、水平方向の岩澤理論を使おうとしたが、その部分には未解決の問題があり、CNFを作成することはできなかった。1991年の夏の終わりに、ヴィクター・コリヴァギンとMatthias Flach (mathematician)が開発した、証明の誘導部分に「ぴったり」であり、CNFを作成するために使用できるようなオイラー系 について知り、ワイルズは彼の証明が必要とするCNFを作成するために、岩澤研究を置いて、Kolyvaginとフラッハの仕事を拡張し始めることにした。 1993年の春までに、研究は楕円曲線のいくつかの族を除いてすべてカバーしており、1993年の初めには、ワイルズは成功が近いことを確信して、信頼できる同僚に秘密を打ち明けた。彼の研究はコリヴァギン–フラッハのアプローチに大きく依存しており、それは数学にとってもワイルズにとっても新しいものであり、ワイルズ自身それを拡張していたので、1993年1月にはプリンストン大学の同僚ニック・カッツに、研究に微妙な間違いがないか見直すのを手伝ってくれよう依頼した。当時の彼らの結論は、ワイルズが使った技法は正しく機能しているようだというものだった。261-265
コリヴァギン–フラッハ法の使用は、後に元の証明提出における失敗のポイントであることが判明し、結局彼は岩沢理論とリチャード・テイラーとの共同作業に戻して修正しなければならなくなった。1993年5月、Mazurの論文を読んでいたWilesは、3/5スイッチで最後の問題が解決し、その後すべての楕円曲線をカバーできることを洞察した。

**一般的なアプローチと戦略**
有理数の体Q 上の楕円曲線 Eが与えられたとき、すべての素数乗  に対して、絶対ガロア群 

から

の 準同型が存在する。
は、の法を整数とする2×2行列のinvertible群である。
これは, 即ち 上のEの点は  アーベル群をなし、その上には  が作用しているからである：  なるxのなす部分群は  , であり、この群の automorphism は既に説明したタイプの行列である。
これはアイヒラーや志村にさかのぼる。 ガロア群は、まずモジュラー形式が定義されたモジュラー曲線に作用し、次にその曲線のヤコビアン・バラエティに作用し、最後にそのヤコビアンの乗次点に作用する。 結果として得られる表現は通常2次元ではないが、Hecke operatorが2次元の部分を切り出している。 これらの表現がある楕円曲線に由来することを証明するのは簡単だが、その逆を証明するのは難しい。
楕円曲線から直接モジュラー形式へ行こうとするのではなく、あるℓとnに対して 表現へ行き、そこからモジュラー形式へ行けば良い。 1=ℓ = 3 and 1=n= 1の場合、 Langlands-Tunnell theorem の結果、 Q 上の任意の楕円曲線の  representation は、あるモジュラー形式から来ることがわかる。 基本的な戦略は、1=ℓ = 3 と任意の n に対してこれが正しいこと、つまりすべての n に対して有効な単一のモジュラー形式が存在することを n の帰納法を用いて示すことである。 そのためには、 をlift できる方法の数を比較する、計数論的な議論を用いる。\のGalois表現を にできる数と、 モジュラー形式を持ち上げられる数とを比較する。
重要な点は、ガロア表現に十分な条件を課すことである。さもなければ、リフトが多すぎて、ほとんどがモジュラー形式にはならない。  この条件は、モジュラー形式から来る表現と楕円曲線から来る表現で満たされる必要がある。

**3-5トリック**
この場合、最後のトリックがある。これはその後のSerre予想 (整数論)の研究でより一般的に研究されるようになった。これはと表現の間の相互作用に関わるアイデアである。特に、Q 上の半安定楕円曲線 E に関連する mod-5 Galois 表現   が既約であるならば、その関連 mod-5 Galois 表現   が  に同型であり、その関連する mod-3 Galois 表現  が既約（したがって Langlands-Tunnell によるモジュール）であるようなものを超える E' である。

**Wilesの証明の構成 === 
Wilesの証明の構成は以下の通り。
1995年に発表された108ページの論文で、ワイルズは主題を以下の章に分割している（ここではページ番号で先行）。
はじめに
:443
第1章
:455 1.ガロア表現の変形
:472 2.コホモロジー群のいくつかの計算
:475 3.GL2(k)の部分群に関するいくつかの結果
第2章
:479 1.ゴレンシュタインの性質
:489 2.ヘッケ環間の合同性
:503 3.主な予想
第3章
:517 セルマー群の推定値。
第4章
:525 1.通常のCMの場合
:533 2.ηの計算
第5章
:541楕円曲線への応用
付録
:545 ゴレンシュタイン環と局所的完全交点について
その後、ゲルト・ファルティングスは1995年の証明にいくつかの簡略化を施し、主に幾何学的な構成からより単純な代数的なものに切り替えた。  コーネル会議の本には、元の証明に対する簡略化も含まれていた。

**文献の概要**
ワイルズの論文は100ページを超えるもので、群論、代数幾何、可換環論、ガロア理論の専門的な記号や表記がよく使われている。ワイルズの基礎作りに貢献した数学者たちは、しばしば新しい専門的な概念や技術的な専門用語を生み出している。
紹介されたものの中には、Ribetが1993年に送ったメールもある。 Hesselinkのトップレベルの問題のクイックレビューでは、初等代数だけを与え、抽象代数を避けている；あるいは、DaneyのWebページでは、彼自身のノートとこのテーマで入手できる最新の書籍のリストを提供している。Westonは科目間の関係のいくつかの便利な地図を提供しようと試みている 。F. Q. Gouvêaの必修項目のいくつかを見直した、1994年の論文「A Marvelous Proof」はLester R. Ford賞を獲得した。 Faltingsのこの問題に関する5ページの技術速報は、非専門家向けに証明について素早く技術的にレビューしている。市販のガイド本を探している人には、抽象代数に詳しい人はHellegouarchを読んで、次にコーネルの本は「整数論の大学院生」にも理解できるとされている。しかしながら、コーネルの本はワイルズの証明の全てを網羅しているわけではない。

**脚注**

**参考文献**
   zbl = 0878.11003- cite journal | author = John Coates |date=July 1996 | title = Wiles Receives NAS Award in Mathematics | journal = Notices of the AMS | volume = 43 | issue = 7 | pages = 760–763 | url = http://www.ams.org/notices/199607/comm-wiles.pdf |format=PDF | zbl = 1029.01513-  zbl = 0878.11004 (Cornell, et al.)- archivedate=3 August 2004 -  accessdate=3 June 2018-  zbl = 1047.11510-  zbl = 0586.10010-  zbl = 0887.11003 See  review- accessdate=3 June 2018 (collected by Lim Lek-Heng)- cite book|last=Mozzochi|first=Charles | title=The Fermat Diary | date=7 December 2000 | isbn=978-0-8218-2670-6|publisher=American Mathematical Society | zbl = 0955.11002 See also Cite journal|last=Gouvêa|first=Fernando Q.|date=2001|title=Review: Wiles's Proof, 1993–1995: The Fermat Diary by C. J. Mozzochi|url=https://www.jstor.org/stable/27857485|journal=American Scientist|volume=89|issue=3|pages=281–282|via=-  zbl = 1104.11001- accessdate=5 August 2004-  zbl = 0882.11001-  zbl = 0920.11016- accessdate=2016-03-17 Discusses various material which is related to the proof of Fermat's Last Theorem: elliptic curves, modular forms, Galois representations and their deformations, Frey's construction, and the conjectures of Serre and of Taniyama–Shimura.- cite book |last=Singh|first=Simon|authorlink=Simon Singh|title=Fermat's Enigma|date=October 1998|publisher=Anchor Books|location=New York|isbn=978-0-385-49362-8 | zbl = 0930.00002- Simon Singh accessdate=3 June 2018 Edited version of ~2,000-word essay published in Prometheus magazine, describing Andrew Wiles's successful journey.- cite journal | author = Richard Taylor and Andrew Wiles |date=May 1995 | title = Ring-theoretic properties of certain Hecke algebras | journal = Annals of Mathematics | volume = 141 | issue = 3 | pages = 553–572 | url = http://math.stanford.edu/~lekheng/flt/taylor-wiles.pdf | doi = 10.2307/2118560 |format=PDF | issn=0003-486X|oclc=37032255 | publisher = Annals of Mathematics | jstor = 2118560 | zbl = 0823.11030-  zbl = 0823.11029  See also this smaller and searchable  PDF text version. (The larger PDF misquotes the volume number as 142.)

**外部リンク**
  title=Fermat's Last Theorem-  title=The Proof The title of one edition of the PBS television series NOVA discusses Andrew Wiles's effort to prove Fermat's Last Theorem that broadcast on BBC Horizon and UTV/Documentary as  Fermat's Last Theorem (Adobe Flash) -  Wiles, Ribet, Shimura–Taniyama–Weil and Fermat's Last Theorem- Are mathematicians finally satisfied with Andrew Wiles's proof of Fermat's Last Theorem? Why has this theorem been so difficult to prove?, Scientific American, 21 October 1999

**ワイルズの証明の解説**
  Overview of Wiles proof, accessible to non-experts, by Henri Darmon-  very short summary of the proof by Charles Daney-  140 page students work-through of the proof, with exercises, by Nigel Boston
__目次強制__