%0 Unpublished work %T Derived geometry of the first formal neighborhood of a smooth analytic cycle %+ Institut des Hautes Études Scientifiques (IHES) %+ Institut de Mathématiques de Marseille (I2M) %A Grivaux, Julien %Z Article completely rewritten %8 2015 %D 2015 %Z 1505.04414 %K Hochschild-Kostant-Rosenberg isomorphism %K smooth analytic cycle %Z 14C99, 13B02, 18G10, 18G15 %Z Mathematics [math]/Algebraic Geometry [math.AG] %Z Mathematics [math]/Commutative Algebra [math.AC]Preprints, Working Papers, ... %X 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-intersection of $X$ in $S$. %G English %L hal-01301460 %U https://hal.science/hal-01301460 %~ CNRS %~ UNIV-AMU %~ IHES %~ EC-MARSEILLE %~ I2M %~ I2M-2014- %~ PREPUBLICTATIONS-IHES