分岐群 (数学)

数論、特ににおける**分岐群**（ぶんきぐん、）とは、局所体のガロア群のであり、体拡大における分岐の現象について詳細な情報を提供してくれるものである。

## 付値の分岐理論

**付値の分岐理論**（ramification theory of valuations）は、体 *K* の付値 *v* の *K* の拡大体 *L* への延長の集合を研究する数学の理論。デデキント環の分岐理論の一般化である

。

*L*/*K* がガロア拡大のとき、付値の延長からなる集合の構造は詳しく知ることができる。

### <span id="decomp"></span><span id="inertia"></span>分解群と惰性群

(*K*,&nbsp;*v*) を付値体、*L* を *K* の有限次ガロア拡大とする。*S<sub>v</sub>* を *v* の *L* への延長の同値類からなる集合とし、*G* を *L* の *K* 上のガロア群とする。このとき、*G* は *S<sub>v</sub>* に σ[*w*]&nbsp;=&nbsp;[*w*&nbsp;∘&nbsp;σ] で作用する。つまり、*w* を同値類 [*w*]&nbsp;∈&nbsp;*S<sub>v</sub>* の代表元としたとき、[*w*] の行き先を自己同型  と *w* の合成が定める同値類とすることにより作用を定義する。これは [*w*] の代表元 *w* の取り方によらない。この作用は推移的である。

*v* の *L* への延長 *w* を１つとる。***w'' の分解群'''（decomposition group of ''w''）とは、[''w''] の[[固定部分群]] ''G<sub>w</sub>''（同値類 [''w'']&nbsp;∈&nbsp;''S<sub>v</sub>'' を固定する ''G'' の元全体からなる[[部分群]]）のことを言う。

''R<sub>w</sub>'' を ''w'' についての[[付値#付値環|付値環]]、''m<sub>w</sub>'' をその[[付値#付値環|極大イデアル]]とする。***w* の惰性群*'（inertia group of *w*）とは、*G<sub>w</sub>* の元 *σ* で *R<sub>w</sub>* の全ての元 *x* に対して σ*x*&nbsp;≡&nbsp;*x*&nbsp;(mod&nbsp;*m<sub>w</sub>*)が成り立つもの全体からなる部分群 *I<sub>w</sub>* のことである。言い換えると、*I<sub>w</sub>* は分解群の要素で *w* に関する剰余体に自明に作用するもの全体である。これは *G<sub>w</sub>* の正規部分群である。

 *e*(*w*/*v*) は *w* によらないので、*e*(*v*) と表す。同様に、剰余次数（または相対次数、relative degree）*f*(*w*/*v*) も *w* によらないので、*f*(*v*) と表す。

## 下付き分岐群

局所体の有限次ガロア拡大 L/K のガロア群 G の詳しい理解を可能にしてくれるものが分岐群である。K の整数環を \mathcal O_K と置き、L の付値、その整数環、その極大イデアルを、それぞれ w, \mathcal O_L, \mathfrak p とする。ヘンゼルの補題により、ある \alpha \in L を使って \mathcal O_L = \mathcal O_K[\alpha] と書くことができる（これは原始元定理より強い主張である）。整数 i \ge -1 に対して、G_i を次の同値な条件を満たす s \in G 全体の集合として定義する。

*(i) s は \mathcal O_L / \mathfrak p^{i+1} に自明に作用する

*(ii) 全ての x \in \mathcal O_L について w(s(x) - x) \ge i+1 が成り立つ

*(iii) w(s(\alpha) - \alpha) \ge i+1

この群 G_i のことを **<math>i</math> 次分岐群**（i-th ramification group）という。これらは減少

:G_{-1} = G \supset G_0 \supset G_1 \supset \dots \{*\}

を定める。(i) より G_i は正規であることが分かり、(iii) より十分大きな i に対して自明になることが分かる。G_0 は、ガロア拡大での素イデアルの分解との関係に鑑み、慣例的に G のと呼ばれている。G_1は G の（または暴分岐群、wild inertia subgroup）、商 G_0 / G_1 は（tame quotient）と呼ばれている。

ガロア群 G とその部分群 G_i はこのフィルトレーションと商を使って調べることができる。次が成り立つ。

* G/G_0 = \operatorname{Gal}(l/k) が成り立つ。l, k は L, K の剰余体（有限体である）。

* G_0 = 1 \Leftrightarrow L/K  は不分岐拡大

* G_1 = 1 \Leftrightarrow L/K  は（tamely ramified,馴分岐とも。分岐指数は剰余体の標数と互いに素であること）

i \ge 0 に対して G_i = (G_0)_i が成り立つので、分岐群の研究は完全分岐の場合に帰着される。

G 上の関数 i_G を、s \in G に対して i_G(s) = w(s(\alpha) - \alpha) として定義する。先ほどの (ii) から i_G は \alpha の取り方によらない。また、フィルトレーション G_i の研究は本質的に i_G の研究と同値である。s, t \in G に対して、i_G は次を満たす。

* i_G(s) \ge i + 1 \Leftrightarrow s \in G_i
* i_G(t s t^{-1}) = i_G(s)
* i_G(st) \ge \min\{ i_G(s), i_G(t) \}

\pi を L の素元とすると、s \mapsto s(\pi)/\pi は単射 G_i/G_{i+1} \to U_{L, i}/U_{L, i+1}, i \ge 0 を誘導する。ここで、U_{L, 0} = \mathcal{O}_L^\times, U_{L, i} = 1 + \mathfrak{p}^i である。この写像は素元の取り方によらない。これを使うと次がわかる 。

* G_0/G_1 は位数が p と互いに素な巡回群

* G_i/G_{i+1} は位数が p の巡回群の積

特に、G_1 は ''p'' 群で、G_0 は可解群である。G/G_0 は有限体のガロア群と同型であったので、特にアーベル拡大である。したがって（局所体の任意のガロア拡大のガロア群としてとっていた） G は可解群である。

分岐群を使って、体拡大 L/K やその部分拡大の \mathfrak{D}_{L/K} を計算することもできる。次が成り立つ

:w(\mathfrak{D}_{L/K}) = \sum_{s \ne 1} i_G(s) = \sum_{i=0}^\infty (|G_i| - 1)

H を G の正規部分群とすると、\sigma \in G に対して i_{G/H}(\sigma) = {1 \over e_{L/K}} \sum_{s \mapsto \sigma} i_G(s) が成り立つ。

これと先ほどの式をあわせると、H に対応する部分拡大 F/K に対して

:v_F(\mathfrak{D}_{F/K}) = {1 \over e_{L/F}} \sum_{s \not\in H} i_G(s)

が成り立つ。

s \in G_i, t \in G_j, i, j \ge 1 とすると、sts^{-1}t^{-1} \in G_{i+j+1} が成り立つ。の言葉を使うならば、これはリー代数 \operatorname{gr}(G_1) = \sum_{i \ge 1} G_i/G_{i+1} がアーベルであるということになる。

### 例：円分拡大

\zeta を1の原始 <math>p^n</math>乗根とする。円分拡大 K_n := \mathbf Q_p(\zeta)/\mathbf Q_p の分岐群は次のように具体的に計算できる。

:G_s = Gal(K_n / K_e)

ここで *e* は p^{e-1} \le s  となるものである。

### 例：4次拡大

K を  上 x_1=\sqrt{2+\sqrt{2}\ } で生成される拡大体とする。x1 の共役は x_2 = \sqrt{2-\sqrt{2}\ } と *x*3 = −*x*1 と *x*4 = −*x*2 である。

簡単な計算からこれらの元の任意の2つの商は単数であることが分かる。したがってこれらは全て同じイデアルを生成する。そのイデアルを  と置く。\sqrt{2} は 2 を生成し、(2)=4 である。

*x*1 − *x*3 = 2*x*1 で、これは 5 に入る。

 x_1 - x_2 = \sqrt{4-2\sqrt{2}\,\,} は 3 に入る。

計算方法は色々あるが、*K* のガロア群は位数 4 の巡回群 C_4 であることが分かる。そして、

: G_0 = G_1 = G_2 = C_4

かつ G_3 = G_4=(13)(24) である。

w(\mathfrak{D}_{K/Q_2}) = 3+3+3+1+1 = 11 なので、共役差積は \mathfrak{D}_{K/Q_2} = \pi^{11} 
となる。

*x*1 は *x*4 − 4*x*2 + 2 を満たし、これの判別式は 2048 = 211 である。

## 上付き分岐群

u \ge -1 である実数 u に対して、G_u を i \ge u である最小の整数 *i* の G_i として定義する。s \in G_u \Leftrightarrow i_G(s) \ge u+1 となるように定義する、と言ってもいい。
関数 \phi を

:\phi(u) = \int_0^u {dt \over (G_0 : G_t)}

で定義する。ここで、t = -1 に対しては (G_0 : G_t) は (G_{-1} : G_0)^{-1} とし、-1  に対しては 1 とする。定義により -1 \le u \le 0 に対して \phi(u) = u が成り立つ。\phi が連続かつ狭義単調増加であることはすぐ分かり、したがって連続な逆関数 \psi であって [-1, \infty) 上定義されたものが存在する。G^v = G_{\psi(v)} と定義する。G^v を**第 ''v'' 上付き分岐群**（*v*-th ramification group in upper numbering）という。言い換えれば G^{\phi(u)} = G_u である。G^{-1} = G, G^0 = G_0 が成り立つ。上付きの添字は商をとる操作と整合するよう定義されており、H が G の正規部分群なら、全ての v に対し

:(G/H)^v = G^v H / H

が成り立つ。

（一方、下付きの添字は部分群に行く操作と整合する。）

### エルブランの定理

**エルブランの定理**は、下付き分岐群について G_u H/H = (G/H)_v が成り立ち（H に対応する部分拡大を L/F とし、v = \phi_{L/F}(u) とおいている）、上付き分岐群について G^u H/H = (G/H)^u が成り立つという主張である。これから、局所体の絶対ガロア群をはじめとする無限次ガロア拡大に対して、有限次部分拡大についての分岐群の逆系を使って、上付き分岐群を定義することが可能になる。

アーベル拡大の上付き分岐群について、という定理が知られている。これは、G がアーベルならフィルトレーション G^v の跳躍は整数、つまり \phi(i) が整数でなかったら G_i = G_{i+1} が成り立つという定理である。

上付き分岐群によるフィルトレーションは、単数群によるノルム剰余群（norm residue group）のフィルトレーションと、アルティン同型写像のもとで両立する。すなわち、同型写像

: G(L/K)^{\mathrm{ab}} \leftrightarrow K^*/N_{L/K}(L^*) 

による G^n(L/K) の像は、ちょうど

: U^n_K / (U^n_K \cap N_{L/K}(L^*)) 

になる。

## 関連項目

*
*付値
*付値体
*局所体
*ヘンゼル環

## 脚注

## 参考文献
*
*B. Conrad, Math 248A. Higher ramification groups
* 
*
* 
* 
*