2
大学数学基礎解説
文献あり

付値体の完備化

907
0

本記事では、離散付値が入った体に距離位相を入れてこれを完備化し、付値環のイデアルによる完備化との関係を解説します。イデアルによる完備化は抽象的で難しいですが(私はアティマク10章で大変苦労しました)距離空間の完備化はイメージが付きやすいと思うので、この対応をつけておくとイデアルによる完備化への理解も深まると思います。

付値に関する基本事項

基本事項をまとめます。(証明はつけません)

体の付値

K を体とする。K{0} からアーベル群 G への写像 v が次の条件を満たすとする:

  • v(xy)=v(x)+v(y),
  • v(x+y)min(v(x),v(y)).

このとき v付値といい、K付値体という。G=Zv が全射のとき v離散付値という。

付値環

Kv を付値としてもつ付値体とする。このとき
A={xKv(x)0}
K の部分環をなす。この AK付値環という。特に v が離散付値である場合は A離散付値環という。

A を離散付値体 K の付値環、v をその離散付値とする。このとき A の商体は K である。また、A は次元が1の局所環かつ単項イデアル整域となる。

離散付値環 A の唯一の極大イデアルは v(π)=1 を満たす π によって生成され、したがって A の任意の元は単元 u と整数 n0 によってuπnと表される。

以下、離散付値のみを扱うこととし、断りがなければ K を離散付値体、A をその離散付値環、v をその離散付値とします。

付値体の距離

ここからが本題です。まずは離散付値体に距離を定めましょう。

a(0,1) を固定する。:KR を次のように定める:
x={av(x)(x0)0(x=0)
このとき x,yK に対して d(x,y)=xy と定めると dK における距離関数となり、したがって K は距離空間となる。

定義より d(x,y)=0x=y は同値である。また、d(x,y)=d(y,x) も明らか。よって三角不等式を示せばよい。x,y,zK を互いに異なる元とする。このとき
d(x,z)=av(xz)=av(xy+yz)amin(v(xy),v(yz))av(xy)+av(yz)=d(x,y)+d(y,z)
となるので示された。(0<a<1 に注意しよう) 

式だけ見てもイメージが湧かないかもしれないので少し補足します。xK0 の間の距離について考えてみると、 0<a<1 より v(x) が大きければ大きいほど d(x,0) は小さくなりますよね。つまり付値が大きい元ほど0に近い訳です。
 したがって、v(0)=v を拡張しておくとわかりやすいでしょう。この拡張は、本来の付値の意味を考えても自然なものとなることを解説しておきます。

πAA の唯一の極大イデアルとすると、v(π)=1 であるから
xπnAπn+1Av(x)=n
が成り立ちます。0n0πnA なので、v(0) を敢えて定義するならどんな自然数よりも大きくなるようなものとして定義するのが自然です。

付値体の完備化

それでは、上で定めた距離で K を完備化したものの性質を調べていきましょう。

K の距離関数 d による完備化を K^ とおく。このとき K^ は離散付値体であり、その付値 v^K の付値 v の拡張になっている。

xK^ に対して d(x,0)=x とおく。v^:K^{0}Z
v^(x)=logax
と定める。定義より明らかに v^v の拡張となっている。K の元のコーシー列 (zn)zK^ に収束するとき任意の ε>0 に対して十分大きな n を取れば znz<ε となるから
|znz1|=|znzz|znzz<εz
より znz1 に収束する。よって
v^(zn)v^(z)=logaznz
0 に収束するから v^(zn) が整数であることにより v^(z) も整数となる。すなわち v^ は well-defined である。全射性は明らか。
 (xn),(yn)K の距離 d に関するコーシー列でそれぞれ x,yK^ に収束するとする。v は付値であるから各nに対して
v^(xnyn)=v^(xn)+v^(yn),v^(xn+yn)min(v^(xn),v^(yn))
が成り立っている。したがって v^ の well-defined 性を示したときと同様にして
v^(xy)=v^(x)+v^(y),v^(x+y)min(v^(x),v^(y))
が示される。

A^K^ の付値環とすると A^AK^ における閉包 A に等しい。

まず xA^ とする。このとき付値環の定義より v^(x)0 である。xA と仮定すると x の収束する K のコーシー列 (xn) が存在して十分大きなnに対して v^(xn)<0 が成り立つ。このとき
v^(x)v^(xn)>1
となるが、これは矛盾であるから xA が得られる。
 次に xA とする。このとき x に収束するコーシー列 (xn) で任意のnに対して xnA となるようなものが存在する。このとき任意のnに対して v^(xn)0 であるから v^(x)0 が示され、 xA^ が得られる。

これで、付値体の完備化がどのようなものなのかがわかってきたと思います。Kの部分集合 AK と同様に距離空間になりますが、定理5は A の完備化が付値環 A^ に等しいということを言っています。つまり、「付値環である」という性質は距離空間の完備化によって保たれるということなんですね。

それでは最後に A の極大イデアルによる完備化が距離空間により完備化 A^ と同一視できることを見て締め括りとしましょう。

πAA の唯一の極大イデアルとする。このとき
limA/πnAA^
が成り立つ。

x=(x1,x2,)limA/πnA に対して ynxnπnA となるように ynA を選ぶと、(yn)A におけるコーシー列となるからその収束先を x^ とおけば
f:limA/πnAxx^A^
が定まる。ynynxnmodπnA(yn)x^ に、(yn)x^ に収束するとすると、任意の ε>0 に対して十分大きな n を取れば
x^x^x^xn+xnxn+xnx^<ε
となるので f は well-defined である。
 f が環準同型であることは簡単にわかるので連続性を示す。そのためには f0 で連続であることを示せば十分である。
V={xA^x<ε}
とおく。an+1<εan とする。このとき、xV に収束する A のコーシー列 (yn) に対して十分大きな m を取ると
an+1ym<an
となる。このとき ym=an+1 となり v(ym)=n+1 となるから ymπn+1A となる。つまり
f1(V)={(x1,x2,)limA/πnAmn+1xm=0}
となるが、これは limA/πnA0 における開近傍となっている。よって f0 で連続である。

xA^ に収束する A のコーシー列 (xn) を取る。コーシー列の定義より任意の n に対して
l,mNnxmxlπnA
となるような整数 Nn が存在する。そこで、Nn 以上の整数 m を一つ選んで yn=xm とおけば
g:A^x(y1,y2,)limA/πnA
が定まる。gyn の取り方に依らず well-defined である。g が環準同型であることは簡単なので連続性を示す。0 において連続であることを示せば十分である。
Um={(x1,x2,)limA/πnAnmxn=0}
0 の近傍である。g(x)Um ならば x のコーシー列 (xn) と整数列 N1N2Nm が存在して、各 1km に対して
nkxnπkA
が成り立つ。このとき十分大きな n に対して xnπmA となるから x<am+ε<am1となるように ε>0 が取れる。逆に x<am1 なら十分大きな n に対して xnπm1A となるので
g1(Um)={xA^x<am+ε}
となり、g の連続性が得られる。

fggf は簡単な計算で恒等写像になることがわかる。以上で同型
limA/πnAA^
が得られた。

記事が長くなってしまうので、特に最後の定理の証明はかなり省略してしまいましたが、気になる方は自分で埋めてみてください。最後まで読んでいただきありがとうございました!!

参考文献

[1]
J.P.Serre, Local Fields
[2]
雪江明彦, 代数学のひろがり
投稿日:202148
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Yosei
Yosei
28
7715

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 付値に関する基本事項
  2. 付値体の距離
  3. 付値体の完備化
  4. 参考文献