Loading AI tools
ウィキペディアから
数論、特に局所類体論における分岐群(ぶんきぐん、英: ramification group)とは、局所体のガロア群のフィルトレーションであり、体拡大における分岐の現象について詳細な情報を提供してくれるものである。
付値の分岐理論(ramification theory of valuations)は、体 K の付値 v の K の拡大体 L への延長の集合を研究する数学の理論。デデキント環の分岐理論の一般化である [1] [2]。
L/K がガロア拡大のとき、付値の延長からなる集合の構造は詳しく知ることができる。
(K, v) を付値体、L を K の有限次ガロア拡大とする。Sv を v の L への延長の同値類からなる集合とし、G を L の K 上のガロア群とする。このとき、G は Sv に σ[w] = [w ∘ σ] で作用する。つまり、w を同値類 [w] ∈ Sv の代表元としたとき、[w] の行き先を自己同型 σ : L → L と w の合成が定める同値類とすることにより作用を定義する。これは [w] の代表元 w の取り方によらない。この作用は推移的である。
v の L への延長 w を1つとる。w の分解群(decomposition group of w)とは、[w] の固定部分群 Gw(同値類 [w] ∈ Sv を固定する G の元全体からなる部分群)のことを言う。
Rw を w についての付値環、mw をその極大イデアルとする。w の惰性群(inertia group of w)とは、Gw の元 σ で Rw の全ての元 x に対して σx ≡ x (mod mw)が成り立つもの全体からなる部分群 Iw のことである。言い換えると、Iw は分解群の要素で w に関する剰余体に自明に作用するもの全体である。これは Gw の正規部分群である。
被約分岐指数[訳語疑問点] e(w/v) は w によらないので、e(v) と表す。同様に、剰余次数(または相対次数、relative degree)f(w/v) も w によらないので、f(v) と表す。
局所体[3]の有限次ガロア拡大 のガロア群 の詳しい理解を可能にしてくれるものが分岐群である。 の整数環を と置き、 の付値、その整数環、その極大イデアルを、それぞれ とする。ヘンゼルの補題により、ある を使って と書くことができる(これは原始元定理より強い主張である)[4]。整数 に対して、 を次の同値な条件を満たす 全体の集合として定義する。
この群 のことを 次分岐群(-th ramification group)という。これらは減少フィルトレーション
を定める。(i) より は正規であることが分かり、(iii) より十分大きな に対して自明になることが分かる。 は、ガロア拡大での素イデアルの分解との関係に鑑み、慣例的に の惰性部分群と呼ばれている。は の野生分岐群(または暴分岐群、wild inertia subgroup)、商 は馴商[訳語疑問点](tame quotient)と呼ばれている。
ガロア群 とその部分群 はこのフィルトレーションと商を使って調べることができる。次が成り立つ。
に対して が成り立つので、分岐群の研究は完全分岐の場合に帰着される。
上の関数 を、 に対して として定義する。先ほどの (ii) から は の取り方によらない。また、フィルトレーション の研究は本質的に の研究と同値である[6]。 に対して、 は次を満たす。
を の素元とすると、 は単射 を誘導する。ここで、 である。この写像は素元の取り方によらない[7]。これを使うと次がわかる [8]。
特に、 は p 群で、 は可解群である。 は有限体のガロア群と同型であったので、特にアーベル拡大である。したがって(局所体の任意のガロア拡大のガロア群としてとっていた) は可解群である。
分岐群を使って、体拡大 やその部分拡大の共役差積 を計算することもできる[9]。次が成り立つ
を の正規部分群とすると、 に対して が成り立つ[10]。
これと先ほどの式をあわせると、 に対応する部分拡大 に対して
が成り立つ。
とすると、 が成り立つ[11]。ラザールの言葉を使うならば、これはリー代数 がアーベルであるということになる。
を1の原始 乗根とする。円分拡大 の分岐群は次のように具体的に計算できる[12]。
ここで e は となるものである。
K を Q2 上 で生成される拡大体とする。x1 の共役は と x3 = −x1 と x4 = −x2 である。
簡単な計算からこれらの元の任意の2つの商は単数であることが分かる。したがってこれらは全て同じイデアルを生成する。そのイデアルを π と置く。 は π2 を生成し、(2)=π4 である。
x1 − x3 = 2x1 で、これは π5 に入る。
は π3 に入る。
計算方法は色々あるが、K のガロア群は位数 4 の巡回群 であることが分かる[13]。そして、
かつ である[14]。
なので、共役差積は となる。
x1 は x4 − 4x2 + 2 を満たし、これの判別式は 2048 = 211 である。
である実数 に対して、 を である最小の整数 i の として定義する。 となるように定義する、と言ってもいい。 関数 を
で定義する[15]。ここで、 に対しては は とし、 に対しては とする[16]。定義により に対して が成り立つ。 が連続かつ狭義単調増加であることはすぐ分かり、したがって連続な逆関数 であって 上定義されたものが存在する。 と定義する。 を第 v 上付き分岐群(v-th ramification group in upper numbering)という。言い換えれば である。 が成り立つ。上付きの添字は商をとる操作と整合するよう定義されており[17]、 が の正規部分群なら、全ての に対し
が成り立つ。
(一方、下付きの添字は部分群に行く操作と整合する。)
エルブランの定理は、下付き分岐群について が成り立ち( に対応する部分拡大を とし、 とおいている)、上付き分岐群について が成り立つという主張である[18][19]。これから、局所体の絶対ガロア群をはじめとする無限次ガロア拡大に対して、有限次部分拡大についての分岐群の逆系を使って、上付き分岐群を定義することが可能になる。
アーベル拡大の上付き分岐群について、ハッセ・アルフの定理という定理が知られている。これは、 がアーベルならフィルトレーション の跳躍は整数、つまり が整数でなかったら が成り立つという定理である[20]。
上付き分岐群によるフィルトレーションは、単数群によるノルム剰余群(norm residue group)のフィルトレーションと、アルティン同型写像のもとで両立する。すなわち、同型写像
による の像は、ちょうど
になる[21]。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.