权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

楕円曲線に付随する非可換拡大における新たな数論の研究

椭圆曲线非交换扩张中的新数论研究

基本信息

批准号：
21J13502
负责人：
臺信直人
金额：
$ 0.96万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2021
资助国家：
日本
起止时间：
2021-04-28 至 2023-03-31
项目状态：
已结题

项目摘要

昨年度に引き続き、楕円曲線のp冪等分体(pは素数)のイデアル類群を研究した。等分体のイデアル類群をGalois加群として扱うとき、その大きさを下から評価するには適切なガロアコホモロジー群の中の不分岐な類の存在が重要である。適当な条件下で、p-Selmer群をpの惰性群に制限する写像の核は、そのような不分岐な類からなる。従来のPrasad-Shekharの研究などでは、その核を用いて不分岐なコホモロジー類のなす空間を下から評価し、不分岐な類の存在/非存在を考察していた。本年度行った研究では、楕円曲線上の有理点のなす群の中に、ある局所条件を満足する点のなす部分群を定義し、それを用いて等分体のイデアル類群を下から評価した。上に述べたSelmer群上の制限写像の核に比較して、上記の有理点の群は明示的な考察が容易である。実際、いくつかの場合に上記の有理点の群が非自明になる十分条件を明示的に与えることができた。さらに位数無限大の有理点に対して、その点が上記の群に属する十分条件を、有理点の(p進)形式logによる値を用いて明示的に与える事ができた。その結果、Prasad-Shekharの研究を含む従来の結果の多くを部分的に改善することができた。特に今年度の研究成果は、従来は取り扱いが困難であったTate-Shafarevich群のp部分が自明で、階数が1以下である楕円曲線の等分点のイデアル類群を調べることに応用できる。さらにこの成果は、当初目標としていた楕円曲線の(p進)L関数と等分体のイデアル類群との関係性を調べることにも応用できると考えている。

A study of the p-idempotent (p-prime) groups of curves was carried out last year. The existence of an undifferentiated class in an isobaric group is important. Under appropriate conditions, the p-Selmer group is restricted by the inert group. The study of Prasad-Shekhar in the past has investigated the existence/non-existence of different classes in different space. This year's research on rational points on the curve is carried out under the conditions of definition and application of isoforms. The system limit image on the Selmer group is easy to compare, and the rational point group on the Selmer group is easy to investigate. In fact, in the case of a rational point, the group is not self-evident, and the condition is explicit. The number of rational points is infinite. The number of rational points is infinite. The results of Prasad-Shekhar's research include the improvement of many parts of the results. In particular, this year's research results are difficult to obtain. The p part of the Tate-Shafarevich group is self-evident. The order is below 1. The bisector of the curve is divided into two groups. The results of this study are as follows: (1) The relationship between isoforms and the relationship between isoforms is as follows: (2) The relationship between isoforms and isoforms is as follows: