第12章 ゼータ・L関数と展望

これまで築いてきた道具——整数環・素イデアル分解・イデアル類群 $h_K$・単数群と単数基準 $R_K$——を、最後に 一つの解析関数に束ねます。それがデデキントゼータ関数です。驚くべきことに、その特異点の様子に、 $h_K$ と $R_K$ という代数的な不変量が同時に姿を現す（類数公式）。代数と解析が握手するこの地点から、円分体・ フェルマー、そして分野の大目標類体論への扉が開きます。全 12 章を総括しましょう。

デデキントゼータ関数：素イデアルを束ねる

リーマンゼータ $\zeta(s)=\sum n^{-s}=\prod_p(1-p^{-s})^{-1}$ は、素数の情報を一つの関数に 束ねたものでした。同じことを、数体 $K$ のイデアルで行います。

オイラー積が成り立つのは、まさにイデアルの素イデアル分解の一意性（第6章）ゆえ——$\sum N(I)^{-s}$ を 素イデアルごとの等比級数の積に開けるのは、各イデアルが素イデアルの積に一意表示されるからです。第6章で 回復した一意性が、ここで解析関数の骨格を支えています。さらに素イデアル $\mathfrak p$ を有理素数 $p$ 上に 集めると、第7章の分解の型 $efg$ が積の形に効き、$\zeta_K$ は $p$ の分解法則を丸ごと記録します。

類数公式：代数と解析の握手

$\zeta_K(s)$ は $s=1$ に一位の極を持ちます。その留数を計算すると、これまでの不変量が一堂に会します。

この一本の式に、本分野の主要な登場人物がすべて顔を出しているのは壮観です。$h_K$（第8–10章、イデアルの 破れ）、$R_K$（第11章、単数格子）、$d_K$（第3章、判別式＝格子体積）、$w_K$（第11章、冪根）、$r_1,r_2$ （第9章、埋め込みの型）。左辺は純粋に解析的（ゼータの極の留数）、右辺は純粋に代数的・幾何的。素イデアルの 分布という解析的情報が、類数と単数という代数的情報を決めている——代数的整数論の深さを象徴する等式です。

円分体とフェルマー：出発点への回帰

第4章で触れた、フェルマーの最終定理へのつまずきに戻ります。$x^p+y^p=z^p$ を円分体 $\mathbb Q(\zeta_p)$ で $x^p+y^p=\prod(x+\zeta_p^i y)$ と分解する素朴な攻略は、$\mathbb Q(\zeta_p)$ の一意分解の破れ（$h_K>1$）で頓挫 しました。クンマーの洞察は、破れを類数で管理することでした。

一意分解の破れ（類数）を正面から評価することで、破れを制御下に置いて証明を通す——イデアルと類群の理論が、 歴史的な難問に初めて実質的な前進をもたらした瞬間です。円分体 $\mathbb Q(\zeta_m)$ は、その豊かな対称性 （ガロア群が $(\mathbb Z/m)^\times$）ゆえに、素数の分解法則がとりわけ美しく、次の類体論の主舞台になります。

類体論への扉、そして総括

本分野の一つの到達点が類体論です。素数の分解法則（第7章）は、二次体では平方剰余の相互法則で 書けました。これを一般のアーベル拡大（ガロア群が可換な拡大）へ拡張し、「素イデアルがどう分解するかは、 イデアル類群（を精密化した群）で完全に記述される」というのが類体論の主定理です。$K$ のアーベル拡大の全体が、 $K$ の内部のイデアル的なデータだけで分類される——ヒルベルトの夢の実現であり、円分体はその原型 （$\mathbb Q$ のアーベル拡大はすべて円分体の中にある＝クロネッカー–ウェーバー）です。ここから先は、非可換な 拡大を扱うラングランズ・プログラム、$L$ 関数の特殊値（バーチ・スウィナートン=ダイアー予想）といった、 現代数論の大伽藍が広がります。

貫く糸は「数で壊れた秩序を、一段上の世界（イデアル）で取り戻す」という一点です。素因数分解という素朴な 宝物が、数体では壊れる。だがイデアルへ持ち上げれば一意分解が蘇り、その破れの度合いは類群という有限群で、 可逆元は単数格子で測られ、最後はゼータ関数という解析的な対象に結晶する。$\mathbb Z$ の算術に潜んでいた 豊かさが、数体という広い舞台で、代数・幾何・解析を総動員して展開される——それが代数的整数論です。