Remarks on Greenberg's conjecture for Galois representations associated to elliptic curves
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912616132116480 |
|---|---|
| author | Ray, Anwesh |
| author_facet | Ray, Anwesh |
| contents | Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ be an odd prime number at which $E$ has good ordinary reduction. Let $Sel_{p^\infty}(\mathbb{Q}_\infty, E)$ denote the $p$-primary Selmer group of $E$ considered over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. The (algebraic) \emph{$μ$-invariant} of $Sel_{p^\infty}(\mathbb{Q}_\infty, E)$ is denoted $μ_p(E)$. Denote by $\barρ_{E, p}:Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow GL_2(\mathbb{Z}/p\mathbb{Z})$ the Galois representation on the $p$-torsion subgroup of $E(\bar{\mathbb{Q}})$. Greenberg conjectured that if $\barρ_{E, p}$ is reducible, then there is a rational isogeny $E\rightarrow E'$ whose degree is a power of $p$, and such that $μ_p(E')=0$. In this article, we study this conjecture by showing that it is satisfied provided some purely Galois theoretic conditions hold that are expressed in terms of the representation $\barρ_{E,p}$. In establishing our results, we leverage a theorem of Coates and Sujatha on the algebraic structure of the fine Selmer group. Furthermore, in the case when $\barρ_{E, p}$ is irreducible, we show that our hypotheses imply that $μ_p(E)=0$ provided the classical Iwasawa $μ$-invariant vanishes for the splitting field $\mathbb{Q}(E[p]):=\bar{\mathbb{Q}}^{ker\barρ_{E,p}}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2308_06673 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Remarks on Greenberg's conjecture for Galois representations associated to elliptic curves Ray, Anwesh Number Theory 11R23 Let $E_{/\mathbb{Q}}$ be an elliptic curve and $p$ be an odd prime number at which $E$ has good ordinary reduction. Let $Sel_{p^\infty}(\mathbb{Q}_\infty, E)$ denote the $p$-primary Selmer group of $E$ considered over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$. The (algebraic) \emph{$μ$-invariant} of $Sel_{p^\infty}(\mathbb{Q}_\infty, E)$ is denoted $μ_p(E)$. Denote by $\barρ_{E, p}:Gal(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow GL_2(\mathbb{Z}/p\mathbb{Z})$ the Galois representation on the $p$-torsion subgroup of $E(\bar{\mathbb{Q}})$. Greenberg conjectured that if $\barρ_{E, p}$ is reducible, then there is a rational isogeny $E\rightarrow E'$ whose degree is a power of $p$, and such that $μ_p(E')=0$. In this article, we study this conjecture by showing that it is satisfied provided some purely Galois theoretic conditions hold that are expressed in terms of the representation $\barρ_{E,p}$. In establishing our results, we leverage a theorem of Coates and Sujatha on the algebraic structure of the fine Selmer group. Furthermore, in the case when $\barρ_{E, p}$ is irreducible, we show that our hypotheses imply that $μ_p(E)=0$ provided the classical Iwasawa $μ$-invariant vanishes for the splitting field $\mathbb{Q}(E[p]):=\bar{\mathbb{Q}}^{ker\barρ_{E,p}}$. |
| title | Remarks on Greenberg's conjecture for Galois representations associated to elliptic curves |
| topic | Number Theory 11R23 |
| url | https://arxiv.org/abs/2308.06673 |