Tensor Decomposition, Parafermions, Level-Rank Duality, and Reciprocity Law for Vertex Operator Algebras

For the semisimple Lie algebra ${\mathfrak{s}\mathfrak{l}}_n$, the basic representation $L_{\widehat{{\mathfrak{s}\mathfrak{l}}_n}}(1,0)$ of the affine Lie algebra $\widehat{{\mathfrak{s}\mathfrak{l}}_n}$ is a lattice vertex operator algebra. The first main result of the paper is to prove that the commutant vertex operator algebra of $L_{\widehat{{\mathfrak{s}\mathfrak{l}}_n}}(l,0)$ in the $l$-fold tensor product $L_{\widehat{{\mathfrak{s}\mathfrak{l}}_n}}(1,0{)}^{\otimes l}$ is isomorphic to the parafermion vertex operator algebra $K({\mathfrak{s}\mathfrak{l}}_l,n)$, which is the commutant of the Heisenberg vertex operator algebra $L_{\widehat{\mathfrak{h}}}(n,0)$ in $L_{\widehat{{\mathfrak{s}\mathfrak{l}}_l}}(n,0)$. The result provides a version of level-rank duality. The second main result of the paper is to prove more general version of the first result that the commutant of $L_{\widehat{{\mathfrak{s}\mathfrak{l}}_n}}(l_1+\cdots +l_s,0)$ in $L_{\widehat{\frak{sl}{n}}}(l_1,0)\otimes \cdots \otimes L{\widehat{\frak{sl}{n}}}(l_s, 0)$ is isomorphic to the commutant of the vertex operator algebra generated by a Levi Lie subalgebra of ${\mathfrak{s}\mathfrak{l}}_{l_1+\cdots +l_s}$ corresponding to the composition $(l_1, \cdots, l_s)$intherationalvertexoperatoralgebra$ L{\widehat{\frak{sl}}_{l_1+\cdots +l_s}}(n,0)$. This general version also resembles a version of reciprocity law discussed by Howe in the context of reductive Lie groups. In the course of the proof of the main results, certain Howe duality pairs also appear in the context of vertex operator algebras.