Table of Contents
Fetching ...

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

Timo Keller, Mulun Yin

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$.

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

Abstract

Let be an elliptic curve and be a prime. We prove the -converse theorems for elliptic curves of potentially good ordinary reduction at Eisenstein primes (i.e., such that the residual representation is reducible) when the -Selmer rank is or . The key step is to obtain the anticyclotomic Iwasawa Main Conjectures for an auxiliary imaginary quadratic field where does not have CM similar to those in [CGLS22] and descent to . As an application we get improved proportions for the number of elliptic curves in quadratic twist families having rank or .

Paper Structure

This paper contains 35 sections, 28 theorems, 88 equations.

Key Result

Theorem B

Let $E$ be an elliptic curve defined over $\mathbf{Q}$ and let $p>2$ be a prime of potentially good ordinary reduction for $E$. Assume $E[p]$ is reducible. Let $r\in\{0,1\}$. Then and so ${\operatorname{rk}}_{\mathbf{Z}}E(\mathbf{Q})=r$ and $\#\Sha(E/\mathbf{Q})<\infty$.

Theorems & Definitions (52)

  • Conjecture A
  • Theorem B
  • Definition 1.2.1: Remark 12.7 in Kato
  • Proposition 1.4.1: Proposition 6.5 in Conrad
  • Lemma 1.4.2
  • proof
  • Example 2.0.2
  • Definition 2.1.1
  • Remark 2.1.2
  • Definition 2.1.3
  • ...and 42 more