Relative Geometric Invariant Theory: Reductive and Non-reductive

RESUMO

We construct good quotients for equivariant actions of group homomorphisms on morphisms of schemes. Using Geometric Invariant Theory, we obtain explicit open semistable loci in the source with Hilbert-Mumford descriptions admitting good quotients relative to a given good quotient of the target. In particular, we obtain quotients for reductive groups acting on projective-over-affine morphism. In the non-reductive case, we consider equivariant actions on affine morphisms which are 'graded' by a multiplicative group and satisfy certain unipotent stabiliser assumptions. This recovers known results in projective non-reductive GIT as a special case, which also proves the Hilbert-Mumford criterion in that setting. As applications, we consider moduli of unstable objects, representations of quivers with multiplicities and jets.