2
$\begingroup$

Fix a Hilbert polynomial $P$ of a non-plane curve in $\mathbb{P}^3$. By a curve we mean a reduced scheme of pure dimension $1$ i.e., it can be reducible but is reduced. Suppose that the degree of these curves is $e$. For a general curve $C$ in $Hilb_P$ (the Hilbert scheme corresponding to $P$) and a general smooth degree $d$ ($d \ge 5$) surface $X$ in $\mathbb{P}^3$ for $d \ge e+2$ containing $C$, should we expect that the dimension of the linear series $|C|$ which is equal to $h^0(\mathcal{O}_X(C))-1$ to be equal to zero? (Intuitively I would expect this because in this case if $C' \subset C$ irreducible then $C'^2<0$ implying $\dim |C'|=0$)

$\endgroup$
8
  • 1
    $\begingroup$ e=1, d=2 gives a counterexample. $\endgroup$
    – quim
    Sep 18, 2012 at 20:27
  • $\begingroup$ Maybe you want to assume the curves are nondegenerate, ie, not contained in planes? $\endgroup$
    – quim
    Sep 18, 2012 at 20:29
  • 1
    $\begingroup$ The hilbert-space tag didn't fit here, so I removed it. $\endgroup$
    – user5117
    Sep 18, 2012 at 20:51
  • $\begingroup$ @quim: I have edited the question to non-plane curves $\endgroup$ Sep 18, 2012 at 20:53
  • 1
    $\begingroup$ By Bertini (at least if the surface is nonsingular) the moving part of |C| is irreducible, which combined with your statement that the selfintersection of every component is negative would give that there is no moving part. However, there are a couple of things to check: 1) that the general surface containing C is nonsingular, 2) that the components of every element D∈|C| also have negative selfintersection. I don't know how you argue this selfintersection, and how the argument interacts with the choices of general C -> general S -> general D $\endgroup$
    – quim
    Sep 19, 2012 at 9:34

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.