<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathfrak g\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation> be a finite dimensional simple Lie algebra over <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb C\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">C</mi> </math></EquationSource> </InlineEquation>, and let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> be a positive integer. In this paper, we construct the quantization <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(K_{\hat{\mathfrak {g}},\hbar }^\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>K</mi> <mrow> <mover accent="true"> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">^</mo> </mover> <mo>,</mo> <mi>ħ</mi> </mrow> <mi>ℓ</mi> </msubsup> </math></EquationSource> </InlineEquation> of the parafermion vertex algebra <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(K_{\hat{\mathfrak {g}}}^\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>K</mi> <mrow> <mover accent="true"> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">^</mo> </mover> </mrow> <mi>ℓ</mi> </msubsup> </math></EquationSource> </InlineEquation> as an <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\hbar \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ħ</mi> </math></EquationSource> </InlineEquation>-adic quantum vertex subalgebra inside the simple quantum affine vertex algebra <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L_{\hat{\mathfrak {g}},\hbar }^\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>L</mi> <mrow> <mover accent="true"> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">^</mo> </mover> <mo>,</mo> <mi>ħ</mi> </mrow> <mi>ℓ</mi> </msubsup> </math></EquationSource> </InlineEquation>. We show that <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(L_{\hat{\mathfrak {g}},\hbar }^\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>L</mi> <mrow> <mover accent="true"> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">^</mo> </mover> <mo>,</mo> <mi>ħ</mi> </mrow> <mi>ℓ</mi> </msubsup> </math></EquationSource> </InlineEquation> contains an <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\hbar \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ħ</mi> </math></EquationSource> </InlineEquation>-adic quantum vertex subalgebra isomorphic to the quantum lattice vertex algebra <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(V_{\sqrt{\ell }Q_L}^{\eta _\ell }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>V</mi> <mrow> <msqrt> <mi>ℓ</mi> </msqrt> <msub> <mi>Q</mi> <mi>L</mi> </msub> </mrow> <msub> <mi>η</mi> <mi>ℓ</mi> </msub> </msubsup> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(Q_L\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Q</mi> <mi>L</mi> </msub> </math></EquationSource> </InlineEquation> is the lattice generated by the long roots of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathfrak g\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation>. Moreover, we prove the double commutant property of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(K_{\hat{\mathfrak {g}},\hbar }^\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>K</mi> <mrow> <mover accent="true"> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">^</mo> </mover> <mo>,</mo> <mi>ħ</mi> </mrow> <mi>ℓ</mi> </msubsup> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(V_{\sqrt{\ell }Q_L}^{\eta _\ell }\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>V</mi> <mrow> <msqrt> <mi>ℓ</mi> </msqrt> <msub> <mi>Q</mi> <mi>L</mi> </msub> </mrow> <msub> <mi>η</mi> <mi>ℓ</mi> </msub> </msubsup> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(L_{\hat{\mathfrak {g}},\hbar }^\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>L</mi> <mrow> <mover accent="true"> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">^</mo> </mover> <mo>,</mo> <mi>ħ</mi> </mrow> <mi>ℓ</mi> </msubsup> </math></EquationSource> </InlineEquation></p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Quantization of parafermion vertex algebras

  • Fei Kong

摘要

Let \(\mathfrak g\) g be a finite dimensional simple Lie algebra over \(\mathbb C\) C , and let \(\ell \) be a positive integer. In this paper, we construct the quantization \(K_{\hat{\mathfrak {g}},\hbar }^\ell \) K g ^ , ħ of the parafermion vertex algebra \(K_{\hat{\mathfrak {g}}}^\ell \) K g ^ as an \(\hbar \) ħ -adic quantum vertex subalgebra inside the simple quantum affine vertex algebra \(L_{\hat{\mathfrak {g}},\hbar }^\ell \) L g ^ , ħ . We show that \(L_{\hat{\mathfrak {g}},\hbar }^\ell \) L g ^ , ħ contains an \(\hbar \) ħ -adic quantum vertex subalgebra isomorphic to the quantum lattice vertex algebra \(V_{\sqrt{\ell }Q_L}^{\eta _\ell }\) V Q L η , where \(Q_L\) Q L is the lattice generated by the long roots of \(\mathfrak g\) g . Moreover, we prove the double commutant property of \(K_{\hat{\mathfrak {g}},\hbar }^\ell \) K g ^ , ħ and \(V_{\sqrt{\ell }Q_L}^{\eta _\ell }\) V Q L η in \(L_{\hat{\mathfrak {g}},\hbar }^\ell \) L g ^ , ħ