Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $X$ be a smooth projective threefold. Let $I_n(X,\beta)$ be the Hilbert scheme parametrizing subschemes $Z \subset X$ with curve class $\beta \in H_2(X,\mathbb{Z})$ and $\chi(\mathcal{O}_Z)=n$. Can one understand the second condition $\chi(\mathcal{O}_Z)=n$ geometrically?

I am aware that when $\beta=0$, $I_n(X,0)=X^{[n]}$ is the Hilbert schemes of $n$ points on $X$. How should one understand $\chi(\mathcal{O}_Z)=n$ for general $\beta$?

share|improve this question
    
Note that if $Z$ is a smooth curve, then $\chi(\mathcal{O_Z}) = 1-g$ where $g$ is the genus of $Z$ (by Serre duality). –  Piotr Achinger Jun 22 '13 at 10:10
add comment

1 Answer

As Piotr explained if $Z$ is a smooth curve of genus $g$ then $\chi(O_Z) =1 - g$. Now you can increase the Euler characteristic by adding nilpotent elements to the structure sheaf. To be more precise, let $I_Z$ be the ideal of $Z$, choose a point $x \in X$ and consider a surjective map $I_Z \to O_x$. Its kernel is an ideal of a new subscheme $Z' \subset Z$ with the same curve class but with $\chi(O_{Z'}) = \chi(O_Z) + 1$. Continuing in this way you can increase $\chi$ as much as you want.

share|improve this answer
add comment

Your Answer

 
discard

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.