The binary polyhedral groups conjecture for the orbifold VOA category

Let L2L_2 be the A1A_1 root lattice and let V:=VL2V:=V_{L_2} be the corresponding lattice vertex operator algebra. Let SU(2)SU(2) be the universal central extension of SO3(R)SO_3(\mathbb{R}), let A:=Z(SU(2))A:=Z(SU(2)), and let GG be a finite subgroup satisfying

AGSU(2).A\subseteq G\subseteq SU(2).

Write G:=G/A\overline{G}:=G/A. Let ζ\zeta be a generator of H4(BSU(2),Z)H^4(BSU(2),\mathbb{Z}), let ω\omega represent the corresponding multiplicative generator of H3(G,C×)H^3(G,\mathbb{C}^{\times}) obtained by restricting ζ\zeta to GG, and let Dω(G,A)D^{\omega}(G,A) be the associated modular quasi-Hopf algebra. An ω\omega-admissible pair of AA is understood as in the source. The binary polyhedral groups conjecture. For some choice of ζ\zeta, there is an equivalence of modular tensor categories

VG-modRep(Dω(G,A))V^{\overline{G}}\operatorname{-mod}\simeq \operatorname{Rep}(D^{\omega}(G,A))

for some ω\omega-admissible pair of AA. This proposes a categorical description of the orbifold module category for the binary polyhedral subgroups of SU(2)SU(2); the supplied text does not indicate whether the conjecture has been proved or disproved.

Sources & referencesView supporting material

Primary source

Geoffrey Mason and Siu-Hung Ng, “Modular quasi-Hopf algebras and groups with one involution”, arXiv:2203.05500 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.