ゼータ関数
の負の整数 における値には面白い性質があります。
たとえば, の値は
となって で割り切れますが, の値は
となり,どちらも で割り切れます。
ほかにも無数の に関する合同式を立てることができ,これらをまとめたものがクンマーの合同式です。あとで詳細は紹介しますが,クンマーの合同式は,簡単にいえば のときに に対して の合同式が成り立つことを主張する定理です。言い換えれば がp進的に近ければ, もp進的に近いことを表しています。ゼータ関数の特殊値に存在する「p進的な性質」を示唆していると言えます。
この辺のお話は「ゼータ関数の左側」の性質として,数学カフェでも紹介したことがありました。以下のスライドにまとめているのでご覧になってください。
前々回の記事で紹介した岩澤理論では,ゼータ関数の持つこのような「p進的な性質」について,その根拠を与えてくれます。実はゼータ関数の背後には「p進L関数」という,p進的な性質を持った関数が存在して,p進L関数の性質がゼータ関数の特殊値に遺伝することによってクンマーの合同式が成り立っているのです。今日はこれについて解説しましょう。
p進L関数について考える前に,ゼータ関数の(ある種の)一般化である「L関数」について述べておきましょう。
上記の級数は で絶対収束する.全複素平面に有理型に接続され, ならば全複素平面で正則となる.
Dirichlet指標の箇所を無視すれば,ほぼゼータ関数と同じ形をしています。実際 (自明な指標)とすると, はゼータ関数 に一致します。
L関数を用いると,クンマーの合同式は以下のように定式化されます。
が成り立つ.
ここで は,導手が ( は と素な自然数, または )で, なる原始的Dirichlet指標とします。
細かいことを除けば, のL関数の特殊値 と の特殊値 との間に成り立つ における合同関係を表しています。
なお,本記事の内容は,岩澤理論とその展望(上)という本を参考にしています。本書では,p は 3 以上の素数としているので,本記事でもこれを前提とします。
合同式についての補足
この節は,わかっている人は読み飛ばしてもらってかまいません。
上の「クンマーの合同式」をはじめとしたいくつかの合同式ですが,はじめて見た方はびっくりするかもしれません。いわゆる普通の合同式は として
の形をしたものでした。今回の合同式は, が整数ではありません。ゼータ関数のケースでは「有理数同士の合同式」になっています。このような合同式はどうやって定義されるのでしょう。
における,通常の意味の合同式 は,両辺の差 が で割り切れることを指します。これは「 が のイデアル に属する」のように言い換えることができます。
有理数同士の場合も同様に考えますが,この場合は での合同式を考えます。つまり, における合同式 は, が のイデアル に属するとして定義されます。有理数体 は に埋め込まれますから,ゼータの合同式は の合同式として考えられるわけです。L関数の場合は,ディリクレ指標 の値が係数につきますから, に の値を加えた環を考えます。これについては次節で再度注意します。
さて,こういう風にいうと,ややこしく思えるかもしれませんが実はそんなに難しいものではありません。 のとき, という合同式は, の既約分子(約分したときの分子)を が割り切ると言い換えてもよいのです。先ほどの例であれば,
を計算して約分して,その分子が の倍数であるかどうか確認すればいいのです。
慣れるまで少しややこしく感じるかもしれませんが,ぜひいろいろな例で試してみてください。
p進L関数の補間性質
まずは,p進L関数を定義しましょう。この辺から岩澤理論に関する話が登場しますので,前々回の記事をあらかじめご参照ください。
tsujimotter.hatenablog.com
上の記事では,岩澤代数 と呼ばれるものが登場していました。この岩澤代数は, 上の円分 拡大のガロア群 についての完備群環です。前回はもう少し一般の 拡大を考えていましたが,今回の記事では 上の円分 拡大のみを考えます。
今回の記事では,前回用いた岩澤代数 より係数環がもう少しだけ大きくなったもの
を考えます。
は, を なる Dirichlet 指標として, に の値を付け加えて得られる の部分環を表します。
このとき,久保田-Leopoldt,岩澤,Colemanらによって次の結果が得られています。主張の中身が少し長いので,主張を述べたあとで説明を加えたいと思います。
が一意に存在して,任意の整数 と に値を持つ の任意の有限指標 に対して, における等式:
を満たす.ただし, は の位相的生成元であり, のときは または と仮定する.
また, は十分大きな が存在して, の指標とみなせるので, の同型を通して自然に Dirichlet 指標とみなしていることに注意する.
定理の主張の前半と後半の2つに分けて考えましょう。便宜上,以降の説明では とします。
まず,前半で述べたことは,ある特別な元 が岩澤代数 の中に存在して,一意に定まるということです。一意に定まるので,これを「p進L関数」と名付けようというわけです。
なぜ「p進L関数」なのかについては,後半の主張でわかります。後半では, に円分指標と有限指標 の2つのDirichlet指標の積 を適用すると,L関数の特殊値 と結びつくことを主張しています。 の の箇所は,一般に として とすることができます。
( は正の整数)のときに限りL関数の特殊値と一致しますが,このような性質を補間性質と言います。 におけるp進L関数の値は, の値を補間するように定まるというわけですね。まさにp進L関数。
ここで のときの値としては,単純にL関数が出てくるのではなく,
という余分な因子が現れます。この逆数をEuler因子といい,L関数のEuler積における に関する因子と一致します。すなわち,pに関するEuler因子の逆数をかけることによって,pに関するEuler因子をあらかじめ相殺しておく必要があるということです。それ以外の部分についてはL関数そのものです。
以上をまとめると,p進L関数は以下の3点によって特徴付けられます。
- 岩澤代数 の一意に定まる特別な元であり
- に対して を適用すると の値をとるp進的な関数であり
- 特に においては,(Euler因子を除いて)L関数の特殊値と一致する
このようなp進L関数は,以下の2通りの方法によって具体的に構成することができます。
- Stickelberger元を用いた方法(岩澤)
- 円単数のノルム系を用いた方法(Coleman)
それぞれまったく異なる構成方法にもかかわらず,上の補間性質を持つp進L関数を作り出すことができるのです。このことは,p進L関数の多面性を表していて,これによって岩澤主予想(Iwasawa Main Conjecture)が2通りの方法で証明することができたりするなど,さまざまな利点が生まれます。
補間性質の証明は残念ながらここでは書きません。まだ私がちゃんと理解していないためです。いずれこのブログでも書きたいと思っていますが。
以上により,p進L関数という岩澤代数の元が存在することがわかりました。以前の記事で紹介した通り,岩澤代数は,セールの同型によって「べき級数」とみなすことができるのでした。岩澤類数公式の証明においても,このような考え方の転換は大活躍しましたが,今回も同様です。
位相的生成元 として特に なる をとり,同型写像
を固定します(セールの同型)。このとき次の可換図式があります:
右回りの経路は に を適用しています。 より, となります。
また,左回りの経路は に を適用してから を適用しています。合成すると となって右回りの経路と一致します。
以上の考え方により,岩澤代数 の元 を,べき級数 として考える意味が出てきます。
べき級数の合同式
上記で考えたべき級数 には,以下の補題で主張されるような合同式が成り立ちます。この補題がクンマーの合同式を示すための,もう一つのキーになります。
が成り立つ.
だんだん,クンマーの合同式に近づいてきた感じがしますね。実際あと一歩です。
この補題の証明は,二項展開を用いることになります。私が参考にしている「岩澤理論とその展望(上)」の補題3.31に相当するものですが,証明が省略されてよくわかりませんでした。なんとか,自分なりに証明をつけることができましたので,それを以下に記します。
裏話をすると,二項係数の合同式についての証明は,自分一人ではできませんでした。Twitterで尋ねたところ,のらんぶるさんという方から答えを教えていただきまして,なんとかこのようにまとめることができました。
基本的には の二項展開と合同式の性質を使うことで証明できます。ただ, は負の整数値も取るので注意が必要です。
という記号について補足をしておきます。 はp進付値と呼ばれる写像 で, を が何回割り切るかを表す記号です。たとえば, であれば を が 回割り切りますので, です。
が得られる.両辺を で割ると, の分だけずれるので
が成り立つ.
したがって,一般化された二項係数の定義
より
が成り立つ.
より, のとき
が成り立つので(数論Ⅱの第10章 問3より)
が得られる.よって,
が成り立つ. をかけると
が成り立つ.
以上を用いて の二項展開を計算する.
となる.
は, として一般に
とかける.ここで とすると
となり補題が証明される.
クンマーの合同式の導出
以上を用いるとクンマーの合同式を導くことができます。ここでは, のときだけを考えます。
を に置き換えて先ほどの可換図式を考える.この可換図式において①右回り②左回りの2通りの経路を考えたい.
まず,①右回り
の経路を,p進L関数 に対して適用すると,p進L関数の補間性質の式において としたもの
と一致する.これはL関数の特殊値であった.
一方,②左回り
の経路は,セールの同型によってべき級数 に移してから, に を代入することを意味する.
これらの2つが可換であることから,下の経路で得られるベキ級数 に を代入して得られた の値も,L関数の特殊値と一致する.
したがって
が成り立つ.
また ならば であるから,補題より に と をそれぞれ代入して得られた値の間には, において合同関係が成り立つ.
したがって, なる正の整数 に対して
なる合同式が成り立つことがわかる.これは,クンマーの合同式そのものである.
まとめ
今日は岩澤理論の記事第二弾として「p進L関数」についてご紹介しました。
p進L関数という「岩澤代数における都合のよい元」が存在すれば,補間性質によりクンマーの合同式という「ゼータ関数のp進的性質」を導くことができるというお話でした。p進L関数の具体的な構成は一段と難しいですが,またの機会にチャレンジしたいと思います。
岩澤理論の研究集会 Iwasawa2017 は今週の水曜から始まりますね。Twitterの情報によると,岩澤理論の専門家の先生が続々と来日しているそうです。
それでは,今日はこの辺で!
疑問(解決)
途中で現れた可換図式で と書いていますが,参考文献の方には となっていました。これは私の勘違いなのか,はたまた誤植なんでしょうか。
誤植ではありませんでした。上記の説明にあるとおり が正しいです。