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

2015/05/17 by Julien Grivaux, Grivaux, Julien
Mathematics · #13B02 #14C99 #18G10 #18G15 #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra (math.AC) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology

paper · pdf · doi:10.48550/arxiv.1505.04414

openalex publication_date 2015/05/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Citations

• Obstruction Theory for Objects in Abelian and Derived Categories

Related

• On the nearly smooth complex spaces
• When is the self-intersection of a subvariety a fibration?
• The deformation theory of local complete intersections
• An introduction to derived (algebraic) geometry
• Formal schemes and infinitesimal neighbourhoods