円分体の岩澤理論の研究

1995 Fiscal Year Annual Research Report

• Project/Area Number: 07640064
• Research Institution: Yokohama City University
• Principal Investigator: 市村 文男 横浜市立大学, 理学部, 助教授 (00203109)
• Co-Investigator(Kenkyū-buntansha): 小屋 良祐 横浜市立大学, 理学部, 助手 (50254230)
• Keywords: 岩澤不変量 / 実アーベル体 / イデアル類群

Research Abstract

今年度は、研究計画に述べた実ahel体のideal類群の研究に於て、大きな進展があった。任意の素数p,実ahel体kに対して、その円分p拡大k∞=Uknのideal類群に付随して、岩澤不変量λ=λp(k),μ=μp(k)が定まる。λ,μはともに0であろうと予想(期待)されている。μ=0は既に示されている。この予想は、円分体の岩澤理論の基本問題(の1つ)でありながら、信ずるべき哲学的根拠はない。それどころか、(多くの人々の努力にもかかわらず、)個々のp,kに対して、λを実際に、計算する事さえ困難であった。その理由は、kが総実なので、k∞/kの各中間体knの単数群Enが大きすぎて捕えるのが困難な事にある。
今年度は、隅田浩樹氏との共同研究で(多少の条件下で)λの極めて有効な計算方法を確立した。これを用いて、例えば、p=3の時、実2次体k=【.encircled@.】61(√m)(1<m<10^4)でλ=0を確かめる事ができた。このなかには、Greenherg等による最初の挑戦以来20年間も計算される事を拒否し続けてきた【.encircled@.】61(√254),【.encircled@.】61(√473)等の悪名高い例がふくまれている。
計算のポイントを述べよう。簡単のため、p=3,k=実2次体とする。xをkに対応するDirichlet指標とし、gx(T)をP進L関数LP(△、X)に付随する巾級数とする。λ^*をgxのλ-不定量とすると、λ≦λ^*が知られている。更に簡単のためλ^*=1としよう。この時、gx(T)は唯一つの零点αの(Zp)を持つ。Yn(T)を、P^<n+1>を法として(1+T)^<Pn>-(1+α)^<Pn>)/(T-α)に合同なZ-係数を多項式とする。αの近似値は容易に計算できるが、Yn(T)が単数群Enを“捕まえる"力を持っている事を発見したのがポイントである。

Research Products

• [Publications] 市村,文男: "On p-adic L-functions and normal basis of rings of integers" Journal fur die reine und ange wandte Mathnatik. 462. 169-184 (1995)
• [Publications] 市村文男: "A note on the Iwasawa λ-in variants of real guadratic fields" Proceedings of the Japan Academy(Ser.A). 72. 28-30 (1996)
• [Publications] 市村文男: "On a normal integral basis problem over cyclotomic Zp-extensions" Journal of the Mathematical Society of Japan. (発売予定). (1996)
• [Publications] 市村文男: "On the Iwasawa invariants of certain real abelian fields" Tohoku Mathmatical Journal. (発売予定). (1996)
• [Publications] 市村文男: "On the Iwasawa λ-invariant of real p-cyclotomic field" Journal of Mathematical Sciences,the University of Tokyo. (発売予定). (1996)
• [Publications] 市村文男: "On some congruences for units of local p-cyclotomic fields" Abhandlungen a.d.Mathematischen Seminar d. Univ.Hamburg. (発表予定). (1996)