Let $\ell$ be a prime number, denote by $K_\ell$ the maximal algebraic extension of $\Bbb{Q}$ ramified only at $\ell$. Let $f = \sum a_n q^n$ be a Hecke eigenform of level $1$ with integer coefficients. By a theorem of Serre and Deligne, there is a continuous homomorphism $$ \rho_\ell: \mathrm{Gal}(K_\ell / \Bbb{Q}) \to GL_2(\Bbb{Z}_\ell) $$ such that $\rho_\ell(\mathrm{Frob}_p)$ has characteristic polynomial $$ x^2 - a_p x + p^{k-1} $$ for each $p \neq \ell$.

Question: How to find the conductor of $\rho_\ell$?

We know that the conductor is a power of $\ell$ since $K_\ell$ is ramified only at $\ell$. But I don't know if we have control on the exponent.

We've looked at section 5.5 of the notes by Bryden Cais on Serre's Conjectures (http://math.stanford.edu/~conrad/vigregroup/vigre05/Serre05.pdf), which seems to be related to my question, but I'm not familiar with the topic enough to understand the relation.

Let $\ell$ be a prime number, denote by $K_\ell$ the maximal algebraic extension of $\Bbb{Q}$ ramified only at $\ell$. Let $f = \sum a_n q^n$ be a Hecke eigenform of level $1$ with integer coefficients. By a theorem of Serre and Deligne, there is a continuous homomorphism $$ \rho_\ell: \mathrm{Gal}(K_\ell / \Bbb{Q}) \to GL_2(\Bbb{Z}_\ell) $$ such that $\rho_\ell(\mathrm{Frob}_p)$ has characteristic polynomial $$ x^2 - a_p x + p^{k-1} $$ for each $p \neq \ell$. This induces the mod $\ell$ representation $\tilde{\rho}_\ell: \mathrm{Gal}(K_\ell / \Bbb{Q}) \to GL_2(\Bbb{F}_\ell)$.

Question: How to find the conductor of $\tilde{\rho}_\ell$?

We know that the conductor is a power of $\ell$ since $K_\ell$ is ramified only at $\ell$. But I don't know if we have control on the exponent.

We've looked at section 5.5 of the notes by Bryden Cais on Serre's Conjectures (http://math.stanford.edu/~conrad/vigregroup/vigre05/Serre05.pdf), which seems to be related to my question, but I'm not familiar with the topic enough to understand the relation.