Field cut out by a CM modular form is imaginary

Question

Let $f=\sum_{n=1}^\infty a_nq^n$ be a newform of level $N$ and weight $k\ge 2$. Suppose that $f$ is a CM modular form in the sense of §3 of Ribet's paper Galois representations attached to eigenforms with nebentypus: i.e. there exists a quadratic character $\varphi$ such that $$a_p = \varphi(p)a_p$$for all primes $p$ in a set of primes of density $1$. Let $K$ be the quadratic field cut out by $\varphi$.

Is there a down-to-earth explanation of why $K$ must be an imaginary quadratic field?

The proof given in theorem 4.5 of the above paper depends quite heavily on the properties of the Serre group $S_{\mathfrak m/K}$.

Answer 1

As Joel says, $a_p=0$ if $p$ is inert in $K$, so this means that the Galois representation attached to $f$ must be induced from a 1-dimensional representation of the absolute Galois group of $K$. If $K$ were real quadratic then the grossencharacter corresponding to this 1-dimensional representation would have to be equal to $|.|^n$ on both the $\mathbf{R}_{>0}$'s at the infinite places. But this means that the associated Galois representation has finite order up to twist (both Hodge-Tate weights are equal) so the weight would have to be 1.

Answer 2

If you ask about CM forms, here is another argument: the Galois representation attached to your form is odd (i.e. in complex conjugation has determinant $-1$ and trace $0$). When you restrict the representation to the CM field, the representation is isomorphic to a sum of two characters, one character and its Galois conjugate (i.e. $\chi(\tau) \oplus \chi(\sigma \tau \sigma^{-1})$ where $\sigma$ is an extension of the Galois group generator of the quadratic extension). In particular both characters behave the same at complex conjugation, so the determinant of the restricted Galois representation is trivial at complex conjugation which implies the quadratic field is imaginary quadratic.