本記事では、離散付値が入った体に距離位相を入れてこれを完備化し、付値環のイデアルによる完備化との関係を解説します。イデアルによる完備化は抽象的で難しいですが(私はアティマク10章で大変苦労しました)距離空間の完備化はイメージが付きやすいと思うので、この対応をつけておくとイデアルによる完備化への理解も深まると思います。
付値に関する基本事項
基本事項をまとめます。(証明はつけません)
体の付値
を体とする。 からアーベル群 への写像 が次の条件を満たすとする:
このとき を付値といい、 を付値体という。 で が全射のとき を離散付値という。
付値環
を を付値としてもつ付値体とする。このとき
は の部分環をなす。この を の付値環という。特に が離散付値である場合は を離散付値環という。
を離散付値体 の付値環、 をその離散付値とする。このとき の商体は である。また、 は次元がの局所環かつ単項イデアル整域となる。
離散付値環 の唯一の極大イデアルは を満たす によって生成され、したがって の任意の元は単元 と整数 によってと表される。
以下、離散付値のみを扱うこととし、断りがなければ を離散付値体、 をその離散付値環、 をその離散付値とします。
付値体の距離
ここからが本題です。まずは離散付値体に距離を定めましょう。
を固定する。 を次のように定める:
このとき に対して と定めると は における距離関数となり、したがって は距離空間となる。
定義より と は同値である。また、 も明らか。よって三角不等式を示せばよい。 を互いに異なる元とする。このとき
となるので示された。( に注意しよう)
式だけ見てもイメージが湧かないかもしれないので少し補足します。 と の間の距離について考えてみると、 より が大きければ大きいほど は小さくなりますよね。つまり付値が大きい元ほどに近い訳です。
したがって、 と を拡張しておくとわかりやすいでしょう。この拡張は、本来の付値の意味を考えても自然なものとなることを解説しておきます。
を の唯一の極大イデアルとすると、 であるから
が成り立ちます。 なので、 を敢えて定義するならどんな自然数よりも大きくなるようなものとして定義するのが自然です。
付値体の完備化
それでは、上で定めた距離で を完備化したものの性質を調べていきましょう。
の距離関数 による完備化を とおく。このとき は離散付値体であり、その付値 は の付値 の拡張になっている。
に対して とおく。 を
と定める。定義より明らかに は の拡張となっている。 の元のコーシー列 が に収束するとき任意の に対して十分大きな を取れば となるから
より は に収束する。よって
は に収束するから が整数であることにより も整数となる。すなわち は well-defined である。全射性は明らか。
を の距離 に関するコーシー列でそれぞれ に収束するとする。 は付値であるから各に対して
が成り立っている。したがって の well-defined 性を示したときと同様にして
が示される。
を の付値環とすると は の における閉包 に等しい。
まず とする。このとき付値環の定義より である。 と仮定すると の収束する のコーシー列 が存在して十分大きなに対して が成り立つ。このとき
となるが、これは矛盾であるから が得られる。
次に とする。このとき に収束するコーシー列 で任意のに対して となるようなものが存在する。このとき任意のに対して であるから が示され、 が得られる。
これで、付値体の完備化がどのようなものなのかがわかってきたと思います。の部分集合 も と同様に距離空間になりますが、定理5は の完備化が付値環 に等しいということを言っています。つまり、「付値環である」という性質は距離空間の完備化によって保たれるということなんですね。
それでは最後に の極大イデアルによる完備化が距離空間により完備化 と同一視できることを見て締め括りとしましょう。
を の唯一の極大イデアルとする。このとき
が成り立つ。
に対して となるように を選ぶと、 は におけるコーシー列となるからその収束先を とおけば
が定まる。 で が に、 が に収束するとすると、任意の に対して十分大きな を取れば
となるので は well-defined である。
が環準同型であることは簡単にわかるので連続性を示す。そのためには が で連続であることを示せば十分である。
とおく。 とする。このとき、 に収束する のコーシー列 に対して十分大きな を取ると
となる。このとき となり となるから となる。つまり
となるが、これは の における開近傍となっている。よって は で連続である。
に収束する のコーシー列 を取る。コーシー列の定義より任意の に対して
となるような整数 が存在する。そこで、 以上の整数 を一つ選んで とおけば
が定まる。 は の取り方に依らず well-defined である。 が環準同型であることは簡単なので連続性を示す。 において連続であることを示せば十分である。
は の近傍である。 ならば のコーシー列 と整数列 が存在して、各 に対して
が成り立つ。このとき十分大きな に対して となるから となるように が取れる。逆に なら十分大きな に対して となるので
となり、 の連続性が得られる。
と は簡単な計算で恒等写像になることがわかる。以上で同型
が得られた。
記事が長くなってしまうので、特に最後の定理の証明はかなり省略してしまいましたが、気になる方は自分で埋めてみてください。最後まで読んでいただきありがとうございました!!