Mehta-Ramanathan for \(\varepsilon\) and \(\mathsf{k}\)-semistable decorated sheaves (Q292058)

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.