Mehta-Ramanathan for and k-semistable decorated sheaves

Abstract: This paper is devoted to generalizing the Mehta-Ramanathan restriction theorem to the case of {epsilon}-semistable and k-semistable decorated sheaves. After recalling the definition of decorated sheaves and their usual semistability we define the {epsilon} and k-(semi)stablility. We first prove the existence of a (unique) {epsilon}-maximal destabilizing subsheaf for decorated sheaves (Section 3.1). After some others preliminar results (such as the opennes condition for families of {epsilon}-semistable decorated sheaves) we finally prove, in Section 3.7, a restriction theorem for slope {epsilon}-semistable decorated sheaves. In Section 4 we reach the same results in the k-semistability case that we did in the {epsilon}-semistability, but only for decorated sheaves of rank less or equal than 3.

Review text

The classical theorem of Mehta and Ramanathan asserts that the restriction of a slope-semistable sheaf on a surface to a general divisor of sufficiently big degree is again slope-semistable. In this paper, the author proves this result for decorated sheaves with a particular notion of stability. Decorated sheaves (in the notation of Schmitt, or tensors in the fashion of Gómez-Sols) are the generalization of the known categories of sheaves with a morphism, comprehending, for example, Higgs bundles and principal bundles, among others. In moduli constructions of these objects there is, as usual, a stability condition which is very difficult to handle, given that it depends on the vanishing of the morphism under restriction to subsheaves and, consequently, it does not respect additivity on exact sequences (in general, these categories are not abelian). This paper explores the easier notions of \(\epsilon\)- and \(\mathsf{k}\)-stability which avoid most of the uncontrolled behavior of the morphism when restricting to subsheaves. These notions verify the implications \(\epsilon\)-(semi)stable \(\Rightarrow\) (semi)stable \(\Rightarrow\) \(\mathsf{k}\)-(semi)stable. The author proves a Metha-Ramanathan theorem for slope \(\epsilon\)-semistable decorated sheaves (c.~f. Theorem 40) and for slope \(\mathsf{k}\)-semistable decorated sheaves of rank \(\leq 3\) (c.~f. Theorem 47). The proof follows the steps of the classical result, the main points being to show the existence and uniqueness of a maximal destabilizing object (which can lead to the existence of a Harder-Naraismhan filtration) and its relative version (existence and uniqueness of a maximal destabilizing object varying in families), and the openness of the semistabiity condition once it is shown that the set of possible destabilizers is a bounded family. From this, the proof follows as in Metha-Ramanathan with the extra work of the more involved stability condition. When the rank of the sheaf is \(2\), stability and \(\mathsf{k}\)-stability coincide, hence the results of the paper hold for the stability condition used in moduli constructions.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Mehta-Ramanathan for \(\varepsilon\) and \(\mathsf{k}\)-semistable decorated sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q292058)