谷山–志村予想

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動

数学において、谷山・志村予想(たにやましむらよそう、Taniyama–Shimura conjecture)は、「すべての有理数体上に定義された楕円曲線モジュラーである」という主張であり、アンドリュー・ワイルズとその弟子クリストフ・ブロイル英語版ブライアン・コンラッド英語版フレッド・ダイアモンド英語版リチャード・テイラーらによって証明された。

今日ではモジュラー性定理またはモジュラリティ定理 (modularity theorem) と呼ばれ、数論における一つの帰結と考えられている。ワイルズは半安定楕円曲線における谷山・志村予想を証明することで、フェルマーの最終定理も証明した。

モジュラリティ定理は、ロバート・ラングランズによるより一般的な予想の特別な場合でもある。ラングランズ・プログラムは、保型形式、あるいは保型表現(適切なモジュラ形式の一般化)を、例えば数体上の任意の楕円曲線のような、より一般的な数論的代数幾何学の対象へ関連付けようとする。拡張された予想のうち、ほとんどのケースは未だ証明されていないが、Freitas, Le Hung & Siksek (2015) が実二次体上定義された楕円曲線がモジュラーであることを証明した。

谷山・志村予想の内容[編集]

谷山・志村予想とは、任意の Q 上の楕円曲線は、ある整数 N に対する古典的モジュラー曲線英語版(classical modular curve)

からの整数係数を持つ有理写像英語版(rational map)を通して得ることができる。この曲線には明示的に定義が与えられ、整数係数を持つ。Level N のモジュラのパラメタ表示と呼ばれる。N がそのようなパラメタ表示の中で最小の整数(モジュラリティ定理自体により、導手という数値として知られる)であれば、このパラメタ表示は、Weight 2 とLevel N の特殊なモジュラ形式、すなわち、(必要であれば同種に従い)正規化された 整数のq-展開をもつ新形式英語版(newform)の生成する写像として、定義される。

モジュラリティ定理は、次の解析的なステートメントと密接に関連する。Q 上の楕円曲線 E に楕円曲線のL-函数を対応させる。このL-函数は、ディリクレ級数であり、

と表すことができる。

従って、係数 母函数は、

である。

を代入すると、複素変数 τ の函数 フーリエ展開の形に書くことができ、従って、q-展開の係数は のフーリエと考えることができる。この方法で得られた函数は、注目すべきことに、ウェイト 2 でレベル N のカスプ形式であり、(モジュラ形式でもあるので)ヘッケ作用素の固有ベクトルとなっている。これがハッセ・ヴェイユ予想(Hasse–Weil conjecture)であり、モジュラリティ定理より従うこととなる。

逆に、ウェイト 2 のモジュラ形式は、楕円曲線の正則微分英語版(holomorphic differential)に対応する。モジュラ曲線のヤコビ多様体は、同種を同一視すると、ウェイト 2 のヘッケ固有形式に対応する既約アーベル多様体の積として書くことができる。1-次元要素は楕円曲線である。(高次元要素も存在し、すべてではないが、ヘッケ固有形式が有理楕円曲線へ対応する。)曲線は、対応するカスプ形式より得られるので、この方法で構成された曲線は、元々の曲線と同種である(一般には同型にはならない)。

モジュラーな楕円曲線[編集]

以下のような手続きでから作られる楕円曲線のことをモジュラーな楕円曲線と呼ぶ。ただし、は、モジュラー曲線[1]カスプ(cusp、尖点)を加えてコンパクト化したリーマン面[2] (ここでは任意の整数であることを表す)、 は上半平面、 [3][2]である。

ヤコビアン[編集]

モジュラーな楕円曲線の説明のためには、まずリーマン面のヤコビアン(Jacobian、ヤコビ多様体(Jacobian variety)とも言う。)の定義から始める必要がある。 リーマン面 のヤコビアン を以下のように定義する。

ただし、 上で定義された正則な1形式の集合。 は、その双対空間、 は、 上の1次のホモロジー群である。 の要素は、具体的には、

で与えられる[4]。ただし、は実数、はそれぞれ、-ループ、-ループ、 の種数である。 または、アーベルの定理を適用して、

