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

Let $X=Y\times Z$ be a product of complex manifolds $Y,Z$. Is it true that there exists no rigid curve on $X$? Here I mean by a rigid curve a curve which is not a member of any family of curves on $X$.

share|improve this question
    
This would be true if you were asking about rational curves. –  Tom Graber Mar 4 '13 at 17:03
1  
Hi Tom. How do you see the assertion for rational curves? Thanks. –  Atsushi Kanazawa Mar 4 '13 at 18:18
3  
If you have a map from P^1, to the product, then you have one to each factor separately. If one of those maps is constant, then you just deform the map by moving the point. If both maps are nonconstant, then you get a copy of $P^1 \times P^1$ in the product, where your curve lives, and so it deforms inside that surface. –  Tom Graber Mar 4 '13 at 18:51
    
I see. The argument works only for $\mathbb{P}^1$. Thanks. –  Atsushi Kanazawa Mar 4 '13 at 20:41
add comment

1 Answer

These curves may actually exist, as the following example shows.

Let $C$ be a smooth curve of genus $g$. Then the diagonal $\Delta \subset C \times C$ is isomorphic to $C$ and has self intersection $\Delta^2= 2-2g$.

On the other hand, the tangent space of the Hilbert scheme $\mathscr{H}$ of $\Delta$ in $C \times C$ at the point $[\Delta]$ has dimension given by $$ \dim _{[\Delta]} \mathscr{H} = h^0(\Delta, \, N_{\Delta/ C \times C}) = h^0(\Delta, \mathscr{O}_{\Delta}(\Delta))$$ `
and this quantity is $0$ for $g \geq 2$, because in that case $\Delta^2 < 0$.

This precisely means that $\Delta$ is rigid in $C \times C$ as soon as $g \geq 2$.

The cone of effective curves in $C \times C$ ($g \geq 2$) is quite subtle, and not fully understood in general. For further details, see [R. Lazarsfeld, Positivity in Algebraic Geometry I, Section 1.5].

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.