類数1の虚二次体 は完全に決定されていて,虚二次体を として
の 9 つだけであることが知られています。これがベイカー・スタークの定理です。
今日はこの定理の「ベイカーによる証明」をご紹介したいと思います。
背景
先のベイカー・スタークの定理における 9 番目の については「類数1である最後の虚二次体」として有名ですね。
tsujimotter.hatenablog.com
類数が である 9 つの虚二次体は,ガウスによって 1801 年に発見されていました。一方で,
(類数1の虚二次体の決定問題)
という問いは,長らく未解決でした。冒頭に述べた通り,この問題は 1966 年に「アラン・ベイカー」と「ハロルド・スターク」の2名によって独立に解決されました。
面白いことにベイカーとスタークの証明はお互い完全に独立で,まったく異なる手法によって解決しています。ベイカーは今回紹介する方法で,スタークは楕円モジュラー関数を用いた方法によって解決したのだそうです。
今日は,このアラン・ベイカー*1が主役です。
アラン・ベイカー (1939 - )
ところでベイカーといえば,超越数論における「ベイカーの定理」が有名です。
ベイカーの定理とは,以下のような定理です。
「類数1の決定問題」について知ったとき,私は「ベイカーはなんてすごい人なのだ!!」と思いました。
だって「超越数論」と「類数の決定問題」というまったく異なる問題を解いてしまったのですから。どんだけ守備範囲が広いのかと。
ところがです。面白いのはこれからです。
類数1の決定問題は,なんと「ベイカーの定理」を使って証明されたのです!!!
このことは,Wikipediaにも書いてありました。
(2) 類数が 1 である虚2次体の決定
虚二次体 の類数が 1 である d は、1, 2, 3, 7, 11, 19, 43, 67, 163 の9個だけであるというガウスの予想は、ベイカーの定理(定理2)を用いることにより、1966年にベイカーにより証明された。この予想は、同年、スターク (H. M. Stark) によっても、ベイカーと独立で証明された。
(Wikipedia "ベイカーの定理" より引用)
「超越数論」を使って「類数1の虚二次体」が決定できるなんて驚きです。がぜん興味が湧いてきました。
というわけで,今日は「ベイカーの定理」を使って「類数1の決定問題」を解く方法について,その方針を簡単にご紹介したいと思います。
なかなか高度な内容で,厳密に紹介しようとすると私には難しいので,あくまで概要程度に留めた解説になります。その点はご容赦ください。
今回は,1975 年に出版されたベイカーの著書 "Transcendental number theory (超越数論)" の第5章 "Class Number of Imaginary Quadratic Fields (虚二次体の類数)" を参考にしています。
ちなみに,この本は「ベイカーの定理」をはじめとした「超越数論」の手法を使ったさまざまな応用(虚二次体の決定問題やディオファントス方程式など)を紹介している本です。
途中で,前回紹介したばかりの「ディリクレの類数公式」も使います。
tsujimotter.hatenablog.com
この記事の内容も使いますので,あらかじめ読んでおくとよいでしょう。
ベイカーの定理の別バージョン
先ほど『「ベイカーの定理」を使って「類数1の決定問題」を解く』と説明しましたが,正確には若干の語弊があります。
ベイカーの定理には,よく似た2つのバージョンがあって(どちらも超越数の判定に用いることができるものですが)「類数1の決定問題」には,もう一つのバージョンを用いるのです。
とおくと,
が成り立つ。
ここで, は, および,あらかじめ定められた各対数の値によって定まる計算可能な定数である。
どちらのベイカーの定理も,代数的独立性に関する定理です。こちらの方が不等式で下界を評価できる分,応用が利くのです。
「高さ」という耳慣れない用語が出てきましたので,補足しましょう。
代数的数 の高さとは, の最小多項式の係数の絶対値の最大値のことです。
たとえば,代数的数 の最小多項式は ですが,この高さは となります。
類数の決定問題の証明では,以上の記述をそのまま使うのではなく,以下のように変形させて使います。Chapter 4 の Section 5 に載っています。
ここでもし,絶対値が高々 以下となるような有理整数 が存在して, に対して以下が成り立つならば:
与えられた対数値に応じて以下のように の上界が定まる:
私の勘違いでなければ,この命題は「ベイカーの定理2」から導けるそうなのですが,両者の同値性については私には判断がつきませんでした。
証明の準備:L関数
ベイカーの「虚二次体の決定問題の証明」では, 関数を用いて証明を行います。ここでは,2つの 関数を用意しておきます。
まず, の2つの整数に対して,2つの指標:
- 判別式 の実二次体 に付随するクロネッカーの記号:
- 判別式 の虚二次体 に付随するクロネッカーの記号:
を考えます。ここで, は互いに素としておきます。
これらの指標を用いて,次の2つの 関数を作ります。
以上2つの 関数を掛け合わせると,以下の式が得られます。
ここで, は判別式が となるような整係数の二次形式
のことなのですが,これには少し説明が必要です。
二次形式 と に対して「 と が同じ素数を表現できる」という同値関係 を入れると,二次形式全体の群を同値類 で割ることによって「二次形式の同値類群 」を作ることができます。これが,二次体のイデアル類群 と同型となります。
したがって,類数を考えることは二次形式の同値類を数えることと等価です。
tsujimotter.hatenablog.com
上記の和の記号は,判別式が である二次形式の同値類群 における「すべての類」から,それぞれ1つずつ代表元をとってくることを意味しています。
すなわち,類数が であれば, 個の が選ばれて,それを使って
を計算し,和をとるのです。
同じ類に属する二次形式は,同じ数を表現するので,上記の和は代表元の選び方によらないことに注意しましょう(well-defined)。
さて,式 の右辺は次のように二つの和に分けることができます。
最初の和の項は
と表すことができます。二つ目の和の項は,次のような「フーリエ級数」によって展開できます。
はフーリエ係数ですが,この定義は省略させてください。
以上の式において の極限をとります。
まず, の極限値を以下の記号で表すことにします。
と で場合分けが必要であることに注意します。
すると,以下のように表すことができます。
このとき の絶対値は,以下のように上から押さえられることがわかります。
また, のときは,以下のように値が定まります。
以上で準備は終わりです。
証明:類数1の虚二次体の決定
ここまでに準備した道具を用いて,類数1の虚二次体は冒頭に挙げた9つのみであることを示しましょう。
前節の設定の通り,虚二次体を とします。ここで, の類数が であると仮定します。
この仮定を満たす は,上にあげたもの以外に存在しないことを示せばいいのです。
ここで, としておきます。すると仮定より,判別式が の二次形式は
の同値類ただ1つとなります。
また, と互いに素な を使って,実二次体 を考えます。このとき の類数が となるように を選択します。
式 を再掲すると,2つの 関数の積は
で表せることがわかります。
仮定より,二次形式の類は の同値類だけなので
となります。
以下では,式 の右辺を評価していきましょう。
右辺第1項は, の約数の素因子の積なので,簡単に計算できます。後ほど, に具体的な数をいれて計算します。
続いて右辺第2項について考えます。
まず, になることがわかります。また,右辺の2項目の和の絶対値は高々
で押さえられます。ここでは, としています。
に対する和をとると,その和は に一致します。
また, であれば となりますので,以上の和は
より,
という不等式で押さえられることになります。
式 左辺の 関数についても考えていきます。ここでは,前回紹介したばかりの「ディリクレの類数公式」を使います。
類数 の実二次体 に対して
が成り立ち,類数 の虚二次体 に対して
が成り立ちます。
ここから先は に具体的な数を入れて,さらに詳しく評価していきましょう。
まず, とします。
実二次体は となり,この類数は設定通り となります。 の基本単数は, となります。
これらの を,式 に代入して評価していきます。たとえば,式 の右辺第1項については, より
が得られます。
まとめると,
という不等式が得られます。
両辺に をかけて移項すると
が得られます。
ここで,十分大きな において,少なくとも において
が成り立ちます。したがって,
が得られます。
以上の式を見ると, であることを用いて「ベイカーの定理2」の形に持っていきたくなります。ところが,このままではうまくいきません。
もうひと工夫が必要です。
として,新たに式 を計算し直します。
このときの虚二次体 の類数を ,実二次体 基本単数を とすると
が得られます。
式 の2つの不等式を用いて, を計算すると,
を得ます。
ここで,,,, としています。
は明らかに整数となりますので,
と設定すると「ベイカーの定理2(を変形させたもの)」を適用することができます。
式 のパラメータを ,, として, の上界を評価すると
より, が得られます。
よって
より, であることがわかります。
したがって,虚二次体 の類数が であるとすると, でなければならないことがわかりました。ここまでがベイカーの定理によってわかることです。
一方で,1934 年の Heilbronn と Linfoot によって,類数 の 番目の虚二次体があるとすれば, であることが示されています。したがって,以上の条件を両立する虚二次体は存在しません。
以上により,類数 の虚二次体は,冒頭に挙げた 個だけであることが証明されました。
まとめ
今日はアラン・ベイカーによる「類数1の虚二次体の決定問題」の証明をご紹介しました。「超越数論」が類数の問題に使えるというのがとても面白かったですね。
私自身もこの例を知るまで「超越数論」は単に超越数を決定することしか使えないものと思い込んでいました。そのため,今回のような応用は本当に意外でした。またベイカーの定理のような上界や下界を与える定理の「強力さ」を実感しました。
数学においては,しばしばこんなことが言われます。「大きな定理」が証明されると(それがどんな定理であれ)その定理を用いて別の非自明な結果を導くことができる。今回の「ベイカーの定理」は,まさにそれを体現するようなケースといえるでしょう。
虚二次体の類数の証明に,実二次体を使うのも面白いですね。ディリクレの類数公式も出てきました。ベイカーの定理の形式に持っていくまでの過程が,本当にトリッキーで不等式の評価も凄まじかったですね。なんとかして証明してやろうという執念を感じました。
それでは,今日はこの辺で。
参考文献
第4章に2種類の「ベイカーの定理」が載っています。定理のステートメントは,こちらの記述を参考にしました。証明も載っています(上界・下界の具体的な与え方や類数への応用についてはこちらには載っていませんでした)。
ベイカーの著書です。直接関連するのは5章ですが,3章で「ベイカーの定理」について,4章で「上界を与える具体的な計算式について」載っています。
追記:2019/04/18
こちらのページの2018年の部誌に「3.類数 1 の虚二次体」という記事があります。この記事では、スタークによる楕円モジュラー関数を用いた証明が紹介されています。
資料室 - nada-mathclub ページ!
*1:ちなみに,アラン・ベイカーは岩澤理論の研究者であるジョン・コーツの師匠です。コーツの有名な弟子として,フェルマーの最終定理を解決したアンドリュー・ワイルズがいます。したがって,ワイルズにとって,アラン・ベイカーは師匠の師匠にあたります。