と考えてもよい[5]。ただし、上のパスである。また、の要素は

で与えられる[4]は整数環を表す。 このような定義は、リーマン面 上の経路積分が、途中に任意のループ上の積分を含んでも結果が不変であることを要求することで自然に現れる。

特に がコンパクト化されたモジュラー曲線の場合は、この定義を別の等価な定義に書き換えることができる。 この場合、 の要素は、 ウェイト 2 のカスプ形式 と強く結びついていることがわかる。ただし、 は ウェイト のカスプ形式の集合を表している。

与えられた から作られる 1形式 は一意であり (本質的に、 に等しい[6]。 ここで、である。)、 したがって、写像

は同相写像である。よって、その双対写像

もまた同相写像である。 このことを用いて、 がコンパクト化されたモジュラー曲線である場合、以下のように等価なヤコビアンの定義を 導くことが出来る。 の合同部分群、 に対応するモジュラー曲線(コンパクト化された)とする。 この時、 のヤコビアンを

によって定義する[6]。 ここで、は、

のことである[6]。 また、 を略記したものである[6]

モジュラー曲線を直接扱わずヤコビアンを扱うことには以下のような理由があることを留意すべきである。1つは、モジュラー曲線にカスプを加えてコンパクト化したリーマン面は一般に種数 であり、 の場合、群構造を持たなくなるのに対して、ヤコビアンの方はその場合でも群構造を持っているので扱いやすい点[7]と、もう1つはモジュラー曲線をヤコビアンに埋め込むことができる[5]点である。

アーベル多様体[編集]

さらに、新形式英語版(new form)に対して、アーベル多様体

によって定義する[8]。ただし、は、

は、整数係数のヘッケ環である。

ここで、は整数環、ヘッケ作用素はダイアモンド作用素である[9]。(アーベル多様体の次元はである。ただし、数体である[10])[11]

ヘッケ作用素のヤコビアンへの作用は、次のように定義される。今、ヘッケ作用素とダイアモンド作用素をまとめてと書き、このもヘッケ作用素と呼ぶことにする。この時、ヘッケ作用素のヤコビアンへの作用は次のようになることがわかる[12]

これは、double coset operatorの定義と、ヘッケ作用素がdouble coset operatorの特殊な場合であることから導かれる[12]。なお、記号は同値類の意味である。

ヤコビアンの分解[編集]

この時、ヤコビアンは、ヘッケ作用素によって次のように分解される[8]

ここで、に関する和は、新形式に 入れたある同値関係によって分類される同値類の代表元についての和[13][8]の約数、の約数の数である[13]。 また、写像は、同種(isogeny, 2つのトーラス間に成立する正則な準同型写像のこと。ここで、トーラスは必ずしも種数でなくてよい。)の意味である[8]

次元アーベル多様体であるから複素トーラスに同相、したがって楕円曲線に同相である。このようにして構成された楕円曲線(に同種な楕円曲線)をモジュラーな楕円曲線と言う[14]

与えられた、有理数係数を持ったからモジュラーな楕円曲線の方程式を構成するアルゴリズムについては文献[15]を参照せよ。

経緯[編集]

谷山・志村予想は、1955年9月に日光の国際シンポジウムで谷山豊が提出した2つの「問題」(問題12と問題13)を原型とする[16]。これらの問題が互いに関連しているらしいことは谷山も気付いていたが、実は同じ命題の言い換えであることが後に判明した。谷山自身は若くして自殺したため、1960年代に谷山の盟友である志村五郎によって、代数幾何学的な解釈によって正確に定式化された[17][18]。その後、1967年のヴェイユによる研究によって広く知られるようになった[17]

内容的に「ゼータの統一」というテーマを扱う豪快な予想であり、数論の中心に位置するものの一つと目されるまでにいたったが、攻略自体は絶望視されていた。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)

呼称に関する議論[編集]

ヨーロッパの数学界にこの予想を最初に持ち込んだのが当時の数学界の権威であったアンドレ・ヴェイユであったため、欧米ではこの予想の呼称は「谷山=志村=ヴェイユ予想」「谷山=ヴェイユ予想」「ヴェイユ予想」と呼ばれることもある。しかし、数学者のサージ・ラングは谷山・志村予想の調査・研究を進めた上で、ヴェイユはこの予想には何の貢献もしていないことを明らかにした[19][20]。ちなみに普通ヴェイユ予想といえば非特異代数多様体上の合同ゼータ関数に関する定理のことをさす。

