Derived geometry of the first formal neighborhood of a smooth analytic cycle

Julien Grivaux

If $X$ is a smooth scheme of characteristic zero or a complex analytic manifold, and $S$ is a locally split infinitesimal thickening of $X$, we compute explicitly the derived self-…