<p>We introduce a family of algebras <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {A}_{M,N}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">A</mi> <mrow> <mi>M</mi> <mo>,</mo> <mi>N</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(M,N\in {\mathbb {Z}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>,</mo> <mi>N</mi> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> </mrow> </math></EquationSource> </InlineEquation>, as an extension of a pair of commuting quantum toroidal <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak {gl}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">gl</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> subalgebras <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathcal {E}}_1,\check{{\mathcal {E}}}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">E</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mover accent="true"> <mi mathvariant="script">E</mi> <mo stretchy="false">ˇ</mo> </mover> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, wherein the parameters are tuned in a specific way according to <i>M</i>,&#xa0;<i>N</i>. In the case <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(M=\pm 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <mo>±</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, algebra <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {A}_{\pm 1,N}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">A</mi> <mrow> <mo>±</mo> <mn>1</mn> <mo>,</mo> <mi>N</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> is a shifted quantum toroidal <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathfrak {gl}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">gl</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> algebra introduced in Feigin et al (Affinization of shifted quantum affine gl2. arXiv:2511.12178). Conjecturally there is a coproduct homomorphism <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {A}_{M,N_1+N_2}\rightarrow \mathcal {A}_{M,N_1}{\hat{\otimes }}\mathcal {A}_{M,N_2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">A</mi> <mrow> <mi>M</mi> <mo>,</mo> <msub> <mi>N</mi> <mn>1</mn> </msub> <mo>+</mo> <msub> <mi>N</mi> <mn>2</mn> </msub> </mrow> </msub> <mo stretchy="false">→</mo> <msub> <mi mathvariant="script">A</mi> <mrow> <mi>M</mi> <mo>,</mo> <msub> <mi>N</mi> <mn>1</mn> </msub> </mrow> </msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <msub> <mi mathvariant="script">A</mi> <mrow> <mi>M</mi> <mo>,</mo> <msub> <mi>N</mi> <mn>2</mn> </msub> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> to a completed tensor product, whose restriction to the subalgebras <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\mathcal {E}}_1,\check{{\mathcal {E}}}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">E</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mover accent="true"> <mi mathvariant="script">E</mi> <mo stretchy="false">ˇ</mo> </mover> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> coincides with the standard Drinfeld coproduct. We give examples of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathcal {A}_{M,N}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">A</mi> <mrow> <mi>M</mi> <mo>,</mo> <mi>N</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> modules constructed on certain direct sums of tensor products of Fock modules of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\({\mathcal {E}}_1\otimes \check{{\mathcal {E}}}_1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">E</mi> <mn>1</mn> </msub> <mo>⊗</mo> <msub> <mover accent="true"> <mi mathvariant="script">E</mi> <mo stretchy="false">ˇ</mo> </mover> <mn>1</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Extensions of a Commuting Pair of Quantum Toroidal \(\mathfrak {gl}_1\)

  • B. Feigin,
  • M. Jimbo,
  • E. Mukhin

摘要

We introduce a family of algebras \(\mathcal {A}_{M,N}\) A M , N , \(M,N\in {\mathbb {Z}}\) M , N Z , as an extension of a pair of commuting quantum toroidal \(\mathfrak {gl}_1\) gl 1 subalgebras \({\mathcal {E}}_1,\check{{\mathcal {E}}}_1\) E 1 , E ˇ 1 , wherein the parameters are tuned in a specific way according to MN. In the case \(M=\pm 1\) M = ± 1 , algebra \(\mathcal {A}_{\pm 1,N}\) A ± 1 , N is a shifted quantum toroidal \(\mathfrak {gl}_2\) gl 2 algebra introduced in Feigin et al (Affinization of shifted quantum affine gl2. arXiv:2511.12178). Conjecturally there is a coproduct homomorphism \(\mathcal {A}_{M,N_1+N_2}\rightarrow \mathcal {A}_{M,N_1}{\hat{\otimes }}\mathcal {A}_{M,N_2}\) A M , N 1 + N 2 A M , N 1 ^ A M , N 2 to a completed tensor product, whose restriction to the subalgebras \({\mathcal {E}}_1,\check{{\mathcal {E}}}_1\) E 1 , E ˇ 1 coincides with the standard Drinfeld coproduct. We give examples of \(\mathcal {A}_{M,N}\) A M , N modules constructed on certain direct sums of tensor products of Fock modules of \({\mathcal {E}}_1\otimes \check{{\mathcal {E}}}_1\) E 1 E ˇ 1 .