谷山–志村予想

谷山–志村予想（たにやましむらよそう、英: Taniyama–Shimura conjecture）とは、「有理数体上に定義された楕円曲線はすべてモジュラーであろう」という予想である。1955年に日本の数学者の谷山豊によって提起され、1960年代以降に数学者の志村五郎によって定式化された。 この予想はアンドリュー・ワイルズとクリストフ・ブルイユ、ブライアン・コンラッド、フレッド・ダイアモンド、リチャード・テイラーらによって証明された。今日ではモジュラー性定理またはモジュラリティ定理（modularity theorem）と呼ばれ、20世紀数学の快挙の一つとされている。ワイルズは半安定楕円曲線に対する谷山・志村予想を証明することでフェルマーの最終定理を証明した。 モジュラリティ定理は、ロバート・ラングランズによるより一般的な予想の特別な場合でもある。ラングランズ・プログラムは、保型形式、あるいは保型表現（適切なモジュラ形式の一般化）を、例えば数体上の任意の楕円曲線のような、より一般的な数論的代数幾何学の対象へ関連付けようとする。拡張された予想のうち、ほとんどのケースは未だ証明されていないが、Freitas, Le Hung & Siksek (2015) が実二次体上定義された楕円曲線がモジュラーであることを証明した。 谷山・志村予想とは、志村五郎による定式化によれば、任意の Q 上の楕円曲線には、ある整数 N に対するモジュラー曲線 X 0 ( N )   {\displaystyle X_{0}(N)\ } からの非定数有理写像（英語版）が存在する、というものである。この曲線には明示的に定義が与えられ、整数係数を持つ[要説明]。レベル N のモジュラのパラメタ表示[訳語疑問点]（modular parametrization）と呼ばれる。N がそのようなパラメタ表示の中で最小の整数（モジュラリティ定理自体により、導手という数値として知られる）であれば、このパラメタ表示は、重さ 2 でレベル N の特殊なモジュラ形式、すなわち、（必要であれば同種に従い）正規化された整数のq-展開をもつ新形式（英語版）(newform)の生成する写像として、定義される。 モジュラリティ定理は、次の谷山豊による解析的なステートメントにも言い換えられる。Q 上の楕円曲線 E の楕円曲線のL-函数を L(s, E) とする。このL-函数は、ディリクレ級数であり、 L ( s , E ) = ∑ n = 1 ∞ a n n s {\displaystyle L(s,E)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}} と表すことができる。 係数 a n {\displaystyle a_{n}} の一種の母函数を f ( q , E ) = ∑ n = 1 ∞ a n q n {\displaystyle f(q,E)=\sum _{n=1}^{\infty }a_{n}q^{n}} で定義する。q に q = e 2 π i τ   {\displaystyle q=e^{2\pi i\tau }\ } を代入すると、上半平面上の複素変数 τ の函数 f ( τ , E ) {\displaystyle f(\tau ,E)} が得られる。これは一種のフーリエ級数である。このようにして得られた函数が、重さ 2 でレベル N の新形式、特に正規化されたカスプ形式でありヘッケ作用素の同時固有形式である、というのがモジュラリティ定理の別の述べ方である。これから E に対するハッセ・ヴェイユ予想(Hasse–Weil conjecture)が従う。 逆に、重さ 2 の有理数係数の新形式は、有理数体上定義された楕円曲線の正則微分（英語版）(holomorphic differential)に対応する。モジュラ曲線のヤコビ多様体は、同種による違いを除くと、重さ 2 のヘッケ固有形式に対応する既約アーベル多様体の積として書くことができる。1-次元要素は楕円曲線である。（高次元要素も存在するので、この積表示に出てくるアーベル多様体がすべて楕円曲線であるわけではない。有理数係数のヘッケ固有形式に対応するアーベル多様体が楕円曲線になっている。）有理数体上の楕円曲線の L 函数に対応するカスプ形式からこの方法で構成される楕円曲線は、元々の曲線と同種である（一般には同型にはならない）。 楕円曲線 E {\displaystyle E} がモジュラーな楕円曲線であるとはモジュラー曲線 X 0 ( N ) {\displaystyle X_{0}\left(N\right)} から射影代数曲線としての全射 X 0 ( N ) → E {\displaystyle X_{0}\left(N\right)\to E} があること、と説明するのが最も簡潔である。これは上のL函数の一致という定義と同値である。またヤコビ多様体を使った言い換えも出来る。以下ではそれを説明する。 リーマン面 X {\displaystyle X} のヤコビアン(Jacobian（もしくはヤコビ多様体）は X {\displaystyle X} がコンパクト化されたモジュラー曲線 X ( Γ ) {\displaystyle X\left(\Gamma \right)} である場合にはより明示的な表示が出来る。 この場合、 Ω h o l 1 ( X ) {\displaystyle \Omega _{hol}^{1}\left(X\right)} の要素は、 ウェイト 2 のカスプ形式 た f ∈ S 2 ( Γ ) {\displaystyle f\in {\mathcal {S}}_{2}\left(\Gamma \right)} と強く結びついている。 与えられた f ∈ S 2 ( Γ ) {\displaystyle f\in {\mathcal {S}}_{2}\left(\Gamma \right)} から作られる 1形式 ω ( f ) {\displaystyle \omega \left(f\right)} は一意的 (本質的に、 f ( τ ) d τ {\displaystyle f(\tau )d\tau } に等しい)。つまり、写像 ω : S 2 ( Γ ) → Ω h o l 1 ( X ) , {\displaystyle \omega :{\mathcal {S}}_{2}\left(\Gamma \right)\rightarrow \Omega _{hol}^{1}\left(X\right),} は同相である。よって、その双対写像 ω ∧ : Ω h o l 1 ( X ) ∧ → S 2 ( Γ ) ∧ , {\displaystyle \omega ^{\wedge }:\Omega _{hol}^{1}\left(X\right)^{\wedge }\rightarrow {\mathcal {S}}_{2}\left(\Gamma \right)^{\wedge },} もまた同相であるから S 2 ( Γ ) ∧ {\displaystyle {\mathcal {S}}_{2}\left(\Gamma \right)^{\wedge }} は Ω h o l 1 ( X ( Γ ) ) ∧ {\displaystyle \Omega _{hol}^{1}\left(X\left(\Gamma \right)\right)^{\wedge }} と同一視出来る。よって次のような定義は妥当である； J a c ( X ( Γ ) ) := S 2 ( Γ ) ∧ / ω ∧ ( H 1 ( X ( Γ ) , Z ) ) {\displaystyle \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 ≥ 0 {\displaystyle g\geq 0} であり、 g > 1 {\displaystyle g>1} の場合、群構造を持たなくなるのに対して、ヤコビアンの方はその場合でも群構造を持っているので扱いやすい点と、もう1つはモジュラー曲線をヤコビアンに埋め込むことができる点である。 新形式（英語版）(new form) f ∈ S 2 ( Γ 0 ( N ) ) {\displaystyle f\in {\mathcal {S}}_{2}\left(\Gamma _{0}\left(N\right)\right)} に対して、アーベル多様体 A f {\displaystyle A_{f}} を A f := J 0 ( N ) / I f J 0 ( N ) , {\displaystyle A_{f}:=J_{0}\left(N\right)/I_{f}J_{0}\left(N\right),} によって定義する。ただし、 I f {\displaystyle I_{f}} は、 I f := { T ∈ T Z := Z [ T p , ⟨ d ⟩ ] | T f = 0 } {\displaystyle I_{f}:=\{T\in \mathbb {T} _{Z}:=\mathbb {Z} [T_{p},\langle d\rangle ]|Tf=0\}} 。 ここで T p {\displaystyle T_{p}} をヘッケ作用素、 ⟨ d ⟩ {\displaystyle \langle d\rangle } をダイアモンド作用素である。即ち T Z {\displaystyle \mathbb {T} _{Z}} は整数係数のヘッケ環である。 (アーベル多様体 A f {\displaystyle A_{f}} の次元は [ K f : Q ] = 1 {\displaystyle \mathbb {[K} _{f}:\mathbb {Q} ]=1} である。ただし、 K f := Q ( { a n } ) {\displaystyle K_{f}:=\mathbb {Q} \left(\{a_{n}\}\right)} は f ( τ ) = ∑ n = 1 ∞ a n q n {\displaystyle f(\tau )=\sum _{n=1}^{\infty }a_{n}q^{n}} の数体である)。 ここで T {\displaystyle T} を T p {\displaystyle T_{p}} または ⟨ d ⟩ {\displaystyle \langle d\rangle } とするとき、これはヤコビアン J 0 ( N ) := J a c ( X 0 ( N ) ) {\displaystyle J_{0}\left(N\right):=\mathrm {Jac} \left(X_{0}\left(N\right)\right)} に以下のように作用する。 T : J 0 ( N ) → J 0 ( N ) , [ φ ] ↦ [ φ ∘ T ] , φ ∈ S 2 ( Γ 0 ( N ) ) ∧ . {\displaystyle 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の特殊な場合であることから導かれる。なお、記号 [ ] {\displaystyle [\quad ]} は同値類の意味である。 この時、ヤコビアン J 0 ( N ) := J a c ( X 0 ( N ) ) {\displaystyle J_{0}\left(N\right):=\mathrm {Jac} (X_{0}\left(N\right))} は、ヘッケ作用素によって次のように分解される。 J 0 → ⨁ f ( A f ) m f . {\displaystyle J_{0}\rightarrow \bigoplus _{f}\left(A_{f}\right)^{m_{f}}.} ここで、 f {\displaystyle f} に関する和は、新形式 f ∈ S 2 ( Γ 0 ( M f ) ) {\displaystyle f\in {\mathcal {S}}_{2}\left(\Gamma _{0}\left(M_{f}\right)\right)} に 入れたある同値関係によって分類される同値類の代表元についての和、 M f {\displaystyle M_{f}} は N {\displaystyle N} の約数、 m f {\displaystyle m_{f}} は N / M f {\displaystyle N/M_{f}} の約数の数である。 また、写像 → {\displaystyle \rightarrow } は、同種(isogeny, 2つのトーラス間に成立する正則な準同型写像のこと。ここで、トーラスは必ずしも種数 g = 1 {\displaystyle g=1} でなくてよい。)の意味である。 A f {\displaystyle A_{f}} は 1 {\displaystyle 1} 次元アーベル多様体であるから複素トーラスに同相、したがって楕円曲線に同相である。このようにして構成された楕円曲線(に同種な楕円曲線)をモジュラーな楕円曲線と言う。 与えられた、有理数係数を持った f ∈ S 2 {\displaystyle f\in {\mathcal {S}}_{2}} からモジュラーな楕円曲線の方程式を構成するアルゴリズムについては文献を参照せよ。 1955年、「代数的整数論に関する国際会議」が9月8日から9月13日までの日程で東京と日光を会場として開催された。外国からはアンドレ・ヴェイユやジャン＝ピエール・セールが招かれ、日本からは志村五郎や谷山豊が参加した。この会議で多くの人から問題が集められ配布された。その中で谷山は次の問題を（他の問題とともに）提出した。 問題12.　 C {\displaystyle C} を代数体 k {\displaystyle k} 上で定義された楕円曲線とし k {\displaystyle k} 上 C {\displaystyle C} の L {\displaystyle L} -函数を L C ( s ) {\displaystyle L_{C}(s)} とかく： ζ C ( s ) = ζ K ( s ) ζ K ( s − 1 ) / L C ( s ) {\displaystyle \zeta _{C}(s)=\zeta _{K}(s)\zeta _{K}(s-1)/L_{C}(s)} 〔ママ〕 は k {\displaystyle k} 上 C {\displaystyle C} の zeta 函数である. もし Hasse の予想が ζ C ( s ) {\displaystyle \zeta _{C}(s)} に対し正しいとすれば, L C ( s ) {\displaystyle L_{C}(s)} より Mellin 逆変換で得られる Fourier 級数は特別な形の −2 次元の automorphic form でなければならない. (cf. Hecke) もしそうであればこの形式はその automorphic function の体の楕円微分となることは非常に確からしい. 　さて, C {\displaystyle C} に対する Hasse の予想の証明は上のような考察を逆にたどって， L C ( s ) {\displaystyle L_{C}(s)} が得られるような適当な automorphic form を見出すことによつて可能であろうか.（谷山　豊） 問題13. 問題12に関連して, 次のことが考えられる. “Stufe” N {\displaystyle N} の楕円モジュラー函数体を特性づけること, 特にこの函数体の Jacobi 多様体を isogenus〔ママ〕の意味で単純成分に分解すること. また N = q = {\displaystyle N=q=} 素数, 且 q ≡ 3 ( m o d . 4 ) {\displaystyle q\equiv 3\;(\mathrm {mod.} \;4)} ならば, J {\displaystyle J} が虚数乗法をもつ楕円曲線をふくむことはよく知られているが, 一般の N {\displaystyle N} についてはどうであろうか.（谷山　豊） 問題12を谷山・志村予想の端緒・原型と考える人もいる。足立は、問題13を「モデュラー曲線でパラメトライズされる楕円曲線を特徴づけよ」という問題だと解釈したうえで、これは問題12と同値であるとし、これらの問題を谷山・志村予想の原型としている。 一方、志村は、谷山の問題をこの予想の起源と見ることもできるかもしれないが、『記憶の切繪図』（筑摩書房、2008年）のなかで「有理数体上の楕円曲線はモジュラー関数で一意化される」という命題を「私の予想」と呼んでおり、谷山が1955年に提案した問題とは無関係だとしている。志村は ここで「有理数体上の楕円曲線はモジュラー関数で一意化される」という私の予想について説明しておこう。これは一九六四年九月頃に私がふたりの数学者に話したもので、その事はよく知られている。この予想はその三十数年後に証明されて、今では定理になっている。　ところで、これに関係ある言明を谷山豊がしているが、その意味と上記の私の言ったこととの関係を完全に理解している人は数学者も含めてほとんどいないのではないかと思われるので、その事を詳しく説明しよう。また私の口からはっきり言ってほしいと思っている人も多いであろう。 （中略） 私はこの問題に関する限り谷山と議論したことはない。はじめに書いたように私は私流の理論をひとりで構築していたから、彼のこの言明には全く重きをおいていなかった。その上、モジュラー関数以外のヘッケのいう保型形式は役に立たないと始から考えていたから無視していた。実はそれ以外に重要な保型形式があるが、そのことはここで考えない。また私は谷山と共著の本があるが、それは全く無関係である。もうひとつ書くと、一九五五年以後一九六〇年代にかけて、そういう代数曲線のゼータ関数を研究し、それを決定するなどという研究をしたのはおそらく私ひとりであったと思われる。谷山はそういうことはやらなかった。彼はヘッケの論文は読んでいたが、一変数の保型形式・関数の理論を自分のものにしていなかったように思われる。… と述べている。 また志村は谷山の問題12の問題点を次のように指摘している。まず、問題12では任意の代数体上の楕円曲線の L 関数について言及しているが、有理数体上の楕円曲線に限定しなければ意味がない。なぜ谷山が有理数体に限定しなかったかというと、問題13に見られるように谷山はモジュラー形式と虚数乗法論の関係に興味を持っていたので、問題12においても虚数乗法を持つ楕円曲線が考察の対象として含まれるようにしたかったのではないか、と志村は想像している。また、問題12で谷山が述べている automorphic form はモジュラー形式よりもはるかに一般的な関数を念頭においたものだという。志村は、谷山は問題12を述べるにあたって細心の注意を払っていなかったのではないか、と言っている。 「代数的整数論に関する国際会議」が開催されていた1955年9月12日の夜、昼間に行われた志村、谷山、ヴェイユらの講演により虚数乗法論に予想外の進展があったため、ヴェイユの発案で「虚数乗法に関する非公式討論会」が行われた。この討論会は前述の3名を含む30名ばかりが集まって行われた。この討論会において、谷山とヴェイユは次の会話をしている（「W」はヴェイユ）。 W. 楕円函数は全部, modular 函数で一意化されると思うか？ 谷山. Modular 函数だけでは駄目だろう. 別の特別な型の automorphic function も必要だと思う. W. もちろんそれで或るものはできるだろう. しかし一般の場合は, 今までとは全く違い, 全く神秘的に見える. ... — 本会議記録 (1956, p. 228) 志村は、この記録を一つの根拠に、ヴェイユは谷山・志村予想の正しさを信じていなかった、という。 足立は、この記録を根拠に、ヴェイユがこうした問題に十分関心を持っていたことは明らかだ、という。 1958年11月17日の月曜日の朝、谷山は若くして自殺する。 1960年代の前半、モジュラーな楕円曲線は有理数体上定義された楕円曲線のうちのほんの一部に過ぎないと広く思い込まれていた。ただ一人の例外は志村であった。 1964年、プリンストン高等学術研究所で催されたあるパーティーでのことだった。セールが志村のところにやってきて、「あなたのモジュラー曲線についての研究結果はそんなにいいものではない、なぜなら有理数体上定義された任意の楕円曲線に対して適用できるものではないのだから」と言ったという。志村はセールに「そのような曲線（有理数体上定義された任意の楕円曲線のこと）はすべてモジュラー曲線のヤコビ多様体の商になると思っている」と返答したという。数日後、ヴェイユが志村のところにやってきて、本当にそんなことを言ったのか、と尋ねた。志村は「ええ。もっともらしいとは思いませんか？」と返答したという。 ヴェイユは1979年に出版されたヴェイユ全集のコメントの中でこのような会話があったことを肯定している。そしてこの予想について考えたあと、後述する1967年の論文を公表した。 一方セールは、このような会話があったことは十分に考えられるが、本当にあったかどうかはわからない、という。もし志村がすべての楕円曲線がモジュラーであることの根拠を少しでも述べていたら印象に残り覚えていただろうが、そうではなかったので（本当にこのような会話があったとしても）記憶に残らなかったのだろう、と言っている。 ヴェイユは志村から聞いた予想について考え、論文「関数等式によるディリクレ級数の決定について」を発表した。この論文で楕円曲線のゼータ関数とその十分多くの twist が関数等式を持つならばそれはモジュラー形式のメリン変換から得られることが証明された。 さらにこの論文の中で彼は、そのモジュラー形式のレベルは楕円曲線の導手でなければならないことも示唆した。これによって楕円曲線がモジュラーであるかどうか数値的に検証することができるようになった。 1966年の夏、ヴェイユはこのことをセールにコーヒーハウスで説明した。セールはそのときのことを鮮明に覚えているという。色々な事実が噛み合いはじめ、歯車が回り始めた。なぜ導手が1の楕円曲線が存在しないのか？それはモジュラー曲線 X0(1) の種数が0だからだ！セールは家に帰って小さな導手を持つ楕円曲線をチェックしてみた。導手 N が11未満の楕円曲線は無く、16の楕円曲線も無かった。このことはそのレベルのモジュラー曲線 X0(N) の種数が0であることと符号していた。数時間の内にセールは谷山・志村予想が正しいことを確信するに至った。 一方、ヴェイユはこの予想が成立するかどうかは依然疑わしいとこの論文に書いた。そしてこれについては「興味ある読者への演習問題としよう」という冗談でこの論文を締めくくった。 ヴェイユのこの研究によってこの予想は広く知られるようになった。谷山の問題のことは忘れられていたので、この論文の公表から10年間、この予想はヴェイユ予想と呼ばれることになる。 1976年頃、セールは谷山全集のコピーを買った。そして問題12の日本語版が全集に収録されているものの英語版は収録されていないことに気付いた。そこで1977年に公表した 𝓁 進表現についての論文の中で谷山の問題12の1955年英語版を再掲した。英語版の谷山の問題が広く公開されたのはこのときがはじめてであっただろうと言われている。このときからセールはこの予想をヴェイユ予想と呼ぶのをやめ谷山・ヴェイユ予想と呼ぶようになった。セールは「このせいで呼称に関する苦い論争に巻き込まれることになってしまった」と言っている。 70年代においても、この予想の成立に志村が果たした役割はまだ十分に認識されていなかった。理由の一つに、志村が出版物の中でこの予想に言及したことがないことがあげられる。 1986年の夏、ケン・リベットがセールの ε 予想を証明した。これから、フェルマー予想を証明するには半安定楕円曲線に対する谷山・志村予想を証明すればよいことになった。 この頃、サージ・ラングは次のような会話がヴェイユと志村の間で交わされたとセールから聞いた。 ヴェイユ「なぜ谷山はすべての楕円曲線はモジュラーだと考えたのか？」 志村「あなたが谷山に教えたのです。あなたはそのことを忘れてしまった」 このような会話が本当にあったのかどうか、ラングは志村とヴェイユに確認を取った。1986年8月13日に志村から返信があった。彼の回答は「このような会話がなされるはずがない」という断定的なものだった。志村はその根拠として1967年の論文でヴェイユは谷山・志村予想の成立に懐疑的なコメントをしていることをあげた。 ラングは志村の返信をセールとヴェイユに送りコメントを求めた。8月16日にセールから返信があった。セールは、彼の話の裏を取ろうとするラングの試みを非難した。セールとのやり取りの中でラングはセールに「これ以上間違ったストーリーを拡散するのはやめてくれ」と頼んだ。セールは最後に一言「手紙と志村の手紙のコピーを送ってくれてありがとう。とてもためになった」と返信し、これでやりとりは打ち切られた。 1986年の12月はじめのある晩、志村は妻と食事をしていた。なぜそうなったのかは思い出せないが谷山の話をしていた、と志村はいう。食事が終わりそこで会話は終わったが、志村は谷山のことが頭から離れなかった。突然、志村の目から涙が溢れてきた。谷山が可哀想でたまらなかったからだという。そして翌日から谷山との思い出話を書き始め、10日ほどでひとまず書き終わった。この文章は1989年に「谷山豊と彼の時代、非常に個人的な回想」というタイトルでロンドン数学会の会報で発表された。この記事の最後に谷山の問題についての言及があるが、これは編集者から要請があったからだという。 ラング (1995) にはセール、ヴェイユ、志村の手紙からの引用が複数あるが、これらの手紙の日付はすべて1986年8月から12月までの間になっている。 1990年代、「ヴェイユ予想」「谷山・ヴェイユ予想」と呼ばれてきたこの予想の名称からヴェイユの名前を排除すべく、ラングは大々的なキャンペーンを開始した。ラングは30年にわたってこの予想の歴史が誤って語られ続け当事者達に対する正当な評価が行われてこなかったとし、自身で行った調査をもとにこの予想を谷山・志村予想と呼ぶことにした。ラングは1995年に発表した記事の導入部でセールが1995年6月のブルバキ・セミナーにおいて語った呼称の由来は間違ってるとまず指摘し、1986年の「ためになった」という返信は何だったのか、と糾弾する。さらにゲルト・ファルティングスが「谷山・ヴェイユ予想（本質的には志村による）」と矛盾した言い回しを用いたことに言及する。そしてこうした混乱が生じた主な原因はヴェイユが1967年の論文でこの予想の来歴をきちんと書かずようやく1979年になってから全集のコメントに書いたからだ、と結論した。 ラングのキャンペーンの結果、この予想を「谷山・志村予想」と異なる名称で呼ぶことは憚られるようになった。今では多くの人がこの予想を谷山・志村予想と呼んでいる。 しかしすべての数学者がラングの意見に同調しているわけではない。 足立は、予想の呼称をどうするかは重要ではないが、日光シンポジウムにおけるヴェイユの指導的役割やこの周辺の問題における大きな業績、例えば楕円曲線の導手 N をこの問題に関連づけたことなどを鑑みるならば「谷山=志村=ヴェイユ予想」という呼称もおかしなものではないとし、1995年の著書においてはこの呼称を採用している。 ローゼンは次の点を指摘する。 この予想はヴェイユの1967年の論文で多くの数学者の関心を引くようになった。そしてこのときから10年間はこの予想はヴェイユ予想と呼ばれていたのであり、モジュラーな楕円曲線はヴェイユ曲線、モジュラ変数化はヴェイユ変数化と呼ばれていた。この論文のおかげで導手とこの問題との関係が明確になった。また、この論文の主定理がこの予想の確からしさの根拠となった。 1977年にセールが自身の論文で谷山の問題12を再掲するまで谷山の問題はほとんどの人に知られていなかった。 志村はこの予想に関して出版物の中で何も公表しなかった。 そして、この予想を「ヴェイユ予想」と呼びすべてをヴェイユの貢献としてしまうのは不公平であるが、ヴェイユの名前を抜くのも不公平であり、それでは正しく歴史を反映した呼称にならない、「谷山・志村・ヴェイユ予想」という呼称が当事者たち全員に対する正当な評価を反映した呼称だろう、という。 ローゼンの意見にラングは、様々な事実が明るみになりヴェイユ自身が結論を下しているにもかかわらずヴェイユの結論を受け入れない人がいるのは遺憾なことだ、とコメントした。 セールは、呼称についての議論をあまり真剣に行う必要はないが、谷山・ヴェイユ予想という呼称のほうがより正確だと思う、と言っている。 2000年の3月、セールはデイヴィッド・ゴス（英語版）に宛てた手紙の中でこの予想の来歴について説明し、手紙の最後に「あなたのご提案のとおり、モジュラリティ予想の方がいいかもしれませんね？」と書いた。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)。 [脚注の使い方] ^ コンラッドとダイアモンド、テイラーの3人はワイルズの学生である。Andrew John Wiles - Mathematics Genealogy Project 参照。 ^ 飯高・吉田 (1994, p. 178) にある通り、志村は一貫してかつ意識的にこの予想に言及することを避けてきたので、「志村による定式化」と言ってもおそらく出版された志村の学術論文の中で以降に述べるような定式化を見つけることはできないと思われる。しかし、Langlands (1997, p. 12) に「Shimura’s reformulation」という言葉が見えるように、以降に述べるような代数幾何学的な定式化を「志村による定式化」と呼ぶようである。また、志村 (2008) の付録三においても、この代数幾何学的な定式化を志村は「私の予想」と呼んでいる。 ^ ここに挙げた参考文献では「非定数有理写像」ではなく「全射の射」が存在する、と定式化しているが、非特異かつ基礎体上固有な代数曲線についてはどちらでも同じことになる。The Stacks project, Tag 0BY1やRational map on smooth projective curve、 Morphism between curves constant of surjectiveを参照。 ^ モジュラー方程式という2変数の多項式があり、これで定義される曲線を非特異化したものが X0(N) と Q 上同型になる。しかしこの多項式は特異点を持つので、「この曲線には明示的に定義が与えられ、整数係数を持つ」という記載の根拠になり得ない。こうした研究があることを考えると、X0(N) の定義方程式を見つけることは非自明な問題と思われる。したがって「この曲線には明示的に定義が与えられ、整数係数を持つ」という記載は妥当ではないと考えられる。 ^ Diamond & Schurman (2005, p. 292) では、この整数を解析的導手と呼び、これが楕円曲線の導手に等しいことをモジュラー性定理の主張の一部としている。 ^ これは「followed if need be by an isogeny.」の翻訳と思われ、翻訳元の英語版に明記はないものの Knapp (1992, p. 390) が出典になっているものと思われる。この文献では follow を「写像の合成」の意で使っているようなので follow を「従い」と訳すのは誤訳だと思われる。また、同種の合成が必要なのはモジュラー性定理を「任意の有理数体上の楕円曲線は（同種による違いを除き）モジュラー曲線から Shimura construction で得られる」といった形で定式化するときであり、ここでの定式化であれば同種を持ち出す必要はないと思われる。 ^ Cremona (1997, p. 47) にあるように、「モジュラのパラメタ表示」があれば、それで楕円曲線上の正則微分形式を引き戻すことで新形式 f が得られるので、この定式化では同種の楕円曲線に取り替える必要はない。 ^ 「整数をフーリエ係数に持つ」の意と思われる。 ^ Cremona (1997, p. 47) によれば、「新形式の生成する写像」が「モジュラのパラメタ表示」になるのではなく、新形式の不定積分により定義される写像が「モジュラのパラメータ表示」になる。 ^ 谷山は谷山・志村予想を正確な形で述べたことはないことには注意が必要。 ^ 楕円曲線が同種ならその L 函数は等しく、この L 函数に対応するカスプ形式は定義より唯一であることによる。 ^ 飯高・吉田 (1994, p. 177) にセールとヴェイユに話したことが書かれている。 ^ ラング (1995, p. 1303) では「1962年～1964年」となっている。 ^ エーリッヒ・ヘッケによるほぼ同じタイトルの論文があり、掲載された雑誌も同じく Mathematische Annalen である。 ^ ちなみに普通ヴェイユ予想といえば非特異代数多様体上の合同ゼータ関数に関する定理のことをさす。 ^ 一方、ラングは70年代前半に谷山の問題が広く配布された、と言っている。 ^ Diamond & Schurman 2005, p. vii. ^ Zagier 2008, p. 46. ^ Zagier 2008, p. 47. ^ Mazur, B. (1991). “Number theory as gadfly”. American Mathematical Monthly 98 (7): 606. doi:10.2307/2324924. ISSN 0002-9890. https://doi.org/10.2307/2324924.  ^ Langlands 1997, p. 1. ^ Langlands 1997, p. 12. Except for n = 1 and n = 2,these are scarcely accessible at present. と書いてある。 ^ Diamond & Schurman 2005, p. 292. ^ Milne 2006, p. 186. ^ 「modular parametrization of level N」をGoogle検索する ^ Diamond & Schurman 2005, p. 63. ^ Diamond & Schurman 2005, p. 356. ^ a b 志村 2008, 付録三. ^ a b Diamond & Schurman 2005, p. 362. ^ Diamond & Schurman 2005, p. 195. ^ Cremona 1997, pp. 24–25, 47. ^ a b c Diamond & Schurman 2005, p. 244. ^ Milne 2006, p. 196. ^ Diamond & Schurman 2005, p. 227. ^ Diamond & Schurman 2005, p. 231. ^ Diamond & Schurman 2005, p. 211. ^ Diamond & Schurman 2005, p. 215. ^ a b c d Diamond & Schurman 2005, p. 246. ^ Diamond & Schurman 2005, p. 241. ^ Diamond & Schurman 2005, p. 234. ^ Diamond & Schurman 2005, p. 359. ^ a b Diamond & Schurman 2005, p. 229. ^ 黒川ほか 2005, p. 590. ^ J.E. Cremona, Algorithms for Modular Elliptic Curves(second edition), Cambridge University Press, 1997, ISBN 978-0521598200. ^ 彌永昌吉「代数的整数論に関する国際会議について」『数学』第7巻第4号、1956年、193–193頁、doi:10.11429/sugaku1947.7.193。  ^ 問題, p. 268. ^ a b 問題, p. 269. ^ 飯高・吉田 1994, p. 179. ^ a b 黒川ほか 2005, p. 589. ^ 足立 1995, p. 188. ^ 足立恒雄『フェルマーの大定理：整数論の源流』、ちくま学芸文庫、2006年、ISBN 4-480-09012-6、pp. 312–313. ^ Shimura 1989, p. 194. ^ 志村 2008, pp. 250–251. ^ a b c ラング 1995, p. 1302. ^ Shimura 1989, p. 195. ^ a b 本会議記録 1956, p. 217. ^ 飯高・吉田 1995, p. 178. ^ a b 足立 1995, p. 189. ^ Shimura 1989, p. 192. ^ a b ラング 1995, p. 1303. ^ a b c d e f ラング 1995, p. 1304. ^ Serre 2002, p. 57. ^ Hecke, E. (1936). “Über die Bestimmung Dirichletscher Reihen durch ihre Funktionalgleichung”. Mathematische Annalen 112: 664–699. https://eudml.org/doc/159847 2022年12月29日閲覧。.  ^ a b Serre 2002, p. 55. ^ a b c d e f g Serre 2002, p. 56. ^ a b Rosen 2000, p. 476. ^ Wiles 1995a, p. 443. ^ ラング 1995, p. 1306. ^ 志村 2008, 十九. ^ Shimura 1989. ^ a b ラング 1995, p. 1301. ^ ラング 1995, p. 1307. ^ Milne 2006, p. 210. ^ Rosen 2000, p. 475. ^ 足立 1995, p. 191. ^ Rosen 2000, p. 475f. ^ Lang 2001, p. 51. 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。https://bookclub.kodansha.co.jp/product?item=0000194035。  志村五郎『記憶の切繪図』筑摩書房、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?. https://publications.ias.edu/sites/default/files/where-stands-functoriality-today.pdf  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) -- 著者が全文をネット上で公開している。 Rosen, Michael (2000). “Review of Fermat’s Last Theorem for Amateurs” (PDF). Notices of the American Mathematical Society (AMS) 47 (4): pp. 474–476. https://www.ams.org/notices/200004/rev-rosen.pdf.  Lang, Serge (2001). “Comments on non-references in Weil’s works” (PDF). La Gazette de la Société Mathématique de France (Société Mathématique de France) 90: pp. 46–52. https://smf.emath.fr/system/files/filepdf/Gaz-90.pdf.  Serre, J.-P. (2002). “L’histoire de la “modularity conjecture”” (PDF). La Gazette de la Société Mathématique de France (Société Mathématique de France) 91: pp. 55–57. https://smf.emath.fr/system/files/filepdf/Gaz-91.pdf.  「本会議記録」『数学』第7巻第4号、1956年、203–239頁、2022年12月29日閲覧。  Shimura, Goro (1989). “Yutaka Taniyama and His Time”. Bulletin of the London Mathematical Society 21 (2): 186–196. doi:10.1112/blms/21.2.186. ISSN 1469-2120. https://onlinelibrary.wiley.com/doi/abs/10.1112/blms/21.2.186 2022年12月29日閲覧。.  谷山・志村予想について: MATHEMATICS.PDF （第35回）近世日本人数学者列伝～志村五郎～（前編）｜オリジナル｜東洋経済オンライン｜新世代リーダーのためのビジネスサイト - ウェイバックマシン（2013年3月4日アーカイブ分） 志村-谷山予想の或る由来, ラング (1995) の私訳が掲載されている 谷山豊と彼の生涯　個人的回想, Shimura (1989) の私訳が掲載されている 志村五郎博士著"The Map of My Life"のAppendixより"あの予想" 志村五郎博士著"The Map of My Life"より重要資料の手紙三編 私が交流したアンドレ・ヴェイユ