ミンコフスキーの定理 - 代数的整数論

代数的整数論において「類数は有限である」という事実は基本的な定理の一つだが、その証明の核心にあるのがミンコフスキーの凸体定理である。幾何学的な直感を数論に持ち込むこの手法は、格子と凸体という素朴な道具立てから驚くほど強力な結論を引き出す。

格子と基本領域

$n$ 次元実ベクトル空間 $R^{n}$ の中に、 $n$ 個の線型独立なベクトル $v_{1}, \dots, v_{n}$ を取る。これらの整数係数線型結合

$L = {a_{1} v_{1} + \dots + a_{n} v_{n} ∣ a_{i} \in Z}$

を格子（lattice）と呼ぶ。格子は $R^{n}$ の中に規則正しく散らばる点の集まりであり、結晶構造のようなものだと思えばよい。

格子 $L$ に対して、基本領域（fundamental domain）を

$F = {t_{1} v_{1} + \dots + t_{n} v_{n} ∣ 0 \leq t_{i} < 1}$

で定義する。基本領域の体積は $vol (F) = ∣ det (v_{1}, \dots, v_{n}) ∣$ であり、これを格子の 余体積（covolume）と呼ぶ。 $R^{n}$ 全体を基本領域の平行移動でタイル張りできるという点が重要になる。

ミンコフスキーの凸体定理

ミンコフスキーの定理の主張は次の通りである。

凸体定理

$L$ を $R^{n}$ の格子、 $S$ を原点対称（ $x \in S \Rightarrow - x \in S$ ）な凸集合とする。 $S$ の体積が

$vol (S) > 2^{n} \cdot vol (F)$

を満たすならば、 $S$ は原点以外の格子点を含む。すなわち $S \cap (L ∖ {0}) \neq = \emptyset$ である。

直感的な理解

$S$ を半分に縮小した集合 $\frac{1}{2} S$ の体積は $vol (S) / 2^{n} > vol (F)$ となる。体積が基本領域より大きい集合を格子で「折りたたむ」と、鳩の巣原理によって必ず重なりが生じる。この重なりから原点以外の格子点の存在が従う。

証明の骨格を見ておこう。集合 $\frac{1}{2} S$ を各格子点 $ℓ \in L$ で平行移動した $\frac{1}{2} S + ℓ$ たちを考える。これらを基本領域 $F$ に「折り返す」と、体積の合計が $vol (F)$ を超えるため、ある二つの異なる格子点 $ℓ_{1} \neq = ℓ_{2}$ に対して $(\frac{1}{2} S + ℓ_{1}) \cap (\frac{1}{2} S + ℓ_{2})$ が空でなくなる。つまり、ある $s_{1}, s_{2} \in S$ が存在して $\frac{1}{2} s_{1} + ℓ_{1} = \frac{1}{2} s_{2} + ℓ_{2}$ が成り立つ。整理すると

$ℓ_{1} - ℓ_{2} = \frac{1}{2} (s_{2} - s_{1})$

となる。 $S$ が原点対称だから $- s_{1} \in S$ 、凸性から $\frac{1}{2} (s_{2} + (- s_{1})) \in S$ であり、左辺は $ℓ_{1} - ℓ_{2} \neq = 0$ なる格子点だから、 $S$ は原点以外の格子点を含む。

数体への応用：ミンコフスキー限界

ミンコフスキーの凸体定理を数体 $K$ のイデアル類群に適用すると、すべてのイデアル類の中に「ノルムが小さい」整数イデアルが見つかることが示せる。

$K$ を次数 $n = [K : Q]$ の代数体とし、 $r_{1}$ を実埋め込みの個数、 $r_{2}$ を複素埋め込みの共役対の個数とする（ $n = r_{1} + 2 r_{2}$ ）。 $K$ の整数環 $O_{K}$ を $R^{n}$ に埋め込む標準的な方法（正準埋め込み）を使うと、 $O_{K}$ の像は $R^{n}$ の格子を成す。任意のイデアル $a$ も格子を成し、その余体積は判別式とイデアルのノルムで表される。

余体積の公式

$a$ の像が成す格子の余体積は $vol (a) = 2^{- r_{2}} ∣ d_{K} ∣ \cdot N (a)$ で与えられる。ここで $d_{K}$ は $K$ の判別式、 $N (a)$ は $a$ のノルムである。

適用する凸体

$∣ x_{1} ∣ + \dots + ∣ x_{r_{1}} ∣ + 2 (∣ z_{1} ∣ + \dots + ∣ z_{r_{2}} ∣) \leq t$ で定まる原点対称凸集合を取る。パラメータ $t$ を十分大きくすれば凸体定理の条件を満たす。

凸体の体積と格子の余体積を比較して凸体定理を適用すると、 $a$ の中にノルムの絶対値が

$∣ N_{K / Q} (α) ∣ \leq (\frac{4}{π})^{r_{2}} \frac{n !}{n ^{n}} ∣ d_{K} ∣$

を満たす $0 \neq = α \in a$ が存在することがわかる。右辺はイデアル $a$ に依存しない定数であり、これを ミンコフスキー限界（Minkowski bound）と呼ぶ。

類数の有限性

ミンコフスキー限界の意味するところは明快である。イデアル類群 $Cl (K)$ の任意の元は、ノルムがミンコフスキー限界以下の整数イデアルを代表元に持つ。ノルムが有限の範囲に収まる整数イデアルは有限個しかないから、イデアル類群は有限群となる。

この論法の美しさは、幾何学（凸体定理）と代数（イデアル論）が自然に結びつく点にある。ミンコフスキー限界は実際の類数計算にも不可欠な道具であり、限界以下のノルムを持つ素イデアルをすべて調べ上げれば、それらの間の関係からイデアル類群の構造が決定できる。

具体例： $Q (- 5)$ の類数

$K = Q (- 5)$ で計算してみよう。 $n = 2$ , $r_{1} = 0$ , $r_{2} = 1$ , $d_{K} = - 20$ である。ミンコフスキー限界は

$M_{K} = \frac{4}{π} \cdot \frac{2 !}{2 ^{2}} \cdot 20 = \frac{4}{π} \cdot \frac{1}{2} \cdot 25 = \frac{4 5}{π} \approx 2.85$

となる。したがって、ノルムが $2$ 以下の素イデアルだけを調べればよい。

$O_{K} = Z [- 5]$ において、 $2 = (2, 1 + - 5)^{2}$ と分解される。この素イデアル $p = (2, 1 + - 5)$ は単項イデアルではない（ノルム $2$ の元が $O_{K}$ に存在しないため）。一方 $p^{2} = (2)$ は単項だから、 $p$ はイデアル類群の中で位数 $2$ の元を定める。これ以外に調べるべき素イデアルはないので、 $Cl (K) ≅ Z /2 Z$ 、すなわち類数は $h_{K} = 2$ である。