Larsen's conjecture for elliptic curves over $\mathbb{Q}$ with analytic rank at most $1$

Abstract

We prove Larsen's conjecture for elliptic curves over $\mathbb{Q}$ with analytic rank at most $1$. Specifically, let $E/\mathbb{Q}$ be an elliptic curve over $\mathbb{Q}$. If $E/\mathbb{Q}$ has analytic rank at most $1$, then we prove that for any topologically finitely generated subgroup $G$ of $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$, the rank of $E$ over the fixed subfield $\overline{\mathbb{Q}}^G$ of $\overline{\mathbb{Q}}$ under $G$ is infinite.