Non-simplicity of formal contact isotopy classes of isocontact embeddings
Let nnn be a positive integer, and let (S2n+1,ξst)(S^{2n+1},\xi_\text{st})(S2n+1,ξst) be the standard contact sphere. Consider isocontact embeddings of (∂T∗Sn,ξst)(\partial T^*S^n,\xi_\text{st})(∂T∗Sn,ξst) into…