MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $C$ be a smooth projective curve over $\mathbb{C}$ of genus $g$. All the semistable rank 2 vector bundle $E$ with a fixed determinant bundle $L$ form a projective variety $\mathcal{M}_{2, L}$of dimension 3(g-1).

Question: What is the dimension of the locus of normalized ones in $\mathcal{M}_{2, L}$? Can we calculate its class in Chow ring? By "E is normalized", I mean in Hartshorne that $h^0(E)>0$, but $h^0(E\otimes M)=0$ for any negative degree line bundle $M$.

Thanks for reading.

share|cite|improve this question
up vote 2 down vote accepted

If $h^0(E) > 0$ then there is a nonzero global section $s$. Note that $s$ can not vanish in a point. Indeed, if $s$ vanishes at point $p \in C$ then it also gives a section of $E(-p) = E\otimes O_C(-p)$ and $O_C(-p)$ is a line bundle of negative degree.

The section $s$ can be considered as a morphism $O_C \to E$, and as we already checked its rank is everywhere 1, hence the cokernel is locally free of rank 1. Thus we have an exact sequece $$ 0 \to O_C \to E \to L' \to 0, $$ where $L'$ is a line bundle. Comparing determinants we see that $L' = L$. So, $E$ is an extension of $L$ by $O_C$. These are parameterized by $P(Ext^1(L,O_C)) = P(H^1(L^*))$ and you can easily compute the dimension. Of course you have to add the condition that $H^0(E\otimes M) = 0$ for all $M$ of negative degree. This condition will depend on the properties of $L$. What do you know about it?

share|cite|improve this answer
@Sasha, say $\deg L>0$. Then $\dim\mathbb{P}(H^1(L^*))=\deg L+g-2$ should be less than or equal to $\dim\mathscr{M}_{2, L}=3g-3$, i.e. $\deg L\le 2g-1$. what else can we say to approach the problem? – Thunder Nov 5 '12 at 0:35

Your Answer


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.