2003 Fiscal Year Annual Research Report
| Project/Area Number |
14340016
|
|---|
| Research Institution | Tokyo Metropolitan University |
|---|
Principal Investigator |
栗原 将人 東京都立大学, 理学研究科, 助教授 (40211221)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
川崎 健 東京都立大学, 理学研究科, 助手 (40301410)
中村 憲 東京都立大学, 理学研究科, 教授 (80110849)
三宅 克哉 東京都立大学, 理学研究科, 教授 (20023632)
倉田 俊彦 東京都立大学, 理学研究科, 助手 (40311899)
松野 一夫 東京都立大学, 理学研究科, 助手 (40332936)
|
|---|
| Keywords | 岩澤理論 / 岩澤主予想 / イデアル類群 / Fittingイデアル / Stickelbergerイデアル |
|---|
| Research Abstract |
岩澤理論の中心をなす岩澤主予想は円分Zp-拡大のイデアル類群をガロア群が作用する加群と考え、ガロア群の作用の特性イデアルがP進L関数で形成される、というものであった。我々はイデアル類群(さらにはセルマー群などの代数的対象)とP進L関数、もしくはゼータ関数の値の間のP進的つながり、との間にはもっと深い関係が存在していることを発見し、いくつかの場合にFittingイデアルというものを使ってその関係を定式化した。虚アーベル体のイデアル類群のマイナス部分に対しては、岩澤とSinnottによるStickelbergerイデアルの定義を改良して(我々の定義は円分体のときには岩澤-Sinnottによるものと一致するが一般のアーベル体では少しずれる)○次のFittingイデアルがこのStickelbergerイデアルに等しい、という予想を提示した。そしてかなりの場合にこの予想を証明した。今年度はStickelberger元が本質的に分母を持つ場合も扱うことができた。また総実代数体hとCM体KでK/hがアーベル拡大になっているときKのイデアル類群のP成分Akを考える。K/hのガロア群の奇指標Xに対して、AkのX成分Ak^xを考え、これをOx=Zp[ImX]加群とみなすとAk^xのすべてのFittingイデアルを決定することはAk^xのOx加群としての構造を決めることと同値である。我々はStickelberger元のCM体への一般化である元たちを使って高次のStickelbergerイデアルΘiを定義し、これが次のFittingイデアルFitti(Ak^x)に等しいことを証明した。従ってこのことからAk^xの構造はゼータ関数の値を起源とするもので決定することになる。普通の類数公式がイデアル類群の位数についての情報しかもたらさないのに対し、我々の方法では構造まで決定できることがわかったのである。
|
-
[Publications] Masato Kurihara: "Iwasawa theory and Fitting ideals"J.fur die veine and angewandte Mathematik. 561. 39-86 (2003)
-
[Publications] Masato Kurihara: "On the Structure of Ideal Class Groups of CM-Fields"Documenta Mathematica Extra Volume Kato. 539-563 (2003)
-
[Publications] Katsuya Miyake: "Some aspects of interactions between algebraic and analytic number theory"Developments in Mathematics. 8. 263-299 (2002)
-
[Publications] Takesi Kawasaki: "On arithmetic Macanlayfication of Noetherian rings"Transactions of the American Mathematical Society. 354-1. 123-149 (2002)
-
[Publications] Kazuo Matsuno: "A note on the growth of Mordell-Weil ranks of elliptic curves"Proc.Japan Academy Series A Math.Sci.. 79. 101-104 (2003)
-
[Publications] Toshihiko Kurata: "Intersection and Singleton Type Assignment Characterizing Finite Bohm-Trees"Information and Computation. 178. 1-11 (2002)
