全円分拡大の岩澤理論構築への挑戦

Z_p-拡大の岩澤理論は代数体と有限体上の１変数代数函数体の類似性をに光を当てたが，全円分拡大の岩澤理論構築へ向けた今年度の研究がさらなる類似性を明らかにした．それは即ち，有限体上の１変数代数函数体に対するWeilの定理の代数体類似を得たことである：kを有限体上の１変数代数函数体，kの係数体を代数閉包に係数拡大した拡大体をKとする。そしてK上の最大不分岐Abel p-拡大のGalois群をXとする（pはkの標数と異なる素数）．Weilの定理はkのDedekindゼータ函数とXのGal(K/k)-加群構造が，一方が他方を完全に決定する関係にあることを主張している．私は代数体kに対する「代数閉包への係数拡大」の類似物は全円分拡大K/kであるとう方針の下で，このWeilの定理の代数体類似を得た．すなわち，代数体kのDedekindゼータ函数は，K上の最大不分岐Abel p-拡大のGalois群XのGal(K/k)-加群構造で完全に決定される．また，技術的な仮定の下でその逆も成立することが示された．

Z_p-拡大の岩澤理論は代数体と有限体上の１変数代数函数体の類似性をに光を当てたが，全円分拡大の岩澤理論構築へ向けた今年度の研究がさらなる類似性を明らかにした．それは即ち，有限体上の１変数代数函数体に対するWeilの定理の代数体類似を得たことである：kを有限体上の１変数代数函数体，kの係数体を代数閉包に係数拡大した拡大体をKとする。そしてK上の最大不分岐Abel p-拡大のGalois群をXとする（pはkの標数と異なる素数）．Weilの定理はkのDedekindゼータ函数とXのGal(K/k)-加群構造が，一方が他方を完全に決定する関係にあることを主張している．私は代数体kに対する「代数閉包への係数拡大」の類似物は全円分拡大K/kであるとう方針の下で，このWeilの定理の代数体類似を得た．すなわち，代数体kのDedekindゼータ函数は，K上の最大不分岐Abel p-拡大のGalois群XのGal(K/k)-加群構造で完全に決定される．また，技術的な仮定の下でその逆も成立することが示された．