⟐ 数学の作り方 How to make Mathematics

↑ ↓ 移動 Enter 開く Esc 閉じる

第9章 格子とミンコフスキーの定理

前章の最後に、二つの問いが残りました——イデアル類群は有限か、どう計算するか。答えの鍵は意外な方向、幾何に あります。整数環 OK\mathcal O_K は階数 nn の自由 Z\mathbb Z 加群（第2章）でした。これを Rn\mathbb R^n の中の 格子（規則正しく並んだ点の集まり）とみなすと、「小さなノルムの元を見つける」問題が「格子点を含む領域を 探す」という幾何の問題に翻訳できる。その心臓が、ミンコフスキーの格子点定理です。数論に幾何を持ち込む、 鮮やかな転換点を見ましょう。

整数環を格子として見る

KK の nn 個の埋め込み σ1,…,σn\sigma_1,\dots,\sigma_n（第3章、実埋め込みが r1r_1 個・複素埋め込みが r2r_2 組で r1+2r2=nr_1+2r_2=n）を使って、OK\mathcal O_K の各元 α\alpha を α⟼(σ1(α),…,σn(α))∈Rn\alpha\longmapsto(\sigma_1(\alpha),\dots,\sigma_n(\alpha))\in\mathbb R^n と Rn\mathbb R^n へ送ります（複素埋め込みは実部・虚部に分ける）。これをミンコフスキー埋め込みと いいます。OK\mathcal O_K が階数 nn の自由加群だったおかげで、その像は Rn\mathbb R^n の中の格子——整基底の像を 辺とする平行体を敷き詰めた点の集まり——になります。

定義 格子と共体積

Rn\mathbb R^n の一次独立なベクトル v1,…,vnv_1,\dots,v_n の整数結合の全体 Λ=⨁Zvi\Lambda=\bigoplus\mathbb Z v_i を格子、 基本平行体 {∑tivi:0≤ti<1}\{\sum t_iv_i:0\le t_i<1\} の体積を共体積 covol(Λ)=∣det⁡(v1,…,vn)∣\mathrm{covol}(\Lambda)=|\det(v_1,\dots,v_n)| という。

第3章の判別式がここで意味を持ちます。OK\mathcal O_K の像の共体積は ∣dK∣\sqrt{|d_K|} に比例する——**判別式は 格子の基本領域の体積（の二乗）**でした。∣dK∣|d_K| が大きいほど格子は“まばら”、小さいほど“詰まって”いる。 格子の密度を、代数的な不変量である判別式が教えてくれます。

ミンコフスキーの定理：大きな対称凸領域は格子点を含む

幾何数論の心臓です。まず装置で体感しましょう。中心対称な円板を育てると、面積がある閾値を超えた瞬間、必ず 原点以外の格子点が中に入ります。格子の傾きや高さ（＝共体積）を変えると、閾値がどう動くかも見てください。

閾値は「共体積の 2n2^n 倍の体積」です。これがミンコフスキーの定理の主張です。

定理 ミンコフスキーの格子点定理

Λ⊂Rn\Lambda\subset\mathbb R^n を共体積 covol(Λ)\mathrm{covol}(\Lambda) の格子、S⊂RnS\subset\mathbb R^n を原点対称な凸集合とする。 vol(S)>2n covol(Λ)\mathrm{vol}(S)>2^n\,\mathrm{covol}(\Lambda) ならば、SS は原点以外の格子点を含む（S∩Λ≠{0}S\cap\Lambda\neq\{0\}）。（SS がコンパクトなら ≥\ge でよい。）

証明

S′=12SS'=\frac12 S（半分に縮める）を考えると vol(S′)=2−nvol(S)>covol(Λ)\mathrm{vol}(S')=2^{-n}\mathrm{vol}(S)>\mathrm{covol}(\Lambda)。 基本平行体より体積の大きい S′S' を、格子で平行移動して基本平行体に畳み込むと、必ずどこかで重なる （体積が入れ物を超えるから——鳩の巣原理の連続版）。重なる二点 x,y∈S′x,y\in S' は x−y∈Λ∖{0}x-y\in\Lambda\setminus\{0\}。 一方 x,−y∈S′x,-y\in S' で S′S' は対称凸だから中点 x+(−y)⋅(−1)2\frac{x+(-y)\cdot(-1)}2… 正確には x−y=12(2x)+12(−2y)x-y=\frac12(2x)+\frac12(-2y) が SS の凸結合、すなわち x−y∈Sx-y\in S。よって SS は非零格子点 x−yx-y を含む。

証明の心は鳩の巣原理の幾何版です。「入れ物（基本平行体）より大きい体積を詰め込めば、必ず重なりが出る」。 対称性と凸性は、その重なりから格子点を SS の中に取り出すのに使います。代数の問題が、体積と鳩の巣という 素朴な幾何で解けてしまう——ここがミンコフスキーの魔法です。

なぜこれが類数の有限性につながるのか

ミンコフスキーの定理が、前章の問い（類群は有限か）にどう効くのか、道筋を先取りします。イデアル II を 格子とみて、その上に「ノルムの小さい元 α\alpha を含む対称凸領域」を用意する。定理により、体積が閾値を超えれば 必ず α∈I\alpha\in I が取れる——これは**「どんなイデアル類にも、ノルムが一定値以下の代表がある」**ことを意味します。 ノルムが有界なイデアルは有限個しかないので、イデアル類も有限個。これが次章の類数有限性の証明の骨格です。

装置の「小さなノルムの元が必ず取れる」という現象こそ、その芯。共体積（＝判別式）が大きいほど閾値も高く、 取れる元のノルムの上限も上がる——この定量的な関係が、次章のミンコフスキー限界を生みます。

注意 実二次体と虚二次体で格子の顔が違う

虚二次体（r1=0,r2=1r_1=0,r_2=1）は C≅R2\mathbb C\cong\mathbb R^2 の格子で、装置のような素直な二次元格子。実二次体 （r1=2,r2=0r_1=2,r_2=0）は二つの実埋め込みで R2\mathbb R^2 に入るが、単数（第11章）が格子を双曲的に引き伸ばす方向に 効き、幾何が異なる。埋め込みの型 (r1,r2)(r_1,r_2) が、格子の形と数論の様相を左右する。

注意 つまずきポイント

  • 対称性と凸性は必須。どちらか欠けると定理は偽（細長い領域や非対称領域は、体積が大きくても格子点を 避けられる）。証明でこの二つが本質的に使われる。
  • 閾値は「共体積の 2n2^n 倍」。2n2^n の因子を忘れない。装置の n=2n=2 では 4⋅covol4\cdot\mathrm{covol}。
  • 格子＝規則的、任意の点集合ではない。OK\mathcal O_K が自由 Z\mathbb Z 加群（第2章）だからこそ像が格子に なる。整基底の存在が幾何化の前提。

この章のまとめ

  • ミンコフスキー埋め込み：nn 個の共役 σi\sigma_i で OK\mathcal O_K（や任意のイデアル）を Rn\mathbb R^n の 格子として実現。共体積は ∣dK∣\sqrt{|d_K|} に比例（判別式＝格子体積の二乗）。
  • ミンコフスキーの定理：原点対称な凸集合 SS の体積が 2ncovol(Λ)2^n\mathrm{covol}(\Lambda) を超えれば、SS は非零 格子点を含む。証明は鳩の巣原理の幾何版（対称凸性で重なりから格子点を取り出す）。
  • これにより「どのイデアル類にもノルムが有界な代表がある」が言え、次章の類数有限性につながる。
  • 埋め込みの型 (r1,r2)(r_1,r_2)（実・複素）が格子の形を決め、実二次体と虚二次体で幾何が異なる。

次章は、ミンコフスキーの定理を定量化したミンコフスキー限界を導き、「イデアル類群は有限群である」ことを 証明します。前章の問いに、幾何が決着をつけます。