Harder-Narasimhan filtration/Strong version/Tight closure/Section

In general, there exists an exact criterion for the affineness of the torsor ${}T(c)$ depending on ${}c$ and the strong Harder-Narasimhan filtration of ${}{\mathcal {S}}$ . For this we give the definition of the Harder-Narasimhan filtration.

Definition

Let ${}{\mathcal {S}}$ be a vector bundle on a smooth projective curve ${}C$ over an algebraically closed field ${}K$ . Then the (uniquely determined) filtration

{}0={\mathcal {S}}_{0}\subset {\mathcal {S}}_{1}\subset \ldots \subset {\mathcal {S}}_{t-1}\subset {\mathcal {S}}_{t}={\mathcal {S}}\,

of subbundles such that all quotient bundles ${}{\mathcal {S}}_{k}/{\mathcal {S}}_{k-1}$ are semistable with decreasing slopes ${}\mu _{k}=\mu ({\mathcal {S}}_{k}/{\mathcal {S}}_{k-1})$ ,

is called the Harder-Narasimhan filtration of

{}{\mathcal {S}}

.

The Harder-Narasimhan filtration exists uniquely (by a Theorem of Harder and Narasimhan). A Harder-Narasimhan filtration is called strong if all the quotients ${}{\mathcal {S}}_{i}/{\mathcal {S}}_{i-1}$ are strongly semistable. A Harder-Narasimhan filtration is not strong in general, however, by a Theorem of A. Langer, there exists some Frobenius pull-back ${}F^{e*}({\mathcal {S}})$ such that its Harder-Narasimhan filtration is strong.

Theorem

Let ${}C$ denote a smooth projective curve over an algebraically closed field ${}K$ and let ${}{\mathcal {S}}$ be a vector bundle over ${}C$ together with a cohomology class ${}c\in H^{1}(C,{\mathcal {S}})$ . Let

{}{\mathcal {S}}_{1}\subset {\mathcal {S}}_{2}\subset \ldots \subset {\mathcal {S}}_{t-1}\subset {\mathcal {S}}_{t}=F^{e*}({\mathcal {S}})\,

be a strong Harder-Narasimhan filtration. We choose ${}i$ such that ${}{\mathcal {S}}_{i}/{\mathcal {S}}_{i-1}$ has degree ${}\geq 0$ and that ${}{\mathcal {S}}_{i+1}/{\mathcal {S}}_{i}$ has degree ${}<0$ . We set