S-equivalence

From HandWiki

S-equivalence is an equivalence relation on the families of semistable vector bundles on an algebraic curve.

Definition

Let X be a projective curve over an algebraically closed field k. A vector bundle on X can be considered as a locally free sheaf. Every semistable locally free E on X admits a Jordan-Hölder filtration with stable subquotients, i.e.

[math]\displaystyle{ 0 = E_0 \subseteq E_1 \subseteq \ldots \subseteq E_n = E }[/math]

where [math]\displaystyle{ E_i }[/math] are locally free sheaves on X and [math]\displaystyle{ E_i/E_{i-1} }[/math] are stable. Although the Jordan-Hölder filtration is not unique, the subquotients are, which means that [math]\displaystyle{ gr E = \bigoplus_i E_i/E_{i-1} }[/math] is unique up to isomorphism.

Two semistable locally free sheaves E and F on X are S-equivalent if gr Egr F.