Let $X$ be a smooth projective variety of dimension $n$. Let $D$ be a smooth divisor of $X$. Let $i:D\hookrightarrow X$ be the inclusion. Let $H$ be an ample line bundle on $X$.

Let $E$ be a vector bundle of rank $r$ on $X$. Consider $E|_D$. Suppose I know that $E|_D$ is $\mu_{i^*H}$ semistable, does it imply that $E$ is $\mu_H$ semistable?

Thanks in advance!

  • $\begingroup$ @gsvr, can you give me a reference? $\endgroup$ Dec 30, 2015 at 13:46
  • 3
    $\begingroup$ What's happening here if $X$ is a high genus curve? $\endgroup$ Dec 30, 2015 at 14:21

1 Answer 1


First of all, as Allen Knutson remarks, $X$ should have dimension at least two.

Now the Mehta-Ramanathan theorem tells you that if $\mathcal E$ is $H$-semistable and $D \in |mH|$ is general, with $m$ sufficiently large, then $\mathcal E \big|_D$ will likewise be $H\big|_D$-semistable. But you are asking for the reverse direction. This is actually much easier. Namely, assume that $\mathcal E$ is not $H$-semistable, and let $\mathcal F \subset \mathcal E$ be a (saturated) destabilizing subsheaf. Then $\mathcal F\big|_D \subset \mathcal E\big|_D$ will still be destabilizing. Here you do not even need $m$ to be large (but $|mH|$ should be basepoint-free and $D$ should be general, to avoid problems when $\mathcal F$ is not locally free). On the other hand, if $D$ is not numerically equivalent to a multiple of $H$, the statement you are asking for definitely fails.

  • $\begingroup$ I don't understand the statement that $|mH|$ should be basepoint free and $D$ should be general. For any $D\in|mH|$, if $E$ is locally free or even torsion free on $X$, slope of $E|_D$ is $m$ times the slope of $E$ right. How is basepoint free necessary? $\endgroup$ Feb 17, 2016 at 17:42
  • 1
    $\begingroup$ The restriction of a torsion-free sheaf to a smooth Cartier divisor need not be torsion-free. Then you need to divide out the torsion and this might mess up your slope. If $D$ is in general position, this does not happen. In any case, I was not making a precise statement, I was just pointing out the fact that here one has to be careful. $\endgroup$
    – pgraf
    Feb 19, 2016 at 17:43

You must log in to answer this question.

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