algebraic geometry Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...

, the Behrend function of a scheme ''X'', introduced by

Kai Behrend Kai Behrend is a German mathematician. He is a professor at the University of British Columbia in Vancouver, British Columbia, Canada. His work is in algebraic geometry and he has made important contributions in the theory of algebraic stacks, G ...

, is a

constructible function In complexity theory, a time-constructible function is a function ''f'' from natural numbers to natural numbers with the property that ''f''(''n'') can be constructed from ''n'' by a Turing machine in the time of order ''f''(''n''). The purpose of ...

\nu_X: X \to \mathbb

such that if ''X'' is a quasi-projective proper moduli scheme carrying a symmetric obstruction theory, then the weighted Euler characteristic :

\chi(X, \nu_X) = \sum_ n \, \chi(\)

is the degree of the

virtual fundamental class In mathematics, specifically enumerative geometry, the virtual fundamental class \text_ of a space X is a replacement of the classical fundamental class \in A^*(X) in its chow ring which has better behavior with respect to the enumerative proble ...

of ''X'', which is an element of the zeroth

Chow group In algebraic geometry, the Chow groups (named after Wei-Liang Chow by ) of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties (so-c ...

of ''X''. Modulo some solvable technical difficulties (e.g., what is the

Chow group of a stack In algebraic geometry, the Chow group of a stack is a generalization of the Chow group of a variety or scheme to stacks. For a quotient stack X = /G/math>, the Chow group of ''X'' is the same as the ''G''-equivariant Chow group of ''Y''. A key di ...

?), the definition extends to moduli stacks such as the moduli stack of stable sheaves (the

Donaldson–Thomas theory In mathematics, specifically algebraic geometry, Donaldson–Thomas theory is the theory of Donaldson–Thomas invariants. Given a compact moduli space of sheaves on a Calabi–Yau threefold, its Donaldson–Thomas invariant is the virtual num ...

) or that of

stable map In mathematics, specifically in symplectic topology and algebraic geometry, one can construct the moduli space of stable maps, satisfying specified conditions, from Riemann surfaces into a given symplectic manifold. This moduli space is the essenc ...

s (the Gromov–Witten theory).

References

*. Geometry {{algebraic-geometry-stub