Loading AI tools
数学の予想 ウィキペディアから
谷山–志村予想(たにやましむらよそう、英: Taniyama–Shimura conjecture)とは、「有理数体上に定義された楕円曲線はすべてモジュラーであろう」という予想である。1955年に日本の数学者の谷山豊によって提起され、1960年代以降に数学者の志村五郎によって定式化された。
この予想はアンドリュー・ワイルズとクリストフ・ブルイユ、ブライアン・コンラッド、フレッド・ダイアモンド、リチャード・テイラーらによって証明された[注釈 1]。今日ではモジュラー性定理またはモジュラリティ定理(modularity theorem)と呼ばれ[1]、20世紀数学の快挙の一つとされている[2]。ワイルズは半安定楕円曲線に対する谷山・志村予想を証明することでフェルマーの最終定理を証明した[3]。
モジュラリティ定理は、ロバート・ラングランズによるより一般的な予想の特別な場合でもある[4]。ラングランズ・プログラムは、保型形式、あるいは保型表現(適切なモジュラ形式の一般化)を、例えば数体上の任意の楕円曲線のような、より一般的な数論的代数幾何学の対象へ関連付けようとする[5]。拡張された予想のうち、ほとんどのケースは未だ証明されていない[6]が、Freitas, Le Hung & Siksek (2015) が実二次体上定義された楕円曲線がモジュラーであることを証明した。
![]() | この節の文章は日本語として不自然な表現、または文意がつかみづらい状態になっています。 |
谷山・志村予想とは、志村五郎による定式化によれば[注釈 2]、任意の Q 上の楕円曲線には、ある整数 N に対するモジュラー曲線
からの非定数有理写像が存在する、というものである[7][注釈 3]。この曲線には明示的に定義が与えられ、整数係数を持つ[要説明][注釈 4]。レベル N のモジュラのパラメタ表示[訳語疑問点](modular parametrization)と呼ばれる[9][10]。N がそのようなパラメタ表示の中で最小の整数(モジュラリティ定理自体により、導手という数値として知られる[注釈 5])であれば、このパラメタ表示は、重さ 2 でレベル N の特殊なモジュラ形式、すなわち、(必要であれば同種に従い[注釈 6][注釈 7])正規化された整数のq-展開をもつ[注釈 8]新形式(newform)の生成する写像として、定義される[注釈 9]。
モジュラリティ定理は、次の谷山豊による解析的なステートメントにも言い換えられる[注釈 10]。Q 上の楕円曲線 E の楕円曲線のL-函数を L(s, E) とする。このL-函数は、ディリクレ級数であり、
と表すことができる。
係数 の一種の母函数を
で定義する。q に
を代入すると、上半平面上の複素変数 τ の函数 が得られる。これは一種のフーリエ級数である。このようにして得られた函数が、重さ 2 でレベル N の新形式[13]、特に正規化されたカスプ形式でありヘッケ作用素の同時固有形式である[14]、というのがモジュラリティ定理の別の述べ方である。これから E に対するハッセ・ヴェイユ予想(Hasse–Weil conjecture)が従う[13]。
逆に、重さ 2 の有理数係数の新形式は、有理数体上定義された楕円曲線の正則微分(holomorphic differential)に対応する[15]。モジュラ曲線のヤコビ多様体は、同種による違いを除くと、重さ 2 のヘッケ固有形式に対応する既約アーベル多様体の積として書くことができる[16]。1-次元要素は楕円曲線である。(高次元要素も存在するので、この積表示に出てくるアーベル多様体がすべて楕円曲線であるわけではない。有理数係数のヘッケ固有形式に対応するアーベル多様体が楕円曲線になっている。)有理数体上の楕円曲線の L 函数に対応するカスプ形式からこの方法で構成される楕円曲線は、元々の曲線と同種である(一般には同型にはならない)[注釈 11]。
楕円曲線がモジュラーな楕円曲線であるとはモジュラー曲線から射影代数曲線としての全射があること、と説明するのが最も簡潔である。これは上のL函数の一致という定義と同値である。またヤコビ多様体を使った言い換えも出来る。以下ではそれを説明する。
リーマン面 のヤコビアン(Jacobian(もしくはヤコビ多様体)は がコンパクト化されたモジュラー曲線である場合にはより明示的な表示が出来る。
この場合、 の要素は、 ウェイト 2 のカスプ形式 たと強く結びついている。
与えられたから作られる 1形式 は一意的 (本質的に、 に等しい[18])。つまり、写像
は同相である。よって、その双対写像
もまた同相であるからはと同一視出来る。よって次のような定義は妥当である;
[19]。
モジュラー曲線を直接扱わずヤコビアンを扱うことには以下のような理由があることを留意すべきである。1つは、モジュラー曲線にカスプを加えてコンパクト化したリーマン面は一般に種数 であり、 の場合、群構造を持たなくなるのに対して、ヤコビアンの方はその場合でも群構造を持っているので扱いやすい点[20]と、もう1つはモジュラー曲線をヤコビアンに埋め込むことができる[21]点である。
新形式(new form)に対して、アーベル多様体 を
によって定義する[22]。ただし、は、
ここでをヘッケ作用素、をダイアモンド作用素[23]である。即ちは整数係数のヘッケ環である。 (アーベル多様体の次元はである。ただし、はの数体である[24])[25]。
ここでをまたはとするとき、これはヤコビアンに以下のように作用する[26]。
これは、double coset operatorの定義と、ヘッケ作用素がdouble coset operatorの特殊な場合であることから導かれる[26]。なお、記号は同値類の意味である。
この時、ヤコビアンは、ヘッケ作用素によって次のように分解される[22]。
ここで、に関する和は、新形式に 入れたある同値関係によって分類される同値類の代表元についての和[16][22]、 はの約数、はの約数の数である[16]。 また、写像は、同種(isogeny, 2つのトーラス間に成立する正則な準同型写像のこと。ここで、トーラスは必ずしも種数でなくてよい。)の意味である[22]。
は次元アーベル多様体であるから複素トーラスに同相、したがって楕円曲線に同相である。このようにして構成された楕円曲線(に同種な楕円曲線)をモジュラーな楕円曲線と言う[27]。
与えられた、有理数係数を持ったからモジュラーな楕円曲線の方程式を構成するアルゴリズムについては文献[28]を参照せよ。
1955年、「代数的整数論に関する国際会議」が9月8日から9月13日までの日程で東京と日光を会場として開催された[29]。外国からはアンドレ・ヴェイユやジャン=ピエール・セールが招かれ、日本からは志村五郎や谷山豊が参加した。この会議で多くの人から問題が集められ配布された[30]。その中で谷山は次の問題を(他の問題とともに)提出した。
問題12. を代数体 上で定義された楕円曲線とし 上 の -函数を とかく:
- 〔ママ〕
は 上 の zeta 函数である. もし Hasse の予想が に対し正しいとすれば, より Mellin 逆変換で得られる Fourier 級数は特別な形の −2 次元の automorphic form でなければならない. (cf. Hecke) もしそうであればこの形式はその automorphic function の体の楕円微分となることは非常に確からしい.
さて, に対する Hasse の予想の証明は上のような考察を逆にたどって, が得られるような適当な automorphic form を見出すことによつて可能であろうか.(谷山 豊)[31]
問題12を谷山・志村予想の端緒・原型と考える人もいる[32][33]。足立は、問題13を「モデュラー曲線でパラメトライズされる楕円曲線を特徴づけよ」という問題だと解釈したうえで、これは問題12と同値であるとし、これらの問題を谷山・志村予想の原型としている[34][35]。
一方、志村は、谷山の問題をこの予想の起源と見ることもできるかもしれない[36]が、『記憶の切繪図』(筑摩書房、2008年)のなかで「有理数体上の楕円曲線はモジュラー関数で一意化される」という命題を「私の予想」と呼んでおり、谷山が1955年に提案した問題とは無関係だとしている。志村は
と述べている[37]。
また志村は谷山の問題12の問題点を次のように指摘している。まず、問題12では任意の代数体上の楕円曲線の L 関数について言及しているが、有理数体上の楕円曲線に限定しなければ意味がない[38]。なぜ谷山が有理数体に限定しなかったかというと、問題13に見られるように谷山はモジュラー形式と虚数乗法論の関係に興味を持っていたので、問題12においても虚数乗法を持つ楕円曲線が考察の対象として含まれるようにしたかったのではないか、と志村は想像している[39]。また、問題12で谷山が述べている automorphic form はモジュラー形式よりもはるかに一般的な関数を念頭においたものだという[38]。志村は、谷山は問題12を述べるにあたって細心の注意を払っていなかったのではないか、と言っている[38]。
「代数的整数論に関する国際会議」が開催されていた1955年9月12日の夜、昼間に行われた志村、谷山、ヴェイユらの講演により虚数乗法論に予想外の進展があったため、ヴェイユの発案で「虚数乗法に関する非公式討論会」が行われた[40]。この討論会は前述の3名を含む30名ばかりが集まって行われた[40]。この討論会において、谷山とヴェイユは次の会話をしている(「W」はヴェイユ)。
W. 楕円函数は全部, modular 函数で一意化されると思うか?
谷山. Modular 函数だけでは駄目だろう. 別の特別な型の automorphic function も必要だと思う.
W. もちろんそれで或るものはできるだろう. しかし一般の場合は, 今までとは全く違い, 全く神秘的に見える. ... — 本会議記録 (1956, p. 228)
志村は、この記録を一つの根拠に、ヴェイユは谷山・志村予想の正しさを信じていなかった、という[41]。
足立は、この記録を根拠に、ヴェイユがこうした問題に十分関心を持っていたことは明らかだ、という[42]。
1958年11月17日の月曜日の朝、谷山は若くして自殺する[43]。
1960年代の前半、モジュラーな楕円曲線は有理数体上定義された楕円曲線のうちのほんの一部に過ぎないと広く思い込まれていた[44]。ただ一人の例外は志村であった。
1964年[12][注釈 13]、プリンストン高等学術研究所で催されたあるパーティーでのことだった[44]。セールが志村のところにやってきて、「あなたのモジュラー曲線についての研究結果はそんなにいいものではない、なぜなら有理数体上定義された任意の楕円曲線に対して適用できるものではないのだから」と言ったという。志村はセールに「そのような曲線(有理数体上定義された任意の楕円曲線のこと)はすべてモジュラー曲線のヤコビ多様体の商になると思っている」と返答したという。数日後、ヴェイユが志村のところにやってきて、本当にそんなことを言ったのか、と尋ねた。志村は「ええ。もっともらしいとは思いませんか?」と返答したという。
ヴェイユは1979年に出版されたヴェイユ全集のコメントの中でこのような会話があったことを肯定している[45]。そしてこの予想について考えたあと、後述する1967年の論文を公表した。
一方セールは、このような会話があったことは十分に考えられるが、本当にあったかどうかはわからない、という[46]。もし志村がすべての楕円曲線がモジュラーであることの根拠を少しでも述べていたら印象に残り覚えていただろうが、そうではなかったので(本当にこのような会話があったとしても)記憶に残らなかったのだろう、と言っている。
ヴェイユは志村から聞いた予想について考え、論文「関数等式によるディリクレ級数の決定について」を発表した[45][注釈 14]。この論文で楕円曲線のゼータ関数とその十分多くの twist が関数等式を持つならばそれはモジュラー形式のメリン変換から得られることが証明された。
さらにこの論文の中で彼は、そのモジュラー形式のレベルは楕円曲線の導手でなければならないことも示唆した[48]。これによって楕円曲線がモジュラーであるかどうか数値的に検証することができるようになった。
1966年の夏、ヴェイユはこのことをセールにコーヒーハウスで説明した[49]。セールはそのときのことを鮮明に覚えているという。色々な事実が噛み合いはじめ、歯車が回り始めた。なぜ導手が1の楕円曲線が存在しないのか?それはモジュラー曲線 X0(1) の種数が0だからだ!セールは家に帰って小さな導手を持つ楕円曲線をチェックしてみた。導手 N が11未満の楕円曲線は無く、16の楕円曲線も無かった。このことはそのレベルのモジュラー曲線 X0(N) の種数が0であることと符号していた。数時間の内にセールは谷山・志村予想が正しいことを確信するに至った。
一方、ヴェイユはこの予想が成立するかどうかは依然疑わしいとこの論文に書いた[45]。そしてこれについては「興味ある読者への演習問題としよう」という冗談[48]でこの論文を締めくくった。
ヴェイユのこの研究によってこの予想は広く知られるようになった[33]。谷山の問題のことは忘れられていたので、この論文の公表から10年間、この予想はヴェイユ予想と呼ばれることになる[49][注釈 15]。
1976年頃、セールは谷山全集のコピーを買った[49]。そして問題12の日本語版が全集に収録されているものの英語版は収録されていないことに気付いた。そこで1977年に公表した 𝓁 進表現についての論文の中で谷山の問題12の1955年英語版を再掲した。英語版の谷山の問題が広く公開されたのはこのときがはじめてであっただろうと言われている[50][注釈 16]。このときからセールはこの予想をヴェイユ予想と呼ぶのをやめ谷山・ヴェイユ予想と呼ぶようになった[49]。セールは「このせいで呼称に関する苦い論争に巻き込まれることになってしまった」と言っている。
70年代においても、この予想の成立に志村が果たした役割はまだ十分に認識されていなかった[45]。理由の一つに、志村が出版物の中でこの予想に言及したことがないことがあげられる。
1986年の夏、ケン・リベットがセールの ε 予想を証明した[51]。これから、フェルマー予想を証明するには半安定楕円曲線に対する谷山・志村予想を証明すればよいことになった。
この頃、サージ・ラングは次のような会話がヴェイユと志村の間で交わされたとセールから聞いた[52]。
このような会話が本当にあったのかどうか、ラングは志村とヴェイユに確認を取った。1986年8月13日に志村から返信があった。彼の回答は「このような会話がなされるはずがない」という断定的なものだった。志村はその根拠として1967年の論文でヴェイユは谷山・志村予想の成立に懐疑的なコメントをしていることをあげた。
ラングは志村の返信をセールとヴェイユに送りコメントを求めた。8月16日にセールから返信があった。セールは、彼の話の裏を取ろうとするラングの試みを非難した。セールとのやり取りの中でラングはセールに「これ以上間違ったストーリーを拡散するのはやめてくれ」と頼んだ。セールは最後に一言「手紙と志村の手紙のコピーを送ってくれてありがとう。とてもためになった」と返信し、これでやりとりは打ち切られた。
1986年の12月はじめのある晩、志村は妻と食事をしていた[53]。なぜそうなったのかは思い出せないが谷山の話をしていた、と志村はいう。食事が終わりそこで会話は終わったが、志村は谷山のことが頭から離れなかった。突然、志村の目から涙が溢れてきた。谷山が可哀想でたまらなかったからだという。そして翌日から谷山との思い出話を書き始め、10日ほどでひとまず書き終わった。この文章は1989年に「谷山豊と彼の時代、非常に個人的な回想」[54]というタイトルでロンドン数学会の会報で発表された。この記事の最後に谷山の問題についての言及があるが、これは編集者から要請があったからだという。
ラング (1995) にはセール、ヴェイユ、志村の手紙からの引用が複数あるが、これらの手紙の日付はすべて1986年8月から12月までの間になっている。
差出人 | 宛先 | 日付 | 引用箇所 |
---|---|---|---|
志村 | ラング | 1986年8月13日 | p. 1303, 1306 |
志村 | Shahidi | 1986年9月16日 | p. 1303, 1304, 1305 |
志村 | ラング | 1986年9月22日 | p. 1302 |
セール | ラング | 1986年8月16日 | p. 1306 |
セール | ラング | 1986年9月11日 | p. 1306 |
ヴェイユ | ラング | 1986年12月3日 | p. 1306 |
1990年代、「ヴェイユ予想」「谷山・ヴェイユ予想」と呼ばれてきたこの予想の名称からヴェイユの名前を排除すべく、ラングは大々的なキャンペーンを開始した[49]。ラングは30年にわたってこの予想の歴史が誤って語られ続け当事者達に対する正当な評価が行われてこなかったとし、自身で行った調査をもとにこの予想を谷山・志村予想と呼ぶことにした[55]。ラングは1995年に発表した記事の導入部でセールが1995年6月のブルバキ・セミナーにおいて語った呼称の由来は間違ってるとまず指摘し[55]、1986年の「ためになった」という返信は何だったのか、と糾弾する[56]。さらにゲルト・ファルティングスが「谷山・ヴェイユ予想(本質的には志村による)」と矛盾した言い回しを用いたことに言及する。そしてこうした混乱が生じた主な原因はヴェイユが1967年の論文でこの予想の来歴をきちんと書かずようやく1979年になってから全集のコメントに書いたからだ、と結論した[45]。
ラングのキャンペーンの結果、この予想を「谷山・志村予想」と異なる名称で呼ぶことは憚られるようになった[57]。今では多くの人がこの予想を谷山・志村予想と呼んでいる[58]。
しかしすべての数学者がラングの意見に同調しているわけではない。
足立は、予想の呼称をどうするかは重要ではないが[59]、日光シンポジウムにおけるヴェイユの指導的役割やこの周辺の問題における大きな業績、例えば楕円曲線の導手 N をこの問題に関連づけたことなどを鑑みるならば「谷山=志村=ヴェイユ予想」という呼称もおかしなものではないとし[42]、1995年の著書においてはこの呼称を採用している。
ローゼンは次の点を指摘する[60]。
そして、この予想を「ヴェイユ予想」と呼びすべてをヴェイユの貢献としてしまうのは不公平であるが、ヴェイユの名前を抜くのも不公平であり、それでは正しく歴史を反映した呼称にならない、「谷山・志村・ヴェイユ予想」という呼称が当事者たち全員に対する正当な評価を反映した呼称だろう、という[50]。
ローゼンの意見にラングは、様々な事実が明るみになりヴェイユ自身が結論を下しているにもかかわらずヴェイユの結論を受け入れない人がいるのは遺憾なことだ、とコメントした[61]。
セールは、呼称についての議論をあまり真剣に行う必要はないが、谷山・ヴェイユ予想という呼称のほうがより正確だと思う、と言っている[49]。
2000年の3月、セールはデイヴィッド・ゴスに宛てた手紙の中でこの予想の来歴について説明し、手紙の最後に「あなたのご提案のとおり、モジュラリティ予想の方がいいかもしれませんね?」と書いた[49]。Milne (2006, p. 210) には、最近ではこの呼称が使われている、と書かれている。
内容的に「ゼータの統一」というテーマを扱う豪快な予想であり、数論の中心に位置するものの一つと目されるまでにいたったが、攻略自体は絶望視されていた。1984年秋、この予想からフェルマーの最終定理が出るというアイディアがゲルハルト・フライにより提示され、セールによる定式化を経て(フライ・セールのイプシロン予想)、1986年夏にケン・リベットによって証明されたことにより俄然注目を集めたが、アンドリュー・ワイルズを除いては、まともに挑もうとする数学者は依然として現れなかった。
アンドリュー・ワイルズ(Andrew Wiles、プリンストン大学教授)により、この予想はまず半安定な場合について解決された(1993~1995年)。ワイルズが1993年に発表した証明には一箇所致命的なギャップが存在したため、その修正に当ってはリチャード・テイラー(Richard Taylor)も貢献した。1994年9月、ワイルズはギャップを回避することに成功し、修正された証明は翌1995年に2編の論文として出版された Wiles (1995a) Wiles (1995b)。このことにより、ワイルズは谷山・志村予想の系であるフェルマー予想をも解決した。
一般の場合については2001年にリチャード・テイラー(ハーバード大学教授)、ブライアン・コンラッド(ミシガン大学教授)、フレッド・ダイアモンド(ブランダイス大学教授)、クリストフ・ブルイユ(IHES長期研究員)の4人による共著論文On the modularity of elliptic curves over Qにより肯定的に解決されたDiamond (1996), Conrad, Diamond & Taylor (1999), Breuil et al. (2001)。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.