The class of Eisenbud--Khimshiashvili--Levine is the local A1-Brouwer degree

Abstract

Given a polynomial function with an isolated zero at the origin, we prove that the local A1-Brouwer degree equals the Eisenbud-Khimshiashvili-Levine class. This answers a question posed by David Eisenbud in 1978. We give an application to counting nodes together with associated arithmetic information by enriching Milnor's equality between the local degree of the gradient and the number of nodes into which a hypersurface singularity degenerates to an equality in the Grothendieck-Witt group.

Erratum correcting Lemma 6. All other results remain unchanged. In particular, the main theorem holds in characteristic 2 as stated

References in corpus (1)

• Aspects of enumerative geometry with quadratic forms

Cited by in corpus (23)

• Fundamental classes in motivic homotopy theory
• Motivic Euler characteristics and Witt-valued characteristic classes
• An Arithmetic Count of the Lines on a Smooth Cubic Surface
• A^1-Euler classes: six functors formalisms, dualities, integrality and linear subspaces of complete intersections
• An arithmetic enrichment of Bézout's Theorem
• Quadratic types and the dynamic Euler number of lines on a quintic threefold
• Applications to A1-enumerative geometry of the A1-degree
• An arithmetic count of the lines meeting four lines in P^3
• Bézoutians and the ${\mathbb{A}}^1$-degree
• Toward an algebraic theory of Welschinger invariants
• Bitangents to plane quartics via tropical geometry: rationality, ${\mathbb{A}}^1$-enumeration, and real signed count
• Computing A1-Euler numbers with Macaulay2
• Arithmetic inflection formulae for linear series on hyperelliptic curves
• An Example of Wild Ramification in an Enriched Riemann-Hurwitz Formula
• Motivic stable cohomotopy and unimodular rows
• Conics meeting eight lines over perfect fields
• Ulrich sheaves, the arithmetic writhe and algebraic isotopies of space curves
• Motivic configurations on the line
• Trace maps in motivic homotopy and local terms
• An Introduction to ${\mathbf{A}}^1$-Enumerative Geometry
• ${\mathbb{A}}^1$-Local Degree via Stacks
• ${\mathbb{A}}^1$-Brouwer degrees in Macaulay2
• Global ${\mathbb{A}}^1$ degrees of covering maps between modular curves