The boundedness (on $L^p$ spaces) of commutators $[b,T] = bT-Tb$ of pointwise multiplication $b$ and singular integral operators $T$ has been well studied for a long time. Curiously, the necessary conditions for this boundedness to happen are generally less understood than the sufficient conditions, for instance what comes to the assumptions on the operator $T$. I will discuss some new results in this direction, and show how this circle of ideas relates to the mapping properties of the Jacobian (the determinant of the derivative matrix) on first order Sobolev spaces. This is work in progress at the time of submitting the abstract, so I will hopefully be able to present some fairly fresh material.