8
$\begingroup$

Let $X$ be a weak del pezzo surface, I Wonder whether the following statment is true:

Let $L$ be a line bundle on $X$, then $h^0(L)=0$ implies $h^0(nL)=0$ for all $n\geq 1$.

$\endgroup$
5
  • $\begingroup$ If $X$ is assumed to be del Pezzo, this is okay, right? $\endgroup$ – Chen Jiang Mar 15 '17 at 13:50
  • $\begingroup$ @gbp Thanks, could you turn your comments on del pezzo surface case into an answer? I dont see how the "generators are primitive" will imply this statement $\endgroup$ – user41650 Mar 15 '17 at 21:34
  • $\begingroup$ @gbp We know that the effective cone is generated by (-1) and (-2)-curves (d≤7) from arxiv.org/pdf/math/0703202.pdf (Theorem 3.10) The paper arxiv.org/pdf/math/0604194.pdf gives generators of Cox rings and hence generators of effective monoids. However, I don't see what the question has to do with primitivity of generators. The group generated by two primitive vectors in Z^2 need not be saturated, and even when the group is saturated, the monoid they generate need not be saturated (e.g. (0,1) doesn't lie in the monoid generated by (1,0) and (-1,2)). $\endgroup$ – Junyan Xu Mar 15 '17 at 21:35
  • $\begingroup$ I still think that it can be effectively determined whether a finitely generated monoid is saturated given its generators, but I don't know about an algorithm. Maybe people working in toric varieties know where such an algorithm is implemented... $\endgroup$ – Junyan Xu Mar 15 '17 at 21:35
  • $\begingroup$ A side question is whether the effective monoid is also generated by (-1) and (-2)-curves; this is false for degree 1 genuine del Pezzo surfaces, but I am yet to see another counterexample. $\endgroup$ – Junyan Xu Mar 15 '17 at 21:49
2
$\begingroup$

Jun Yan found a counter example for weak del pezzo surface.

Let $X$ be weak del pezzo surface of degree $4$, Let $X=X_{4,4A_1}$, irreducible $(-2)$-curves are $E_1-E_2,L_{123}=L-E_1-E_2-E_3,E_4-E_5,L_{345}=L-E_3-E_4-E_5$, take sum of all these curves, we get:$2(L_{235})$ which is an effective divisor. But $L_{235}$ itself is not effective divisor. Which means that rationally effective divisor is not effective. And actually, there are a series such examples

But as Chen Jiang pointed out in the comment, the statement is true for del pezzo surface.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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