MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 corrected typo

If X is a variety over the complex numbers, one reasonable thing to do is to consider the associated analytic space $X_{an}$ and to take the topological Euler characteristic of that.

Is there a purely algebraic way to obtain this number?

If X is non-singular then one might define it as the integral of the top Chern class of its tangent bundle.

The reason I ask is that I'm currently reading Joyce's survey on Donaldso-Thomas Donaldson-Thomas invariants and I wanted to know if by any chance he were using some more sophisticated notion.

On related note: if X is a non-proper scheme over C, why is its Euler characteristic well-defined?

show/hide this revision's text 1

How do you define the Euler Characteristic of a scheme?

If X is a variety over the complex numbers, one reasonable thing to do is to consider the associated analytic space $X_{an}$ and to take the topological Euler characteristic of that.

Is there a purely algebraic way to obtain this number?

If X is non-singular then one might define it as the integral of the top Chern class of its tangent bundle.

The reason I ask is that I'm currently reading Joyce's survey on Donaldso-Thomas invariants and I wanted to know if by any chance he were using some more sophisticated notion.

On related note: if X is a non-proper scheme over C, why is its Euler characteristic well-defined?