© 2004 by London Mathematical Society
© The London Mathematical Society
Euler Obstruction and Defects of Functions on Singular Varieties
Institut de Mathématiques de Luminy UMR 6206 CNRS, Campus de Luminy Case 907, 13288 Marseille Cedex 9, France, jpb{at}iml.univ-mrs.fr
Department of Mathematics, Northeastern University 567 Lake Hall, Boston, MA 02115, USA, dmassey{at}neu.edu
Tata Institute of Fundamental Research Homi Bhaba Road, Colaba, Mumbai, India, param{at}math.tifr.res.in
Instituto de Matemáticas, Unidad Cuernavaca, Universidad Nacional Autónoma de México Apartado Postal 273-3, CP 62210, Cuernavaca, Morelos, Mexico, jseade{at}matem.unam.mx
Received 14 October 2002. Revision received 10 September 2003.
Several authors have proved Lefschetz type formulas for the local Euler obstruction. In particular, a result of this type has been proved that turns out to be equivalent to saying that the local Euler obstruction, as a constructible function, satisfies the local Euler condition (in bivariant theory) with respect to general linear forms. The purpose of the paper is to determine what prevents the local Euler obstruction from satisfying the local Euler condition with respect to functions which are singular at the considered point. This is measured by an invariant (or defect) of such functions. An interpretation of this defect is given in terms of vanishing cycles, which allows it to be calculated algebraically. When the function has an isolated singularity, the invariant can be defined geometrically, via obstruction theory. This invariant unifies the usual concepts of the Milnor number of a function and the local Euler obstruction of an analytic set.