The ordinary McKay correspondence relates the subgroups of SU(2) to the affine ADE Dynkin diagrams. The correspondence is that the vertices correspond to irreducible representations of the subgroup, and edges correspond to tensor product with the 2-dimensional representation (which is given by the inclusion of G in SU(2)).

The quantum McKay correspondence does the same thing for "quantum subgroups" of the quantum group U_q(su(2)) for q a root of unity and the ordinary ADE Dynkin diagrams. One way to make this precise is that "quantum subgroups" are module categories over semisimplified categories of modules for U_q(su(2)), so the simple objects in the module category are the vertices, and the edges come from the tensor product with the defining rep of U_q(su(2)). In this language the result is due to Kirillov-Ostrik, but it goes back further in both the subfactor literature (due to Ocneanu and others) and the conformal field theory literature (which I don't know as well). These quantum subgroups come in two sorts, type 1 and type 2, and the type 1 ones can also be realized as fusion categories where the module structure comes from "restrict and tensor." The A_n, the D_2n, E_6 and E_8 are Type 1.

Ok, so now for the question, does the E_8 "quantum subgroup of quantum su(2)" have anything whatesoever to do with Lie algebra E_8?

I think the answer should be "no." The main reason I'm guessing this is that although the D_2n fusion categories are related to certain SO quantum groups under level-rank duality, the level-rank dual fusion category is *not* related to the quantum group for the Lie algebra D_2n it's instead related to the Lie algebra D_n-1 (see section 4.3 of my paper with Scott and Emily and the references therein).

The reason that I ask is in reference to Borcherds's question about detecting E_8 experimentally. I don't totally understand Will Orrick's answer but it sure sounds to me like he's saying that they've detected *the quantum subgroup E_8*, not the Lie algebra E_8. In particular its the quantum subgroup E_8 that has 8 objects ("particle types" in physics speak) one of which (all the way at the far end) has dimension the golden ratio (and so the golden ratio should come up in comparing it with the trivial object in some experiment).

3more comments