谷山–志村予想

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

今日ではモジュラー性定理またはモジュラリティ定理（modularity theorem）と呼ばれ、20世紀数学の快挙の一つとされている。ワイルズは半安定楕円曲線に対する谷山・志村予想を証明することでフェルマーの最終定理を証明した。

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

谷山・志村予想の内容

谷山・志村予想とは、志村五郎による定式化によれば、任意の Q 上の楕円曲線には、ある整数 N に対するモジュラー曲線

$X_{0}(N)\$

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

モジュラリティ定理は、次の谷山豊による解析的なステートメントにも言い換えられる。Q 上の楕円曲線 E の楕円曲線のL-函数を L(s, E) とする。このL-函数は、ディリクレ級数であり、

$L(s,E)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}$

と表すことができる。

係数 $a_{n}$ の一種の母函数を

$f(q,E)=\sum _{n=1}^{\infty }a_{n}q^{n}$

で定義する。q に

$q=e^{2\pi i\tau }\$

を代入すると、上半平面上の複素変数 τ の函数 $f(\tau ,E)$ が得られる。これは一種のフーリエ級数である。このようにして得られた函数が、重さ 2 でレベル N の新形式、特に正規化されたカスプ形式でありヘッケ作用素の同時固有形式である、というのがモジュラリティ定理の別の述べ方である。これから E に対するハッセ・ヴェイユ予想(Hasse–Weil conjecture)が従う。

逆に、重さ 2 の有理数係数の新形式は、有理数体上定義された楕円曲線の正則微分(holomorphic differential)に対応する。モジュラ曲線のヤコビ多様体は、同種による違いを除くと、重さ 2 のヘッケ固有形式に対応する既約アーベル多様体の積として書くことができる。1-次元要素は楕円曲線である。（高次元要素も存在するので、この積表示に出てくるアーベル多様体がすべて楕円曲線であるわけではない。有理数係数のヘッケ固有形式に対応するアーベル多様体が楕円曲線になっている。）有理数体上の楕円曲線の L 函数に対応するカスプ形式からこの方法で構成される楕円曲線は、元々の曲線と同種である（一般には同型にはならない）。

モジュラーな楕円曲線

楕円曲線$E$がモジュラーな楕円曲線であるとはモジュラー曲線$X_{0}\left(N\right)$から射影代数曲線としての全射$X_{0}\left(N\right)\to E$があること、と説明するのが最も簡潔である。これは上のL函数の一致という定義と同値である。またヤコビ多様体を使った言い換えも出来る。以下ではそれを説明する。

モジュラー曲線のヤコビアン

