谷山志村予想のステートメント

初めに

目標

まず谷山志村予想は以下のような主張です。

Fermat予想の話を聞くときこの定理を聞いたことがある人も多いのではないでしょうか？そこで今回はこのステートメントの意味するところを解説していきたいと思います。解説には齊藤毅先生のフェルマー予想の2章を参照しました。

前提知識

この記事ではHartshorne先生のAlgebraic Geometryの２章及び３章の一部(平坦射のところ)程度の代数幾何の知識、そしてSilverman先生のthe Arithmetic of Elliptic Curvesの１〜３章程度の楕円曲線の知識を仮定します。

言い訳とお願い

この記事は業務の傍、齊藤先生の本片手に駆け足で書いたもので、誤字脱字・数学的な誤り・説明が不親切な箇所等が多々あるはずなので、そのようなものを見つけた場合コメントに書いていただけると助かります。よろしくお願いします。

楕円曲線の還元($p\geq3$で良い還元を持つ場合)

素数$p\geq3$をとります。$\mathbb{Q}$上の楕円曲線とは$$y^2+a_1xy+a_3y=x^3+a_2x^2+a_4x+a_6$$の形で表される$(x,y)$たちの為す曲線のことを指します(ここで$a_i$たちは$\mathbb{Q}$の元です)が、例えばこの係数の取り方は一意ではなく、うまく変数変換を施してあげることで$$y^2=ax^3+bx^2+cx+d$$の形(ここで$a,b,c$は$\mathbb{Z}_{(p)}$の元で$a$は単元)で表されることができます。このときこの楕円曲線の$p$に於ける還元とはこの式で表される$\mathbb{F}_p$上の曲線のことを指します。この曲線が楕円曲線になっているとき$E$は$p$に於いて良い還元を持つと言います。ここで以下の量を定義します。

$p=2$の場合や$p$で良い還元を持たない場合も$a_p(E)$は定義できますがここでは省略します。

保型形式

モジュラー曲線$X_0(N)$

谷山志村予想を述べるためには「保型的である」ことの意味をはっきりさせる必要があります。しかしそのためには代数曲線$X_0(N)$を定義する必要があり、その構成には結構時間と手間がかかるので、この構成は未来の自分に任せてここではこの曲線の定義を挙げ、性質を列挙していきます。

まず一つ関手を定義します。

ここでこれらのモジュライが存在すれば嬉しいですが、実は嬉しいことに以下の結果があります。

一般的にこのようなモジュラー曲線の存在をきちんと述べるためにはそれなりの労力を要するので説明は未来の自分に丸投げします。この$X_0(N)$はレベル$N$のモジュラー曲線と呼ばれます。

保型形式って何？

いよいよ保型形式を定義します。

$q$展開

急展開ではありません、$q$展開です。だだすべりしたので裸エプロン先輩に大嘘憑きでなかったことにしてもらって早速解説に入っていきましょう。

保型形式の$q$展開とは読んで字の如く保型形式を$q$を係数とする冪級数の形に展開することです。しかし前節で定義した通り保型形式とは微分形式だったはずです。そこでこれがどのようにして冪級数に対応していくのか見ていきましょう。

ここからはかなり天下り的な解説になりますがご容赦ください。まず関数$\sigma_{k}(n):=\sum_{d|n}d^k$及びRiemannの$\zeta$-関数$\zeta$を取ります。ここで偶数$k\geq2$に対して$q$に関する冪級数$$E_k(q):=1+\frac{2}{\zeta(1-k)}\sum_{n=1}^\infty\sigma_{k-1}(n)q^n$$を定義します。一つ気をつけておきたいのは実は正の偶数$k$について$\zeta(1-k)$は有理数であるということです。これによって上記の冪級数は実は$\mathbb{Q}[[q]]$の元であることがわかります。ここで以下の命題が成り立ちます。

証明は時間のある時か必要性に迫られた時に書くのでひとまず省略させてくださいm(_ _)m。そしてさらにここには自然な$\Gamma_0(N)$構造を構成することができます。ここで$\mathbb{Q}$-スキーム$T$に対して$X_0(N)(T)=\{\text{射 }T\to X_0(N)\}$は$T$上の広義楕円曲線たちを司っていたことを思い出しましょう。これによって上記の広義楕円曲線及びその$\Gamma_0(N)$構造は射$e:\mathrm{Spec }\mathbb{Q}[[q]]\to X_0(N)$を定めることができます。

次にこの射$e$から微分形式の引き戻し$e^\ast:\Omega_{X_0(N)/\mathbb{Q}}\to \Omega_{\mathbb{Q}[[q]]/\mathbb{Q}}$が定まります。ここで$dq\mapsto q$で定義される写像$\Omega_{\mathbb{Q}[[q]]/\mathbb{Q}}\to\mathbb{Q}[[q]]$を合成することで準同型$$e^\ast:S(N)\to\mathbb{Q}[[q]]$$が定義できる。ここで保型形式$f$から定まる展開$$e^\ast f=\sum_{n=1}^\infty a_n(f)q^n$$を$q$-展開と呼びます。

以上の定義は非常に抽象的ですが、解析的に見ると実は非常に自然な定義です。後日時間がある時にこの解説も書こうと思います。

ここで上記の定義からだと異なる保型形式から同じ$q$-展開が得られることも起こりそうなものですが実は以下の命題が成り立ちます。

