3
$\begingroup$

How to prove that the direct sum of two stable vector bundles of the same slope over a smooth curve is a semistable bundle?

$\endgroup$

1 Answer 1

9
$\begingroup$

One possible answer could be: by opening any book on vector bundles, and looking at the proposition right after the definition of stable vector bundle. :)

Another possible answer is as follows.

What you ask is valid in much more generality on any compact Kähler manifold.

Proposition. Let $\mathcal F$ and $\mathcal G$ two torsion free coherent sheaves over a compact Kähler manifold $(X,\omega)$. Then, $\mathcal F\oplus\mathcal G$ is $\omega$-semistable if and only if $\mathcal F$ and $\mathcal G$ are both $\omega$-semistable with $\mu(\mathcal F)=\mu(\mathcal G)$.

Here, $\mu(\mathcal E):=\deg_\omega\mathcal E/\operatorname{rank}\mathcal E$, where $$ \deg_\omega\mathcal E:=\int_X c_1(\mathcal E)\wedge\omega^{n-1},\quad\dim X=n, $$ for any torsion free coherent sheaf $\mathcal E$.

Proof. Suppose first that $\mathcal F$ and $\mathcal G$ are both $\omega$-semistable with the same slope $\mu$. Then, $\mu(\mathcal F\oplus\mathcal G)=\mu$. Given a subsheaf $\mathcal E$ of $\mathcal F\oplus\mathcal G$, set $\mathcal E_1=\mathcal E\cap(\mathcal F\oplus 0)$ and $\mathcal E_2$ to be the image of $\mathcal E$ under the projection $\mathcal F\oplus\mathcal G\to\mathcal G$. By the semistability of $\mathcal F$ and $\mathcal G$ you have $$ \deg_\omega(\mathcal E_i)\le\mu\cdot\operatorname{rank}\mathcal E_i,\quad i=1,2. $$ Therefore, $$ \mu(\mathcal E)=\frac{\deg_\omega(\mathcal E_1)+\deg_\omega(\mathcal E_2)}{\operatorname{rank}\mathcal E_1+\operatorname{rank}\mathcal E_2}\le\mu, $$ and $\mathcal F\oplus\mathcal G$ is $\omega$-semistable.

Conversely, you have $$ \mu(\mathcal F\oplus\mathcal G)=\mu(\mathcal F)=\mu(\mathcal G). $$
Indeed one has the following lemma, which follows almost immediately from the definition of semistability.

Lemma. If $$ 0\to\mathcal S\to\mathcal E\to\mathcal Q\to 0 $$ is a short exact sequence of coherent sheaves on a compact Kähler manifold $(X,\omega)$, then $$ \operatorname{rank}(\mathcal S)(\mu(\mathcal E)-\mu(\mathcal S))+\operatorname{rank}(\mathcal Q)(\mu(\mathcal E)-\mu(\mathcal Q))=0. $$

Now, this lemma permits to define semistability also in terms of quotient sheaves. Namely, $\mathcal E$ is semistable if and only if for every quotient sheaf $\mathcal E\to\mathcal Q\to 0$ of positive rank one has $\mu(\mathcal E)\le\mu(\mathcal Q)$.

But then, since both $\mathcal F$ and $\mathcal G$ are at the same time quotient sheaves and subsheaves of $\mathcal F\oplus\mathcal G$, the equality of slopes follows.

Finally, any subsheaf $\mathcal E$ of $\mathcal F$ or $\mathcal G$ is a subsheaf of their direct sum, as well. Hence, $$ \mu(\mathcal E)\le\mu(\mathcal F\oplus\mathcal G)=\mu(\mathcal F)=\mu(\mathcal G).\quad\square $$

$\endgroup$
3
  • $\begingroup$ Why is $\mu(\mathcal{F}+\mathcal{G})=\mu(\mathcal{F})=\mu(\mathcal{G})$? $\endgroup$
    – Babai
    Nov 16, 2016 at 19:51
  • 1
    $\begingroup$ I'll expand the answer to explain that. $\endgroup$
    – diverietti
    Nov 17, 2016 at 9:08
  • 2
    $\begingroup$ A careful comment: For locally free sheaves $E$ and $F$ over $X$ we have $$deg(E ⊗ F) = rk E \deg F + rk F \deg E$$ see userpage.fu-berlin.de/hoskins/M15_Lecture14.pdf $\endgroup$
    – user21574
    Apr 27, 2017 at 4:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.