Tensor decomposition, parafermions, level-rank duality, and reciprocity law for vertex operator algebras.

For a semisimple Lie algebra \frak {sl}_n, the basic representation L_{\widehat {\frak {sl}_{n}}}(1,0) of the affine Lie algebra \widehat {\frak {sl}_{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 {\frak {sl}_{n}}}(l,0) in the l-fold tensor product L_{\widehat {\frak {sl}_{n}}}(1,0)^{\otimes l} is isomorphic to the parafermion vertex operator algebra K(\frak {sl}_{l},n), which is the commutant of the Heisenberg vertex operator algebra L_{\widehat {\frak {h}}}(n,0) in L_{\widehat {\frak {sl}_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 {\frak {sl}_{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 \frak {sl}_{l_1+\cdots +l_s} corresponding to the composition (l_1, \cdots, l_s) in the rational vertex operator algebra 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. [ABSTRACT FROM AUTHOR]