When are GIT quotients projective? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T10:26:33Z http://mathoverflow.net/feeds/question/6316 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/6316/when-are-git-quotients-projective When are GIT quotients projective? Anton Geraschenko 2009-11-20T20:59:10Z 2009-11-21T21:27:44Z <h2>Some background on GIT</h2> <p>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."</p> <p>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 <em>G-linearized line bundle</em> 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 <em>semi-stable</em> and <em>stable</em> loci</p> <blockquote> <p>X<sup>ss</sup>(L) = {x&isin;X|there is an invariant section s of some tensor power of L such that x&isin;X<sub>s</sub> (the non-vanishing locus of s) and X<sub>s</sub> is affine}<br> X<sup>s</sup>(L) = {x&isin;X<sup>ss</sup>(L)| the induced action of G on X<sub>s</sub> is closed (all the orbits are closed)}</p> </blockquote> <p>Note that X<sup>ss</sup>(L) and X<sup>s</sup>(L) are G-invariant. Then the basic result is Theorem 1.10 of <a href="http://books.google.com/books?id=dFlv3zn%5F2-gC&amp;lpg=PP1&amp;pg=PA38#v=onepage&amp;q=&amp;f=false" rel="nofollow">Geometric Invariant Theory</a>:</p> <blockquote> <p><strong>Theorem.</strong> There is a good quotient of X<sup>ss</sup>(L) by G (usually denoted X//<sub>L</sub>G, I believe), and there is a geometric (even better than good) quotient of X<sup>s</sup>(L) by G. Moreover, L descends to an ample line bundle on these quotients, so the quotients are quasi-projective.</p> </blockquote> <p><hr /></p> <h2>My Question</h2> <p>Are there some conditions you can put on G, X, L, and/or the action/linearization to ensure that the quotient X//<sub>L</sub>G or X<sup>s</sup>(L)/G is projective?</p> <p>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?</p> http://mathoverflow.net/questions/6316/when-are-git-quotients-projective/6329#6329 Answer by David Steinberg for When are GIT quotients projective? David Steinberg 2009-11-20T22:49:02Z 2009-11-21T00:18:12Z <p>If your desired moduli space can be interpreted as a moduli space of quiver representations, then you may be in luck. For moduli of $\theta$-(semi)stable quiver representations, there is a simple criterion equivalent to the stable and semistable loci being equal: the dimension vector $\alpha$ is indecomposable (ie, not a non-trivial sum of elements) in $\theta^{\perp}\cap \mathbb{Z}^{Q_0}_{\geq 0}$, where $Q_0$ is your set of verticies, and $\theta$ is the fixed stability parameter. </p> <p>To learn more about moduli of quiver representations, I recommend King's paper "<a href="http://www.math.uni-bielefeld.de/~sek/sem/stability/king.pdf" rel="nofollow">Representations of finite dimensional algebras</a>."</p> http://mathoverflow.net/questions/6316/when-are-git-quotients-projective/6336#6336 Answer by Greg Stevenson for When are GIT quotients projective? Greg Stevenson 2009-11-21T00:31:07Z 2009-11-21T21:27:44Z <p>I'm not sure if this is the sort of thing you are after but one can say the following.</p> <p>Suppose we work over a base field $k$. If $X$ is proper over $k$ and the $G$-linearized invertible sheaf $L$ is ample on $X$ then the uniform categorical quotient of $X^{ss}(L)$ by $G$ is projective and so it gives a natural compactification of $X^s(L)/G$.</p> <p>I believe this is mentioned in Mumford's book but no proof is given. It goes via considering $\mathrm{Proj}R_0$ where $R_0$ is the subring of invariant sections of $$\oplus_i H^0(X,L^{\otimes^i})$$ and showing that this is the quotient.</p> <p>This is stated in Theorem 1.12 <a href="http://www.cimat.mx/Eventos/c_vectorbundles/newstead_notes.pdf" rel="nofollow">in these notes</a> of Newstead. I haven't found a proof written down - but either showing it directly or doing it by reducing to the case of projective space shouldn't be too hard I don't think.</p> http://mathoverflow.net/questions/6316/when-are-git-quotients-projective/6348#6348 Answer by Ben Webster for When are GIT quotients projective? Ben Webster 2009-11-21T04:04:38Z 2009-11-21T04:04:38Z <p>Is the answer "when there are no non-constant invariant functions" too stupid? (By construction, functions on the GIT quotient are invariant global functions on $X$). Because that seems to show that $X$ projective implies $X^{ss}(L)/G$ projective.</p> http://mathoverflow.net/questions/6316/when-are-git-quotients-projective/6350#6350 Answer by Avan Thiyagarajan for When are GIT quotients projective? Avan Thiyagarajan 2009-11-21T04:50:34Z 2009-11-21T04:50:34Z <p>As Greg Stevenson points out if X is projective then $X^{ss}//G$ is projective. Now if $X^s = X^{ss}$ then clearly $X^s//G$ is also projective. This much is true for general spaces. A proof can be found in Newstead's book "Introduction to Moduli problems and orbit spaces". In the quiver setting of course the space X is an affine variety. Here for any stability condition $\theta$, $X^{ss}//_{\theta}G$ is projective over $X//G = Spec(C[X]^G)$. Also even in the quiver variety case a criterion for stable = semistable seems hard and I'm not even sure if one is known.</p>