代数体の付随するガロワ群による特徴付けについて
尾崎学 (早稲田大学基幹理工)

1. 序
本稿では，代数体の同型類と算術的同値類を付随するガロワ群で特徴付けるという問題を，近年筆者によって得られた結果も交えて概説する．
以下，有理数体の代数的閉包 Q を一つ固定して，その部分体を代数体，特に Q 上有限次拡大である代数体を有限次代数体ということにする．そして，

A0 := { 有限次代数体全体 } ⊆ A := { 代数体全体 }とおく．
本稿では以下の 2 つの同値関係を考察する：(1) 同型 K1 ≃ K2 （K1 , K2 ∈ A）
def.
(2) 算術的同値 K1 ≈ K2 ⇐⇒ ζK1 (s) = ζK2 (s)（K1 , K2 ∈ A0 ）∑1
（a は F の整数環 OFs[O:a]Faの非零イデアル全体を亙る）は F の Dedekind zeta 函数を表す．
明らかに，K1 , K2 ∈ A0 に対し，K1 ≃ K2 =⇒ K1 ≈ K2 であるから，≃ は ≈ よりも強い A0 上の同値関係である．
ここで，F ∈ A0 に対し，ζF (s) =以下の節で，代数体の同型類と算術的同値類がいかに Galois 群の言葉で特徴付けられるかについて解説する．

2. 算術的同値類の特徴付け
数論研究を生業にしている人は多かれ少なかれ，Dedekind zeta 函数
ζF (s) は有限次代数体 F のことを良く知っていると信じている．実際，
ζF (s) から F の多くの算術的情報が復元される：
命題 1. K1 , K2 ∈ A0 , K1 ≈ K2 とすると，以下が成立する．

(1) すべての素数の K1 と K2 における分解様式が一致する．即ち，任意の素数 p に対して，
eigpOKi = pei1i1 pei2i2 · · · pigi i
1

を素イデアル分解とするとき，適当に素イデアルの番号付を選べば，
g1 = g2 , [OK1 /p1j : Fp ] = [OK2 /p2j : Fp ] (1 ≤ i ≤ g1 = g2 ) が成立する（この条件は K1 ≈ K2 の必要十分条件である）．

(2) [K1 : Q] = [K2 : Q]．さらに K1 と K2 の実無限素点と複素無限素点の個数がそれぞれ一致する．
(3) dK1 = dK2（判別式）××(4) OK≃ OK（Abel 群として）12(5) hKi を Ki の類数，RKi を Ki の単数規準とするとき，hK1 RK1 =hK2 RK2 が成立．
しかし，ζF (s) は F のすべてを知っているわけではない：√√
例 1. K1 := Q( 8 −15), K2 := Q( 8 −240) とおくと，K1 ≈ K2 である．
しかし，K1 と K2 は同型ではない．さらに，hK1 ̸= hK2 , RK1 ̸= RK2([2]).
従って，≈ は ≃ よりも真に弱い A0 上の同値関係である．
それでは，有限次代数体の同型と算術的同値の差はどの程度なのであろうか．それを理解するために，函数体での類似を見てみる．F1 , F2を標数 l の有限体 F 上の 1 変数代数函数体として，C1 , C2 を F 上の代数曲線で，それぞれの F 上函数体が F1 と F2 になるものとする．そして，ζFi (s) を Fi の Dedekind zeta 函数とする．このとき，つぎが知られている：
定理 1 ((1)⇐⇒(3) は Weil, (2) との同値性は Tate[11]). つぎは同値である：(1) ζF1 (s) = ζF2 (s)(2) Ci の Jacobi 多様体 Jac(Ci )（i = 1, 2）の間に F 上の同種写像
Jac(C1 ) ∼ Jac(C2 ) が存在する．
(3) p を l と異なる素数として，XFFi (p) を FFi 上の最大不分岐 abel p拡大の Galois 群とする（類体論よりこれは Tate 加群 lim Jac(Ci )[pn ] と←−自然に同型）．このとき，Gal(F/F) ≃ Gal(FFi /Fi )-加群としてXF1 (p) ⊗Zp Qp ≃ XF2 (p) ⊗Zp Qpが成立．
従って函数体の世界での算術的同値は即ち，Jacobi 多様体の同種であるから，代数体における同型と算術的同値の差は，函数体におけるJacobi 多様体の同型と同種の差の類似として捉えることができる．

