$p$-converse theorems for elliptic curves of potentially good ordinary reduction at Eisenstein primes

Timo Keller,Mulun Yin
2024-10-31
Abstract:Let $E/\mathbf{Q}$ be an elliptic curve and $p\geq 3$ be a prime. We prove the $p$-converse theorems for elliptic curves of potentially good ordinary reduction at Eisenstein primes (i.e., such that the residual representation $E[p]$ is reducible) when the $p$-Selmer rank is $0$ or $1$. The key step is to obtain the anticyclotomic Iwasawa Main Conjectures for an auxiliary imaginary quadratic field $K$ where $E$ does not have CM similar to those in [CGLS22] and descent to $\mathbf{Q}$. As an application we get improved proportions for the number of elliptic curves in quadratic twist families having rank $0$ or $1$.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the \(p\)-converse theorems of elliptic curves under certain specific conditions. Specifically, the author aims to prove the \(p\)-converse theorems for elliptic curves with potentially good ordinary reduction, under Eisenstein primes \(p\geq3\), when the \(p\)-Selmer rank is 0 or 1. ### Background and Problem Description 1. **Birch and Swinnerton - Dyer Conjecture**: - The Birch and Swinnerton - Dyer conjecture predicts that the order of the zero of the \(L\)-function of the elliptic curve \(E/\mathbb{Q}\) at \(s = 1\), \(\text{ord}_{s = 1}L(E, s)\), should be equal to the rank of its Mordell - Weil group \(\text{rk}_{\mathbb{Z}}E(\mathbb{Q})\). - The well - known theorems of Gross - Zagier and Kolyvagin show that if \(r\in\{0, 1\}\), then \(\text{ord}_{s = 1}L(E, s)=r\Rightarrow\text{rk}_{\mathbb{Z}}E(\mathbb{Q}) = r\). 2. **\(p\)-converse theorems**: - If \(p\) is a prime, one can define the \(p^\infty\)-Selmer group \(\text{Sel}_{p^\infty}(E/\mathbb{Q})\) associated with the elliptic curve \(E\). - When \(\text{corank}_{\mathbb{Z}_p}\text{Sel}_{p^\infty}(E/\mathbb{Q})=r\), it is expected that \(\text{ord}_{s = 1}L(E, s)=r\). This conclusion is called the \(p\)-converse theorem. ### Main Contributions of the Paper 1. **Main Results**: - The author has proved that for the elliptic curve \(E/\mathbb{Q}\) with potentially good ordinary reduction, under Eisenstein primes \(p\geq3\), when \(\text{corank}_{\mathbb{Z}_p}\text{Sel}_{p^\infty}(E/\mathbb{Q}) = r\) (where \(r\in\{0, 1\}\)), \(\text{ord}_{s = 1}L(E, s)=r\). - This implies that \(\text{rk}_{\mathbb{Z}}E(\mathbb{Q}) = r\) and the Tate - Shafarevich group \(\#X(E/\mathbb{Q})<\infty\). 2. **Methods and Steps**: - By introducing the Heegner Point Main Conjecture and using the Iwasawa Main Conjectures to prove the \(p\)-converse theorem. - Specific steps include: using Kolyvagin system arguments, establishing explicit reciprocity laws, comparing Iwasawa invariants, etc. ### Applications - As an application, the author has improved the proportion of elliptic curves with rank 0 or 1 in the quadratic twist family, thus for Goldfeld's conjecture.