7
$\begingroup$

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 here and here 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.

$\endgroup$

3 Answers 3

6
$\begingroup$

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 http://www.maths.ed.ac.uk/~aar/atiyah80.htm and the slides are here http://www.icms.org.uk/downloads/GandP/Kirwan.pdf I am not sure if this was written down somewhere.

$\endgroup$
5
$\begingroup$

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. :-)

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.

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$.

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?]

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 the paper

  • J. M. Drezet, G. Trautmann, Moduli spaces of decomposable morphisms of sheaves and quotients by non-reductive groups, Annales de l'Institut Fourier, Volume 53 (2003) no. 1, pp. 107-192, doi:10.5802/aif.1941, arXiv:math/9805059

for the kind of thing that happens.

$\endgroup$
1
  • $\begingroup$ Thanks! I never knew that \widetilde{g} was considered a Grothendieck-Springer resolution. You are correct that Doran-Kirwan also use this construction, which they call a reductive envelope. $\endgroup$ Jul 8, 2010 at 17:20
4
$\begingroup$

I know of one potential application. Hain has some work described here http://arxiv.org/pdf/0802.0814 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.

$\endgroup$
1
  • $\begingroup$ Thanks. My advisor mentioned that he had conversations with Hain about this paper. Looking forward to seeing a paper on it if they are in fact working on this problem. $\endgroup$ Jul 8, 2010 at 17:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.