局所体
局所体(きょくしょたい、英: local field)とは、離散付値に対して完備であり、剰余体が有限体である付値体のことである。
局所体の定義としては、上に挙げたもの以外にもいくつかあり、そのうちの代表的なものを挙げる。これらは互いに同値な定義である。
(一)局所体とは、非アルキメデス付値に対して完備であり、付値環がコンパクトである付値体のことである。
(二)局所体とは、自明ではない乗法付値に対して連結ではない局所コンパクトな付値体のことである。
(三)局所体とは、p進体もしくは有限体係数の1変数ベキ級数体の有限次代数拡大体と付値体として同型[1]な付値体のことである。
応用上、局所体をp進体もしくは有限体係数の1変数ベキ級数体の有限次代数拡大体に限定することも多い。
その場合、局所体を
●大域体(代数体もしくは有限体上の1変数代数関数体)の離散付値による完備化
と定義されることもある。このとき、大域体から局所体を得ることを局所化という。
上記の定義の他に、実数体や複素数体も局所体に含めることもある。これらが
●アルキメデス付値に対して完備である。
●連結である局所コンパクトな付値体である。
●代数体のアルキメデス付値による完備化である。
と、上記局所体の定義とよく似た性質を持っているからである。
この場合、非アルキメデス付値による局所体を非アルキメデス的局所体、アルキメデス付値による局所体をアルキメデス的局所体という。
しかし実数体(複素数体)と p進体または1変数ベキ級数体とでは性質の異なる部分が多いので、ここでは当初の定義通り、特に断らない限り局所体といった場合、実数体や複素数体は含まれないとする。しかし、局所体との類似点や相違点を知るために、局所体の性質に対応する実数体や複素数体の結果も記述することにする。
なお、この項では局所体としての性質を記述し、p進体もしくはベキ級数体固有の性質については述べない。それらに対する詳細は個々の記事を参照のこと。
位相的性質
編集
局所体を特徴付ける位相的性質を述べる。
●局所体 Kの付値環はコンパクトであり、K のコンパクトな部分環は付値環の部分環である。
●付値環の任意のイデアルはコンパクトな開集合である。
●乗法群
は連結ではない局所コンパクトな位相群である。
●乗法群
に対して、n 次主単数群はコンパクトな開集合であり、
のコンパクトな部分群は単数群 Uの部分群である。
局所体の直積分解
編集
局所体 Kに対して、乗法群 K× は以下の様に分解される。
ここで、⟨π⟩ は素元 π によって生成される巡回群、q = pfは Kの剰余体の元の個数、μq − 1 は 1の q− 1 乗根全体のなす群、U は単数群、U(1) は主単数群である。
さらに単数群 Uは、以下の様に分解される。
(1) Kの標数が 0 であるとき
但し、μ(K) は Kに含まれる1のベキ根全体のなす群であり、その位数を mとする。
(2) Kの標数が 0 でないとき
である。
また、主単数群 U(1) は、以下の様に分解される。
(1) Kの標数が 0 であるとき
但し、pa は Kに含まれる1の pベキ乗根全体のなす群の位数であり、d = [K : Qp] である。
(2) Kの標数が 0 でないとき[2]
である。
続いて、実数体もしくは複素数体の場合を考察すると
(1) 実数体の場合
単数群 Uは {±1} であり
である。
(2) 複素数体の場合
単数群 Uは R/Z と同型であり
である。
正規付値
編集局所体上の指標群
編集
1次元トーラス
を Tとし、加法群
から乗法群 Tへの連続な同型写像を
で定める。
K を局所体とすると、K は加法に対する局所コンパクトな位相群と見なせるので、K から Tへの連続な準同型写像、つまり Kの連続な指標が存在する。連続な指標全体からなる群つまり指標群を
とおく。
局所体 Kに対して、K の正規指標
を以下の様に定める。
(1) Kが p進体のとき
p進体 の 0 ではない元 xに対して、
と p進展開したとき
と定めると、p 進体上の連続な指標となる。
(2) Kが p進体の有限次拡大体であるとき
(1) で得られた
と、
に対するトレースを用いて
で定義すると、K 上の連続な指標となる。
(3) Kが有限体係数の1変数ベキ級数体
であるとき
F の標数を pとし、K 上の点 xを
と表したとき、K 上の正規指標
を
で定める。ここで、
を
を満たす様にとる。
K がいずれの場合に対しても、K の任意の元 aを1つ取り固定したとき、
は、K の連続な指標となる。このことから Kの元 aに対して、指標群
の元として
を対応させることにより、K と
は同一視される。
上で述べた Kと
が同一視できることは、K が実数体もしくは複素数体でも成立する。
実数体の場合は、任意の実数 aに対して、
とすれば、実数体と
は同一視され、複素数体の場合は、任意の複素数 aに対して、
とすれば、複素数体と
は同一視される。
局所体上のハール測度
編集
局所体 Kの付値環を Rとすると、R はコンパクトであるので、K を加法に対する位相群とみなすことにより、K 上のハール測度 μ で、
と正規化されたものが唯一存在する。
次に、
を乗法に対する位相群とみなすことにより、単数群 Uに対して、
と正規化されたハール測度
が唯1つ存在する。このとき
は μ を用いて以下の様に表される。
(1) Kが p進体の有限次拡大と同型のとき
を Kの正規付値としたとき、
が成立する。ここで、q は剰余体の元の個数とする。
(2) Kが
と同型のとき
を Kの正規付値としたとき、
が成立する。
ここで、実数体や複素数体についても考察する。これらの絶対値に対して付値環は定義できないので、ハール測度として1次元または2次元の実数空間上のルベーグ測度を考える。[3]
に対して、K の加法群としてのハール測度を
、乗法群
のハール測度を
とし、
を Kの正規付値とすれば
が成立する。
局所体の場合の関係式と見比べると、実数体や複素数体の結果は、
に対応していることがわかる。このことからも絶対値を
と書く妥当性の一端が現れている。
局所体の代数拡大
編集
局所体 Kの有限次代数拡大体 Lは局所体であり、K の離散付値は Lに同値なものを除いて一意的に延長される。従って、K の離散付値は Kの代数閉包
まで一意的に延長される。しかし、
は完備ではないので局所体ではないが、
の完備化
を考えれば局所体となる。
この項では、局所体の有限次代数拡大体の性質について述べる。
K を局所体とすると、任意の正整数 nに対して、K の n次の代数拡大体 Lで Kの不分岐拡大となるものが同型を除いて唯1つ存在する。さらに
を、それぞれ K, Lの付値環とすると、
が成立し、
は位数 nの巡回群となる。
上記において、
は以下の性質を満たす Lの自己同型写像
で生成される。
但し、
は
の付値環、
はその付値イデアル、q を Kの剰余体
の元の個数とする。
この
を
のフロベニウス自己同型写像もしくはフロベニウス置換という。
さて、局所体 Kの n次代数拡大体に対して、不分岐拡大となるものは上のことから同型を除いて1つしか存在しないが、それ以外(つまり不分岐ではない拡大体)については、以下のことが成立する。
T を
の最大不分岐部分拡大体とすれば、拡大次数
は、L の Kに対する剰余次数に等しく、
は完全分岐であり、拡大次数
は、L の Kに対する分岐指数に等しい。
以上のことの例として、
の2次の代数拡大体は、同型を除くと
だけであるが、
このうち最初に挙げた
が不分岐拡大である。
特に、
が有限次ガロア拡大であるとすれば、
のガロア群が可解群となるので(付値体を参照)、
のガロア群もそうである。
つまり、局所体 K上の任意の代数方程式に対して、有限回の四則計算と根号を用いて代数的に根を得ることができる。
注釈
編集
(一)^ 付値体
が付値体として同型であるとは、
と
は体として同型で、
と
が同値であるときである。
(二)^ このとき、K の標数は剰余体の標数と等しく、p に等しい。
(三)^ 実数体や複素数体は加法群や乗法群に対して局所コンパクトであるので、ハール測度自体を考えることは可能で、得られたハール測度はルベーグ測度の定数倍であるので、単位区間または単位正方形で正規化したハール測度といってもよい。
参考文献
編集- ノイキルヒ, J. 著、足立恒雄(監修)・梅垣敦紀 訳『代数的整数論』シュプリンガー・フェアラーク東京、東京、2003年。
- 彌永, 昌吉編『数論』岩波書店、東京、1969年。
- 岩澤, 健吉『局所類体論』岩波書店、東京、1980年。
- 加藤, 和也、黒川信重・斎藤毅『数論 I』岩波書店、東京、2005年。
- 森田, 康夫『整数論』東京大学出版会、東京、1999年。