2022 Fiscal Year Annual Research Report
Analysis of multivariable Iwasawa modules by using special elements of K-groups
| Project/Area Number |
17K05176
|
|---|
| Research Institution | The University of Tokushima |
|---|
Principal Investigator |
高橋 浩樹 徳島大学, 大学院社会産業理工学研究部(理工学域), 教授 (90291476)
|
|---|
| Project Period (FY) |
2017-04-01 – 2023-03-31
|
| Keywords | Greenberg予想 / Kummer-Vandiver予想 / 一般Greenberg予想 / 特殊元 / 単数群 / K群 |
|---|
| Outline of Annual Research Achievements |
本研究の目的は，Kummer-Vandiver予想，総実代数体のGreenberg予想，一般代数体の一般Greenberg予想などの未解決予想に対する詳しい成立理由を調査することである．
Kummer-Vandiver予想，総実代数体のGreenberg予想に関連して，二次体に1の原始p乗根を添加した体の円分Z_p拡大に対する岩澤加群の構造について，二次体の判別式の絶対値が200未満に対して100万～200万までの素数の範囲，絶対値が10未満に対しては2000万～4000万までの素数の範囲で調査を継続しており，実二次体に対しては前者は140万まで，後者は3000万までの素数に対し第一回目の調査が終了した．興味の対象である例外的な実例についても予測通りの割合で得られている．
岩澤加群の構造に深く関係する有限次代数体のイデアル類群の構造について，p分体に含まれる二次体上の素数lべき次の虚アーベル体のイデアル類群のl部分の計算機による調査を100万以下の素数pに対して行い，3以上101以下の素数lに関する実例を表にまとめた．市村文男氏によって定義された岩澤不変量に類似した不変量についてもl=3の場合与えており，μ不変量に対応する量は0，λ不変量に対応する量については1～6の範囲，ν不変量に対応する量には-2～5の範囲であり，特に負となるν不変量の実例が興味深いと考えられる．
4p分体の一般Greenberg予想について，プログラムを改良した上でp単数群のペアリングを計算することにより，4を法として3と合同な65536以下の素数について3つの例外的な素数を除いて確認することができた．特にp単数群のペアリングにおける非自明な零の個数は均等性を基にする予測された分布にほぼ近似していることを引き続き確認しており，これは一般Greenberg予想の成立を支持する理由のひとつとなる．
|
