類数公式

類数公式

数論の文脈で、類数公式（るいすうこうしき、英: class number formula）は、代数体におけるいくつかの重要な不変量、特にイデアル類群の位数である類数をデデキントゼータ関数の特殊値と関連付ける公式です。この公式は、数体と呼ばれる代数拡大の特性を深く理解するための重要な役割を果たします。

一般的な類数公式

まず、数体 K を定義します。ここで、次のように書けます：

[K : Q] = n = r₁ + 2r₂

ここで、r₁ は K の実埋め込みの数を、2r₂ は K の複素埋め込みの数を表します。また、デデキントゼータ関数 ζₖ(s) や類数 hₖ、レギュレータ Regₖ、判別式 Dₖ、1 の冪根の数 wₖ も重要な役割を果たします。したがって、次の定理が成り立ちます。

定理（類数公式）

K のデデキントゼータ関数 ζₖ(s) は、実部 ℜ(s) が 1 より大きい場合で絶対収束し、s = 1 に唯一の一位の極を持つ有理型関数へ拡張できます。特に、この時の留数は次のように表されます：

$$
egin{align*}
ext{lim}_{s o 1}(s-1)ζₖ(s) = \ rac{2^{r₁} imes (2 ext{π})^{r₂} imes hₖ imes ext{Reg}_k}{wₖ imes ext{√} |Dₖ|}.
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
ext{ }
\
ext{ここで、} hₖ ext{は類数、Regₖはレギュレータ、} wₖ ext{は1の冪根の数、} |Dₖ| ext{は判別式です。}
ext{ }
ext{当公式は特に、K が Q の円分拡大体の時により精密な表現を持つことに注意が必要です。}
$

証明

類数公式の証明は、特に K = Q(i) の場合が分かりやすいです。この時、K の整数環はガウス整数環と呼ばれ、デデキントのゼータ関数の s = 1 における留数は、ディリクレ級数表現における係数の平均値を示します。これは、整数の二乗の和としての表現の方法の数を意味し、ガウス円の問題を通じて留数の評価が可能となります。

一般の場合、ディリクレ単数定理により K の整数環の単数群は無限群であるとされますが、実埋め込みと複素埋め込みを用いることで、この留数の計算を格子点の数え上げ問題に帰着させることが可能です。これにより、格子点の数を体積で近似するアプローチが取られます。

ディリクレの類数公式

1839年、ディリクレは二次体の類数公式を証明しましたが、その形式はイデアル類ではなく、二次形式によるものでした。ガウスは既にこの公式を知っていた可能性があります。ここでは、基本判別式 d と、判別式 d のもとにある二次形式の同値類の数 h(d) を考えます。クリネッカー記号を用いることで、特定のディリクレ指標 χ を見つけられます。

ディリクレは、d > 0の状態下で、ペル方程式の解を用いて、類数を次のように示しました:

$$ h(d) = egin{cases}
rac{w ext{√}|d|}{2 ext{π}}L(1,χ), & d<0; \ rac{ ext{√}d}{ ext{ln}ε}L(1,χ), & d>0.
ext{ }
ext{ }
{}} $$

この公式は、一般的な類数公式の特別なケースに相当し、二次体に対するデデキントのゼータ関数がこれに関連付けられます。

有理数のガロア拡大

次に、K が Q のガロア拡大である場合を考えます。この際は、アルティンのL-函数の理論を ζₖ(s) に適用でき、リーマンゼータ関数がこの公式において中心的な役割を果たすことになります。すべての既約な非自明複素線型表現に関して、この類数公式が成り立つことが確認できます。

有理数のアーベル拡大

ここで、ガロア群がアーベル群となる場合、ディリクレ指標に基づく全ての L(1) の値も含み、円分体のケースにおける既知の結論と結び付けられます。これにより類数は単数群のインデックスから導出されることが示されます。これに関連する理論は岩澤理論にも通じ、スティッケルベルガーの定理と関連しています。

もう一度検索