show/hide this revision's text 2 deleted 2 characters in body

William Stein has answered your question (i). As for your question (ii), since $\xi$ has $p$-power order, and since any $p$-power root of unity is congruent to $1$ modulo the unique prime ideal lying over $p$ in $\mathbb Q$ adjoin the $p$-power roots of unity, we see that $f\otimes \xi$ is congruent to $f$ modulo any prime ideal lying over $p$ in the field of definition of $f$ adjoin the $p$-power roots of unity.

Finally, you have already noted in (i) that the character of $f\otimes \xi$ is just $\chi\eta$. Since the conductor of $\xi$ divides $N$ and the conductor of $\eta$ divides $p$, we see that the conductor of $\chi\eta$ divides $p N$. This gives (iii). (Note that (iii) is simply a statement about the conductor of the character of $f\otimes \xi$: In general, a modular form $g$ of level $C$ is modular on $\Gamma_0(C)\cap \Gamma_1(D)$, rather than just $\Gamma_1(C)$, for some integer $D$ dividing $C$, is if the character of $g$, a priori a character of $(\mathbb Z/C)^{\times}$, actually factors through $(\mathbb Z/D)^{\times}$. In your particular case, $f$ has conductor a power of $p$ times $N$, and $\xi$ has conductor a power of $p$, so $f\otimes \xi$ has conductor a power of $p$ times $N$. The conductor of its character divide $p N$, as already noted, and so (iii) follows.)

show/hide this revision's text 1

William Stein has answered your question (i). As for your question (ii), since $\xi$ has $p$-power order, and since any $p$-power root of unity is congruent to $1$ modulo the unique prime ideal lying over $p$ in $\mathbb Q$ adjoin the $p$-power roots of unity, we see that $f\otimes \xi$ is congruent to $f$ modulo any prime ideal lying over $p$ in the field of definition of $f$ adjoin the $p$-power roots of unity.

Finally, you have already noted in (i) that the character of $f\otimes \xi$ is just $\chi\eta$. Since the conductor of $\xi$ divides $N$ and the conductor of $\eta$ divides $p$, we see that the conductor of $\chi\eta$ divides $p N$. This gives (iii). (Note that (iii) is simply a statement about the conductor of the character of $f\otimes \xi$: In general, a modular form $g$ of level $C$ is modular on $\Gamma_0(C)\cap \Gamma_1(D)$, rather than just $\Gamma_1(C)$, for some integer $D$ dividing $C$, is if the character of $g$, a priori a character of $(\mathbb Z/C)^{\times}$, actually factors through $(\mathbb Z/D)^{\times}$. In your particular case, $f$ has conductor a power of $p$ times $N$, and $\xi$ has conductor a power of $p$, so $f\otimes \xi$ has conductor a power of $p$ times $N$. The conductor of its character divide $p N$, as already noted, and so (iii) follows.)