5
$\begingroup$

Fix a quiver $Q$ without loop. Denote the set of vectices of $Q$ by $I$. Let $\Lambda_V$ be the Lusztig nilpotent scheme with associated vector space $V$ over $I$. Briefly speaking, when $Q$ is a $ADE$ quiver, $\Lambda_V$ is just the scheme of $\Lambda$-module of dimension $|V|$ where $\Lambda$ is the preprojective algebra of $Q$.

Lusztig's theorem: Let $\frak{g}$ be the Kac-Moody algebra constructed from $Q$. Let $\frak{n_+}$ be the postive part of $\frak{g}$. Then there is an algebra embedding $$Un_+\to \sum_{V} M(\Lambda_V)^{G_V}$$,where $V$ runs through all isomorphic type vector spaces over $I$. $M(\Lambda_V)^{G_V}$ denotes the set of constructible function over $\Lambda_V$ which are $G_V$ invariant.

For more details (like the algebra structure on $\sum_V M(\Lambda_V)^{G_V}$), you can have a look on [1] , section 5.2 of [2] and section 12 of [3].

Lusztig constructed nilpotent scheme and considered algebra of construcible function on them so that we get an embedding from $U\frak{n}_+$ to $\sum_VM_V(\Lambda_V)^{G_V}$, a convolution algebra of construcible function.

My question is: Is there an analog of nilpotent scheme such that there is an embedding from $U\frak{g}$ to the convolution algebra of construcible function on that analogous space? In this case, we have a geometric interpretation of the whole universal enveloping algebra but not just its positive part.

EDIT: I am aware of the construction of representation of modified enveloping algebra via Nakajima variety. I am more interested in a construction via Euler characteristic measure (like the construction of $U\frak{n}_+$ by construcutible function the convolution of which involves Euler characteristic measure) .

I am mainly interested in Dynkin case and more specifically type A. Any references on this aspect is appreciated. It would be great to know if people have considered this before or not. Thank you so much!

Reference:

1.Note from Quantum groups, combinatorics and geometry seminar Spring 2011

2.Christof Geiss, Bernard Leclerc, Jan Schröer's paper on semicanonical basis

3.Lusztig's original paper

$\endgroup$

1 Answer 1

2
$\begingroup$

One thing that fits the role you're looking for is the Nakajima quiver varieties. These are discussed later in the seminar you linked to. There's a natural map of $U(\mathfrak g)$ to functions on these spaces (defined by Nakajima), but rather than being injective, the spaces depend on a highest weight and the intersection of the kernels over all weights is trivial. See also the notes of Ginzburg.

EDIT: Lusztig wrote to me in an email that there is a (partial) answer to that question in his paper "Constructible functions on varieties attached to quivers", in "Studies in memory of I. Schur." I haven't had a chance to look at that paper myself, but it's another place to look.

$\endgroup$
3
  • 2
    $\begingroup$ In the Lusztig nilpotent scheme construction, one works with constructible functions and pushforward defined using the "Euler characteristic measure". Is there an analogue of that in the quiver variety story? I thought the quiver variety version was about (Borel-Moore) homology classes and homological pushforward, rather than the Euler characteristic measure (as the OP wants). $\endgroup$ Commented Mar 10, 2016 at 2:56
  • $\begingroup$ @AllenKnutson Well, you should have actually read the paper I linked to (Section 10). Nakajima did the functions and Euler characteristic measure first, and then upgraded to homology in a later paper (researchgate.net/publication/…). $\endgroup$
    – Ben Webster
    Commented Mar 10, 2016 at 21:25
  • $\begingroup$ @BenWebster Yes, you are right. In that paper section 10, Nakajima did give a construction using constructible function on a Lagrangian subvariety of quiver variety and that construction involves Euler characteristic measure. Thank you! $\endgroup$
    – Ben
    Commented Mar 11, 2016 at 21:03

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .