Towards a general description of derived self-intersections
Aix-Marseille University
Talk Type
Subject
Abstract
Thanks to a result of Arinkin and Cāldāru, the derived self-intersection of a closed smooth subscheme of an ambiant scheme (over a field of characteristic zero) is a formal object if and only if the conormal bundle of the subscheme extends to a locally free sheaf at the first order. In this talk, we will explain a program as well as new results in order to describe these derived self-intersections in the non-formal case.