What I said is Lusztig's conjecture about representation of quantum group at root of unity and representation of Lie algebra at positive characters.
It seems that Andersen-Jantzen-Soergel ever wrote a book on this conjecture.
Is it solved? Any recent development? I am looking for reference talking about it.