A general mirror equivalence theorem for coset vertex operator algebras

We prove a general mirror duality theorem for a subalgebra U of a simple conformal vertex algebra A and its commutant V=ComA(U).Specifically,we assume that A≌■_(i∈I)U_(i)■V_(i) as a U■V-module,where the U-modules Uiare simple and distinct and are objects of a semisimple braided ribbon category of Umodules,and the V-modules Viare semisimple and contained in a(not necessarily rigid) braided tensor category of V-modules.We also assume U=ComA(V).Under these conditions,we construct a braid-reversed tensor equivalence τ:u_(A)→v_(A),where u_(A)is the semisimple category of U-modules with simple objects Ui,i∈I,and v_(A)is the category of V-modules whose objects are finite direct sums of Vi.In particular,the V-modules Viare simple and distinct,and v_(A)is a rigid tensor category.As an application,we find a rigid semisimple tensor subcategory of modules for the Virasoro algebra at central charge 13+6p+6p^(-1),p∈Z_(≥2), which is braided tensor equivalent to an abelian 3-cocycle twist of the category of finite-dimensional sl2-modules.Consequently,the Virasoro vertex operator algebra at central charge 13+6p+6p^(-1)is the PSL_(2)(C)-fixed-point subalgebra of a simple conformal vertex algebra w(-p),analogous to the realization of the Virasoro vertex operator algebra at central charge 13-6p-6p^(-1)as the PSL_(2)(C)-fixed-point subalgebra of the triplet algebra W(p).