局所体のソースを表示

{{出典の明記|date=20210124}}
'''局所体'''(きょくしょたい、{{lang-en-short|local field}})とは、[[付値#非アルキメデス付値と指数付値|離散付値]]に対して[[付値体#完備化|完備]]であり、[[剰余体]]が[[有限体]]である[[付値体]]のことである。

局所体の定義としては、上に挙げたもの以外にもいくつかあり、そのうちの代表的なものを挙げる。これらは互いに同値な定義である。

# 局所体とは、[[付値#アルキメデス付値|非アルキメデス付値]]に対して完備であり、[[付値#付値環|付値環]]が[[コンパクト化 (物理学)|コンパクト]]である付値体のことである。
# 局所体とは、[[付値#乗法付値の例|自明]]ではない乗法付値に対して[[連結空間|連結]]ではない[[局所コンパクト]]な付値体のことである。
# 局所体とは、[[p進体|''p''進体]]もしくは有限体係数の1変数[[ベキ級数]]体の[[体の拡大|有限次代数拡大体]]と付値体として同型<ref>付値体 <math>\scriptstyle (K_1,|\cdot|_1),\ (K_2,|\cdot|_2)</math> が付値体として同型であるとは、<math>K_1</math> と <math>K_2</math> は体として同型で、<math>|\cdot|_1</math> と <math>|\cdot|_2</math> が[[付値#付値の同値性|同値]]であるときである。</ref>な付値体のことである。

応用上、局所体を''p''進体もしくは有限体係数の1変数ベキ級数体の有限次代数拡大体に限定することも多い。
その場合、局所体を
* [[大域体]]([[代数体]]もしくは有限体上の1変数代数関数体)の離散付値による完備化
と定義されることもある。このとき、大域体から局所体を得ることを'''局所化'''という。

上記の定義の他に、[[実数]]体や[[複素数]]体も局所体に含めることもある。これらが
* [[付値#アルキメデス付値|アルキメデス付値]]に対して完備である。
* 連結である局所コンパクトな付値体である。
* 代数体のアルキメデス付値による完備化である。
と、上記局所体の定義とよく似た性質を持っているからである。

この場合、非アルキメデス付値による局所体を'''非アルキメデス的局所体'''、アルキメデス付値による局所体を'''アルキメデス的局所体'''という。

しかし実数体(複素数体)と ''p''進体または1変数ベキ級数体とでは性質の異なる部分が多いので、ここでは当初の定義通り、特に断らない限り局所体といった場合、実数体や複素数体は含まれないとする。しかし、局所体との類似点や相違点を知るために、局所体の性質に対応する実数体や複素数体の結果も記述することにする。

なお、この項では局所体としての性質を記述し、''p''進体もしくはベキ級数体固有の性質については述べない。それらに対する詳細は個々の記事を参照のこと。

== 位相的性質 ==
局所体を特徴付ける位相的性質を述べる。

* 局所体 ''K'' の付値環はコンパクトであり、''K'' のコンパクトな部分環は付値環の部分環である。
* 付値環の任意の[[イデアル]]はコンパクトな[[開集合]]である。
* [[乗法群]] <math>\scriptstyle K^{\times}</math> は連結ではない局所コンパクトな[[位相群]]である。
* 乗法群 <math>\scriptstyle K^{\times}</math> に対して、[[付値体#離散付値体|''n'' 次主単数群]]はコンパクトな開集合であり、<math>\scriptstyle K^{\times}</math> のコンパクトな部分群は[[付値#非アルキメデス付値と指数付値|単数群]] ''U'' の部分群である。

== 局所体の直積分解 ==
局所体 {{mvar|K}} に対して、乗法群 {{math|''K''{{sup|&times;}}}} は以下の様に分解される。
:<math>
K^{\times} \simeq \langle \pi \rangle \times U
           \simeq \langle \pi \rangle \times \mu_{q-1}\times U^{(1)}
           \simeq \mathbb{Z}\oplus\mathbb{Z}/(q-1)\mathbb{Z}\oplus U^{(1)}
</math>
ここで、{{math|&lang;''&pi;''&rang;}} は[[付値#非アルキメデス付値と指数付値|素元]] {{mvar|&pi;}} によって生成される[[巡回群]]、{{math|1=''q'' = ''p{{sup|f}}''}} は {{mvar|K}} の剰余体の元の個数、{{math|''&mu;''{{sub|''q'' &minus; 1}}}} は {{math|1}} の {{math|''q'' &minus; 1}}&nbsp;乗根全体のなす群、{{mvar|U}} は[[付値#非アルキメデス付値と指数付値|単数群]]、{{math|''U''{{sup|(1)}}}} は[[付値体#離散付値体|主単数群]]である。

さらに単数群 {{mvar|U}} は、以下の様に分解される。

(1) {{mvar|K}} の[[標数]]が 0 であるとき
{{Indent|<math>
U\simeq\mu(K)\times\mathbb{Z}_p^{d} \simeq (\mathbb{Z}/m\mathbb{Z})\oplus\mathbb{Z}_p^{d}
</math>}}
但し、{{math|''&mu;''(''K'')}} は {{mvar|K}} に含まれる 1 のベキ根全体のなす群であり、その位数を ''m'' とする。

(2) {{mvar|K}} の標数が 0 でないとき
{{Indent|<math>
U\simeq\mu(K)\times\mathbb{Z}_p^{\mathbb{N}} \simeq (\mathbb{Z}/m\mathbb{Z})\oplus\mathbb{Z}_p^{\mathbb{N}}
</math>}}
である。

また、主単数群 {{math|''U''{{sup|(1)}}}} は、以下の様に分解される。

(1) {{mvar|K}} の標数が 0 であるとき
{{Indent|<math>
U^{(1)}\simeq\mu_{p^a}\mathbb{Z}\oplus\mathbb{Z}_p^{d}
</math>}}
但し、{{mvar|p{{sup|a}}}} は {{mvar|K}} に含まれる 1 の {{mvar|p}} ベキ乗根全体のなす群の[[位数 (群論)|位数]]であり、{{math|1=''d'' = [''K'' : '''Q'''{{sub|''p''}}]}} である。

(2) {{mvar|K}} の標数が 0 でないとき<ref>このとき、{{mvar|K}} の標数は剰余体の標数と等しく、{{mvar|p}} に等しい。</ref>
{{Indent|<math>
U^{(1)}\simeq\mathbb{Z}_p^{\mathbb{N}}
</math>}}
である。

続いて、実数体もしくは複素数体の場合を考察すると

(1) 実数体の場合

単数群 {{mvar|U}} は {{math|{{mset|&plusmn;1}}}} であり
{{Indent|<math>
\mathbb{R}^{\times} \simeq \{ \pm 1 \}\times\mathbb{R}
</math>}}
である。

(2) 複素数体の場合

単数群 {{mvar|U}} は {{math|'''R'''/'''Z'''}} と同型であり
{{Indent|<math>
\mathbb{C}^{\times} \simeq \mathbb{R}\times\mathbb{R}/\mathbb{Z}
</math>}}
である。

== 正規付値 ==
<math>\scriptstyle(K,\ |\cdot|)</math> を局所体とし、''F'' を <math>|\cdot|</math> の剰余体、&pi; を <math>|\cdot|</math> の素元としたとき、<math>|\cdot|</math> と[[付値#付値の同値性|同値]]な非アルキメデス付値 <math>|\cdot|_K</math> として
{{Indent|<math>
|\pi|_K = (\#F)^{-1}
</math>}}
を満たすものが唯１つ存在する。この <math>|\cdot|_K</math> を ''K'' の'''正規付値'''という。

<math>\scriptstyle(K,\ |\cdot|)</math> を完備な[[付値体|アルキメデス付値体]]としたとき、''K'' は実数体もしくは複素数体と同型であるが、 ''K'' の'''正規付値'''を、''K'' が実数体と同型であるときは、<math>\scriptstyle |\cdot|_K = |\cdot|_{\infty}</math> とし、''K'' が複素数体と同型であるとき、<math>\scriptstyle |\cdot|_K = |\cdot|_{\infty}^2</math> と定める。ここで、<math>\scriptstyle |\cdot|_{\infty}</math> は実数もしくは複素数上の[[絶対値]]とする。

上で定義された正規付値と、先に挙げた単数群の分解を用いることで、以下のことが得られる。

局所体 ''K'' に対して、正整数 ''n'' を ''K'' の標数が 0 でないときは、''K'' の標数で割り切れない様にとる(''K'' の標数が 0 であるときは ''n'' は任意の正整数でよい)。<math>K^{\times n}</math> を <math>K^{\times}</math> に含まれる ''n'' 乗数全体からなる群とし、<math>U^n</math> を単数群 ''U'' に含まれる ''n'' 乗数全体からなる群とすれば、
{{Indent|<math>
(K^{\times}:K^{\times n}) = n (U:U^n) = \frac{n}{|n|_{K}}\#\mu_n(K)
</math>}}
が成立する。但し <math>\mu_n(K)</math> は ''K'' に含まれる 1 の ''n'' 乗根全体のなす群とし、<math>|\cdot|_{K}</math> は ''K'' の正規付値である。

''K'' が実数体もしくは複素数体であるときは、上式に類似した
{{Indent|<math>
(K^{\times}:K^{\times n}) = (U:U^n) = \frac{n}{|n|_{K}}\#\mu_n(K)
</math>}}
が成立する。

== 局所体上の指標群 ==
1次元[[トーラス]] <math>\scriptstyle\{x\in\mathbb{C}|\ |x|_{\infty} = 1 \}</math> を ''T'' とし、加法群 <math>\scriptstyle\mathbb{R}/\mathbb{Z}</math> から乗法群 ''T'' への連続な同型写像を
{{Indent|<math>
\begin{array}{rccc}
e: &\mathbb{R} &\to     & T \\
   &    z      &\mapsto & \exp(2\pi\sqrt{-1}z)
\end{array}
</math>}}
で定める。

''K'' を局所体とすると、''K'' は加法に対する局所コンパクトな位相群と見なせるので、''K'' から ''T'' への連続な準同型写像、つまり ''K'' の連続な[[指標 (数学)|指標]]が存在する。連続な指標全体からなる群つまり[[指標群]]を <math>\hat{K}</math> とおく。

局所体 ''K'' に対して、''K'' の'''正規指標''' <math>\chi_K</math> を以下の様に定める。

(1) ''K'' が ''p''進体のとき

''p''進体 の 0 ではない元 ''x'' に対して、
{{Indent|<math>
x = \sum_{i=r}^{\infty}c_ip^i\ \ \ \ (c_i = 0,1,\ldots,p-1,\ r\le -1)
</math>}}
と [[p進数|''p'' 進展開]]したとき
{{Indent|<math>
\chi_K(x) = e(c_rp^r + \cdots + c_{-1}p^{-1})
</math>}}
と定めると、''p'' 進体上の連続な指標となる。

(2) ''K'' が ''p''進体の有限次拡大体であるとき

(1) で得られた <math>\chi_{\mathbb{Q}_p}(x)</math> と、<math>\scriptstyle K/\mathbb{Q}_p</math> に対する[[トレース (体論)|トレース]]を用いて
{{Indent|<math>
\chi_K(x) = \chi_{\mathbb{Q}_p}(\operatorname{Tr}_{K/\mathbb{Q}_p}(x))
</math>}}
で定義すると、''K'' 上の連続な指標となる。

(3) ''K'' が有限体係数の1変数ベキ級数体 <math>F((t))</math> であるとき

''F'' の標数を ''p'' とし、''K'' 上の点 ''x'' を
{{Indent|<math>
x = \sum_{i=r}^{\infty}c_it^i\ \ \ \ (c_i\in F,\ r<0)
</math>}}
と表したとき、''K'' 上の正規指標 <math>\chi_K</math> を
{{Indent|<math>
\chi_K(x) = e(-\operatorname{Tr}_{F/\mathbb{F}_p}(c_{-1}^{*}))
</math>}}
で定める。ここで、<math>\scriptstyle c_{-1}^{*}\in\{0,1,\ldots,p-1\}</math> を <math>\scriptstyle c_{-1}\equiv c_{-1}^{*}</math> を満たす様にとる。

''K'' がいずれの場合に対しても、''K'' の任意の元 ''a'' を１つ取り固定したとき、
{{Indent|<math>
\begin{array}{rccc}
\varphi_a:& K &\to     & T \\
          & x &\mapsto & \chi_K(xa)
\end{array}
</math>}}
は、''K'' の連続な指標となる。このことから ''K'' の元 ''a'' に対して、指標群 <math>\hat{K}</math> の元として <math>\varphi_a</math> を対応させることにより、''K'' と <math>\hat{K}</math> は同一視される。

上で述べた ''K'' と <math>\hat{K}</math> が同一視できることは、''K'' が実数体もしくは複素数体でも成立する。

実数体の場合は、任意の実数 ''a'' に対して、<math>\scriptstyle \varphi_a(x) = e(xa)</math> とすれば、実数体と <math>\hat{\mathbb{R}}</math> は同一視され、複素数体の場合は、任意の複素数 ''a'' に対して、<math>\scriptstyle \varphi_a(x) = e(xa + \bar{xa})</math> とすれば、複素数体と <math>\hat{\mathbb{C}}</math> は同一視される。

== 局所体上のハール測度 ==
局所体 ''K'' の付値環を ''R'' とすると、''R'' はコンパクトであるので、''K'' を加法に対する位相群とみなすことにより、''K'' 上の[[ハール測度]] &mu; で、<math>\mu(R)=1</math> と正規化されたものが唯一存在する。
次に、<math>\scriptstyle K^{\times}</math> を乗法に対する位相群とみなすことにより、単数群 ''U'' に対して、<math>\scriptstyle \mu^{\times}(U)=1</math> と正規化されたハール測度 <math>\scriptstyle\mu^{\times}</math> が唯１つ存在する。このとき <math>\scriptstyle \mu^{\times}</math> は &mu; を用いて以下の様に表される。

(1) ''K'' が ''p''進体の有限次拡大と同型のとき
<math>|\cdot|_K</math> を ''K'' の正規付値としたとき、
{{Indent|<math>
\mu^{\times}(x) = (1-q^{-1})^{-1}|x|_K^{-1}\mu(x)
</math>}}
が成立する。ここで、''q'' は剰余体の元の個数とする。

(2) ''K'' が <math>\scriptstyle\mathbb{F}_q((t))</math> と同型のとき
<math>|\cdot|_K</math> を ''K'' の正規付値としたとき、
{{Indent|<math>
\mu^{\times}(x) = (1-q^{-1})^{-1}|x|_K^{-1}\mu(x)
</math>}}
が成立する。

ここで、実数体や複素数体についても考察する。これらの絶対値に対して付値環は定義できないので、ハール測度として1次元または2次元の実数空間上の[[ルベーグ測度]]を考える。<ref>実数体や複素数体は加法群や乗法群に対して局所コンパクトであるので、ハール測度自体を考えることは可能で、得られたハール測度はルベーグ測度の定数倍であるので、単位区間または単位正方形で正規化したハール測度といってもよい。</ref> <math>\scriptstyle K=\mathbb{R},\ \mathbb{C}</math> に対して、''K'' の加法群としてのハール測度を <math>\scriptstyle\mu_{K}</math>、乗法群 <math>\scriptstyle K^{\times}</math> のハール測度を <math>\scriptstyle\mu^{\times}_{K}</math> とし、<math>|\cdot|_K</math> を ''K'' の正規付値とすれば
{{Indent|<math>
\mu^{\times}_{K}(x) = |x|_{K}^{-1}\mu_{K}(x)
</math>}}
が成立する。

局所体の場合の関係式と見比べると、実数体や複素数体の結果は、<math>\scriptstyle q\to\infty</math> に対応していることがわかる。このことからも絶対値を <math>|\cdot|_{\infty}</math> と書く妥当性の一端が現れている。

== 局所体の代数拡大 ==
局所体 ''K'' の有限次代数拡大体 ''L'' は局所体であり、''K'' の離散付値は ''L'' に同値なものを除いて一意的に[[付値#付値の延長|延長]]される。従って、''K'' の離散付値は ''K'' の[[代数閉包]] <math>\scriptstyle\bar{K}</math> まで一意的に延長される。しかし、 <math>\scriptstyle\bar{K}</math> は完備ではないので局所体ではないが、 <math>\scriptstyle\bar{K}</math> の完備化  <math>\scriptstyle\hat{\bar{K}}</math> を考えれば局所体となる。

この項では、局所体の有限次代数拡大体の性質について述べる。

''K'' を局所体とすると、任意の正整数 ''n'' に対して、''K'' の ''n'' 次の代数拡大体 ''L'' で ''K'' の[[付値体#不分岐拡大|不分岐拡大]]となるものが同型を除いて唯１つ存在する。さらに <math>\scriptstyle F_K,\ F_L</math> を、それぞれ ''K'', ''L'' の付値環とすると、
{{Indent|<math>
\operatorname{Gal}(L/K)\simeq\operatorname{Gal}(F_L/F_K)
</math>}}
が成立し、<math>\scriptstyle\operatorname{Gal}(L/K)</math> は位数 ''n'' の巡回群となる。

上記において、<math>\scriptstyle\operatorname{Gal}(L/K)</math> は以下の性質を満たす ''L'' の[[自己同型写像]] <math>\varphi</math> で生成される。
{{Indent|<math>
\varphi(x)\equiv x^q\ \ \pmod{\mathfrak{p}_L}\ \ \ \ (x\in\mathcal{O}_L)
</math>}}
但し、<math>\scriptstyle\mathcal{O}_L</math> は <math>|\cdot|_L</math> の付値環、<math>\mathfrak{p}_L</math> はその付値イデアル、''q'' を ''K'' の剰余体 <math>F_K</math> の元の個数とする。

この <math>\varphi</math> を <math>L/K</math> の'''[[フロベニウス自己同型|フロベニウス自己同型写像]]'''もしくは'''フロベニウス置換'''という。

さて、局所体 ''K'' の ''n'' 次代数拡大体に対して、不分岐拡大となるものは上のことから同型を除いて１つしか存在しないが、それ以外(つまり不分岐ではない拡大体)については、以下のことが成立する。

''T'' を <math>L/K</math> の[[付値体#不分岐拡大|最大不分岐部分拡大体]]とすれば、拡大次数 <math>[T:K]</math> は、''L'' の ''K'' に対する[[付値#付値の延長|剰余次数]]に等しく、<math>L/T</math> は[[付値体#順分岐拡大|完全分岐]]であり、拡大次数 <math>[L:T]</math> は、''L'' の ''K'' に対する[[付値#付値の延長|分岐指数]]に等しい。

以上のことの例として、<math>\mathbb{Q}_3</math> の2次の代数拡大体は、同型を除くと <math>\scriptstyle\mathbb{Q}_3(\sqrt{-1}),\ \mathbb{Q}_3(\sqrt{3}),\ \mathbb{Q}_3(\sqrt{-3})</math> だけであるが、
このうち最初に挙げた <math>\scriptstyle\mathbb{Q}_3(\sqrt{-1})</math> が不分岐拡大である。

特に、<math>L/K</math> が有限次[[ガロア拡大]]であるとすれば、<math>L/T</math> の[[ガロア群]]が[[可解群]]となるので([[付値体#ガロア拡大体の場合|付値体]]を参照)、<math>L/K</math> のガロア群もそうである。
つまり、局所体 ''K'' 上の任意の[[代数方程式]]に対して、有限回の四則計算と根号を用いて代数的に根を得ることができる。

== 注釈 ==
<references />

== 参考文献 ==
* {{Cite book|和書|last=ノイキルヒ|first=J.|translator=足立恒雄(監修)・梅垣敦紀|year=2003|title=代数的整数論|publisher=[[シュプリンガー・フェアラーク東京]]|location=東京}}
* {{Cite book|和書|last=彌永|first=昌吉編|year=1969|title=数論|publisher=[[岩波書店]]|location=東京}}
* {{Cite book|和書|last=岩澤|first=健吉|year=1980|title=局所類体論|publisher=岩波書店|location=東京}}
* {{Cite book|和書|last=加藤|first=和也|coauthors=黒川信重・斎藤毅|year=2005|title=数論 I|publisher=岩波書店|location=東京}}
* {{Cite book|和書|last=森田|first=康夫|year=1999|title=整数論|publisher=[[東京大学出版会]]|location=東京}}

== 関連項目 ==
*[[p進体]]
*[[付値体]]
*[[大域体]]
*[[代数的整数論]]
*[[類体論]]

{{Normdaten}}
{{DEFAULTSORT:きよくしよたい}}
[[Category:体論]]
[[Category:数論]]
[[Category:数学に関する記事]]