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

Vertex operator expressions for Lie algebras of physical states

Vertex operators for imaginary gl 2 subalgebras of the Monster Lie algebra

Vertex operators for imaginary $\mathfrak{gl}_2$ subalgebras in the Monster Lie Algebra

Vertex Operator Algebras Associated to Modified Regular Representations of Affine Lie Algebras

Representations of vertex operator algebra V_L^+ for rank one lattice L

Borcherds's Lie algebra and $C_2$-cofiniteness of vertex operator algebras of moonshine type

Bell's inequalities II: logical loophole in their interpretation

Quantum Galois theory for compact Lie groups

Level-Rank Duality for Vertex Operator Algebras of Types B and D

Classification of Self-Dual Vertex Operator Superalgebras of Central Charge at Most 24

A Characterization of Vertex Operator Algebra $${l(\frac{1}{2},0)\otimes L(\frac{1}{2},0)}$$

Lattice-integrality of certain group-invariant integral forms in vertex operator algebras

Vertex operators for the kinematic algebra of Yang-Mills theory

Extension of Vertex Operator Algebra $V_{\widehat{h}_{4}}(\ell,0)$

Virasoro Vertex Operator Algebras, the (Nonmeromorphic) Operator Product Expansion and the Tensor Product Theory

Elliptic Genus and Vertex Operator Algebras

$\hbar$-Vertex algebras and chiralization of star products

Q A ] 1 1 M ay 2 00 9 A Characetrization of Vertex Operator Algebra L ( 12 , 0 ) ⊗ L ( 1 2 , 0 )

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

A Characetrization of Vertex Operator Algebra L(1/2,0)\otimes L(1/2,0)

Probability of fixation of an advantageous mutant in a viral quasispecies