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

Assume we have a $K3$-surface $S$ over $\mathbb{C}$ which contains irreducible and smooth curves $C,D$ satisfying the properties: $C^2=D^2=-2$ and $C\cdot D=1$, i.e. two rational curves.

Now i'm intersted in the linear system $|C+D|$.

Since $(C+D)^2=-2$ we have $H^0(O_S(C+D))=1$, so the linear system has dimension 0. In spite of that, can anything interesting be said about this linear system? Especially:

What can be said about the base locus? Is $Bs(|C+D|)=C+D$? Does this linear system only consist of its fixed part? What about base points? (Maybe i am misunderstanding the notaion: are points in the fixed part also base points?)

Is $C+D$ another rational curve on $S$? It has the correct self-intersection, but is it smooth and irreducible?

Background: I'm trying to find points $p$ on $S$ which give a locally free extension $E$:

$0\rightarrow O_S \rightarrow E \rightarrow I_p\otimes O_S(C+D)\rightarrow 0$, here $I_p$ is the ideal sheaf of $p$.

And base points of the linear system $|C+D|$ are solutions, because they satisfy the Cayley-Bacharach property.

share|improve this question
7  
If H^0(S,C+D)=1, there is a unique effective divisor in the linear system |C+D|, namely the reducible curve C union D. So yes, the base locus is C union D, and no, there cannot be a smooth curve in this linear system. –  Artie Prendergast-Smith Apr 30 '12 at 18:22
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.