Modular Galois representations in Jacobians
Under reasonable hypotheses, ρf ,l is afforded by a Galois-stable
piece T ⊆ J[`], where J is the Jacobian of the modular
curve X1(N0
),
N0
=

N if k = 2,
`N if k > 2.
Nicolas Mascot p-adic computation of Galois representations