This is a note on MacPherson’s local Euler obstruction, which plays an important role recently in Donaldson-Thomas theory by the work of Behrend. We introduce MacPherson’s original definition, and prove that it is equivalent to the algebraic definition used by Behrend, following the method of Gonzalez-Sprinberg. We also give a formula of the local Euler obstruction in terms of Lagrangian intersections. As an application, we consider a scheme or DM stack admitting a symmetric obstruction theory. Furthermore we assume that there is a action on , which makes the obstruction theory -equivariant. The -action on the obstruction theory naturally gives rise to a cosection map in the sense of Kiem-Li. We prove that Behrend’s weighted Euler characteristic of is the same as Kiem-Li localized invariant of by the -action.

生成讲解博客的中文版本

生成AI智能校验的中文版本