Simple modules for $U_q(\mathfrak{sl}_n)$ at roots of unity - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T10:52:24Z http://mathoverflow.net/feeds/question/57027 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/57027/simple-modules-for-u-q-mathfraksl-n-at-roots-of-unity Simple modules for $U_q(\mathfrak{sl}_n)$ at roots of unity mt 2011-03-01T19:54:38Z 2011-05-21T14:01:08Z <p>Can anyone point me to a classification/construction of the irreducibles for $U_q(\mathfrak{sl}_n)$, or the associated small quantum groups, when the parameter $q$ is a root of unity and $n>2$? Neither Jantzen or Lusztig's quantum group books seem to help.</p> <p>Edit: perhaps the best way to clarify what I mean when I refer to the `small quantum group' is to give the definition: take the $\mathbb{C}$-algebra (other fields will do) generated by (for $n=3$) $E_1, E_2, F_1, F_2, K_1, K_2$ subject to the following relations.<br> $$E_1^2 E_2 - [2] E_1E_2E_1 + E_2 E_1^2 =0$$ $$E_2^2 E_1 - [2] E_2E_1E_2 + E_1 E_2^2 =0$$ and the same relations on the $F$s, where $[2]$ is the quantum integer $q+q^{-1}$ $$[E_i, F_j] = \delta_{ij} (K_i-K_i^{-1})/(q-q^{-1})$$ $$K_i E_j K_i^{-1} = q^{a_{ij}} E_j$$ $$K_i F_j K_i^{-1} = q^{-a_{ij}} F_j$$ where $[a_{ij}]$ is the Cartan matrix for $\mathfrak{sl}_3$. $$E_i^N = F_i^N = 0, K_i^N=1$$ and also define $E_{1+2} = qE_2E_1 - E_1E_2$ and $F_{1+2}$ similarly and impose $E_{1+2}^N=F_{1+2}=0$. I'm convinced this last is necessary for the algebra to be finite-dimensional, though I have seen papers omitting it --- the small quantum group above should be a finite dimensional Hopf algebra with dimension $N^8$, with a PBW basis described by Lusztig. $q$ is a primitive $N$th root of unity in the field used.</p> http://mathoverflow.net/questions/57027/simple-modules-for-u-q-mathfraksl-n-at-roots-of-unity/57030#57030 Answer by David Hill for Simple modules for $U_q(\mathfrak{sl}_n)$ at roots of unity David Hill 2011-03-01T20:45:05Z 2011-03-01T20:54:56Z <p>Look at this <a href="http://front.math.ucdavis.edu/9609.5171" rel="nofollow">paper</a> of Chari and Pressley.</p> http://mathoverflow.net/questions/57027/simple-modules-for-u-q-mathfraksl-n-at-roots-of-unity/57056#57056 Answer by Jim Humphreys for Simple modules for $U_q(\mathfrak{sl}_n)$ at roots of unity Jim Humphreys 2011-03-01T23:52:06Z 2011-03-01T23:52:06Z <p>I'm interpreting your quantum group as the quantized enveloping algebra studied by Lusztig and many others, starting with the divided power version of the usual enveloping algebra of a semisimple Lie algebra. There is a different version based on the usual enveloping algebra, studied especially by DeConcini, Kac, Procesi, and their students. The case of <code>$\mathfrak{sl}_n$</code> is in some ways simpler than the general case, but when the parameter is a root of unity even this quantized enveloping algebra or the finite dimensional version introduced by Lusztig is extremely complicated to study. (What is the center, for example?)</p> <p>For a broad survey (up to the publication date 2003), take a look at the added Chapter H in Jantzen's AMS book <em>Representations of Algebraic Groups</em> (2nd edition of 1987 book) along with his many references. The original papers of Lusztig from the 1980s onward have been a major source of inspiration, but earlier ones are not on the arXiv. </p> <p>To be very brief, the parametrization by highest weights of irreducible quantum group representations at a root of unity follows the same outline as in the modular representation theory associated with the same type of algebraic group. This includes an analogue of Steinberg's twisted tensor product theorem, reducing the problem to special weights. The usual Weyl group action on weights here gets enriched to an affine Weyl group action, with associated Kazhdan-Lusztig theory. Natural analogues of the older Kazhdan-Lusztig conjecture eventually got proved, but rather indirectly in terms of affine Kac-Moody theory in characteristic 0. (Lusztig conjectured further that these results would reappear in suitable prime characteristics, which was then largely proved by Andersen, Jantzen, Soergel in a long <em>Asterisque</em> volume.)</p> <p>Basically the parametrization of representations is reasonable (in terms of weights), while the character formula for irreducibles is in the form of an alternating sum KL Conjecture like the classical one but even more difficult to compute due to the use of affine Weyl groups. On the other hand, <em>construction</em> of these representations (as in the characteristic 0 infinite dimensional theory) is not likely to be a reasonable problem even though the dimensions here are finite.</p> http://mathoverflow.net/questions/57027/simple-modules-for-u-q-mathfraksl-n-at-roots-of-unity/65643#65643 Answer by mt for Simple modules for $U_q(\mathfrak{sl}_n)$ at roots of unity mt 2011-05-21T11:37:53Z 2011-05-21T14:01:08Z <p>I have tracked down some results on explicit classifications of simple modules for $u_q(\mathfrak{sl}_3)$. The general picture is that the simple modules are bigraded by the root lattice and look like towers of concentric hexagons.</p> <p>For the benefit of anyone else interested, there is a long series of papers by <a href="http://theo.inrne.bas.bg/~dobrev/" rel="nofollow">Dobrev</a>:</p> <p>Multiplet classification of highest weight modules over quantum universal enveloping algebras: the Uq(SL(3,C)) example in Groups St Andrews 1989 vol 1 LMS LNM #159</p> <p>Representations of Quantum Groups, Symmetries in Science V (Lochau 1990), 93–135, Plenum Press, NY, 1991.</p> <p>A chapter from Lecture Notes in Physics, 1990, Volume 370, <a href="http://www.springerlink.com/content/7h0t2860r175956r/" rel="nofollow">here</a></p> <p>Dobrev-Truini <a href="http://jmp.aip.org/resource/1/jmapaq/v38/i5/p2631_s1" rel="nofollow">Irregular Uq(sl(3)) representations at roots of unity via Gel’fand–(Weyl)–Zetlin basis</a></p> <p>Dobrev-Truini <a href="http://jmp.aip.org/resource/1/jmapaq/v38/i7/p3750_s1" rel="nofollow">Polynomial realization of the Uq(sl(3)) Gel’fand–(Weyl)–Zetlin basis</a></p> <p><a href="http://www.ams.org/mathscinet/search/publdoc.html?pg1=IID&amp;s1=58600&amp;vfpref=html&amp;r=118&amp;mx-pid=1182163" rel="nofollow">MR1182163</a>, <a href="http://www.ams.org/mathscinet/search/publdoc.html?pg1=IID&amp;s1=58600&amp;vfpref=html&amp;r=111&amp;mx-pid=1191199" rel="nofollow">MR1191199</a>, </p> <p>...and many others.</p> <p>also there is a paper by <a href="http://www.citebase.org/abstract?id=q-alg%2F9504006" rel="nofollow">Abdesselam, Arnaudon, Chakrabarti</a> and a discussion of dimensions by Pereira <a href="http://www.cmat.edu.uy/~mariana/dobrev.pdf" rel="nofollow">here</a></p> <p>Some of the relevant material is hard to find and/or requires paying large sums of money to publishing corporations.</p>