## Some background on GIT

Suppose G is a reductive group acting on a scheme X. We often want to understand the quotient X/G. For example, X might be some parameter space (like the space of possible coefficients of some polynomials which cut out things you're interested in), and the action of G on X might identify "isomorphic things", in which case X/G would be the "moduli space of isomorphism classes of those things."

It happens that the quotient X/G often doesn't exist, or is in some sense bad. For example, if the closures of two G-orbits intersect, then those orbits must get mapped to the same point in the quotient, but we'd really like to be able to tell those G-orbits apart. To remedy the situation, the idea is to somehow remove the "bad locus" where closures of orbits could intersect. For reasons I won't get into, this is done by means of choosing a *G-linearized line bundle* L on X (i.e. a line bundle L which has an action of G which is compatible with the action on X). Then we define the *semi-stable* and *stable* loci

X

^{ss}(L) = {x∈X|there is an invariant section s of some tensor power of L such that x∈X_{s}(the non-vanishing locus of s) and X_{s}is affine}

X^{s}(L) = {x∈X^{ss}(L)| the induced action of G on X_{s}is closed (all the orbits are closed)}

Note that X^{ss}(L) and X^{s}(L) are G-invariant. Then the basic result is Theorem 1.10 of Geometric Invariant Theory:

Theorem.There is a good quotient of X^{ss}(L) by G (usually denoted X//_{L}G, I believe), and there is a geometric (even better than good) quotient of X^{s}(L) by G. Moreover, L descends to an ample line bundle on these quotients, so the quotients are quasi-projective.

## My Question

Are there some conditions you can put on G, X, L, and/or the action/linearization to ensure that the quotient X//_{L}G or X^{s}(L)/G is projective?

Part of the appeal of the GIT machinery is that the quotient is automatically quasi-projective, so there is a natural choice of compactification (the projective closure). The problem is that you then have to find a modular interpretation of the compactification so that you can actually compute something. Is there some general setting where you know that the quotient will already be compact? If not, do you have to come up with a clever trick for showing that a moduli space is compact every time, or do people always use the same basic trick?

6more comments