Irreducible representations of W-algebra in case $\mathfrak sl_3$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T08:34:19Z http://mathoverflow.net/feeds/question/48636 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/48636/irreducible-representations-of-w-algebra-in-case-mathfrak-sl-3 Irreducible representations of W-algebra in case $\mathfrak sl_3$ Jan Weidner 2010-12-08T13:02:02Z 2010-12-10T13:38:21Z <p>Is there a paper in which are all the irreps of the finite W-algebra with trivial action of the center are classified, in the case of $\mathfrak sl_3(\mathbb C)$ and the minimal orbit?</p> http://mathoverflow.net/questions/48636/irreducible-representations-of-w-algebra-in-case-mathfrak-sl-3/48644#48644 Answer by Jim Humphreys for Irreducible representations of W-algebra in case $\mathfrak sl_3$ Jim Humphreys 2010-12-08T13:44:13Z 2010-12-10T13:38:21Z <p>The answer may depend on what you mean by "classified", but the best results so far seem to be those of Brundan-Kleshchev and Brown-Goodwin. See for example the preprint <a href="http://front.math.ucdavis.edu/1009.3869" rel="nofollow">here</a> and its references. (However, the Brown-Goodwin results might not apply directly to your situation, due to their restrictive assumption on the nilpotent orbit.)</p> <p>ADDED: I'm far from being an expert on the subject, but maybe I can focus the discussion a little more. The notion of finite <code>$W$</code>-algebra is tricky to define (there being at least three equivalent but different-looking definitions in the literature). Essentially it's an associative algebra attached to a semisimple Lie algebra <code>$\mathfrak{g}$</code> over <code>$\mathbb{C}$</code> and a nilpotent element <code>$e \in \mathfrak{g}$</code>. Usually the case <code>$e=0$</code> is ignored, but the convention then is that the resulting finite <code>$W$</code>-algebra is just the universal enveloping algebra <code>$U(\mathfrak{g})$</code>. Kostant originally studied the opposite extreme when <code>$e$</code> is regular ("principal") and the resulting algebra is isomorphic to the center of <code>$U(\mathfrak{g})$</code>. Premet extended the definition, using an <code>$\mathfrak{sl}_2$</code>-triple for (nonzero) <code>$e$</code>. </p> <p>In any case, the finite dimensional representations are the main object of study; even their existence is problematic at first. Only in rank 1 are the results given by classical methods, while in general there are close connections with the primitive ideals of the universal enveloping algebra. Besides the work I mentioned above I should have pointed out the papers by Premet and by Ivan Losev: see for example Losev's recent ICM talk <a href="http://front.math.ucdavis.edu/1003.5811" rel="nofollow">here</a> and his earlier paper <a href="http://front.math.ucdavis.edu/0807.1023" rel="nofollow">here</a>.</p> http://mathoverflow.net/questions/48636/irreducible-representations-of-w-algebra-in-case-mathfrak-sl-3/48674#48674 Answer by Ben Webster for Irreducible representations of W-algebra in case $\mathfrak sl_3$ Ben Webster 2010-12-08T21:19:32Z 2010-12-09T20:38:29Z <p>Classifying all irreps of an algebra like a W-algebra is a fool's errand, so I'm assuming that's not what you mean.</p> <p>For finite dimensional irreps, there are 2; for $\mathfrak{sl}_n$, the number is always the number of standard tableaux of the corresponding Young diagram. This is Theorem C in Brundan and Kleshchev's <a href="http://front.math.ucdavis.edu/0508.5003" rel="nofollow">Representations of shifted Yangians and finite W-algebras</a>. This theorem also gives a construction, as does B&amp;K's <a href="http://front.math.ucdavis.edu/0605.5217" rel="nofollow">"Schur-Weyl duality for higher levels"</a>.</p> <p><strong>EDIT:</strong> It occurs to me that the W-algebra in this case is actually one of the algebras considered by Musson and van der Bergh in <a href="http://scholar.google.com/scholar?cluster=2069582218895712834&amp;hl=en&amp;as_sdt=400000000000" rel="nofollow">Invariants under tori of rings of differential operators and related topics</a>. Thus, the category of all weight modules with integral regular central character actually has a nice description; it's the quotient of the path algebra of the doubled $A_4$ quiver by the relation the loops going left and going right from either of the two middle vertices are equal. The finite dimensional reps are the two middle vertices. This stuff is discussed (admittedly, without drawing the connection to W-algebras) in our recent paper <a href="http://arxiv.org/abs/1010.2001" rel="nofollow">Hypertoric category $\mathcal O$</a>, especially Example 4.12.</p> http://mathoverflow.net/questions/48636/irreducible-representations-of-w-algebra-in-case-mathfrak-sl-3/48765#48765 Answer by Bugs Bunny for Irreducible representations of W-algebra in case $\mathfrak sl_3$ Bugs Bunny 2010-12-09T14:15:31Z 2010-12-09T21:50:10Z <p>All (not only finite dimensional!!) irreducible reps of $W$-algebra of $sl_2$ at its subregular nilpotent (read $U(sl_2)$) were classified by <a href="http://www.ams.org/mathscinet-getitem?mr=605353" rel="nofollow">Block</a>. A similar classification for the minimal $W$-algebra of $sl_3$ is feasible but still awaits its hero, to the best of my knowledge.</p>