3
$\begingroup$

Let $E$ be a torsion-free sheaf on a smooth projective variety $X$ over $\mathbb{C}$. Let $H$ be an ample line bundle on $X$. Then we say $E$ is stable if $\mu_{H}(F)<\mu_{H}(E),\,\forall 0\neq F \subset E,$ (where slope of torsion free sheaf $F$ is defined by $\mu_{H}(F)=\frac{c_1(F)\cdot H}{rk(F)}$.)

I feel when $X$ is a smooth projective surface, $E$ is stable if and only if $\mu_{H}(F)<\mu_{H}(E),\forall 0 \neq F \subset E$, (where $F$ is a vector bundle). This is because $F^{**}$ is vector bundle on the surface $X$ with $\mu_{H}(F^{**})=\mu_{H}(F)$.

Question: 1) Is the above reason correct?

2) For higher-dimensional smooth projective variety(>2) can we say $E$ is stable if and only if $\mu_{H}(F)<\mu_{H}(E),\forall 0 \neq F \subset E$, (where $F$ is a vector bundle)

I.e. is it enough to consider $F$ a vector bundle to define stability? (The same logic does not go through in this case, since $F^{**}$ is not locally free for any given torsion free sheaf $F$).

$\endgroup$

Your Answer

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

Browse other questions tagged or ask your own question.