1: \begin{proof}[Solution to exercise \ref{ex:invdiff}]

2: Let $z = x^2$ so that $\C[x]^{\Z_2} = \C[x^2] = \C[z]$. The ring $\dd(\mf{h})^{W}$ is generated by $x^2, x \pa_x$ and $\pa_x^2$ and $\dd(\mf{h} / W) = \C \langle z, \pa_z \rangle$. Since 

3: $$

4: x \pa_x (z^n) = x \pa_x (x^{2n}) =2n x^{2n} = 2 n z^n

5: $$

6: and

7: $$

8: \pa_x^{2} (z^n) = 2n(2n-1) z^{n-1}

9: $$

10: we see that $\phi :  \dd(\mf{h})^{W} \rightarrow \dd(\mf{h} / W)$ sends $x \pa_x$ to $2 z \pa_z$ and $\pa_x^2$ is sent to $\pa_z ( 4z \pa_z - 2)$. Then $\pa_z$ is not in the image of $\phi$ so it is not surjective. A rigorous way to show this is as follows: the morphism $\phi$ is filtered. Therefore, it induces a morphism on associated graded, this is the map

11: $$

12: \C[A,B,C] / (AC - B^2) \rightarrow \C[D,E],

13: $$

14: $$

15: A \mapsto D, B \mapsto 2 DE, C \mapsto 4DE^2.

16: $$

17: This is a proper embedding. 

18: \end{proof}

19: