<p>We introduce a unital associative algebra <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal{S}\mathcal{V}ir\!}_{q,k} }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mi mathvariant="script">S</mi> <mi mathvariant="script">V</mi> <mi>i</mi> <mi>r</mi> <mspace width="-0.166667em" /> </mrow> <mrow> <mi>q</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, having <i>q</i> and <i>k</i> as complex parameters, generated by the elements <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(K^{\pm }_m\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>K</mi> <mi>m</mi> <mo>±</mo> </msubsup> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq5.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\pm m\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>±</mo> <mi>m</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>), <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_m\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>m</mi> </msub> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(m\in \mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation>), and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(G^{\pm }_m\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>G</mi> <mi>m</mi> <mo>±</mo> </msubsup> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq9.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(m\in \mathbb {Z}+{1\over 2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> <mo>+</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> in the Neveu-Schwarz sector, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(m\in \mathbb {Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation> in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinants are made, providing us with a conjecture for the factorization property of the Kac determinants. The analysis of the screening operators gives a supporting evidence for our conjecture. It is shown that by taking the limit <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\rightarrow 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo stretchy="false">→</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal{S}\mathcal{V}ir\!}_{q,k} }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mi mathvariant="script">S</mi> <mi mathvariant="script">V</mi> <mi>i</mi> <mi>r</mi> <mspace width="-0.166667em" /> </mrow> <mrow> <mi>q</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> we recover the ordinary <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal {N}}}=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> superconformal algebra. We also give a nontrivial Heisenberg representation of the algebra <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal{S}\mathcal{V}ir\!}_{q,k} }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mi mathvariant="script">S</mi> <mi mathvariant="script">V</mi> <mi>i</mi> <mi>r</mi> <mspace width="-0.166667em" /> </mrow> <mrow> <mi>q</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, making a twist of the <i>U</i>(1) boson in the Wakimoto representation of the quantum affine algebra <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq15.gif" Format="GIF" Height="24" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_q(\widehat{\mathfrak {sl}}_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mover accent="true"> <mi mathvariant="fraktur">sl</mi> <mo stretchy="true">^</mo> </mover> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which naturally follows from the construction of <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal{S}\mathcal{V}ir\!}_{q,k} }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mi mathvariant="script">S</mi> <mi mathvariant="script">V</mi> <mi>i</mi> <mi>r</mi> <mspace width="-0.166667em" /> </mrow> <mrow> <mi>q</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> by gluing the deformed <i>Y</i>-algebras of Gaiotto and Rap<InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5334_Article_IEq17.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\check{\textrm{c}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mtext>c</mtext> <mo stretchy="false">ˇ</mo> </mover> </math></EquationSource> </InlineEquation>ák.</p>

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

A Quantum Deformation of the \({{\mathcal {N}}}\)=2 Superconformal Algebra

  • Hidetoshi Awata,
  • Koichi Harada,
  • Hiroaki Kanno,
  • Jun’ichi Shiraishi

摘要

We introduce a unital associative algebra \({{\mathcal{S}\mathcal{V}ir\!}_{q,k} }\) S V i r q , k , having q and k as complex parameters, generated by the elements \(K^{\pm }_m\) K m ± ( \(\pm m\ge 0\) ± m 0 ), \(T_m\) T m ( \(m\in \mathbb {Z}\) m Z ), and \(G^{\pm }_m\) G m ± ( \(m\in \mathbb {Z}+{1\over 2}\) m Z + 1 2 in the Neveu-Schwarz sector, \(m\in \mathbb {Z}\) m Z in the Ramond sector), satisfying relations which are at most quartic. Calculations of some low-lying Kac determinants are made, providing us with a conjecture for the factorization property of the Kac determinants. The analysis of the screening operators gives a supporting evidence for our conjecture. It is shown that by taking the limit \(q\rightarrow 1\) q 1 of \({{\mathcal{S}\mathcal{V}ir\!}_{q,k} }\) S V i r q , k we recover the ordinary \({{\mathcal {N}}}=2\) N = 2 superconformal algebra. We also give a nontrivial Heisenberg representation of the algebra \({{\mathcal{S}\mathcal{V}ir\!}_{q,k} }\) S V i r q , k , making a twist of the U(1) boson in the Wakimoto representation of the quantum affine algebra \(U_q(\widehat{\mathfrak {sl}}_2)\) U q ( sl ^ 2 ) , which naturally follows from the construction of \({{\mathcal{S}\mathcal{V}ir\!}_{q,k} }\) S V i r q , k by gluing the deformed Y-algebras of Gaiotto and Rap \(\check{\textrm{c}}\) c ˇ ák.