Mehta-Ramanathan for \(\varepsilon\) and \(\mathsf{k}\)-semistable decorated sheaves (Q292058): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / 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. | |||
Property / 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alfonso Zamora / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14D22 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6592031 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
decorated sheaves | |||
Property / zbMATH Keywords: decorated sheaves / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tensors | |||
Property / zbMATH Keywords: tensors / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Mehta-Ramanathan | |||
Property / zbMATH Keywords: Mehta-Ramanathan / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
maximal destabilizing sub sheaf | |||
Property / zbMATH Keywords: maximal destabilizing sub sheaf / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Harder-Narasimhan filtration | |||
Property / zbMATH Keywords: Harder-Narasimhan filtration / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(\epsilon\)-stability | |||
Property / zbMATH Keywords: \(\epsilon\)-stability / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(k\)-stability | |||
Property / zbMATH Keywords: \(k\)-stability / rank | |||
Normal rank |
Revision as of 21:01, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Mehta-Ramanathan for \(\varepsilon\) and \(\mathsf{k}\)-semistable decorated sheaves |
scientific article |
Statements
Mehta-Ramanathan for \(\varepsilon\) and \(\mathsf{k}\)-semistable decorated sheaves (English)
0 references
10 June 2016
0 references
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.
0 references
decorated sheaves
0 references
tensors
0 references
Mehta-Ramanathan
0 references
maximal destabilizing sub sheaf
0 references
Harder-Narasimhan filtration
0 references
\(\epsilon\)-stability
0 references
\(k\)-stability
0 references