I have a question regarding a result stated without proof by Henryk Iwaniec in his "Topics in Classical Automorphic Forms" Chapter 12, pp.222.
Specifically, given a real quadratic field $\mathbb{Q}(\sqrt{D})$, the result characterizes the eigenspaces of the Atkin-Lehner-Li involution $W_M$ for positive $M|D$ (modulo the Hecke congruence group of level $D$, i.e., $\Gamma_0(D)$) acting on the $\chi_D$ eigenspace of modular forms of weight $k$ w.r.t. $\Gamma_0(D)$ via the slash operator (defined on pp.41 of the same book). Here, $\chi_D$ is a Dirichlet character modulo $D$.The characterization goes something like this:
If $\delta_p$ is an eigenvalue of the aforementioned operator for some modular form $f \in \mathcal{M}_k(\Gamma_0(D), \chi_D)$, then its eigenspace is
$\mathcal{M}_k^{(\delta)}$ = { $f \in \mathcal{M}_k : f(z) = \Sigma a(n)e(nz)$ with $a(n) = 0$ if $\left(\frac{P}{n}\right) = -\delta_p$ for all $p|D$ }
Here, $\left(\frac{P}{n}\right)$ is the Kronecker symbol associated to the prime divisor $p$ of $D$ and $P$ is the corresponding prime discriminant.
My question is, as expected, how can we prove this? The natural thing to do would be to look at how the operator above acts on the Fourier expansion of $f$, and then, in an ideal world, this would allow us to characterize the eigenspaces. However, this is easier said than done since the action of the involution $W_M$ on $f$ is not pretty to look at, which is why I think, people sometimes study it in conjunction with some other operator, so as to potentially simplify things.
To this end, I looked around in the literature and the closest thing I could find were results of a similar nature proved by W. Kohnen in his papers "Newforms of Half-Integral Weight" pp. 40 -41 and "Fourier Coefficients of Modular Forms of Half-Integral Weight" pp.243. The problem is that, in the first paper, probably since he is working with modular forms of half-integral weight, Kohnen defines his involution differently. Basically, his involution is a product of two matrices with one matrix corresponding to the Hecke operator $T_p$ when $p$ divides the level $D$ and the other matrix, more or less, corresponding to what Iwaniec has defined in his book. Also, the order in which the two matrices are being multiplied is important since they do not commute. So, after trying to mimic his calculations, I reached a dead-end.
His second paper gives another proof, which seems to work, but it requires some rather heavy technique and the eigenspace result is a mere by-product after some huffing and puffing.
Does anyone know of any other way to prove the above result?
Thanks in advance.
P.S: Sorry for the long-windedness. I just didn't know how much detail to leave in. Plus, this is my first time asking a question on MO.