Source author record

Naoto Dainobu

Naoto Dainobu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

2works
1topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

2 published item(s)

preprint2022arXiv

Elliptic analogue of irregular prime numbers for the $p^{n}$-division fields of the curves $y^{2} = x^{3}-(s^{4}+t^{2})x$

A prime number $p$ is said to be irregular if it divides the class number of the $p$-th cyclotomic field $\mathbb{Q}(ζ_{p}) = \mathbb{Q}(\mathbb{G}_m[p])$. In this paper, we study its elliptic analogue for the division fields of an elliptic curve. More precisely, for a prime number $p \geq 5$ and a positive integer $n$, we study the $p$-divisibility of the class number of the $p^{n}$-division field $\mathbb{Q}(E[p^{n}])$ of an elliptic curve $E$ of the form $y^{2} = x^{3}-(s^{4}+t^{2})x$. In particular, we construct a certain infinite subfamily consisting of curves with novel properties that they are of Mordell-Weil rank 1 and the class numbers of their $p^{n}$-division fields are divisible by $p^{2n}$. Moreover, we can prove that these division fields are not isomorphic to each other. In our construction, we use recent results obtained by the first author.

preprint2022arXiv

Ideal class groups of number fields and Bloch-Kato's Tate-Shafarevich groups for symmetric powers of elliptic curves

For an elliptic curve $E$ over $\mathbb{Q}$, putting $K=\mathbb{Q}(E[p])$ which is the $p$-th division field of $E$ for an odd prime $p$, we study the ideal class group $\mathrm{Cl}_K$ of $K$ as a $\mathrm{Gal}(K/\mathbb{Q})$-module. More precisely, for any $j$ with $1\leqslant j \leqslant p-2$, we give a condition that $\mathrm{Cl}_K\otimes \mathbb{F}_p$ has the symmetric power $\mathrm{Sym}^j E[p]$ of $E[p]$ as its quotient $\mathrm{Gal}(K/\mathbb{Q})$-module, in terms of Bloch-Kato's Tate-Shafarevich group of $\mathrm{Sym}^j V_p E$. Here $V_p E$ denotes the rational $p$-adic Tate module of $E$. This is a partial generalization of a result of Prasad and Shekhar for the case $j=1$.