MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Define the Euler characteristic of a scheme to be the Euler characteristic of its structure sheaf. I remember being told that for curves, this invariant satisfies inclusion-exclusion. That is, if $C_1, C_2$ are curves , then

$$\chi(C_1 \cup C_2) + \chi(C_1\cap C_2) = \chi(C_1) + \chi(C_2)$$

The intersection is scheme theoretic.Does any one knows a proof or a reference for this ?

share|cite|improve this question
up vote 14 down vote accepted

$$ 0\to \mathscr O_{C_1\cup C_2} \to \mathscr O_{C_1}\oplus \mathscr O_{C_2} \to \mathscr O_{C_1\cap C_2} \to 0 $$ with maps $a\mapsto (a,a)$ and $(a,b)\mapsto a-b$
is exact and $\chi$ is additive.

share|cite|improve this answer
Why is the latter map surjective? – Martin Brandenburg Dec 12 '11 at 9:30
It's surjective individually already. $C_1\cap C_2$ is a closed subscheme of $C_i$ for $i=1,2$, so $\mathscr O_{C_i}\to \mathscr O_{C_1\cap C_2}$ is surjective. So if $a$ in $\mathscr O_{C_1\cap C_2}$ lifts to $a$ in $\mathscr O_{C_1}$, then it is the image of $(a,0)$ by the above map. – Sándor Kovács Dec 12 '11 at 10:17
Oh yes, sorry for the stupid question. The left exactness is equivalent to the generalized Chinese Remainder Theorem which I have mentioned here So in fact $C_1,C_2$ don't have to be curves, but they can be arbitrary closed subschemes. – Martin Brandenburg Dec 12 '11 at 11:26
Yes, right. I meant to mention that it works in any dimension (and they don't have to be equi-dimensional either). – Sándor Kovács Dec 12 '11 at 11:31

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.