A note on ill-posedness for the KdV equation

We prove that the solution-map $u_0\mapsto u$ associated with the KdV equation cannot be continuously extended in $H^s(\mathbb{R})$ for $s<-1$. The main ingredients are the well-known Kato smoothing effect for the mKdV equation as well as the Miura transform.