代数体の世界では Jacobi 多様体そのものの良い類似物は知られていないが，Tate 加群の良い類似物があり，それと Dedekind zeta 函数との関係の類似が追求されている――それが岩澤理論である．ここで円分的 Zp -拡大の岩澤理論について簡単に説明する．k を有限次代数体，素数 p を一つ固定しておく．函数体の係数拡大 FFi の類似物として K := k(µp∞ )（µp∞ は 1 の p 羃乗根全体）を採る（本来であれば 1 の羃乗根全てを添加した拡大を考えたいところだが，現時点でその方向での類似の追求はうまくいっていない）．
XK (p) を K 上の最大不分岐 abel p-拡大 LK (p)/K の Galois 群，XK,{p} (p)を K 上の最大 p-分岐 abel p-拡大 MK (p)/K の Galois 群（「p-分岐」は「p 上に無い素点はすべて不分岐」の意）とする．
このとき，Gal(K/k) ≃ Gal(k(µp )/k)×Gal(K/k(µp )) が Gal(LK (p)/k)
乃至は Gal(MK (p)/k) の内部自己同型を通じて XK (p) 及び XK,{p} (p)に作用する．ここで，有限個の例外の p を除けば，Gal(k(µp∞ )/k) ≃Gal(Q(µp∞ )/Q) =: Gp に注意．
函数体の場合，Gal(F/F) の Frobenius 自己同型の XFFi (p)⊗Zp Qp への作用の特性多項式 Φ(X) が本質的に ζFi (s) に一致するのであった（Weil）．
同様のことが代数体のこの枠組みでも k が総実有限次代数体の場合 には成立する（岩澤主予想＝ Wiles の定理）．即ち，Qp 上の有限次線型空間 (XK (p) ⊗Zp QP )− := (1 − J)(XK (p) ⊗Zp QP ) （J ∈ Gal(k(µp )/k) は複素共役）あるいは，(XK,{p} (p) ⊗Zp QP )+ := (1 + J)(XK (p) ⊗Zp QP )への Gal(K/k(µp )) ≃ Zp の生成元の作用の特性多項式 Pp (X)（岩澤多項式）が，Dedekind zeta 函数の負の整数点での値を p-進補間して得られる p-進 zeta 函数の零点で記述される．ここで，函数体の場合と決定的に異なるのは，函数体の場合には一つのの固定された素数 p ̸= l についての Frobenius 自己同型の特性多項式 Φ(X) から zeta 函数が完全に復元される，つまり zeta 函数は本質的に多項式であるが，代数体の場合には岩澤多項式 Pp (X) から p-進 zeta 函数は復元できない．代数体のp-進 zeta も Dedekind zeta も多項式からかけ離れた函数だからである．
従って，代数体に於いて定理 1 のそのままの類似は成立しないのであるが，次の定理が示すように，p を殆どすべての素数を走らすことで，岩澤多項式から Dedekind zeta を復元し，類似の結果を得ることができる：
定理 2 (足立-小松 [1](1987), J.Oh[9](1998)).
k1 , k2 を総実有限次代数体とすると，次は同値：(1) k1 ≈ k2(2) 有限個の例外を除いたすべての素数 p について，Xk1 (µp∞ ) (p)− ≃ Xk1 (µp∞ ) (p)− （Zp [[Gp ]]-加群として）

