最近「ゼータ関数」の話はこのブログで書いておらず,しばらくご無沙汰でした。最近学んでいる理論を調べているうちに「ゼータ熱」が再燃してきました。
啓蒙書でお話程度に聞いていて「抽象的でよくわからないなぁ」と思っていた対象が,だんだんつかめてきて面白く感じてきたのです。
今日は、そんな「ゼータ関数」に関するトピックの中から「行列式表示」に関するお話をしたいと思います。
「ゼータ関数」と「行列式」とは、少々意外な取り合わせに見えますね。でも、このへんがつながってきたら面白そうに思えませんか。
行列のゼータ関数
ゼータ関数といえば「リーマン・ゼータ関数」を思い浮かべますが,実はほかにもたくさんの種類があります。今回取り扱うのは,行列のトレースによって定義された「行列のゼータ関数」です。
こんな形をしています。
が 次正方行列で, はべき級数の変数と考えてください。すなわち, は変数 の関数です。
ちょっといかめしい形をしていますが,こんなやつでもゼータ関数だと思ってください。そこから話がスタートします。
後ほどこの「行列のゼータ関数」と「リーマン・ゼータ関数」の類似点を説明しますので,楽しみにしていてください。
さて,このゼータ関数には,行列式を用いた別の表示が存在するのです。以下のように書けることが知られています。
ただし, は 次の単位行列.
ずいぶんシンプルになりましたね。
しかも,ただシンプルになっただけではありません。このような形にしておくと,リーマン予想の証明が非常にやりやすくなるのです。
この辺の興味深いトピックに触れるために,式 を導くことを今回の目標としましょう。このためには,行列の基本的な性質について知る必要があります。
ジョルダン標準形と相似変換
任意の行列 は,ジョルダン標準形に変形すると,上三角行列の形にすることができます。
を の形に変換することを「相似変換」といいます*1。任意の正方行列は,適切な をとってきて相似変換すると,ジョルダン標準形にもっていくことができるのでした。 は行列 の固有値で,ジョルダン標準形においてはこの固有値が対角に並んだ形となるのです。
さて,このようにジョルダン標準形に変換しておくと色々と良いことがあります。
まず,トレースや行列式の計算が簡単になります。 の固有値 を使って簡単に計算できます。
便利〜。特に行列式の計算って大変だったイメージがありますが,これなら楽チンですね。
とはいえ,相似変換してしまったら,元々の の情報は消えてしまいそうで,あまり意味はなさそうに思えます。
ところがどっこい。都合のよい事実があります。なんとトレースと行列式は,相似変換に対して不変なのです。
これは嬉しい。相似変換の正当性が出てきました。つまり,行列のトレースや行列式を計算したいときは,いったんジョルダン標準形に相似変換してしてしまえばよいわけですね。トレースや行列式が求めやすく,都合が良いのです。
単に求めやすくなっただけではありません。トレースや行列式が,行列の固有値という「本質的な量」によって記述できるということがわかったのです。これは非常に重要なポイントです。
大学の線形代数の講義で「対角化」や「ジョルダン標準形」を習ったとき「なんでこんな計算をしているんだろう」と思ったものですが,実際に役に立つものですね。ちゃんと勉強しておけばよかった。
もう一つ。固有多項式の不変性についても触れておきたいと思います。この式もあとで使います。
という式は,固有多項式と呼ばれる式です。この の部分を相似変換した に変換したとしても,値は不変だと言っているのです。
この式は を相似変換した を計算して が得られることと,行列式の相似変換による不変性から導けます。
となるわけなのですが,この右辺の となるような が固有値ですね。
ちなみに,今回は使わないですが,固有多項式に行列 を代入すると,ケイリー・ハミルトンの定理が成り立ち,全体が零行列となるという話は有名ですね。
というわけで,ここまで紹介した定理は,まさに線形代数のオンパレードという感じでした。これがいったいどのようにゼータ関数に使えるのでしょう。
行列式表示の導出
それでは,以上の定理を使って冒頭の行列式表示を求めることにしましょう。
以下の式を変形していきます。
ここで, を計算する必要があります。これには少し工夫が必要です。
まず,ジョルダン標準形に相似変形した を 乗すると
が得られます。これは大学受験の数学でよく出てくるようなタイプの計算ですね。懐かしい。
次に,相似変換に対するトレースの不変性を使って
とします。これによって, のトレースが
と計算できることがわかります。右辺はジョルダン標準形の 乗ですから
と簡単にかけます。さらにトレースは対角の和になりますから,以下の式が得られます。
すごく簡単な式になりましたね!
これを式 に代入して変形していきましょう。
ここで,
という形のべき級数を計算することになります。ここで, とおくと
という形式的なべき級数の変換が得られます。収束の条件は です。
となります。これはまさに対数関数のテイラー展開そのものですね。
これを適用すると,
のように変形できます。まとめると,
という式が得られました。この式は非常に重要なので,式番号をつけておきます。
一方,行列式の表示の方を変形して,等号が成り立つことを示しましょう。
の固有多項式を変形しましょう。例によって をジョルダン標準形に相似変換すると,
となりますが,ジョルダン標準形は対角成分に固有値を持つ上三角行列なので
と書けるはずです。上三角行列の行列式は,簡単に計算できて,
と計算できます。結局
がわかりました。
この式 と式 を見比べると,
が得られて,式 の行列式表示が導けました。
リーマン予想
実は,上の行列式にはもう一つ意味があります。
のように書いていましたが,これによって の特異点,すなわち極の存在がわかります。すなわち, が
となる点において,分母が になり, は発散することがわかりますね。計算すると,
となります。つまり,ゼータ関数 の極の点が,行列の固有値でかけるということです。これは,このゼータ関数の性質がよいことを示しています。
リーマン予想とは「リーマン・ゼータ関数の特異点である「零点」の実部が の実軸上に乗っているはずだ」という予想でした。
この予想は,一般的なゼータ関数の零点や極が統制された位置にあるという予想に一般化することができます。そして,先ほどわかったように,ゼータ関数 の極は,行列の固有値でかけるという非常によい性質を持っています。
以上のことは,行列のゼータ関数をもう少しだけ変形していくで,より明瞭になります。
とおきましょう。 に代入していきます。
より,極の位置は
となることから,
が得られます。絶対値をとると
となりますね。
ここで, がユニタリ行列(固有値の絶対値が の行列)と仮定すると
が成り立ちます。
極の実部が になるということで,ずいぶんとリーマン・ゼータ関数の状況に近づきましたね。
駄目押しで,こんな変形をしてみましょう。行列 を 次元の行列とします。また,素数 に対して定まる(乗法的な)数列を用いて とし, としましょう。すると,式 は
となります。 として,式 の変形を使うと
が得られます。これはまさに, に付随するディリクレ 関数のオイラー積
の に関するオイラー因子ですね。
なるほど,こんな風に対応していたのか。これなら「ゼータ」と言っても文句はないでしょう。
まとめ
今日伝えたいことは大きく2つです。
1つは,行列の形で書くことができるゼータ関数があるということ。もう1つは,ゼータ関数を「行列式表示」に持っていくことができれば,零点や極がわかりやすくなり,リーマン予想が非常に扱いやすくなるということです。
実際,このような形で表せる式はしばしば登場して,線形代数の力を使って興味深い性質が導けるのです。今回の背景を知らないと,行列式や固有値が突然出てきて面喰らうわけですが,慣れればどうってことはありません。
例をあげると「合同ゼータ関数」と呼ばれるゼータ関数があります。合同ゼータ関数は「スキーム」という代数的な空間の上で定義される「フロベニウス作用素」の「トレース」を係数に持つゼータ関数ですが,これにも今回の話を応用することができます。
似たような形式で定義することができ,これによって行列式表示を得ることができるのです。このことから,合同ゼータ関数のリーマン予想は幾分証明が簡単になるのだそうです。実際,合同ゼータ関数のリーマン予想は(いわゆる「ヴェイユ予想」と呼ばれるものですが),ドリーニュという数学者によって 1974 年に証明されました。
そのうちこの話もできればいいなと思っています。
それでは,今日はこの辺で。
参考文献
本記事は,黒川先生のこちらの本の第2章「行列の整数ゼータ関数」を参考にしています。黒川先生の本はほとんど持っているのですが,これまでの本は「お話寄り」だったり「専門書寄り」だったりしたわけですが,今回の本はその間を見事につなぐ本という印象でした。お話として聞いていたあの話は,実はこういうことだったのかと。大変面白い本なので,よかったら読んでみてください。
- 作者:信重, 黒川
- 発売日: 2016/12/08
- メディア: 単行本
ちょっと自慢ですが,先日書泉グランデさんで開催された講演会に参加して,著者の黒川先生のサインをいただいてきました。
黒川先生の書く の文字が素敵だったので,おねだりして書いていただきました。笑
今回は,行列や線形代数の定理のオンパレードだったわけですが,黒川先生は実際「線形代数学」の講義を持っていて,今回の内容を応用例として講義で話されているそうです。
楽しそう!羨ましい!
*1:どうでもいいことですが,tsujimotter は が "PPAP" に見えて仕方ありません。