2 grammar

Given a symmetric Cartan datum $(I,\cdot)$, H. Nakajima has defined a family of varieties - known as quiver varieties - and has used them to give geometric constructions of the representation theory of the corresponding Kac-Moody algebra associated to $(I,\cdot)$ using (Borel-Moore) homology and the convolution product (discussed, for example, in 'Representation Theory and Complex Geometry', by Chriss & Ginzburg). Furthermore, Nakajima has given constructions of representations of quantum affine algebras using the equivariant K-theory of said varieties leading him to prove several results on the $q$-characters of representations of these quantum algebras. These results are excellently expounded in Nakajima's original papers (which involve the term 'quiver variety' in their title).

For a non-symmetric Cartan datum (eg, the Cartan datum associated to non-simply laced finite dimensional Lie algebras of type $B,C,F,G$) the approach of Nakajima does not extend in a simple manner to provide non-symmetric quiver varieties (to me, doubling the quiver seems to destroy any information we have on root lengths, but I don't know if this is the correct way to think about this).

Question: Has there been any progress on defining/constructing quiver varieties in the non-symmetric case? Can anyone provide a reference to this material or know of anyone working on this? Or, is there a reason why such a construction cannot be realised? I am interested in this as I am wondering if there are any connections with any 'Langlands'-y things (eg, Frenkel-Hernandez's papers on Langlands duality).

F. Xu and A. Savage have have managed to realise the crystal structure of representations in the non-simply laced case using the notion of admissable quiver automorphisms. Their approach is based on an observation by Lusztig (section 14, 'Introduction to Quantum Groups') that every Cartan datum in the affine/finite-type case can be constructed as a 'quotient' of a type A,D,E quiver with an admissable automorphism. To the ADE quiver we can define a quiver variety and they show that one can realise a crystal basis using irreducible components of quiver varieties that are invariant under the admissable automorphism. Savage explicitly constructs the crystal structure using the ADE crystal structure. Both authors mention that it seems plausible that there should be a geometric construction of this crystal structure (ie, a geometric construction of the representations of the corresponding Kac-Moody algebras). However, after a cursory search of the literature (ie, typing 'quiver varieties non symmetric' into Google), this seems to be most of what is known.

Furthermore, Nakajima (here, Problem 2.1) also states a desire to give a construction of quiver varieties in the non-symmetric case so it seems hopeful that such a construction should/might exist.

1

# Non-Symmetric Quiver Varieties

Given a symmetric Cartan datum $(I,\cdot)$, H. Nakajima has defined a family of varieties - known as quiver varieties - and has used them to give geometric constructions of the representation theory of the corresponding Kac-Moody algebra associated to $(I,\cdot)$ using (Borel-Moore) homology and the convolution product (discussed, for example, in 'Representation Theory and Complex Geometry', by Chriss & Ginzburg). Furthermore, Nakajima has given constructions of representations of quantum affine algebras using the equivariant K-theory of said varieties leading him to prove several results on the $q$-characters of representations of these quantum algebras. These results are excellently expounded in Nakajima's original papers (which involve the term 'quiver variety' in their title).

For a non-symmetric Cartan datum (eg, the Cartan datum associated to non-simply laced finite dimensional Lie algebras of type $B,C,F,G$) the approach of Nakajima does not extend in a simple manner to provide non-symmetric quiver varieties (to me, doubling the quiver seems to destroy any information we have on root lengths, but I don't know if this is the correct way to think about this).

Question: Has there been any progress on defining/constructing quiver varieties in the non-symmetric case? Can anyone provide a reference to this material or know of anyone working on this? Or, is there a reason why such a construction cannot be realised? I am interested in this as I am wondering if there are any connections with any 'Langlands'-y things (eg, Frenkel-Hernandez's papers on Langlands duality).

F. Xu and A. Savage have have managed to realise the crystal structure of representations in the non-simply laced case using the notion of admissable quiver automorphisms. Their approach is based on an observation by Lusztig (section 14, 'Introduction to Quantum Groups') that every Cartan datum in the affine/finite-type case can be constructed as a 'quotient' of a type A,D,E quiver with an admissable automorphism. To the ADE quiver we can define a quiver variety and they show that one can realise a crystal basis using quiver varieties that are invariant under the admissable automorphism. Savage explicitly constructs the crystal structure using the ADE crystal structure. Both authors mention that it seems plausible that there should be a geometric construction of this crystal structure (ie, a geometric construction of the representations of the corresponding Kac-Moody algebras). However, after a cursory search of the literature (ie, typing 'quiver varieties non symmetric' into Google), this seems to be most of what is known.

Furthermore, Nakajima (here, Problem 2.1) also states a desire to give a construction of quiver varieties in the non-symmetric case so it seems hopeful that such a construction should/might exist.