リーマン面 $X$のヤコビアン(Jacobian（もしくはヤコビ多様体）は $X$ がコンパクト化されたモジュラー曲線$X\left(\Gamma \right)$である場合にはより明示的な表示が出来る。

この場合、$\Omega _{hol}^{1}\left(X\right)$ の要素は、 ウェイト 2 のカスプ形式 た$f\in {\mathcal {S}}_{2}\left(\Gamma \right)$と強く結びついている。

与えられた$f\in {\mathcal {S}}_{2}\left(\Gamma \right)$から作られる 1形式 $\omega \left(f\right)$ は一意的 (本質的に、$f(\tau )d\tau$ に等しい)。つまり、写像

$\omega :{\mathcal {S}}_{2}\left(\Gamma \right)\rightarrow \Omega _{hol}^{1}\left(X\right),$

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

$\omega ^{\wedge }:\Omega _{hol}^{1}\left(X\right)^{\wedge }\rightarrow {\mathcal {S}}_{2}\left(\Gamma \right)^{\wedge },$

もまた同相であるから${\mathcal {S}}_{2}\left(\Gamma \right)^{\wedge }$は$\Omega _{hol}^{1}\left(X\left(\Gamma \right)\right)^{\wedge }$と同一視出来る。よって次のような定義は妥当である；

$\mathrm {Jac} (X\left(\Gamma \right)):={\mathcal {S}}_{2}\left(\Gamma \right)^{\wedge }/\omega ^{\wedge }\left(H_{1}\left(X\left(\Gamma \right),\mathbb {Z} \right)\right)$ 。

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

新形式に付随するアーベル多様体

新形式(new form)$f\in {\mathcal {S}}_{2}\left(\Gamma _{0}\left(N\right)\right)$に対して、アーベル多様体 $A_{f}$を

$A_{f}:=J_{0}\left(N\right)/I_{f}J_{0}\left(N\right),$

によって定義する。ただし、$I_{f}$は、

$I_{f}:=\{T\in \mathbb {T} _{Z}:=\mathbb {Z} [T_{p},\langle d\rangle ]|Tf=0\}$。

ここで$T_{p}$をヘッケ作用素、$\langle d\rangle$をダイアモンド作用素である。即ち$\mathbb {T} _{Z}$は整数係数のヘッケ環である。 (アーベル多様体$A_{f}$の次元は$\mathbb {[K} _{f}:\mathbb {Q} ]=1$である。ただし、$K_{f}:=\mathbb {Q} \left(\{a_{n}\}\right)$は$f(\tau )=\sum _{n=1}^{\infty }a_{n}q^{n}$の数体である)。

ここで$T$を$T_{p}$または$\langle d\rangle$とするとき、これはヤコビアン$J_{0}\left(N\right):=\mathrm {Jac} \left(X_{0}\left(N\right)\right)$に以下のように作用する。

$T:J_{0}\left(N\right)\rightarrow J_{0}\left(N\right),\quad [\varphi ]\mapsto [\varphi \circ T],\quad \varphi \in {\mathcal {S}}_{2}\left(\Gamma _{0}\left(N\right)\right)^{\wedge }.$

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

モジュラー曲線のヤコビアンの分解

この時、ヤコビアン$J_{0}\left(N\right):=\mathrm {Jac} (X_{0}\left(N\right))$は、ヘッケ作用素によって次のように分解される。

$J_{0}\rightarrow \bigoplus _{f}\left(A_{f}\right)^{m_{f}}.$

ここで、$f$に関する和は、新形式$f\in {\mathcal {S}}_{2}\left(\Gamma _{0}\left(M_{f}\right)\right)$に 入れたある同値関係によって分類される同値類の代表元についての和、 $M_{f}$は$N$の約数、$m_{f}$は$N/M_{f}$の約数の数である。 また、写像$\rightarrow$は、同種(isogeny, 2つのトーラス間に成立する正則な準同型写像のこと。ここで、トーラスは必ずしも種数$g=1$でなくてよい。)の意味である。

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

与えられた、有理数係数を持った$f\in {\mathcal {S}}_{2}$からモジュラーな楕円曲線の方程式を構成するアルゴリズムについては文献を参照せよ。

経緯

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

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

呼称に関する議論

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

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

ここで「有理数体上の楕円曲線はモジュラー関数で一意化される」という私の予想について説明しておこう。これは一九六四年九月頃に私がふたりの数学者に話したもので、その事はよく知られている。この予想はその三十数年後に証明されて、今では定理になっている。　ところで、これに関係ある言明を谷山豊がしているが、その意味と上記の私の言ったこととの関係を完全に理解している人は数学者も含めてほとんどいないのではないかと思われるので、その事を詳しく説明しよう。また私の口からはっきり言ってほしいと思っている人も多いであろう。

（中略）

私はこの問題に関する限り谷山と議論したことはない。はじめに書いたように私は私流の理論をひとりで構築していたから、彼のこの言明には全く重きをおいていなかった。その上、モジュラー関数以外のヘッケのいう保型形式は役に立たないと始から考えていたから無視していた。実はそれ以外に重要な保型形式があるが、そのことはここで考えない。また私は谷山と共著の本があるが、それは全く無関係である。もうひとつ書くと、一九五五年以後一九六〇年代にかけて、そういう代数曲線のゼータ関数を研究し、それを決定するなどという研究をしたのはおそらく私ひとりであったと思われる。谷山はそういうことはやらなかった。彼はヘッケの論文は読んでいたが、一変数の保型形式・関数の理論を自分のものにしていなかったように思われる。…

と述べている。

参考文献

• Diamond, F.; Schurman, J. (2005). A First Course in Modular Forms. Springer Verlag. ISBN 978-1441920058. https://books.google.co.jp/books?id=d8JS2Ui8iT8C 

• 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, Bibcode: 2015InMat.201..159F, doi:10.1007/s00222-014-0550-z, ISSN 0020-9910, MR3359051 
• 黒川重信、栗原将人、斎藤毅『数論II 岩澤理論と保型形式』岩波書店、2005年、ISBN 4-00005528-3。

導手について

• 平方因子を持たない場合 ワイルズ 1995
  • Andrew Wiles (May 1995). “Modular elliptic curves and Fermat's Last Theorem (モジュラー楕円曲線とフェルマーの最終定理)”. Annals of Mathematics 141 (3): pp. 443-551. http://math.stanford.edu/~lekheng/flt/wiles.pdf. 
  • Richard Taylor and Andrew Wiles (May 1995). “Ring-theoretic properties of certain Hecke algebras (ある種のヘッケ環の理論的性質)”. Annals of Mathematics 141 (3): pp. 553-572. http://math.stanford.edu/~lekheng/flt/taylor-wiles.pdf. 
• 27で割れない場合 リチャード・テイラー他 1999
  • Conrad, B.; Diamond, F.; Taylor, R. (1999). “Modularity of Certain Potentially Barsotti-Tate Galois Representations” (PDF). J. Amer. Math. Soc. 12: pp. 521-567. http://math.stanford.edu/~lekheng/flt/cdt.pdf. 
• 一般の場合
  • Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard (2001), “On the modularity of elliptic curves over Q: wild 3-adic exercises”, Journal of the American Mathematical Society 14 (4): pp. 843-939, doi:10.1090/S0894-0347-01-00370-8, ISSN 0894-0347, MR1839918 
• 足立恒雄『フェルマーの大定理が解けた! オイラーからワイルズの証明まで』講談社〈ブルーバックス〉、1995年6月20日。ISBN 4-06-257074-2。http://www.bookclub.kodansha.co.jp/bc2_bc/search_view.jsp?b=2570742。 
• 志村五郎『記憶の切繪図』筑摩書房、2008年6月。ISBN 978-4-480-86069-9。http://www.chikumashobo.co.jp/product/9784480860699/。 
• Lang, Serge (1995). “Some history of the Shimura-Taniyama conjecture” (PDF). Notices of the American Mathematical Society (AMS) 42 (11): pp. 1301-1307. http://www.ams.org/notices/199511/forum.pdf. 
• Breuil, Christophe; Conrad, Brian; Diamond, Fred; Taylor, Richard (2001), “On the modularity of elliptic curves over Q: 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, MR1839918 
• Conrad, Brian; Diamond, Fred; Taylor, Richard (1999), “Modularity of certain potentially Barsotti-Tate Galois representations”, Journal of the American Mathematical Society 12 (2): 521–567, doi:10.1090/S0894-0347-99-00287-8, ISSN 0894-0347, MR1639612 
• Darmon, Henri (1999), “A proof of the full Shimura-Taniyama-Weil conjecture is announced”, Notices of the American Mathematical Society 46 (11): 1397–1401, ISSN 0002-9920, MR1723249, http://www.ams.org/notices/199911/comm-darmon.pdf Contains a gentle introduction to the theorem and an outline of the proof.
• Diamond, Fred (1996), “On deformation rings and Hecke rings”, Annals of Mathematics. Second Series 144 (1): 137–166, doi:10.2307/2118586, ISSN 0003-486X, MR1405946 
• Taylor, Richard; Wiles, Andrew (1995), “Ring-theoretic properties of certain Hecke algebras”, Annals of Mathematics. Second Series 141 (3): 553–572, doi:10.2307/2118560, ISSN 0003-486X, MR1333036 
• Weil, André (1967), “Über die Bestimmung Dirichletscher Reihen durch Funktionalgleichungen”, Mathematische Annalen 168: 149–156, doi:10.1007/BF01361551, ISSN 0025-5831, MR0207658 
• Wiles, Andrew (1995a), “Modular elliptic curves and Fermat's last theorem”, Annals of Mathematics. Second Series 141 (3): 443–551, ISSN 0003-486X, JSTOR 2118559, MR1333035, https://jstor.org/stable/2118559 
• Wiles, Andrew (1995b), “Modular forms, elliptic curves, and Fermat's last theorem”, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), Basel, Boston, Berlin: Birkhäuser, pp. 243–245, MR1403925 
• Milne, J.S. (2006) (PDF). Elliptic Curves. https://www.jmilne.org/math/Books/ectext6.pdf 
• Knapp, Anthony W. (1992). Elliptic Curves. Math Notes. 40. Princeton University Press 

• 谷山豊ほか「問題」『数学』第7巻第4号、1956年、268–272頁、doi:10.11429/sugaku1947.7.268。 
• 飯高茂、吉田敬之「谷山-志村予想の由来」『数学』第46巻第2号、1994年、177–180頁、doi:10.11429/sugaku1947.46.177。 

• Zagier, Don (2008). “Elliptic Modular Forms and Their Applications”. In Jan Hendrik Bruinier, Gerard van der Geer, Günter Harder, Don Zagier, Kristian Ranestad (eds.). The 1-2-3 of Modular Forms: Lectures at a Summer School in Nordfjordeid, Norway. Universitext. Berlin, Heidelberg: Springer. p. 1–103. ISBN 978-3-540-74119-0. https://doi.org/10.1007/978-3-540-74119-0_1 
  • 著者のホームページで公開しているPDFファイル：Elliptic modular forms and their applications
• Langlands, Robert P. (1997). Where stands functoriality today? (PDF). {{cite conference}}: 引数|ref=harvは不正です。 (説明)

• Cremona, J.E. (1997). Algorithms for Modular Elliptic Curves (2 ed.). Cambridge University Press. ISBN 9780521598200 
  • J.E. Cremona, Algorithms for Modular Elliptic Curves(second edition) -- 著者が全文をネット上で公開している。

外部リンク

• 谷山・志村予想について: MATHEMATICS.PDF
• （第35回）近世日本人数学者列伝～志村五郎～（前編）｜オリジナル｜東洋経済オンライン｜新世代リーダーのためのビジネスサイト - ウェイバックマシン（2013年3月4日アーカイブ分）