6
$\begingroup$

Notation:

  • $E$ is a non-CM Elliptic curve over $\mathbb{Q}$.
  • $p$ is an ordinary prime.
  • $f$ - cuspidal eigenform of weight $k$ = 2 attached with $E$.
  • $\rho_f$ - the global 2-dimensional $p$-adic Galois representation attached with $f$. $\rho_f$ : $G_S$ $\rightarrow$ $\mathrm{GL}_2({\mathbb{Z}}_p)$.
  • $G_S:= \mathrm{Gal}(\mathbb{Q}_S/{\mathbb{Q}})$, where $\mathbb{Q}_S$ - maximal unramified extension outside the set $S=\{\text{ bad primes of } E \} \cup\{ p, \infty \}$.

Assume that the residual representation $\overline{\rho}_f$ is $p$-split.

The prime $p$ is an ordinary prime. So the the image of $\rho_f$ restricted to the decomposition group $G_p:=\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ will be of the form $\rho_f$ $\mid$ $G_p$ $\sim$ $\begin{pmatrix} a & * \\ 0 & d \end{pmatrix}$. The residual representation $\overline{\rho}_f$ is $p$-split. So, $\overline{\rho}_f$ $\sim$ $\begin{pmatrix} \omega \lambda_p^{-1}(\overline{a}_p) & 0 \\ 0 & \lambda_p(\overline{a}_p) \end{pmatrix}$, where $\lambda_p$ is an unramified character which sends $\mathrm{Frob}_p$ to $\overline{a}_p$, $\overline{a}_p \in \mathbb{F}_p$ is the mod $p$ reduction of the $p$-th coefficent $a_p$ of $f$, and $\omega$ is the $p$-adic cyclotomic character.

Question: What is the image of the representation $\rho_f: G_p \rightarrow \mathrm{GL}_2(\mathbb{Z}/p^n \mathbb{Z})$, where $(\mathbb{Z}/p^n\mathbb{Z})^2 \simeq (E[p^n])$, the $p^n$-torsion points of $E$, for some fixed $n \geq 2$? Is it possible to compute it (or atleast it's order) by using MAGMA/SAGE/PARI?

$\endgroup$
0

2 Answers 2

5
$\begingroup$

See Serre's paper where he shows how the the image in $GL_2(Z_p)$ (and hence mod $p^n$ for any $n>0$) is determined by the image of Galois in $GL_2(Z/{pZ})$; there are more recent works by Zywina among others.treating the case of abelian varieties. Serre's paper does the case of non-CM elliptic curve (the CM case can be found in Serre-Tate's Good reduction paper).

$\endgroup$
6
  • $\begingroup$ @SGP: Thanks for your comment. I will look at works by Zywina. $\endgroup$
    – Srilakshmi
    Jan 20, 2012 at 13:08
  • 1
    $\begingroup$ Looking at Zywina paper, I don't find the image, when the Galois represtation restricted to $G_p$. I can find only the image of $\overline{\rho}$ (i.e. $\overline{\rho}(G_S)$ in $\mathrm{GL}_2(\mathbb{Z}/p^n \mathbb{Z})$. Same in Serre's paper too. $\endgroup$
    – Srilakshmi
    Jan 27, 2012 at 9:48
  • $\begingroup$ Are there any assumptions on $p$ here? The image in $GL(2,\mathbb{Z}_p)$ cannot be determined in general from the image in $GL(2,\mathbb{Z}/p\mathbb{Z})$, definitely not when the residual representation is reducible. For instance, take an elliptic curve $E/\mathbb{Q}$ with $E(\mathbb{Q})[2]=\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$ and a curve $E'/\mathbb{Q}$ with $E(\mathbb{Q})[2]=\mathbb{Z}/4\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}$. Their residual representations are both trivial, but their $\bmod 4$ representations are distinct. $\endgroup$ Mar 19, 2012 at 16:11
  • $\begingroup$ SGP refers to a Serre's paper for determining the image of $GL_2(\mathbb{Z}_p)$ by the image in $GL_2(\mathbb{Z}/p\mathbb{Z})$. I couldn't understand it, because it is in french. I was thinking that if we know the image in $GL_2(\mathbb{Z}/p^n\mathbb{Z})$ for some n. In particular, if * is 0 for some n, then it might be the case for n+i (i ≥ 1). In this case, one can say * becomes zero in the image of $ρ_f$ ∣ $G_p$ too. Curve E′ with E′(Q)[2] = Z/4Z x Z/2Z? – Srilakshmi 0 secs ago $\endgroup$
    – Srilakshmi
    Mar 21, 2012 at 10:26
  • $\begingroup$ Hi, i assumed p is such that the representation is irreducible. sorry about that. $\endgroup$
    – SGP
    Mar 22, 2012 at 13:31
2
$\begingroup$

One can say something about the image of $\rho_f|G_p$ by checking if $f$ has a companion form mod $p^n$. This can be explicitly done because one knows what the weight of this companion (if it exists) should be ($p^{n-1}(p-1)$, since $k=2$) and the conguences mod $p^n$ that the form's Fourier coefficients must satisfy vis a vis the $a_p$'s. One need only check that these congruences are satisfied up to the Sturm bound to conclude that the companion exists. If a companion mod $p^n$ exists then $\rho_f|G_p$ mod $p^n$ splits and $p^n$ won't divide the order of its image, else it will.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.