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.


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.  

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



Simple modules for $U_q(\mathfrak{sl}_n)$ at roots of unity
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 $\mathfrak{sl}\_n$ 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?)


For a broad survey (up to the publication date 2003), take a look at the added Chapter H in Jantzen's AMS book *Representations of Algebraic Groups* (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. 


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 *Asterisque* volume.)


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, *construction* 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.


