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

Abstract

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

Important changes following the referee's comments. To appear in Advances in Mathematics

References in corpus (1)

• The relative Riemann-Roch theorem from Hochschild homology

Cited by in corpus (3)

• Formal moduli problems and formal derived stacks
• Degeneration of spectral sequences and complex Lagrangian submanifolds
• Modèles géométriques attachés aux paires réductives