Relative (non-)formality of the little cubes operads and the algebraic Cerf Lemma

Victor Tourtchine, Thomas Willwacher

It is shown that the operad maps $E_n\to E_{n+k}$ are formal over the reals for $k\ge 2$ and non-formal for $k=1$. Furthermore we compute the cohomology of the deformation complex…