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 of G into a product of general linear groups, we define a moduli stack of principal -sheaves that compactifies the stack of G -bundles on X . We apply the theory developed in Alper et al. (Invent Math 234(3):949–1038, 2023), Halpern-Leistner D (On the structure of instability in moduli theory, http://arxiv.org/abs/1411.0627, 2014) and Halpern-Leistner D et al. (Moduli spaces of sheaves via affine Grassmannians, http://arxiv.org/abs/2107.02172v1, 2021) to construct a moduli space of Gieseker semistable principal -sheaves. This provides an intrinsic stack-theoretic construction of the moduli space of semistable singular principal bundles (Gómez et al. in Adv Math 219(4):1177–1245, 2008; Schmitt Int Math Res Not 23:1183–2002). Our second main result is the definition of a schematic Gieseker–Harder–Narasimhan filtration for -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 reduction previously considered at the level of points in Anchouche et al. (Math Ann 323(4):693–712, 2002) and as a stratification of the stack in Gurjar and Nitsure (Harder–Narasimhan stacks for principal bundles in higher dimensions and arbitrary characteristics, http://arxiv.org/abs/1605.08997, 2016) and Gurjar and Nitsure (Math Z 289(3-4):1121-1142, 2018). 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.

Quotients of unstable subvarieties and moduli spaces of sheaves of fixed Harder-Narasimhan type

Moduli spaces as ball quotients I, local theory

Stratifying quotient stacks and moduli stacks

Stratifications for moduli of sheaves and moduli of quiver representations

Affine Non-Reductive GIT and moduli of representations of quivers with multiplicities

Stratifications associated to reductive group actions on affine spaces

Moduli spaces and geometric invariant theory: old and new perspectives

Hyperquot schemes on curves: virtual class and motivic invariants

The moduli stack of principal -sheaves and Gieseker–Harder–Narasimhan filtrations

Stratifications of parameter spaces for complexes by cohomology types

Moduli spaces of semiorthogonal decompositions in families

Moduli spaces of sheaves via affine Grassmannians

A moduli space of stable sheaves on a cubic threefold

Algebraic symplectic analogues of additive quotients

Moduli of algebraic varieties

The Degeneracy Loci for Smooth Moduli of Sheaves

Moduli of stable sheaves on quadric threefold

Cohomological amplitude for constructible sheaves on moduli spaces of curves

Universally irreducible subvarieties of Siegel moduli spaces

On the desingularisation of moduli of principal bundles

Moduli Spaces of Hyperplanar Admissible Flags in Projective Space