明けましておめでとうございます。新年最初の記事になりますが、もう既に新年から2ヶ月以上経っていることに驚きました。
さて、本日あたりから「p進ゼータ関数」という本が店頭に並び始めました。
p進ゼータ関数 久保田-レオポルドから岩澤理論へ (シリーズ「ゼータの現在」)
- 作者: 青木美穂
- 出版社/メーカー: 日本評論社
- 発売日: 2019/02/22
- メディア: 単行本
- この商品を含むブログを見る
先月1/25も「重点解説 岩澤理論」という本が発売されていました。
重点解説 岩澤理論 2019年 01 月号 [雑誌]: 数理科学 別冊
- 出版社/メーカー: サイエンス社
- 発売日: 2019/01/26
- メディア: 雑誌
- この商品を含むブログを見る
どちらも岩澤理論の本です。岩澤理論関連の本が立て続けに発売されて、ファンとしては嬉しい限りです。
「p進ゼータ関数」の本が届いたので、早速ですが第2章ぐらいまでをざっと目を通してみました。ここまでは私でも読めるという感じの内容でした。他の岩澤理論の本では飛ばしてしまっていたような議論を丁寧に計算してくれている印象で、独学マンとしてはとてもありがたかったです。
特に、タイヒミュラー指標と呼ばれるものの定義について丁寧に議論されていて、私はこれを初めて理解できた気がしました。感激です。今日はその話をしたいと思います。
タイヒミュラー指標の定義?
以下、 を奇素数として固定します。
このとき,
をタイヒミュラー指標という.
今日の記事の目標は、この定義の言わんとしていることを理解することです。
このタイヒミュラー指標は、岩澤理論で度々登場する重要概念の一つで、たとえばp進L関数の定義にも登場しますね。
tsujimotter.hatenablog.com
しかしながら、その定義があまりよく理解できませんでした。これまで読んだ本でもちゃんとした解説は見当たらなかったように思います。
上の定義を何も考えずに読むと、いきなり という式からしてつまずくかと思います。普通に考えると
という列が収束するとは思えないからです。
この文脈では「進的な収束」を暗に考えていると解釈するんですが、このことについて説明するために「完備化」について復習しましょう。
コーシー列と完備化
有理数体 には、大きく分けて2通りの距離を入れることができます。
一つは、通常の意味の絶対値 によって
と定義される距離です。
もう一つは進距離というものです。 に対して、互いに素な整数 を用いて
と表したときの の値を としたとき、
なるp進絶対値 によって
と定義される距離です。
と のうちいずれかの距離を としたとき、距離空間 が定まります。
さて、この距離空間に対して コーシー列 という数列を考えます。
「任意の正の有理数 に対し,ある正の整数 が存在し, がすべての に対して成り立つ」
これは「十分大きな を取れば、それ以降の数列の値は限りなく【近いところ】にありますよ」という意味です。この【近いところ】というのは、絶対値 で測ったときの【近いところ】という意味です。絶対値(あるいは距離)の選び方によって、【近さ】の意味が変わってくるのですね。
たとえば、 としたとき、円周率 の小数第 位以下を切り捨てた数列
は、距離空間 のコーシー列となります。
さて、円周率 は有理数ではありませんが、コーシー列としては表現できます。このコーシー列を数だと思ってしまって、数の概念を広げてあげようというのが完備化です。
距離空間 のコーシー列全体 をとってきて、それら一つ一つを数だと思ってしまえば、元の よりも大きな数の集合ができているはずです。ただし、 の元の中で、同じ数を表すコーシー列があるでしょう。たとえば、先ほどの円周率を表現する数列を としたとき、 だけ に置き換えた数列 も、十分大きな では同じ数列と見なせますから、こういうものは同一視したい。
に対して、こういう同値関係 を入れて、 を で割った商集合 を の完備化といいます。
の完備化が実数体 で、 の完備化が進数体 です。
は距離空間 のコーシー列
上で述べたことをまとめると、コーシー列というのは、(今考えている距離に対して)十分大きい では互いに距離が小さくなっていく数列ということでした。また、任意のコーシー列が収束するように数の集合を広げる操作を完備化というのでした。
つまり、完備化した先では、任意のコーシー列に対して収束先が存在するということです。ここで冒頭の問題に戻りましょう。
元の問題は、 という数列が「進的には」収束するのかということでした。問題を命題の形で正確に述べると、こうなります。
これを証明できれば、上の数列が の元に収束するといえます。コーシー列であることを示しましょう。もう一度コーシー列の条件を思い出します。
任意の正の有理数 をとります。 に対して、ある正の整数 が存在して、 について
が成り立つことを示す必要があります。このような は存在するのでしょうか。
結論から言うと
を満たすように を取ればよいとわかります。やってみましょう。
まず、 という条件ですが、 のときは自明に式 が成り立つので、 としてよいことに注意します。
という式を考えて、その指数部分 を以下のように変形します。
さらに、 を活かすために
と変形します。すると、 の の部分がすべて 以上の数になっていることが確認できます。
これを の指数に戻すと、指数法則から
とかけます。
ここで の部分に着目します。 は、位数 の乗法群なので、群論のフェルマーの小定理により、 に対して
が成り立ちます。したがって
が言えました。両辺に をかけると
が成り立ちます。
よって、左辺と右辺の差 は で(少なくとも) 回割れるとわかるので
が言えます。よって、式 が成り立ち、 が のコーシー列であることが示せました。(証明終わり)
少し長かったですが、これにて が の元に収束することが示せました。これで問題は半分くらい解決です。
を示す
これまでの議論で は示せました。最後に を示して終わりましょう。
を考察しましょう。先ほどと同様の議論により
であるから は で少なくとも 回割り切れます。したがって
より
が言えます。
何が言いたかったかを説明すると、 は において 乗すると になる数、つまり の 乗根 だったということです。
における 1 の 乗根全体を とかくと
であることが言えました。
任意の の元 に対し、 であることと付値の加法性から
より です。したがって、 であることが言えます。
よって、 が示せました。
今回のまとめと次の目標
今回分かったことをまとめます。
これで という記号が定義されました。この記号には、以下の重要な性質があることもわかります。
(2)
性質 (1) については既に上で示しましたが、性質 (2) についてはまだでした。簡単なのでやってしまいましょう。
任意の に対して、 ですが、フェルマーの小定理 より
となります。これを 回繰り返すと
が得られますが、 の極限をとると性質 (2) の式となります。
次の目標は、 から への指標
を得ることです。これが タイヒミュラー指標 と呼ばれるものです。
これを得るためには、 の代表元によらずに が定まること(well-defined性)と、写像が準同型写像になっていること(準同型性)を示す必要があります。これについては近いうちに続きの記事を書きたいと思います。
今回はひとまずタイヒミュラー指標の入り口が理解できた気になれて、私としては大満足です。
それでは今日はこの辺で。
修正事項 2019/11/30
最後の章の記述を変更しました。
本記事の内容では、 の指標を定義するところまでは示していないため(well-defined性と準同型性がまだ)、その旨を明記しました。