The small quantum group as a quantum double
Abstract
Description
We prove that the quantum double of the quasi-Hopf algebra A_q(g) of dimension n^{dim g} attached in arXiv:math/0403096 to a simple complex Lie algebra g and a primitive root of unity q of order n^2 is equivalent to Lusztig's small quantum group u_q(g) (under some conditions on n). We also give a conceptual construction of A_q(g) using the notion of de-equivariantization of tensor categories.
latex, 6 pages; proof of Theorem 4.1 added, a few references added
latex, 6 pages; proof of Theorem 4.1 added, a few references added