谷山志村予想
谷山志村予想(たにやましむらよそう、Taniyama-Shimura conjecture; モジュラー性定理(Modularity theorem)とも呼ばれる)は、「すべての有理数体上に定義された楕円曲線はモジュラーである」という数学の定理である。アンドリュー・ワイルズ(Andrew Wiles)は、半安定楕円曲線のモジュラリティ定理=谷山志村予想を証明し、この証明はフェルマーの最終定理とも深く関連する。後日、テンプレート:仮リンク(Christophe Breuil)、テンプレート:仮リンク(Brian Conrad)、テンプレート:仮リンク(Fred Diamond)、リチャード・テイラー(Richard Taylor)は、ワイルズのテクニックを拡張し、2001年にモジュラリティ定理の全体を証明した。モジュラリティ定理は、ロバート・ラングランズ(Robert Langlands)によるより一般的な予想の特別な場合である。ラングランズ・プログラムは、保型形式、あるいは保型表現(automorphic representation)(適切なモジュラ形式の一般化)を、例えば数体上の任意の楕円曲線のような、より一般的な数論幾何の対象へ関連付ける方法を探している。これらの拡張された予想の場合は、現在のところほぼ証明されていない。
目次
意味
谷山志村予想の意味は、「楕円曲線論」と「保型形式論」という異なる二つの分野で用いられる特殊な概念が同種のものである、ということである。この二つの分野のそれぞれの概念はまったく別のものだと思われていたため、テンプレート:要出典範囲。
二つの分野の別の概念が同種のものだとすれば、そこには何らかの深遠な真実がひそんでいることになる。それゆえ、この予想は、通常の定理のように一つの分野だけの問題ではなくて、数学における広範な真実を告げる重大な問題だと理解された。たとえ証明はまだなされていないとしても、その重要性は普通の定理を上回った。そして、その解決(つまり証明)が、是非とも達成すべき目標とされた。
経緯
谷山志村予想は、1955年9月に日光の国際シンポジウムで谷山豊が提出した2つの「問題」(問題12と問題13)を原型とする[1]。これらの問題が互いに関連しているらしいことは谷山も気付いていたが、実は同じ命題の言い換えであることが後に判明した。谷山自身は若くして自殺したため、1960年代に谷山の盟友である志村五郎によって、代数幾何学的な解釈によって正確に定式化された[2]。その後、1967年のヴェイユによる研究によって広く知られるようになった[3]。
内容的に「ゼータの統一」というテーマを扱う豪快な予想であり、数論の中心に位置するものの一つと目されるまでにいたったが、攻略自体は絶望視されていた。1984年秋、この予想からフェルマーの最終定理が出るというアイディアがゲルハルト・フライにより提示され、セールによる定式化を経て(フライ・セールのテンプレート:仮リンク)、1986年夏にケン・リベットによって証明されたことにより俄然注目を集めたが、アンドリュー・ワイルズを除いては、まともに挑もうとする数学者は依然として現れなかった。
アンドリュー・ワイルズ(Andrew Wiles、プリンストン大学教授)により、この予想はまず半安定な場合について解決された(1993~1995年)。ワイルズが1993年に発表した証明には一箇所致命的なギャップが存在したため、その修正に当ってはリチャード・テイラー(Richard Taylor)も貢献した。1994年9月、ワイルズはギャップを回避することに成功し、修正された証明は翌1995年に2編の論文として出版されたテンプレート:Harvsテンプレート:Harvs。このことにより、ワイルズは谷山・志村予想の系であるフェルマー予想をも解決した。
一般の場合については2001年にリチャード・テイラー(Richard Taylor, ハーバード大学教授)、ブライアン・コンラッド(Brian Conrad, ミシガン大学教授)、フレッド・ダイアモンド(Fred Diamond, ブランダイス大学教授)、クリストフ・ブレイユ(Christophe Breuil, IHES長期研究員)の4人による共著論文On the modularity of elliptic curves over Qにより肯定的に解決されたテンプレート:Harvtxt, テンプレート:Harvtxt, テンプレート:Harvtxt。
呼称に関する議論
ヨーロッパの数学界にこの予想を最初に持ち込んだのが当時の数学界の権威であったアンドレ・ヴェイユであったため、欧米ではこの予想の呼称は「谷山=志村=ヴェイユ予想」「谷山=ヴェイユ予想」「ヴェイユ予想」と呼ばれることもある。しかし、数学者のサージ・ラングは谷山・志村予想の調査・研究を進めた上で、ヴェイユはこの予想には何の貢献もしていないことを明らかにした[4][5]。ちなみに普通ヴェイユ予想といえば非特異代数多様体上の合同ゼータ関数に関する予想のことをさす。
また志村は『記憶の切絵図』(筑摩書房、2008年)のなかで「有理数体上の楕円曲線はモジュラー関数で一意化される」という命題を「私の予想」と呼んでおり、谷山が1955年に提案した問題とは無関係だとしている。
志村は
- 私はこの問題に関する限り谷山と議論したことはない。
- 私は私流の理論をひとりで構築していたから、彼のこの言明には全く重きをおいていなかった。
- 私は谷山と共著の本があるが、それは全く無関係である。
- これについて何か言ったり書いたりしようとする人は、これだけのことを知って私の仕事をしらべた上での事にしていただきたい。
と述べている[6]。
谷山志村予想(モジュラリティ定理)の内容
谷山志村予想(モジュラリティ定理)とは、任意の Q 上の楕円曲線は、ある整数 N に対するテンプレート:仮リンク(classical modular curve)
- <math>X_0(N)\ </math>
からの整数係数を持つテンプレート:仮リンク(rational map)を通して得ることができる。この曲線は整数係数を持ち、明確に表すことができる。レベル N のモジュラパラメータと呼ばれる。N がそのようなパラメータの中の最小の整数(モジュラリティ定理自体により、導手として呼んでいる数値であることがが知られている)であれば、ウェイト 2 とレベル N の特別な場合のモジュラ形式で、楕円曲線の同種(isogeny)に従い正規化された q-展開 をもつテンプレート:仮リンク(newform)の生成する写像として、この写像が定義される。
モジュラリティ定理は、次の解析的なステートメントと密接に関連する。Q 上の楕円曲線 E にテンプレート:仮リンク(L-series)を対応させる。このL-級数は、ディリクレ級数であり、
- <math>L(s, E) = \sum_{n=1}^\infty \frac{a_n}{n^s}</math>
で表すことができる。
従って、係数 <math>a_n</math> の母函数は、
- <math>f(q, E) = \sum_{n=1}^\infty a_n q^n</math>
である。
- <math>q = e^{2 \pi i \tau}\ </math>
を代入すると、複素変数 τ の函数 <math>f(\tau, E)</math> のフーリエ展開の形に書くことができ、従って、q-展開の係数は <math>f</math> のフーリエと考えることができる。この方法で得られた函数は、注目すべきことに、ウェイト 2 でレベル N のカスプ形式であり、(モジュラ形式でもあるので)ヘッケ作用素の固有ベクトルとなっている。これがハッセ・ヴェイユ予想(Hasse–Weil conjecture)であり、モジュラリティ定理より従うこととなる。
逆に、ウェイト 2 のモジュラ形式は、楕円曲線のテンプレート:仮リンク(holomorphic differential)に対応する。モジュラ曲線のヤコビアンは、同種(isogeny)を同一視すると、ウェイト 2 のヘッケ固有形式に対応する既約アーベル多様体の積として書くことができる。1-次元要素は楕円曲線である。(高次元要素も存在し、すべてではないが、ヘッケ固有形式が有理楕円曲線へ対応する。)曲線は、対応するカスプ形式より得られるので、この方法で構成された曲線は、元々の曲線と同種である(一般には同型にはならない)。
モジュラーな楕円曲線
以下のような手続きで<math>X_{0}\left(N\right)</math>から作られる楕円曲線<math>E</math>のことをモジュラーな楕円曲線と呼ぶ。ただし、<math>X_{0} \left( N \right) := \Gamma_{0} \left( N \right) \backslash \mathcal{H}^{*} = \{ \Gamma_{0} \tau | \Gamma_{0} \in \Gamma_{0} \left( N \right), \tau \in \mathcal{H}^{*} \}</math>は、モジュラー曲線<math>Y_{0} \left( \Gamma \right) := \Gamma_{0} \left( N \right) \backslash \mathcal{H}= \{\Gamma_{0} \tau | \Gamma_{0} \in \Gamma_{0} \left( N \right), \tau \in \mathcal{H} \}</math>[7]にカスプ(cusp、尖点)を加えてコンパクト化したリーマン面[8]、 <math>\Gamma_{0} \left( N \right) := \{ \begin{pmatrix}a & b \\ c & d \end{pmatrix} \in \mathrm{SL}_{2} \left( \mathbb{Z} \right)| \begin{pmatrix}a & b\\ c & d \end{pmatrix} \equiv \begin{pmatrix}* & *\\ 0 & * \end{pmatrix}\mod N \}</math> (ここで<math>*</math>は任意の整数であることを表す)、 <math>\mathcal{H} := \{z\in\mathbb{C} | \mathrm{Im}z > 0\}</math>は上半平面、 <math>\mathcal{H}^{*} := \mathcal{H} \cup \mathbb{Q} \cup \{ \infty \}</math> [9][8]である。
ヤコビアン
モジュラーな楕円曲線の説明のためには、まずリーマン面のヤコビアン(Jacobian、ヤコビ多様体(Jacobian variety)とも言う。)の定義から始める必要がある。 リーマン面 <math>X</math> のヤコビアン <math>\mathrm{Jac}\left( X \right)</math> を以下のように定義する。
- <math>\mathrm{Jac} \left( X \right) := \Omega^{1}_{hol}\left( X \right)^{\wedge}\backslash H_{1}\left( X, \mathbb{Z} \right).</math>
ただし、<math>\Omega^{1}_{hol}\left( X \right)</math> を <math>X</math> 上で定義された正則な1形式の集合。 <math>\Omega^{1}_{hol}\left( X \right)^{\wedge}</math> は、その双対空間、 <math>H_{1}\left( X, \mathbb{Z}\right)</math>は、<math>X</math> 上の1次のホモロジー群である。 <math>\Omega^{1}_{hol}\left( X \right)^{\wedge}</math> の要素は、具体的には、
- <math>\mathbb{R} \int_{A_{1}}\oplus \cdots \oplus \mathbb{R} \int_{A_{g}} \oplus \mathbb{R} \int_{B_{1}} \oplus \cdots \oplus \mathbb{R} \int_{B_{g}},</math>
で与えられる[10]。ただし、<math>\mathbb{R}</math>は実数、<math>A_{1}, \cdots A_{g}</math>、<math>B_{1}, \cdots B_{g}</math>はそれぞれ、<math>X \left( \Gamma \right)</math>の
<math>\alpha</math>-ループ、<math>\beta</math>-ループ、<math>g</math>は <math>X</math> の種数である。
または、アーベルの定理を適用して、
- <math>\Omega_{hol}^{1} \left( X \right)^{\wedge} = \left\{ \sum_{\gamma} n_{\gamma} \int_{\gamma} \Bigg| n_{\gamma} \in \mathbb{Z}, \sum_{\gamma} n_{\gamma} = 0 \right\},</math>
と考えてもよい[11]。ただし、<math>\gamma</math>は<math>X</math>上のパスである。また、<math>H_{1}\left( X, \mathbb{Z}\right)</math>の要素は
- <math>\mathbb{Z} \int_{A_{1}} \oplus \mathbb{Z} \int_{A_{2}} \oplus \cdots \oplus \mathbb{Z} \int_{A_{g}} \oplus \mathbb{Z} \int_{B_{1}} \oplus \cdots \oplus \mathbb{Z} \int_{B_{g}},</math>
で与えられる[10]。<math>\mathbb{Z} </math>は整数環を表す。 このような定義は、リーマン面 <math>X</math> 上の経路積分が、途中に任意のループ上の積分を含んでも結果が不変であることを要求することで自然に現れる。
特に <math>X</math> がコンパクト化されたモジュラー曲線の場合は、この定義を別の等価な定義に書き換えることができる。 この場合、<math>\Omega^{1}_{hol}\left( X \right)</math> の要素は、 ウェイト 2 のカスプ形式 <math>f\in \mathcal{S}_{2} \left( \Gamma_{0} \left( N \right) \right)</math> と強く結びついていることがわかる。ただし、<math>\mathcal{S}_{2} \left( \Gamma_{0} \left( N \right) \right)</math> は ウェイト <math>2</math> のカスプ形式の集合を表している。
与えられた <math>f</math> から作られる 1形式 <math>\omega\left( f \right)</math> は一意であり (本質的に、<math>f(\tau) d \tau</math> に等しい[12]。 ここで、<math>\tau \in \mathcal{H}</math>である。)、 したがって、写像
- <math>\omega : \mathcal{S}_{2} \rightarrow \Omega^{1}_{hol} \left( X \right),</math>
は同相写像である。よって、その双対写像
- <math>\omega^{\wedge} : \Omega^{1}_{hol}\left( X \right)\rightarrow \mathcal{S}_{2},</math>
もまた同相写像である。 このことを用いて、<math>X</math> がコンパクト化されたモジュラー曲線である場合、以下のように等価なヤコビアンの定義を 導くことが出来る。<math>\Gamma</math> を <math>SL_{2} \left( \mathbf{Z} \right)</math> の合同部分群、 <math>X \left( \Gamma \right)</math> を <math>\Gamma</math>に対応するモジュラー曲線(コンパクト化された)とする。 この時、<math>X \left( \Gamma \right)</math> のヤコビアンを
- <math>\mathrm{Jac} \left( X \left( \Gamma \right) \right)
- = \mathcal{S}_{2} \left( \Gamma \right)^{\wedge} / H_{1} \left( X \left( \Gamma \right), \mathbb{Z} \right),</math>
によって定義する[13]。 ここで、<math>\mathcal{S}_{2} \left( \Gamma \right)^{\wedge}</math>は、
- <math>\omega^{\wedge} \left( \Omega_{hol}^{1} \left( X \left( \Gamma \right) \right)^{\wedge} \right),</math>
のことである[14]。 また、<math>H_{1}\left( X \left( \Gamma \right), \mathbb{Z} \right)</math> 、 <math>\omega^{\wedge}\left( H_{1} \left( X \left( \Gamma \right), \mathbb{Z} \right) \right)</math> を略記したものである[15]。
モジュラー曲線を直接扱わずヤコビアンを扱うことには以下のような理由があることを留意すべきである。 1つは、モジュラー曲線にカスプを加えてコンパクト化したリーマン面は一般に種数 <math>g\ge 0</math> であり、 <math>g > 1</math> の場合、群構造を持たなくなるのに対して、ヤコビアンの方はその場合でも 群構造を持っているので扱いやすい点[16]と、 もう1つはモジュラー曲線をヤコビアンに埋め込むことができる[17]点である。
アーベル多様体
さらに、テンプレート:仮リンク(new form) <math>f \in \mathcal{S}_{2}\left(\Gamma_{0}\left( N \right)\right)</math>に対して、 アーベル多様体(Abelian variery)<math>A'_{f}</math>を
- <math>A'_{f} := J_{0}\left( N \right) / I_{f} J_{0}\left( N \right),</math>
によって定義する[18]。ただし、<math>I_{f}</math>は、
- <math>I_{f} := \{T \in \mathbb{T}_{Z}| T f = 0\},</math>
<math>\mathbb{T}_{Z}</math>は、整数係数のヘッケ環である。
- <math>\mathbb{T}_{Z} := \mathbb{Z}[T_{p}, \langle d \rangle].</math>
ここで、<math>\mathbb{Z}</math>は整数環、<math>T_{p}</math>はヘッケ作用素、<math>\langle d \rangle</math>はダイアモンド作用素である[19]。 (アーベル多様体<math>A'_{f}</math>の次元は<math>\mathbb{[K}_{f}: \mathbb{Q}] = 1</math>である。 ただし、<math>K_{f} := \mathbb{Q}\left(\{a_{n}\}\right)</math>は <math>f(\tau) = \sum^{\infty}_{n=1} a_{n} q^{n}</math>の数体である [20]) [21]。
ヘッケ作用素のヤコビアンへの作用は、次のように定義される。 今、ヘッケ作用素<math>T_{p}</math>とダイアモンド作用素<math>\langle d \rangle</math>をまとめて<math>T</math>と書き、 この<math>T</math>もヘッケ作用素と呼ぶことにする。 この時、ヘッケ作用素<math>T</math>のヤコビアン<math>J_{0} \left( N \right) := \mathrm{Jac} \left( X_{0} \left( N\right)\right)</math>への作用は次のようになることが わかる[22]。
- <math>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}.</math> これは、double coset operatorの定義と、ヘッケ作用素がdouble coset operatorの特殊な場合であることから導かれる [22]。なお、記号<math>[\quad]</math>は同値類の意味である。
ヤコビアンの分解
この時、ヤコビアン<math>J_{0} \left( N \right):= \mathrm{Jac}( X_{0} \left( N \right))</math>は、ヘッケ作用素によって次のように分解される[23]。
- <math>J_{0} \rightarrow \bigoplus_{f}\left(A'_{f}\right)^{m_{f}}.</math>
ここで、<math>f</math>に関する和は、新形式<math>f\in\mathcal{S}_{2}\left(\Gamma_{0}\left( M_{f}\right)\right)</math>に 入れたある同値関係によって分類される同値類の代表元についての和 [24]、 <math>M_{f}</math>は<math>N</math>の約数、<math>m_{f}</math>は<math>N/M_{f}</math>の約数の数である[25]、。 また、 写像<math>\rightarrow</math>は、同種(isogeny, 2つのトーラス間に成立する正則な準同型写像のこと。ここで、トーラスは必ずしも 種数<math>g=1</math>でなくてよい。)の意味である[26]。
<math>A'_{f}</math>は<math>1</math>次元アーベル多様体であるから複素トーラスに同相、したがって楕円曲線に同相である。 このようにして構成された楕円曲線(に同種な楕円曲線)をモジュラーな楕円曲線と言う [27]。
与えられた、有理数係数を持った<math>f\in\mathcal{S}_{2}</math>からモジュラーな楕円曲線の方程式を構成するアルゴリズムについては 文献 [28]を参照せよ。
証明の歴史
導手(conductor) について
- 平方因子を持たない場合 ワイルズ 1995
- 27で割れない場合 リチャード・テイラー他 1999
- 一般の場合
外部リンク
J.E.Cremona, Algorithms for Modular Elliptic Curves(second edition) -- 著者が全文をネット上で公開している。
出典
参考文献
- テンプレート:Cite book
- テンプレート:Cite book
- テンプレート:Anchorテンプレート:Cite journal
- テンプレート:Citation
- テンプレート:Citation
- テンプレート:CitationContains a gentle introduction to the theorem and an outline of the proof.
- テンプレート:Citation
- テンプレート:Citation
- テンプレート:Citation
- テンプレート:Citation
- テンプレート:Citation