| 研究実績の概要 |
有限次代数体の体同型類は，その絶対Galois群の最大可解商の群構造で特徴付けられることがNeukirch-内田-池田-岩澤の定理によって知られている．そこで有限次代数体の体同型よりも弱い同値関係である算術的同値（すなわちDedekindゼータ函数の一致）に関する同値類を絶対Galois群の言葉で特徴付けるという問題が自然に浮上する．本年度の研究によってこの問題に関して次の定理が得られた：
定理 有限次代数体k,k'について，それらの最大アーベル拡大体上の最大冪零拡大体をそれぞれL(k),L(k')とする．このとき，Gal(L(k)/k)とGalo(L(k')/k')が同型ならばkとk'は算術的同値である．言い換えると，有限次代数体ｋのDedekindゼータ函数はGal(L(k)/k)の群構造から完全に決定される．
系として次が得られる：
系 有限次代数体k,k'について，kは有理数体上正規拡大であり，Gal(L(k)/k)とGalo(L(k')/k')は同型であるならば，k=k'が成立する．
上の定理の逆が成立するかどうかは難しい問題であるので，今後の研究課題である．
|
