<p>Since the establishment of the quantum Schur–Weyl duality in Jimbo (Lett. Math. Phys. <b>11</b>, 247–252, <CitationRef CitationID="CR17">1986</CitationRef>), the duality pair <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((\textbf{U}(\mathfrak {gl}_n),\varvec{\mathcal {H}}(\mathfrak S_r))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">U</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">gl</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mrow> <mi mathvariant="bold-script">H</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">S</mi> <mi>r</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of type <i>A</i> has been extended to the duality pairs <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\((\textbf{U}^\jmath (n),\varvec{\mathcal {H}}(B_r))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msup> <mi mathvariant="bold">U</mi> <mi>ȷ</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mrow> <mi mathvariant="bold-script">H</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>B</mi> <mi>r</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\((\textbf{U}^\imath (n),\varvec{\mathcal {H}}(C_r))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msup> <mi mathvariant="bold">U</mi> <mi>ı</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mrow> <mi mathvariant="bold-script">H</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>C</mi> <mi>r</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in the Hecke algebra series in Bao and Wang (Astérisque <b>402</b>, vii+134, <CitationRef CitationID="CR3">2018</CitationRef>), where <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textbf{U}^\jmath (n),\textbf{U}^\imath (n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="bold">U</mi> <mi>ȷ</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <msup> <mi mathvariant="bold">U</mi> <mi>ı</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> are <i>i</i>-quantum groups arising from certain quantum symmetric pairs. The quantum Schur algebra associated with the pair <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((\textbf{U}(\mathfrak {gl}_n),\varvec{\mathcal {H}}(\mathfrak S_r))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">U</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">gl</mi> <mi>n</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mrow> <mi mathvariant="bold-script">H</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">S</mi> <mi>r</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has a nice and simple presentation; see Doty and Giaquinto (<CitationRef CitationID="CR7">2002</CitationRef>). In this paper, we tackle the presentation problem for the <i>i</i>-quantum Schur algebras associated with the duality pair <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\((\textbf{U}^\imath (n),\varvec{\mathcal {H}}(C_r))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msup> <mi mathvariant="bold">U</mi> <mi>ı</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mrow> <mi mathvariant="bold-script">H</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi>C</mi> <mi>r</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Such a <i>q</i>-Schur algebra is called the hyperoctahedral <i>q</i>-Schur algebras in Green (J. Algebra <b>192</b>, 418–438, <CitationRef CitationID="CR16">1997</CitationRef>). See Bhattacharya (<CitationRef CitationID="CR4">2026</CitationRef>) for the <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\textbf{U}^\jmath (n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="bold">U</mi> <mi>ȷ</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> case. Building on the explicit epimorphism <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\phi _{n,r}^\imath \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>ϕ</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>r</mi> </mrow> <mi>ı</mi> </msubsup> </math></EquationSource> </InlineEquation> from the <i>i</i>-quantum group <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\textbf{U}^\imath (n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="bold">U</mi> <mi>ı</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to the hyperoctahedral <i>q</i>-Schur algebras <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathcal {S}^\imath (n,r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">S</mi> </mrow> <mi>ı</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> (see Du and Wu, Pacific J. Math. <b>320</b>(1), 61–101, <CitationRef CitationID="CR13">2022</CitationRef>), we compute the kernel of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\phi _{n,r}^\imath \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>ϕ</mi> <mrow> <mi>n</mi> <mo>,</mo> <mi>r</mi> </mrow> <mi>ı</mi> </msubsup> </math></EquationSource> </InlineEquation> in terms of generators. This results in a presentation for <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathcal {S}^\imath (n,r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">S</mi> </mrow> <mi>ı</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with defining relations which include not only the Doty–Giaquinto’s diagonal relations but also some tridiagonal relations.</p>

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

The i-Quantum Group \(\textbf{U}^\imath (n)\), II: Presenting their \(\varvec{q}\)-Schur Algebras

  • Jian Chen,
  • Jie Du

摘要

Since the establishment of the quantum Schur–Weyl duality in Jimbo (Lett. Math. Phys. 11, 247–252, 1986), the duality pair \((\textbf{U}(\mathfrak {gl}_n),\varvec{\mathcal {H}}(\mathfrak S_r))\) ( U ( gl n ) , H ( S r ) ) of type A has been extended to the duality pairs \((\textbf{U}^\jmath (n),\varvec{\mathcal {H}}(B_r))\) ( U ȷ ( n ) , H ( B r ) ) and \((\textbf{U}^\imath (n),\varvec{\mathcal {H}}(C_r))\) ( U ı ( n ) , H ( C r ) ) in the Hecke algebra series in Bao and Wang (Astérisque 402, vii+134, 2018), where \(\textbf{U}^\jmath (n),\textbf{U}^\imath (n)\) U ȷ ( n ) , U ı ( n ) are i-quantum groups arising from certain quantum symmetric pairs. The quantum Schur algebra associated with the pair \((\textbf{U}(\mathfrak {gl}_n),\varvec{\mathcal {H}}(\mathfrak S_r))\) ( U ( gl n ) , H ( S r ) ) has a nice and simple presentation; see Doty and Giaquinto (2002). In this paper, we tackle the presentation problem for the i-quantum Schur algebras associated with the duality pair \((\textbf{U}^\imath (n),\varvec{\mathcal {H}}(C_r))\) ( U ı ( n ) , H ( C r ) ) . Such a q-Schur algebra is called the hyperoctahedral q-Schur algebras in Green (J. Algebra 192, 418–438, 1997). See Bhattacharya (2026) for the \(\textbf{U}^\jmath (n)\) U ȷ ( n ) case. Building on the explicit epimorphism \(\phi _{n,r}^\imath \) ϕ n , r ı from the i-quantum group \(\textbf{U}^\imath (n)\) U ı ( n ) to the hyperoctahedral q-Schur algebras \(\mathcal {S}^\imath (n,r)\) S ı ( n , r ) (see Du and Wu, Pacific J. Math. 320(1), 61–101, 2022), we compute the kernel of \(\phi _{n,r}^\imath \) ϕ n , r ı in terms of generators. This results in a presentation for \(\mathcal {S}^\imath (n,r)\) S ı ( n , r ) with defining relations which include not only the Doty–Giaquinto’s diagonal relations but also some tridiagonal relations.