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 variety of dimension $\geq 2$ and $E$ a vector bundle on $X$ of rank $r\geq 2$. Is it true that, if $E$ is globally generated, then the zero locus of a general section of $E$ has codimension $\geq r$ in $X$?

share|improve this question
    
Quick correction: You want $r$ to be the rank of $E$, not the dimension of $X$. –  David Speyer May 4 '11 at 12:22
    
sorry! Of course you are right! –  ginevra86 May 4 '11 at 12:31
5  
If $E$ is trivial, this isn't true because the zero sets are empty for general sections. You need to make $E$ "sufficiently positive". Precise criteria can probably found in Lazarsfeld's book on positivity. –  Donu Arapura May 4 '11 at 12:40
    
Actually I am interested in knowing whether the codimension of the zero locus is at least $r$. I was imprecise when formulating the question. –  ginevra86 May 4 '11 at 12:56
add comment

1 Answer

up vote 7 down vote accepted

As Donu pointed out, it may happen that the general section has no zeroes. Anyway, the the answer to your question is yes.

This is a special case of the following more general result "of Bertini type" about degeneracy loci of morphism of vector bundles, whose proof can be found in Ottaviani's book "Varietà proiettive di codimensione piccola" (in Italian, but I guess that many references in English are also available).

THEOREM. Let $\phi \colon F \to E$ be a morphism between vector bundles on $X$, with $\textrm{rank} \, F=s$, $\textrm{rank} \, E=r$, and let $D_k(\phi)$ be the set of points $x \in X$ such that $\phi_x \colon F_x \to E_x$ has rank $\leq k$.

If $F^{*} \otimes E$ is generated by global sections, then for the general $\phi$ either $D_k(\phi)$ is empty or it has the expected codimension $(s-k)(r-k)$.

Moreover, if $F^{*} \otimes E$ is ample and $(s-k)(r-k) < \dim X$, then for the general $\phi$ the locus $D_k(\phi)$ is non-empty, of the expected codimension $(s-k)(r-k)$.

Now apply this result to the morphism

$\phi \colon \mathcal{O}_X \to E$

induced by the section. Since $D_0(\phi)$ is exactly the locus where the section vanishes, you are done.

share|improve this answer
    
If a section has no zeros then the codimension of its zero locus is in fact $\ge r$... –  diverietti May 4 '11 at 21:44
    
You are right, but the question was edited. Ok, I can edit the answer too... –  Francesco Polizzi May 5 '11 at 6:40
    
Could you give an English reference for this result? I have hard time finding this book. –  xyzzyz Feb 23 at 17:43
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.