Hecke作用素

Hecke作用素を定義する前に

以上で楕円曲線$E$に対して$a_p(E)$が、保型形式$f$に対して$a_n(f)$が定義できたので「楕円曲線がモジュラーである」とは$E$から定まる$a_p(E)$が$f$の$q$-展開の係数$a_p(f)$となんか対応してるんだろうなということが想像できます。実際その通りなのですが、実は主張をより正確に述べるためにはまだ準備が必要です。

ここではそのための準備としてHecke作用素を定義していきます。Hecke作用素とは$S(N)$の間のある線型写像を指すのですが、その構成には$X_0(N)$の性質やモジュライ空間としての意味をフルに使っていきます。

モジュラー曲線$X_0(N,n)$

$X_0(N)$とは$\mathbb{Q}$-スキーム上の楕円曲線とその$\Gamma_0(N)$構造を司るモジュライ曲線でした。ここでHecke作用素を定めるためにもう一つモジュラー曲線を考える必要があります。

前述の通りこのような関手を表現するモジュライ曲線があるかは常に厄介な問題ですが、実は以下が成り立ちます。

ここで関手の射$s,t:\mathcal{M}_0(N,n)\to\mathcal{M}(N)$を$$s(E,C,E',C',f):=(E,C)$$$$t(E,C,E',C',f)=(E',C')$$と定義します。ここで$s,t$は代数曲線の射$s,t:Y_0(N,n)\to Y_0(N)$を誘導しますが、実は以下が成り立ちます。

ここで曲線$X_0(N,n)$を稠密開部分スキームとして$Y_0(N,n)$を含む$\mathbb{Q}$上のsmooth射影代数曲線とします(非自明ですがこのような$X_0(N,n)$はちゃんと一意的に存在します)。さらに嬉しいことに$s,t:Y_0(N,n)\to Y(N)\subseteq X_0(N)$は$s,t:X_0(N,n)\to X_0(N)$に一意的に延長します。

以上から曲線$X_0(N,n)$と曲線の有限平坦射$s,t:X_0(N,n)\to X_0(N)$を定義することができました。

微分形式の引き戻し・跡

まず体$K$をとり、$K$上のsmoothな射影曲線の有限平坦射$f:X\to Y$があったとき、引き戻し$\Gamma(Y,\Omega_{Y/K})\to \Gamma(X,\Omega_{X/K})$は常に定義されます。

跡は、$f$の有限平坦射性を用いて、自然に定義できます。まず既約成分ごとに分けることで$Y$は連結であるとして一般性を失いません。ここで連結smooth曲線は既約なので、特に任意の開集合が稠密になります。そこで$Y$の稠密アファイン開部分スキーム$V$及び$f(U)\subseteq V$なる$X$のアファイン開集合$U$で、$f$が$U$上エタールになっているようなものを取ることができます。ここで$V=\mathrm{Spec}(A)$及び$U=\mathrm{Spec}(B)$とすると、$A$-加群$\Gamma(V,\Omega)$はランク$1$の自由$A$-加群(さりげなくここで$Y$のsmooth性が効いています)で、その生成元を$\omega$とします。ここで引き戻しによる像$f^\ast\omega\in\Gamma(U,\Omega)$を取ることができますが、これは$\Gamma(U,\Omega)$の生成元になっています。ここで$B$は有限射影$A$-加群なのでこれによって跡写像$\mathrm{Tr}_{B/A}:B\to A$を定めることができます。ここで押し出し$(f|_U)_\ast:\Gamma(U,\Omega)\to \Gamma(V,\Omega)$を$$(f|_U)_\ast(bf^\ast\omega)=(\mathrm{Tr}_{B/A}b)\omega$$と定義します。これは生成元$\omega$の取り方に依りません。ここで包含$\Gamma(X,\Omega)\subseteq\Gamma(U,\Omega)$及び$\Gamma(Y,\Omega)\subseteq\Gamma(V,\Omega)$を考えると跡写像$$f_\ast:\Gamma(X,\Omega)\to \Gamma(Y,\Omega)$$が誘導されます。以上から射影smooth曲線の有限平坦射$f:X\to Y$から引き戻し$f^\ast:\Gamma(Y,\Omega)\to \Gamma(X,\Omega)$と跡$f_\ast:\Gamma(X,\Omega)\to \Gamma(Y,\Omega)$が定義されました。

Hecke作用素と準素形式

上でHecke作用素を定義しました。この線型写像に対して特別な振る舞いをする保型形式を考えていきます。

まず標数$0$の体$K$に対して$$S(N)_K=S(N)\otimes_{\mathbb{Q}}K$$とおき、その元を$K$-係数の保型形式と呼びます。上で定めた$q$-展開$S(N)\hookrightarrow \mathbb{Q}[[q]]$の係数拡大$e_K^\ast:S(N)_K\hookrightarrow{K}[[q]]$とおき、これも$q$-展開と呼びます。

谷山志村予想

以上でいよいよ谷山志村予想のステートメントを述べる準備が整いました。

この定理が証明されたのは約20年前です。これはFermatの最終定理が証明されたあとで、Wilesが証明したのは準安定楕円曲線に限った以下の結果になります。

以上で本記事は終わりです。次に記事を書くときはこのWilesの結果の証明に向けて進んでいきたいと思います。