The moduli stack of principal $\rho$-sheaves and Gieseker-Harder-Narasimhan filtrations

TL;DR

This paper constructs a moduli stack for principal $ ho$-sheaves on a smooth projective variety, providing a new stack-theoretic approach to semistable singular principal bundles and defining a Gieseker-Harder-Narasimhan filtration that stratifies the stack.

Contribution

It introduces a moduli stack of principal $ ho$-sheaves, extending the theory of G-bundles, and defines a schematic Gieseker-Harder-Narasimhan filtration for $ ho$-sheaves, refining existing stratifications.

Findings

Constructed a moduli space of Gieseker semistable principal $ ho$-sheaves.

Defined a schematic Gieseker-Harder-Narasimhan filtration for $ ho$-sheaves.

Established a stratification of the stack by locally closed substacks.

Abstract

Let X be a smooth projective variety and let G be a connected reductive group, both defined over a field of characteristic 0. Given a faithful representation $\rho$ of G into a product of general linear groups, we define a moduli stack of principal $\rho$-sheaves that compactifies the stack of G-bundles on X. We apply the theory developed by Alper, Halpern-Leistner and Heinloth to construct a moduli space of Gieseker semistable principal $\rho$-sheaves. This provides an intrinsic stack-theoretic construction of the moduli space of semistable singular principal bundles as constructed by Schmitt and G\'omez-Langer-Schmitt-Sols. Our second main result is the definition of a schematic Gieseker-Harder-Narasimhan filtration for $\rho$-sheaves, which induces a stratification of the stack by locally closed substacks. This filtration for a general reductive group G is a refinement of the canonical slope parabolic reductions previously considered at the level of points by Anchouche-Azad-Biswas and as a stratification of the stack by Gurjar-Nitsure. In an appendix, we apply the same techniques to define Gieseker-Harder-Narasimhan filtrations in arbitrary characteristic and show that they induce a stratification of the stack by radicial morphisms.