ウェーバーの問題と岩澤理論

点击翻译按钮获取中文摘要

研究員は、本年度も引き続き、ウェーバーの問題に関する研究を行った。ウェーバーの問題とは、素数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では割れない、ということを示した。この内容に関しては現在論文を執筆中である。