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.

Jet Schemes, Quantum Dilogarithm and Feigin-Stoyanovsky's Principal Subspaces

U-q(sl(m+1))-Module Algebra Structures on the Coordinate Algebra of a Quantum Vector Space

A note on principal subspaces of the affine Lie algebras in types $B_l^{(1)}$, $C_l^{(1)}$, $F_4^{(1)}$ and $G_2^{(1)}$

Extended affine Lie algebras, vertex algebras, and reductive groups

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

The Integral quantum loop algebra of $\mathfrak{gl}_n$

Associating Quantum Vertex Algebras To Lie Algebra Gl(Infinity)

Geometric Approach to I-Quantum Group of Affine Type D

Quantum affine $\frak{gl}_n$ via Hecke algebras

The Le Bruyn-Procesi theorem and Hilbert schemes

Loday-Quillen-Tsygan theorem on Quivers

Hyperbolization of affine Lie algebras

Quantum affine vertex algebras associated to untwisted quantum affinization algebras

Hilbert Schemes of Points in the Plane and Quasi-Lisse Vertex Algebras with $\mathcal{N}=4$ Symmetry

Quantum Grassmannians and their Associated Quantum Schubert Varieties at roots of unity

Jet schemes of singular surfaces of types $D_4^0$ and $D_4^1$ in characteristic $2$

Jets and principal components of monomial ideals, and very well-covered graphs

Counting representations of quivers with multiplicities

Spectral flow, twisted modules and MLDE of quasi-lisse vertex algebras

Quantum fields on projective geometries

Tropical Geometry, Quantum Affine Algebras, and Scattering Amplitudes