On $p$-adic $L$-functions of elliptic curves and the ideal class groups of the division fields

TL;DR

This paper explores the relationship between the non-vanishing of certain ideal class group components of division fields of elliptic curves and the $p$-adic $L$-functions, especially in rank 1 cases over $Q$ and imaginary quadratic fields.

Contribution

It establishes a new link between the non-vanishing of the $E[p]$-component in class groups and the $p$-divisibility of specific $p$-adic $L$-values for elliptic curves.

Findings

Non-vanishing of the $E[p]$-component relates to $p$-divisibility of $p$-adic $L$-values.

New relationship established when the analytic rank of $E$ over $F$ is 1.

Results apply to both $Q$ and imaginary quadratic fields.

Abstract

Let $E$ be an elliptic curve defined over $\mathbb{Q}$ and $F$ be $\mathbb{Q}$ or an imaginary quadratic field with certain conditions. In this article, we study the ideal class group $\mathrm{Cl}(F_E)$ of the $p$-division field $F_E:=F(E[p])$ of $E$ over $F$ for an odd prime number $p$. More precisely, we investigate the non-vanishing of the $E[p]$-component in the semi-simplification of $\mathrm{Cl}(F_E)/p\mathrm{Cl}(F_E)$ as an $\mathbb{F}_p[\mathrm{Gal}(F_E/F)]$-module when $E[p]$ is an irreducible $\mathrm{Gal}(F_E/F)$-module. When the analytic rank of $E$ over $F$ is $1$, we establish a new relationship between the non-vanishing of the $E[p]$-component and the $p$-divisibility of a certain $p$-adic analytic quantity associated with $E$. The quantity is defined by the leading coefficient of the cyclotomic $p$-adic $L$-function of $E$ when $F=\mathbb{Q}$ and by that of Bertolini--Darmon--Prasanna's anticyclotomic $p$-adic $L$-function of $E$ when $F$ is the imaginary quadratic field.