(3) 有限個の例外を除いたすべての素数 p について，Xk1 (µp∞ ), {p} (p)+ ≃ Xk1 (µp∞ ), {p} (p)+ （Zp [[Gp ]]-加群として）注意 1. 実際には，(2) の同型の条件を “擬同型 Xk1 (µp∞ ) (p)− ∼ Xk2 (µp∞ ) (p)−（Zp [[Gp ]]-加群として）” に変えたもの（擬同型とは，核と余核が有限であるような準同型である），あるいは “−” を外したものも同様に同値である．(3) についても同様（“+” を外す）．
定理 2 の証明の概略を説明しよう．(1) ⇐⇒ (2) の証明が本質的で，(2) と (3) は Kummer 双対性から概ね同値であることが従う．=⇒ 部分は次の群論的な命題から従う：
命題 2. (1) k1 , k2 ∈ A0 とする．N ⊆ Q を k1 k2 を含むような任意の Q上の有限次 Galois 拡大として，G := Gal(N/Q), H1 := Gal(N/k1 ), H2 :=Gal(N/k2 ) とおく．
このとき k1 ≈ k2 であるための必要十分条件は，全単射 f : H1 −→ H2と {σh | h ∈ H1 } ⊆ G で f (h) = σh hσh−1 (∀h ∈ H1 ) をみたすものが存在することである．
（G の 2 つの部分群 H1 と H2 がこのような性質を持つ
とき，H1 と H2 は Gassmann 同値と言われる．
）(2) G を有限群，∆ を群，p を #G と素な素数，M を Zp [G × ∆]-加群とする．このとき，G の Gassmann 同値な部分群 H1 , H2 に対して，
MH1 ≃ MH2 （Zp [∆]-加群として）∑
ここで MH := M/ h∈H (h − 1)M は M の最大 H-不変商．
N を命題 2 と同様とすれば，p ∤ #Gal(N/Q) のとき
XN (µp∞ ) (p)Gal(N (µp∞ )/ki (µp∞ )) ≃ Xki (µp∞ ) (p) (i = 1, 2)
なので，この命題を G = Gal(N (µp∞ )/Q(µp∞ )), ∆ = Gal(Q(µp∞ )/Q), Hi =Gal(N (µp∞ )/ki (µp∞ )), M = XN (µp∞ ) (p) に適用すると（有限個の例外の素数 p を除いて，Gal(N (µp∞ )/Q) ≃ Gal(N (µp∞ )/Q(µp∞ )) × Gal(Q(µp∞ )/Q),
Gal(N (µp∞ )/Q(µp∞ )) ≃ Gal(N/Q)に注意），定理 2 の (1) =⇒ (2) が従う．
(2) =⇒ (1) は，上述の岩澤主予想（Wiles の定理）を用いる：有限個の例外を除いたすべて素数 p についての Xki (µp∞ ) (p)− の構造から，有理数 ζki (1 − n) (n ∈ Z≥1 ) の p 進絶対値を，有限個の例外の素数 p を除いて知ることができる．このことから，Dedekind zeta 函数の函数等式と解析的手法を駆使して，ζk1 (s) = ζk2 (s) を導くことができる．

定理 2 は (2) =⇒ (1) の部分で総実代数体の岩澤主予想（Wiles の定理）を用いているので，総実でない一般の有限次代数体についてそのままの形では一般化されていない．しかし，少し弱い形であれば，一般の有限次代数体についても成立する：
命題 3 (O.).

k1 , k2 ∈ A0 とすると次は同値：(1) k1 ≈ k2 ,(2) 有限個の例外を除いたすべての素数 p について，
p(Xk1 (µp∞ ),{p} (p)⊗Zp Qp )ωp ≃ (Xk1 (µp∞ ),{p} (p)⊗Zp Qp )ω（Qp [Gp ]-加群として）

ここで，ωp : Gal(Q(µp )/Q) −→ Z×p )/Q)]p は円分指標で，Zp [Gal(Q(µ()∑1−1ωpX．
加群 X に対し，X := p−1 σ∈Gal(Q(µp )/Q) ωp (σ)σ
注意 2. 実際には，(2) の同型の条件を “Xk1 (µp∞ ),{p} (p)ωp ≃ Xk2 (µp∞ ),{p} (p)ωp（Zp [[Gp ]]-加群として）” に変えたもの，あるいは “ωp ” を外したものも同様に同値である．
定理 2 と命題 3 は，有限次代数体 k の無限次拡大 Lk(µp∞ ) (p)/k ある
いは Mk(µp∞ ) (p)/k の Galois 群の族が k の算術的同値類を特徴付けるという結果であったが，もっと小さい制限分拡大の Galois 群の族によっても，特徴付けることができる．以下，一般に F ∈ A と素数 p, 素数の集合 S に対して，XF,S (p) で F 上の最大 S-分岐 abel p-拡大（「S-分岐」
は S に含まれる素数上の F の素点以外はすべて不分岐の意）を表す．
定理 3 (東海林-O.[3](2013)).
k1 , k2 ∈ A0 とする．l0 を，l0 > [ki :Q] (i = 1, 2), l0 ∤ hk1 hk2 dk1 dk2 をみたすような固定された素数とする．
このとき次は同値：(1) k1 ≈ k2 ,(2) 任意の素数の集合 S に対して，
Xk1 ,S (l0 ) ≃ Xk2 ,S (l0 ),(3) 有限個の例外を除くすべての素数 p に対して，
Xk1 ,{p} (l0 )/l0 ≃ Xk2 ,{p} (l0 )/l0 .
この定理により，有限 Galois 群の族 {Xk,{p} (l0 )/l0 | p は素数 } が k ∈A0 の算術的同値類を特徴付けることがわかる．

(1) =⇒ (2), (3) は命題 2 から直ちに従う．(2) =⇒ (1) の証明には次の定理を用いる：
定理 4 (Stuart-Perlis[10]).

k1 , k2 ∈ A0 に対して，次は同値：(1) k1 ≈ k2 ,(2) 有限個の例外を除くすべての素数 p について，k1 と k2 に於ける p上の素点の個数が一致する．
Xk,{p} (l0 )/l0 は類体論により k における p 上の素点の個数と関連はあるが，単数群の影響によりこの群から直ちにその素点の個数が復元されるわけではない．しかし，技術的な方法より，殆ど全ての p について定理 3(2) の同型がが成立していることを利用すると，この困難は克服できて．定理 4 より (1) が導かれる．
3. 同型類の特徴付け
有限次代数体の Galois 群による特徴付けについては，Neukirch-内田の定理として名高い次の定理がある．以下，F ∈ A に対し，GF :=Gal(Q/F ) を F の絶対 Galois 群とする．
定理 5 (Jürgen Neukirch[4], 内田興二 [6]，池田正験 [7]，岩澤健吉 [8]).
k1 , k2 ∈ A0 について，φ : Gk1 ≃ Gk2 を位相群同型とする．このとき，
α ∈ GQ で，α(k1 ) = k2 , φ(σ) = ασα−1 (∀σ ∈ Gk1 )を満たすものが一意に存在する．特に k1 ≃ k2 である．
この定理の系として，絶対 Galois 群の自己同型に関する次の事実が得られる：
系 1.

k ∈ A0 に対して，Aut(k) ≃ Out(Gk ), g 7→ (σ 7→ gσg −1 )mod Inn(Gk )ここで，Aut(k) は k の自己同型群，Out(Gk ) は Gk の外部自己同型群，Inn(Gk ) は Gk の内部自己同型群，g ∈ Aut(k) に対して，g は g|k = gなる GQ の元とする．特に Out(GQ ) = 1 である．
ここで定理 5 の成立の経緯について簡単に説明する．まず初めにNeukirch が以下で説明するような基本的な成果を挙げた後に，それを基にして内田興二が定理の主張を証明した．同時期に池田は内田とは独立に系 1 の証明を完成させ，岩澤は池田の証明の手法で定理 5 を示すことができることを指摘した．

以下で定理 5 の証明の概略を説明しよう．すべての基本は次の Neukirchの定理である：
定理 6.
1 ̸= H ⊆ GQ を閉部分群とする．ある局所体 Qp ⊆ κ ⊆ Qp
で，ある素数 q ̸= 2 に対して q ∞ ∤ [κ : Qp ] （即ち，Qp ⊆ M ⊆ κ で，
[M : Qp ] < ∞ なる M たちについて，[M : Qp ] の q-部分が有界）なるものについて，H ≃ Gκ が成立しているものとする．このとき，Q の素点 P で、H ⊆ DQ,P なるものが一意に存在する．ここで，F ∈ A とQ の素点 P に対して，DF,P は P に関する GF の分解部分群を表す．特に [κ : Qp ] < ∞ の場合には，P は p の上の素点である．
この定理の系として，次が得られる：
系 2.
k ∈ A0 , p を素数とする．このとき，{Dk,P | P|p} は {H ⊆Gk | ∃κ/Qp : 有限次 : H ≃ Gκ } の包含関係に関する極大元全体と一致する．
この系から，Gk の p 上の素点に関する分解部分群たちは，Gk の群論的構造のみから完全に定まることがわかる．言い換えると各素点の分解群は既に群 Gk の構造の中に “encode” されている ([5, p.786])．これはある意味で絶対 Galois 群が「素数のことを知っている」とも解釈できる．例えば Dirichlet の算術級数定理は定理 5 を用いることにより，GQ の群構造に encode されていることが判る．とは言えども，例えばRiemann 予想などが encode されているかどうかは謎である（これは半分は冗談です）．
さて，系 2 から，各素数 p について

(1)

{φ(Dk1 ,P ) | P|p} = {Dk2 ,P | P|p}が従う．素数 p の ki での分解様式は，Gki の部分群の族 {Dk1 ,P | P|p} から決定されるので，(1) と命題 1 より，k1 ≈ k2 が得られる（Neukirch）．
内田はこの Neukirch の結果を基にして，巧妙な群論的方法で定理 5を得た：Neukirch の結果より，任意の有限次拡大 K1 /k1 に対し，K2 /k2を φ(GK1 ) = GK2 なる有限次拡大とすれば，K1 ≈ K2 が従う．特にN/Q が k1 k2 ⊆ N であるような有限次 Galois 拡大のとき，N と算術的同値な有限次代数体は N 自身のみなので（これは命題 2(1) で k1 /Q
を Galois とすれば，H1 は G の正規部分群なので，H1 = H2 となることから従う），φ(GN ) = GN となる．よって，φ は，有限群の同型
φN : Gal(N/k1 ) ≃ Gal(N/k2 ) を誘導する．しかも，上に述べたことと命題 2 より，φN は任意の部分群 H ⊆ Gal(N/k1 ) について H と φN (H)が Gal(N/Q) の部分群として Gassmann 同値になるという強い性質を持っていることが判る．この事実を足掛かりとして，内田は φN が実際に Gal(N/Q) の内部自己同型から誘導されることを示し，結局 φ が GQの内部自己同型から来ていることを証明したのである．

定理 5 を無限次代数体も含む代数体のクラスに拡張する試みについて説明する．その前に少し記号の準備をする．素数 p と n ≥ 1 に対して，

Πp,n := {l | l は素数，l ≡ 1

l−1(mod pn )，p p ̸≡ 1 (mod l)}Πn := {l | l は素数，l ≡ 1 (mod n)}とおく．そして，F ⊆ A を，以下の 2 条件をみたす F ∈ A 全体の集合とする：• 部分体 F0 ⊆ F で，F0 /Q は Galois 拡大，[F : F0 ] < ∞ となるものが存在する．
• 任意の素数 p と整数 n ≥ 1 に対して，l1 , l2 ∤ [F : Q] （すなわち，任意の Q 上有限次部分体 M ⊆ F に対して，l1 , l2 ∤ [M : Q]）なる l1 ∈ Πp,nと l2 ∈ Πn が存在する．
ここで，A0 ⊆ F に注意しよう．このとき，定理 5 の一般化である
次の定理を得る：
定理 7. K1 , K2 ∈ F に対して，φ : GK1 ≃ GK2 を位相群同型とする．
このとき，α ∈ GQ で，α(K1 ) = K2 , φ(σ) = ασα−1 (∀σ ∈ GK1 )を満たすものが一意に存在する．特に K1 ≃ K1 である．
証明の概略について説明しよう．証明の土台は定理 5 同様，定理 6及びその系である．まず，それらから次の補題が得られる：
補題 1. S, T を任意の素数の集合とする．定理 7 の仮定の下で，GTKi ,S (i =1, 2) を Ki 上の最大 S-分岐 T -分解拡大（即ち，S 上にない素点は不分岐かつ T 上にある素点はすべて完全分解するような最大拡大）の Galois群とするとき，GTK1 ,S ≃ GTK2 ,S が成立する．
この補題をうまく運用すると，Galois 拡大 F/Q で，F ⊆ K1 ∩ K2 かつ [Ki : F ] < ∞ (i = 1, 2) なるものが存在することがわかる．
有限次拡大 M1 /K1 に対し，M2 /K2 を φ(GM1 ) = GM2 なる有限次拡大，N/Q を M1 M2 ⊆ N なる Galois 拡大で，[N : F ] < ∞ なるものとする．このとき，有限次 Galois 拡大 N0 /Q で N0 ⊆ N かつ制限写像が同型 π : Gal(N/F ) ≃ Gal(N0 /F0 ) (F0 := N0 ∩ F ) を誘導するものが存在π(Gal(N/Mi ))(i = 1, 2) とおけば，M1,0 ≈ M2,0する．このとき Mi,0 := N0が補題 1 と次を用いることで証明できる：
補題 2. q を #Gal(N0 /Q) | q − 1. なる素数とする．
もしも任意の有限 Fq [Gal(N0 /Q)]-加群 Y について，YGal(N0 /M1,0 ) ≃ YGal(N0 /M2,0 ) (Fq -加群として)が成立すれば，M1,0 と M2,0 は算術的同値である．
任意の有限 Fq [Gal(N0 /Q)]-加群 Y はある素数の集合 S, T に関する
T
XN0 ,S (q) として実現され，さらに S, T をうまく選べば，XNT 0 ,S (q) ≃TXN,S(q) とできる．ここで，補題 1 より，
TT
XNT 0 ,S (q)Gal(N0 /Mi,0 ) ≃ XN,S(q)Gal(N/Mi ) ≃ XM(q) (i = 1, 2)
i ,Sは互いに同型であるから，補題 2 より M1,0 ≈ M2,0 が従う．
よって，定理 5 の証明と同様に，φ が有限群の同型
π(Gal(N/Ki ))φN0 : Gal(N0 /k1 ) ≃ Gal(N0 /k2 ), (ki := N0(i = 1, 2))を誘導して，内田の手法によりこの同型 φN0 が Gal(N0 /Q) の内部自己同型から誘導されることも判る．そして，結局 φ 自身が GQ の内部自己同型から来ていることを示すことができる．

References[1] N.Adachi, K.Komatsu, The maximal p-extensions and zeta-functions of algebraic number fields. Mem. School Sci. Engrg. Waseda Univ.51 (1987), 25–31.
[2] B.de Smit, R.Perlis, Zeta functions do not determine class numbers. Bull.
Amer. Math. Soc. (N.S.) 31 (1994), no. 2, 213–215.
[3] M.Tohkailin, M.Ozaki, Characterization of arithmetical equivalence of number
fields by Galois groups with restricted ramification, Tokyo J. Math. 36 (2013),
no. 2, 347–354.
[4] J.Neukirch, Kennzeichnung der p-adischen und der endlichen algebraischen
Zahlkrper, Invent. Math. 6 (1969), 296–314.
[5] J.Neukirch, A.Schmidt, K.Wingberg, Cohomology of number fields (2nd edition), Grundlehren der Mathematischen Wissenschaften 323, Springer-Verlag,
Berlin, 2008.
[6] K.Uchida, Isomorphisms of Galois groups. J. Math. Soc. Japan 28 (1976), no.
4, 617–620.
[7] M.Ikeda, Completeness of the absolute Galois group of the rational numberfield. J. Reine Angew. Math. 291 (1977), 1–22.
[8] K.Iwasawa, Automorphisms of Galois groups over number fields (1975) (未刊行), 岩澤健吉全集第 2 巻.
[9] J.Oh, On zeta functions and Iwasawa modules, Trans. Amer. Math. Soc. 350(1998), no. 9, 3639–3655.
[10] D.Stuart, R.Perlis, A new characterization of arithmetic equivalence, J. Number Theory 53 (1995), no. 2, 300–308.
[11] J.Tate, Endomorphisms of abelian varieties over finite fields. Invent. Math. 2(1966) 134–144.

早稲田大学理工学術院基幹理工学部数学科
尾崎 学
e-mail: ozaki@waseda.jp