On a q-analogue of the McKay correspondence and the ADE classification of (sl)over-cap2 conformal field theories

The goal of this paper is to give a category theory based definition and classification of finite subgroups in U-q(sI(2)) where q = e(pii/l) is a root of unity. We propose a definition of such a subgroup in terms of the category of representations of U-q(512); we show that this definition is a natural generalization of the notion of a subgroup in a reductive group, and that it is also related with extensions of the chiral (vertex operator) algebra corresponding to (s) over capI(2) at level k = 1 - 2. We show that finite subgroups in U-q(sI(2)) are classified by Dynkin diagrams of types A(n), D-2n, E-6, E-8 with Coxeter number equal to 1, give a description of this correspondence similar to the classical McKay correspondence, and discuss relation with modular invariants in ((s) over capI(2))(k) conformal field theory. The results we get are parallel to those known in the theory of von Neumann subfactors, but our proofs are independent of this theory. (C) 2002 Elsevier Science (USA).