A generalization of Mumford's geometric invariant theory (Q5958844)

In this article, the author generalizes the notion of good quotient introduced by Mumford in geometric invariant theory. If a reductive group \(G\) acts on a variety \(X\), and if \({\mathcal L}\) is a \(G\)-linearized invertible sheaf on \(X\), then Mumford considers a set of semistable points \(X^{ss}({\mathcal L})\) on which there is a good quotient \(p:X^{ss}({\mathcal L})\to X^{ss}({\mathcal L})//G\) where \(p\) is a \(G\)-invariant affine regular map, and the structure sheaf of the quotient space is the sheaf of invariants. In this theory, the quotient is always quasi-projective. The author considers the case where good quotients exist, but they are not necessarily quasi-projective. In order to do this, he introduces the notion of a \(G\)-linearized free finitely generated group \(\Lambda\) of Cartier divisors on \(X\). He defines a notion of semi-stable points \(X^{ss}(\Lambda)\) on which there is a good quotient, and the quotient is divisorial. This means that each point has an affine neighborhood obtained by removing the support of an effective Cartier divisor. The quotient spaces can be non-separated. If \(X\) is \({\mathbb Q}\)-factorial, then every \(G\)-invariant open subset that has a divisorial good quotient occurs as a saturated subset of the semistable points.