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

Julien Grivaux (1, 2)

1 IHES - Institut des Hautes Études Scientifiques
2 I2M - Institut de Mathématiques de Marseille

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$.

Mots clés: Hochschild-Kostant-Rosenberg isomorphism; smooth analytic cycle

Domaines: Géométrie algébrique [math.AG]; Algèbre commutative [math.AC]

Julien Grivaux. Derived geometry of the first formal neighborhood of a smooth analytic cycle. 2015. ⟨hal-01301460⟩