Cp における一致の定理
ここでは複素解析でよく知られた「一致の定理」の 版を紹介します.
そもそも とは何かというと, 素数 に対して 進数体 があり, これの代数閉包 を考えるのですが, これは完備でないので完備化したものが です. ちょうど と のような関係です. 定理に入る前にいくつか用語を定義します.
定義 1. を 内の領域 上の関数とする. 任意の に対し, 近傍 がとれ, を除く任意の に対して収束するローラン級数
で表せるとき, を 進有理型関数という.
また, このとき でとれるとき, は において 進正則(または 進解析的)であるという.
複素解析での一致の定理とは正則関数が集積点をもつ集合上で定まるというものですが, これが 進でも成り立つというのが今回の内容です.
定理 2. ( における一致の定理) 内の領域 上正則な関数 の零点集合が 内に集積点 をもつとする. このとき は恒等的に である.
証明 が恒等的に というわけではないとして矛盾を導く. このとき の近傍 において
, ( は正の整数, )
と表される. が零点集合内の集積点なので, 零点からなる点列 で かつ となるものが取れる. するとこのとき
であるから となり, で となる. しかしこれは の定め方から矛盾である. (終)
この一致の定理は 久保田-Leopoldt による 進 関数の構成などに使われます. 進 関数の構成にはほかに岩澤によるStickelberger 元を用いた代数的な構成などがあります.
何か間違いなどあれば教えてください.
[参考文献]