また志村は『記憶の切繪図』(筑摩書房、2008年)のなかで「有理数体上の楕円曲線はモジュラー関数で一意化される」という命題を「私の予想」と呼んでおり、谷山が1955年に提案した問題とは無関係だとしている。志村は

ここで「有理数体上の楕円曲線はモジュラー関数で一意化される」という私の予想について説明しておこう。これは一九六四年九月頃に私がふたりの数学者に話したもので、その事はよく知られている。この予想はその三十数年後に証明されて、今では定理になっている。 ところで、これに関係ある言明を谷山豊がしているが、その意味と上記の私の言ったこととの関係を完全に理解している人は数学者も含めてほとんどいないのではないかと思われるので、その事を詳しく説明しよう。また私の口からはっきり言ってほしいと思っている人も多いであろう。
(中略)
私はこの問題に関する限り谷山と議論したことはない。はじめに書いたように私は私流の理論をひとりで構築していたから、彼のこの言明には全く重きをおいていなかった。その上、モジュラー関数以外のヘッケのいう保型形式は役に立たないと始から考えていたから無視していた。実はそれ以外に重要な保型形式があるが、そのことはここで考えない。また私は谷山と共著の本があるが、それは全く無関係である。もうひとつ書くと、一九五五年以後一九六〇年代にかけて、そういう代数曲線のゼータ関数を研究し、それを決定するなどという研究をしたのはおそらく私ひとりであったと思われる。谷山はそういうことはやらなかった。彼はヘッケの論文は読んでいたが、一変数の保型形式・関数の理論を自分のものにしていなかったように思われる。…

と述べている[21]

出典[編集]

  1. ^ Diamond and Schurman 2005, p. 38.
  2. ^ a b Diamond and Schurman 2005, p. 58.
  3. ^ Diamond and Schurman 2005, p. 13.
  4. ^ a b Diamond and Schurman 2005, p. 213.
  5. ^ a b Diamond and Schurman 2005, p. 215.
  6. ^ a b c d Diamond and Schurman 2005, p. 227.
  7. ^ Diamond and Schurman 2005, p. 211.
  8. ^ a b c d Diamond and Schurman 2005, p. 246.
  9. ^ Diamond and Schurman 2005, p. 241.
  10. ^ Diamond and Schurman 2005, p. 234.
  11. ^ Diamond and Schurman 2005, p. 359.
  12. ^ a b Diamond and Schurman 2005, p. 229.
  13. ^ a b Diamond and Schurman 2005, p. 244.
  14. ^ 黒川ほか 2005, p. 590.
  15. ^ J.E. Cremona, Algorithms for Modular Elliptic Curves(second edition), Cambridge University Press, 1997, ISBN 978-0521598200.
  16. ^ 足立恒雄『フェルマーの大定理:整数論の源流』、ちくま学芸文庫、2006年、ISBN 4-480-09012-6、pp. 312–313.
  17. ^ a b 黒川ほか 2005, p. 589.
  18. ^ 黒川ほか 2005, p. 591.
  19. ^ 足立 1995, pp. 189-191.
  20. ^ ラング 1995.
  21. ^ 志村 2008, pp. 250-251.

参考文献[編集]

  • F. Diamond and J. Schurman, A First Course in Modular Forms, Springer Verlag, 2005, ISBN 978-1441920058
  • Freitas, Nuno; Le Hung, Bao V.; Siksek, Samir (2015), “Elliptic curves over real quadratic fields are modular”, Inventiones Mathematicae英語版 201 (1): 159–206, arXiv:1310.7088, Bibcode2015InMat.201..159F, doi:10.1007/s00222-014-0550-z, ISSN 0020-9910, MR3359051 
  • 黒川重信、栗原将人、斎藤毅『数論II 岩澤理論と保型形式』岩波書店、2005年、ISBN 4-00005528-3

導手について

外部リンク[編集]