4 clarifications

By "level $\ell$" I assume you mean "level $\Gamma_1(\ell)$".

Here's a proof. By the Eichler-Shimura theorem, the system of eigenvalues associated to the modular form shows up in $H^1(SL(2,\mathbf{Z}),Symm^{k-2}(\mathbf{C}))$. Hence (by some easy commutative algebra) the mod $\ell$ reduction of the system of eigenvalues shows up in $H^1(SL(2,\mathbf{Z}),Symm^{k-2}(\mathbf{F}_\ell))$ and hence, by a standard diagram chase, in $H^1(SL(2,\mathbf{Z}),M)$ for $M$ an irreducible module for $GL(2,\mathbf{F}_\ell)$. (EDIT: here $M$ is a finite-dimensional vector space over $\mathbf{F}_\ell$, so it's just a twist of $Symm^n$ for some small $n$). But any such $M$ is a subquotient of $I:=Ind_{(* *;0 1)}^{GL(2,\mathbf{F}_\ell)}(1)$ so the system of eigenvalues shows up in $H^1(SL(2,\mathbf{Z}),I)$ and hence, by Shapiro, in $H^1(\Gamma_1(\ell),1)$. (EDIT: here $1$ means the trivial 1-d vector space over $\mathbf{F}_\ell$: one now deduces that the system of eigenvalues lifts to a system of evals showing up in $H^1(\Gamma_1(\ell),\mathbf{C})$).

Now using Eichler-Shimura again, this time at level $\ell$, shows that there's a weight 2 level $\Gamma_1(\ell)$ modular form giving rise to the same mod $\ell$ system of Hecke eigenvalues. This last statement is a little disingenuous because Eichler-Shimura only tells you about parabolic cohomology which isn't quite the same as group cohomology. But the extra stuff is all associated to reducible Galois representations so can be dealt with by hand using Eisenstein series.

You'll find these sorts of arguments in papers of Ribet from around 1987-1990. Another great place to look is papers of Ash and Stevens from slightly earlier -- I learnt the argument below from an Ash-Stevens paper.

3 typo

By "level $\ell$" I assume you mean "level $\Gamma_1(\ell)$".

Here's a proof. By the Eichler-Shimura theorem, the system of eigenvalues associated to the modular form shows up in $H^1(SL(2,\mathbf{Z},Symm^{k-2}(\mathbf{C}))$. H^1(SL(2,\mathbf{Z}),Symm^{k-2}(\mathbf{C}))$. Hence (by some easy commutative algebra) the mod$\ell$reduction of the system of eigenvalues shows up in $H^1(SL(2,\mathbf{Z}),Symm^{k-2}(\mathbf{F}_\ell))$ and hence, by a standard diagram chase, in$H^1(SL(2,\mathbf{Z}),M)$for$M$an irreducible module for $GL(2,\mathbf{F}_\ell)$. But any such$M$is a subquotient of$I:=Ind_{(* *;0 1)}^{GL(2,\mathbf{F}_\ell)}(1)$so the system of eigenvalues shows up in$H^1(SL(2,\mathbf{Z}),I)$and hence, by Shapiro, in$H^1(\Gamma_1(\ell),1)$. Now using Eichler-Shimura again, this time at level$\ell$, shows that there's a weight 2 level$\Gamma_1(\ell)$modular form giving rise to the same mod$\ell$system of Hecke eigenvalues. This last statement is a little disingenuous because Eichler-Shimura only tells you about parabolic cohomology which isn't quite the same as group cohomology. But the extra stuff is all associated to reducible Galois representations so can be dealt with by hand using Eisenstein series. You'll find these sorts of arguments in papers of Ribet from around 1987-1990. Another great place to look is papers of Ash and Stevens from slightly earlier -- I learnt the argument below from an Ash-Stevens paper. 2 clarification By "level$\ell$" I assume you mean "level$\Gamma_1(\ell)$". Here's a proof. By the Eichler-Shimura theorem, the system of eigenvalues associated to the modular form shows up in$H^1(SL(2,\mathbf{Z},Symm^{k-2}(\mathbf{C}))$. Hence (by some easy commutative algebra) the mod$\ell$reduction of the system of eigenvalues shows up in $H^1(SL(2,\mathbf{Z}),Symm^{k-2}(\mathbf{F}_\ell))$ and hence, by a standard diagram chase, in$H^1(SL(2,\mathbf{Z}),M)$for$M$an irreducible module for $SL(2,\mathbf{F}_\ell)$GL(2,\mathbf{F}_\ell)$. But any such $M$ is a subquotient of $I:=Ind_{\Gamma_1(\ell)}^{SL(2,\mathbf{Z})}(1)$ I:=Ind_{(* *;0 1)}^{GL(2,\mathbf{F}_\ell)}(1)$so the system of eigenvalues shows up in$H^1(SL(2,\mathbf{Z}),I)$and hence, by Shapiro, in$H^1(\Gamma_1(\ell),1)$. Now using Eichler-Shimura again, this time at level$\ell$, shows that there's a weight 2 level$\Gamma_1(\ell)$modular form giving rise to the same mod$\ell\$ system of Hecke eigenvalues. This last statement is a little disingenuous because Eichler-Shimura only tells you about parabolic cohomology which isn't quite the same as group cohomology. But the extra stuff is all associated to reducible Galois representations so can be dealt with by hand using Eisenstein series.

You'll find these sorts of arguments in papers of Ribet from around 1987-1990. Another great place to look is papers of Ash and Stevens from slightly earlier -- I learnt the argument below from an Ash-Stevens paper.

1