| 研究課題/領域番号 |
10J00057
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 研究分野 |
代数学
|
|---|
| 研究機関 | 早稲田大学 |
|---|
研究代表者 |
森澤 貴之 早稲田大学, 理工学研究科, 特別研究員(PD)
|
|---|
| 研究期間 (年度) |
2010 – 2012
|
| 研究課題ステータス |
完了 (2012年度)
|
| 配分額 *注記 |
2,100千円 (直接経費: 2,100千円)
2012年度: 700千円 (直接経費: 700千円)
2011年度: 700千円 (直接経費: 700千円)
2010年度: 700千円 (直接経費: 700千円)
|
|---|
| キーワード | 類数 / 円分的Z_p拡大 / 高さ関数 / 岩澤理論 / 円単数 / ウェーバーの類数問題 / マーラー測度 |
|---|
| 研究概要 |
研究員は、本年度も引き続き、ウェーバーの問題に関する研究を行った。ウェーバーの問題とは、素数pに関し、有理数体の円分的Z_p拡大の全ての中間体の類数が1であるのか、という問題である。この問題に関して、特に、pと異なる素数lについて、類数のe_非可除性に焦点をおいて取り組んだ。
研究員はこの問題に対し、円単数の評価を行うことで研究を行ってきた。これまでは、この円単数に対し、そのMahler測度を計算することで、ある条件を満たす十分大きな素数lに対するl_非可除性を証明した。今年度においては、単数に対する別の高さを用いることで、よりよい評価を得ることができた。その評価を用いることで、これまでにないl_非可除性に関する結果を得た。例えば、p=2の場合には、Fukuda-Komatsuにより、lがmod32で±1と合同でない素数の場合には有理数体の円分的Z_2拡大の全ての中間体の類数はlでは割れない、ということが示されているが、我々の結果を用いると、lがmod64で士1と合同でない素数の場合には有理数体の円分的Z_2拡大の全ての中間体の類数はlでは割れないという結果を得ることができる。これは、同志社大学の岡崎龍太郎氏との共同研究で、現在、論文投稿準備中である。また、特にp=3の場合に関しては、p=3の特性を用いてさらに精密な計算を行うことで、よりよい評価を得ている。この評価を用いることで、lがmod81で±1と合同でない素数の場合には有理数体の円分的Z_3拡大の全ての中間体の類数はlでは割れない、ということを示した。この内容に関しては現在論文を執筆中である。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
一般のpに対し、これまでに得られていた結果に関し、よりよい結果を得ることができた。その結果を用いることで、これまで計算できなかったタイプの素数に関しても、類数の非可除性を示すことにも成功しており、おおむね順調に進展しているといえる。
|
| 今後の研究の推進方策 |
今後は、まず、評価対象となる円単数の取り方をかえることで、よりよい評価を行う。また、有理数体上に限らず、有限次アーペル拡大体上のZ_p拡大などにも焦点をあてていく。
また、イデアル類群の場合に限らず、1-Selmer群やTate-Shafarevich群の1-partに関しても、類似の問題を考えていく。そのために、まずは有理数体上の楕円曲線のSelmer群などを考える。これに対し、これまでWeberの問題に取り組むために用いてきた手法を適用してアプローチしていく。
|
