Applications of non-reductive GIT - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T04:15:26Z http://mathoverflow.net/feeds/question/31065 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/31065/applications-of-non-reductive-git Applications of non-reductive GIT Chirag Lakhani 2010-07-08T15:33:02Z 2010-07-08T20:00:04Z <p>Geometric invariant theory works well when the algebraic group $G$ acting on a variety is reductive. There has been recent work by Doran and Kirwan <a href="http://arxiv.org/abs/math/0703131" rel="nofollow">here</a> and <a href="http://arxiv.org/abs/0801.4607" rel="nofollow">here</a> to find a canonical method of constructing GIT quotients for non-reductive groups. My question is what are potential applications for their work? One specific application they mention is constructing moduli of hypersurfaces in toric varieties. I would be interested in knowing of other applications.</p> http://mathoverflow.net/questions/31065/applications-of-non-reductive-git/31069#31069 Answer by Thomas Nevins for Applications of non-reductive GIT Thomas Nevins 2010-07-08T16:08:31Z 2010-07-08T16:08:31Z <p>This isn't really an answer, but I think it will help point in a useful direction. In case it's already obvious to you, please disregard. :-)</p> <p>In linear algebra we classify $n\times n$ matrices up to conjugation, i.e. the $GL(n)$-orbits on the set ${\mathfrak gl}(n)$ of $n\times n$ matrices. If we work over ${\mathbb C}$, then we know the complete classification of orbits by Jordan canonical form; and the $GL(n)$-equivariant geometry of ${\mathfrak gl}(n)$ is beautiful and interesting. In particular, using Jordan form we know that every matrix can be conjugated to an upper triangular one; let ${\mathfrak b}$ be the set of upper triangular matrices. You might then ask, if we only allow ourselves to conjugate by the group $B$ of upper triangular matrices, what's the orbit structure now? There are reasons that this question is interesting.</p> <p>The first thing you might want to do is understand the function theory, i.e. the ring of invariant functions ${\mathbb C}[{\mathfrak b}]^B$, or more generally semi-invariant functions: i.e., choosing a character $\chi: B\rightarrow {\mathbb C}^*$, functions $f(b)$ for which $f(g\cdot b) = \chi(g)f(b)$ for all $g\in B$, $b\in {\mathfrak b}$. This leads to GIT for the nonreductive group $B$. </p> <p>Now, in this case it's not really necessary to deal with $B$, of course: we can replace $B$ by $G=GL(n)$ and ${\mathfrak b}$ by $\widetilde{g} = G\times_B {\mathfrak b}$, the Grothendieck-Springer resolution of ${\mathfrak gl}(n)$, and do GIT for the $GL(n)$-action on $\widetilde{g}$. [And in fact, if I'm not mistaken, this method of inducing up to a reductive group and studying invariant theory for that larger group plays a role in the Doran-Kirwan theory?] </p> <p>Still, though, you can imagine situations that arise in nature in which you are interested in objects that naturally have some kind of filtration, and then the group by which you are quotienting just won't be reductive. These kinds of things arise naturally in studying moduli of decorated sheaves: see for example <a href="http://front.math.ucdavis.edu/9805.5059" rel="nofollow">this paper</a> of Drezet and Trautmann for the kind of thing that happens.</p> http://mathoverflow.net/questions/31065/applications-of-non-reductive-git/31074#31074 Answer by Jeffrey Giansiracusa for Applications of non-reductive GIT Jeffrey Giansiracusa 2010-07-08T16:36:44Z 2010-07-08T16:36:44Z <p>I know of one potential application. Hain has some work described here <a href="http://arxiv.org/pdf/0802.0814" rel="nofollow">http://arxiv.org/pdf/0802.0814</a> that deals with certain non-reductive GIT quotients that contain useful information about 3-manifold invariants. The set of 3-manifolds equipped with a genus g heegard splitting is naturally identified with the double coset space $H_g \backslash \Gamma_g / H_g$ where $\Gamma_g$ is the mapping class group of a genus g surface and $H_g \subset \Gamma_g$ is the handlebody subgroup. Using relative Malcev completions one replaces this with a double coset in which the subgroup is not reductive. So to construct the quotient one can try to use non-reductive GIT techniques. Last I heard, Doran and Hain were collaborating to work this out.</p> http://mathoverflow.net/questions/31065/applications-of-non-reductive-git/31106#31106 Answer by Dmitri for Applications of non-reductive GIT Dmitri 2010-07-08T20:00:04Z 2010-07-08T20:00:04Z <p>On 80's Atiyah conference Kirwan spoke about one application. Namely she stated in her talk that there is an application to Green-Griffits conjecture. You can download the talk here <a href="http://www.maths.ed.ac.uk/~aar/atiyah80.htm" rel="nofollow">http://www.maths.ed.ac.uk/~aar/atiyah80.htm</a> and the slides are here <a href="http://www.icms.org.uk/downloads/GandP/Kirwan.pdf" rel="nofollow">http://www.icms.org.uk/downloads/GandP/Kirwan.pdf</a> I am not sure if this was written down somewhere.</p>