<p>We define categories <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {O}}^{\varvec{w}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="bold-script">O</mi> </mrow> <mrow> <mi mathvariant="bold-italic">w</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> of representations of Borel subalgebras <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {U}}_{\!\varvec{q}}\varvec{\mathfrak {b}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi mathvariant="bold-script">U</mi> </mrow> <mrow> <mspace width="-0.166667em" /> <mrow> <mi mathvariant="bold-italic">q</mi> </mrow> </mrow> </msub> <mrow> <mi mathvariant="bold-fraktur">b</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation> of quantum affine algebras <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {U}}_{\!\varvec{q}}\hat{\varvec{\mathfrak {g}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi mathvariant="bold-script">U</mi> </mrow> <mrow> <mspace width="-0.166667em" /> <mrow> <mi mathvariant="bold-italic">q</mi> </mrow> </mrow> </msub> <mover accent="true"> <mrow> <mi mathvariant="bold-fraktur">g</mi> </mrow> <mo stretchy="false">^</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>, which come from the category <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {O}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-script">O</mi> </mrow> </math></EquationSource> </InlineEquation> twisted by Weyl group elements <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq5.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{w}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">w</mi> </mrow> </math></EquationSource> </InlineEquation>. We construct inductive systems of finite-dimensional <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {U}}_{\varvec{q}}\varvec{\mathfrak {b}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi mathvariant="bold-script">U</mi> </mrow> <mrow> <mi mathvariant="bold-italic">q</mi> </mrow> </msub> <mrow> <mi mathvariant="bold-fraktur">b</mi> </mrow> </mrow> </math></EquationSource> </InlineEquation>-modules twisted by <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq7.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{w}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">w</mi> </mrow> </math></EquationSource> </InlineEquation>, which provide representations in the category <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {O}}^{\varvec{w}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="bold-script">O</mi> </mrow> <mrow> <mi mathvariant="bold-italic">w</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>. We also establish a classification of simple modules in these categories <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {O}}^{\varvec{w}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="bold-script">O</mi> </mrow> <mrow> <mi mathvariant="bold-italic">w</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>. We explore convergent phenomenon of <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq10.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">q</mi> </mrow> </math></EquationSource> </InlineEquation>-characters of representations of quantum affine algebras, which conjecturally give the <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq11.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-italic">q</mi> </mrow> </math></EquationSource> </InlineEquation>-characters of representations in <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {O}}^{\varvec{w}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="bold-script">O</mi> </mrow> <mrow> <mi mathvariant="bold-italic">w</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>. Furthermore, we propose a conjecture concerning the relationship between the category <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq13.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {O}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold-script">O</mi> </mrow> </math></EquationSource> </InlineEquation> and the twisted category <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10468_2025_10316_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\mathcal {O}}^{\varvec{w}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="bold-script">O</mi> </mrow> <mrow> <mi mathvariant="bold-italic">w</mi> </mrow> </msup> </math></EquationSource> </InlineEquation>, and we propose a possible connection with shifted quantum affine algebras.</p>

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

Weyl Group Twists and Representations of Quantum Affine Borel Algebras

  • Keyu Wang

摘要

We define categories \(\varvec{\mathcal {O}}^{\varvec{w}}\) O w of representations of Borel subalgebras \(\varvec{\mathcal {U}}_{\!\varvec{q}}\varvec{\mathfrak {b}}\) U q b of quantum affine algebras \(\varvec{\mathcal {U}}_{\!\varvec{q}}\hat{\varvec{\mathfrak {g}}}\) U q g ^ , which come from the category \(\varvec{\mathcal {O}}\) O twisted by Weyl group elements \(\varvec{w}\) w . We construct inductive systems of finite-dimensional \(\varvec{\mathcal {U}}_{\varvec{q}}\varvec{\mathfrak {b}}\) U q b -modules twisted by \(\varvec{w}\) w , which provide representations in the category \(\varvec{\mathcal {O}}^{\varvec{w}}\) O w . We also establish a classification of simple modules in these categories \(\varvec{\mathcal {O}}^{\varvec{w}}\) O w . We explore convergent phenomenon of \(\varvec{q}\) q -characters of representations of quantum affine algebras, which conjecturally give the \(\varvec{q}\) q -characters of representations in \(\varvec{\mathcal {O}}^{\varvec{w}}\) O w . Furthermore, we propose a conjecture concerning the relationship between the category \(\varvec{\mathcal {O}}\) O and the twisted category \(\varvec{\mathcal {O}}^{\varvec{w}}\) O w , and we propose a possible connection with shifted quantum affine algebras.