Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
    
@srilakshmi: Your TeXing has gone wrong. I sincerely request you to correct it –  Chandrasekhar Jan 20 '12 at 8:14
    
@Chandrasekhar: Hi, Thanks for the comment. I have corrected it now. Can you read it? –  Srilakshmi Jan 20 '12 at 8:17
    
You may enclose an entire equation in dollars, and TeX will almost always compute good spacing by itself. –  S. Carnahan Jan 20 '12 at 8:31
    
@ Carnahan: Thanks for your editing. Yes. I'd try next time in dollars. –  Srilakshmi Jan 20 '12 at 8:58

2 Answers 2

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

share|improve this answer
    
@SGP: Thanks for your comment. I will look at works by Zywina. –  Srilakshmi Jan 20 '12 at 13:08
1  
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. –  Srilakshmi Jan 27 '12 at 9:48
    
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. –  Álvaro Lozano-Robledo Mar 19 '12 at 16:11
    
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 –  Srilakshmi Mar 21 '12 at 10:26
    
Hi, i assumed p is such that the representation is irreducible. sorry about that. –  SGP Mar 22 '12 at 13:31

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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