<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathfrak {g}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation> be a symmetrizable Kac–Moody algebra, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_q({{\mathfrak {g}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> its quantum group, and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_q({\mathfrak {k}})\subset U_q({{\mathfrak {g}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">k</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊂</mo> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> a quantum symmetric pair subalgebra determined by a Lie algebra automorphism <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation>. We introduce a category <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {W}_{\theta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">W</mi> <mi>θ</mi> </msub> </math></EquationSource> </InlineEquation> of <i>weight</i> <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_q({\mathfrak {k}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-modules, which is acted on by the category of weight <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_q({{\mathfrak {g}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-modules via tensor products. We construct a universal tensor K-matrix <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathbb {K}}} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> (that is, a solution of a reflection equation) in a completion of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq9.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="98" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_q({\mathfrak {k}})\otimes U_q({{\mathfrak {g}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">k</mi> <mo stretchy="false">)</mo> </mrow> <mo>⊗</mo> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. This yields a natural operator on any tensor product <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq10.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="54" /> </InlineMediaObject> <EquationSource Format="TEX">\(M\otimes V\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>⊗</mo> <mi>V</mi> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="65" /> </InlineMediaObject> <EquationSource Format="TEX">\(M\in \mathcal {W}_{\theta }\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>∈</mo> <msub> <mi mathvariant="script">W</mi> <mi>θ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(V\in {{\mathcal {O}}}_\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>∈</mo> <msub> <mi mathvariant="script">O</mi> <mi>θ</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, <i>i.e.</i>, <i>V</i> is a <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_q({{\mathfrak {g}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">g</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-module in category <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal {O}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">O</mi> </math></EquationSource> </InlineEquation> satisfying an integrability property determined by <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>θ</mi> </math></EquationSource> </InlineEquation>. Canonically, <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {W}_{\theta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">W</mi> <mi>θ</mi> </msub> </math></EquationSource> </InlineEquation> is equipped with a structure of a bimodule category over <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal {O}}}_\theta \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">O</mi> <mi>θ</mi> </msub> </math></EquationSource> </InlineEquation> and the action of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathbb {K}}} \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> is encoded by a new categorical structure, which we call a <i>boundary</i> structure on <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {W}_{\theta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">W</mi> <mi>θ</mi> </msub> </math></EquationSource> </InlineEquation>. This generalizes a result of Kolb which describes a braided module structure on finite-dimensional <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(U_q({\mathfrak {k}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>U</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-modules when <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathfrak {g}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">g</mi> </math></EquationSource> </InlineEquation> is finite-dimensional. We also consider our construction in the case of the category <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq22.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal {C}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> of finite-dimensional modules of a quantum affine algebra, providing the most comprehensive universal framework to date for large families of solutions of parameter-dependent reflection equations. In this case the tensor K-matrix gives rise to a formal Laurent series with a well-defined action on tensor products of any module in <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {W}_{\theta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">W</mi> <mi>θ</mi> </msub> </math></EquationSource> </InlineEquation> and any module in <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq22.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal {C}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>. This series can be normalized to an operator-valued rational function, which we call trigonometric tensor K-matrix, if both factors in the tensor product are in <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5241_Article_IEq22.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathcal {C}}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>.</p>

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

Tensor K-Matrices for Quantum Symmetric Pairs

  • Andrea Appel,
  • Bart Vlaar

摘要

Let \({{\mathfrak {g}}}\) g be a symmetrizable Kac–Moody algebra, \(U_q({{\mathfrak {g}}})\) U q ( g ) its quantum group, and \(U_q({\mathfrak {k}})\subset U_q({{\mathfrak {g}}})\) U q ( k ) U q ( g ) a quantum symmetric pair subalgebra determined by a Lie algebra automorphism \(\theta \) θ . We introduce a category \(\mathcal {W}_{\theta }\) W θ of weight \(U_q({\mathfrak {k}})\) U q ( k ) -modules, which is acted on by the category of weight \(U_q({{\mathfrak {g}}})\) U q ( g ) -modules via tensor products. We construct a universal tensor K-matrix \({{\mathbb {K}}} \) K (that is, a solution of a reflection equation) in a completion of \(U_q({\mathfrak {k}})\otimes U_q({{\mathfrak {g}}})\) U q ( k ) U q ( g ) . This yields a natural operator on any tensor product \(M\otimes V\) M V , where \(M\in \mathcal {W}_{\theta }\) M W θ and \(V\in {{\mathcal {O}}}_\theta \) V O θ , i.e., V is a \(U_q({{\mathfrak {g}}})\) U q ( g ) -module in category \({{\mathcal {O}}}\) O satisfying an integrability property determined by \(\theta \) θ . Canonically, \(\mathcal {W}_{\theta }\) W θ is equipped with a structure of a bimodule category over \({{\mathcal {O}}}_\theta \) O θ and the action of \({{\mathbb {K}}} \) K is encoded by a new categorical structure, which we call a boundary structure on \(\mathcal {W}_{\theta }\) W θ . This generalizes a result of Kolb which describes a braided module structure on finite-dimensional \(U_q({\mathfrak {k}})\) U q ( k ) -modules when \({{\mathfrak {g}}}\) g is finite-dimensional. We also consider our construction in the case of the category \({{\mathcal {C}}}\) C of finite-dimensional modules of a quantum affine algebra, providing the most comprehensive universal framework to date for large families of solutions of parameter-dependent reflection equations. In this case the tensor K-matrix gives rise to a formal Laurent series with a well-defined action on tensor products of any module in \(\mathcal {W}_{\theta }\) W θ and any module in \({{\mathcal {C}}}\) C . This series can be normalized to an operator-valued rational function, which we call trigonometric tensor K-matrix, if both factors in the tensor product are in \({{\mathcal {C}}}\) C .