Schur-Weyl duality for Heisenberg cosets (Q2313502)

The authors study cosets (or commutants or centralisers) \(C=\operatorname{Com}(H,V)\) of Heisenberg vertex operator algebras \(H\) inside simple vertex operator algebras \(V\). As main result they prove a Schur-Weyl type duality for \(V\)-modules, which are not necessarily simple but may also be indecomposable but reducible. Coset constructions are (besides orbifold constructions) an important way to construct new vertex operator algebras from known ones. It is particularly desirable to understand the representation theory of coset vertex operator algebras. The setup of the paper is as follows: \(V\) is a simple vertex operator subalgebra containing a Heisenberg vertex operator algebra \(H\) as a subalgebra (acting semisimply on \(V\)). Let \(C=\operatorname{Com}(H,V)\) be the commutant of \(H\) in \(V\) and \(W=\operatorname{Com}(C,V)\) the double commutant, which is an extension of \(H\) by a (possibly trivial) abelian intertwining algebra. The commutant \(C=\operatorname{Com}(H,V)\) is assumed to have a module category \(\mathcal{C}\) that is a vertex tensor category in the sense of Huang, Lepowsky and Zhang such that the relevant \(C\)-modules belong to \(\mathcal{C}\). Then, let \(M\) be a \(V\)-module on which \(H\) acts semisimply. The main result (Theorem 3.8) is a Schur-Weyl type decomposition of \(M\) into a direct sum of tensor products of modules of \(W\) and \(C\). This decomposition is not always multiplicity-free but certain sufficient criteria for this are given. The authors also describe certain families of vertex operator algebra extensions of \(C\) (Theorem 4.1). Moreover, they prove that if \(V\) is simple, rational, \(C_2\)-cofinite (or lisse), self-contragredient and of CFT-type, then \(C\) is also rational (Theorem 4.12 and Corollary 4.13). Many interesting examples are discussed, in particular concerning vertex operator algebras in the context of logarithmic conformal field theory.