I am working on Fractionnal quantum hall effect and reading these lecture notes http://www.damtp.cam.ac.uk/user/tong/qhe/qhe.pdf. As all others sources I have found, none of them precisely define the projecto operator $ P_{m'}(ij)$ mentionned here on p84 or give a mathematical argument on why is thus $V_m \Phi = 0 $(so why are the Laughlin states ground state of the toy hamiltonian).

The best 'attempt' or beginning of a explicit proof I have found is on the p11 of the following : http://www.phys.virginia.edu/Files/fetch.asp?EXT=Seminars:1752:SlideShow

But I am still a bit confused on how to get the explicit expression for $\phi_c^{rel}$, or said otherwise how to go from ligne 2 to 3 ?

\begin{equation} H = \sum_{m'=1}^{\inf} \sum_{i<j} v_{m'}P_{m'}(ij) \end{equation}

\begin{equation} \phi(z_i) = \prod_{i<j}(z_i-z_j)^m e^{-\sum _i \mid z_i \mid ^2 / 4l^2_B} \end{equation} So ho do we move from here to a decomposition in relative angular momentum ? \begin{equation} \phi(z_i) = \sum_a \sum_{b,c} C_a^{b,c} \phi_b^{CM}(\frac{1}{2}(z_1+z_2)) \phi_c^{rel} (z_1-z_2) e^{-\sum _i \mid z_i \mid ^2 / 4l^2_B} \Phi(z_2,z_3, ...,z_N) \end{equation}

I am working on Fractional Quantum Hall Effect and reading these lecture notes http://www.damtp.cam.ac.uk/user/tong/qhe/qhe.pdf. As all others sources I have found, none of them precisely define the projecto operator $ P_{m'}(ij)$ mentioned here on p84 or give a mathematical argument on why is thus $V_m \Phi = 0 $  (so why are the Laughlin states ground state of the toy hamiltonian).

The best 'attempt' or beginning of a explicit proof I have found is on the p11 of the following : http://www.phys.virginia.edu/Files/fetch.asp?EXT=Seminars:1752:SlideShow

But I am still a bit confused on how to get the explicit expression for $\phi_c^{rel}$, or said otherwise how to go from line 2 to 3 ?

\begin{equation} H = \sum_{m'=1}^{\inf} \sum_{i<j} v_{m'}P_{m'}(ij) \end{equation}

\begin{equation} \phi(z_i) = \prod_{i<j}(z_i-z_j)^m e^{-\sum _i \mid z_i \mid ^2 / 4l^2_B} \end{equation} So ho do we move from here to a decomposition in relative angular momentum ? \begin{equation} \phi(z_i) = \sum_a \sum_{b,c} C_a^{b,c} \phi_b^{CM}(\frac{1}{2}(z_1+z_2)) \phi_c^{rel} (z_1-z_2) e^{-\sum _i \mid z_i \mid ^2 / 4l^2_B} \Phi(z_2,z_3, ...,z_N) \end{equation}