  We establish equivalences of derived categories of the following 3
categories:
  (1) Principal block of representations of the quantum at a root of 1;
  (2) G-equivariant coherent sheaves on the Springer resolution;
  (3) Perverse sheaves on the loop Grassmannian for the Langlands dual group.
  The equivalence (1)-(2) is an `enhancement' of the known expression for
quantum group cohomology in terms of nilpotent variety, due to Ginzburg-Kumar.
The equivalence (2)-(3) is a step towards resolving an old mystery surrounding
the existense of two completely different realizations of the affine Hecke
algebra which have played a key role in the proof of the
Deligne-Langlands-Lusztig conjecture. One realization is in terms of locally
constant functions on the flag manifold of a p-adic reductive group, while the
other is in terms of equivariant K-theory of a complex (Steinberg) variety for
the dual group. Our equivalence (2)-(3) may be viewed as a `categorification'
of the isomorphism between the corresponding two geometric realizations of the
fundamental polynomial representation of the affine Hecke algebra. The
composite of the two equivalences above yields an equivalence between abelian
categories of quantum group representations and perverse sheaves. A similar
equivalence at an even root of unity can be deduced, following Lusztig program,
from earlier deep results of Kazhdan-Lusztig and Kashiwara-Tanisaki. Our
approach is independent of these results and is totally different (it does not
rely on representation theory of Kac-Moody algebras). It also gives way to
proving Humphreys' conjectures on tilting U_q(g)-modules, as will be explained
in a separate paper.
