MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

Thank you

share|cite|improve this question
up vote 14 down vote accepted

The result of that book is that the conjecture is true for sufficiently large, but unspecified characteristic. (First fix a Dynkin type.) More recently Peter Fiebig has given actual bounds. See

An upper bound on the exceptional characteristics for Lusztig's character formula by Peter Fiebig arXiv:0811.1674v2 at

share|cite|improve this answer
To expand Wilberd's comment, the ongoing work of R. Bezrukavnikov and I. Mirkovic (following up their joint work with D. Rumynin) takes a more geometric viewpoint. This preprint, now in version 3, addresses the closely related conjectures of Lusztig in 1997-99 on bases in equivariant K-theory: As in AJS, applications to characteristic $p$ are (so far) dependent on $p$ being "large enough". But the conjectures go beyond restricted Lie algebra representations to those attached to arbitrary nilpotent orbits. – Jim Humphreys Mar 28 '10 at 11:00
A little more detail about [AJS], which is a 300+ page paper (Asterisque 220, 1994) but has a readable introduction. They work in a graded setting with Lie algebra modules, getting for large enough $p$ and suitably bounded weights a precise comparison with the quantum enveloping algebra of Lusztig at a $p$th root of unity. In the latter case, one combines work of Kashiwara-Tanisaki on the analogue of the Kazhdan-Lusztig Conjecture for affine Lie algebras with work of K-L passing from there to quantum groups. [AJS] relies more on combinatorics than on geometry. – Jim Humphreys Apr 4 '10 at 16:10
Update: This final version of a survey article by Peter Fiebig is an updated version of the last v4 posted on arXiv and is now freely available in PDF format from Bull. London Math. Soc.: – Jim Humphreys Aug 30 '10 at 18:57

Geordie Williamson has found counterexamples to Lusztig's conjecture:

Apparently, any bound on the largest prime that breaks Lusztig's conjecture must be at least proportional to $n\log n$, and this is probably still far too optimistic; I think it's now believed that you'll need an exponential bound.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.