1
$\begingroup$

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.

Improve this question
$\endgroup$

1 Answer 1

Reset to default
2
$\begingroup$

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?

Improve this answer
$\endgroup$
1
  • $\begingroup$ @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? $\endgroup$
    – Thunder
    Commented Nov 5, 2012 at 0:35

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .