[论文解读] Reflection matrices, coideal subalgebras and generalized Satake diagrams of affine type

Vidas Regelskis, Bart Vlaar|arXiv (Cornell University)|Feb 26, 2016

Algebraic structures and combinatorial models被引用 10

一句话总结

本文通过引入定义非对合第二类自同态的广义Satake图，将仿射Kac-Moody代数的量子对称对理论推广至经典类型，从而构造出量子包络代数 $U_q(\mathfrak{g})$ 的右余理想子代数 $B_{c,s}$。本文计算了 $U_q(\widehat{\mathfrak{sl}}_n^{(1)}), U_q(\widehat{\mathfrak{so}}_n^{(1)}), U_q(\widehat{\mathfrak{sp}}_n^{(1)}), U_q(\widehat{\mathfrak{so}}_n^{(1)})$ 的向量表示的三角函数反射矩阵（K-矩阵），表明其在对角矩阵共轭下对称，并满足每行每列至多两个非零元的稀疏性条件。这些K-矩阵在量子群自同态作用下等价于至多增加两个自由参数的形式，其特征值分解暗示与Hecke型代数的关联。

ABSTRACT

We present a generalization of the theory of quantum symmetric pairs as developed by Kolb and Letzter. We introduce a class of generalized Satake diagrams that give rise to (not necessarily involutive) automorphisms of the second kind of symmetrizable Kac-Moody algebras $\\mathfrak{g}$. These lead to right coideal subalgebras $B_{\\mathbf{c},\\mathbf{s}}$ of quantized enveloping algebras $U_q(\\mathfrak{g})$. In the case that $\\mathfrak{g}$ is a twisted or untwisted affine Lie algebra of classical type Jimbo found intertwiners (equivariant maps) of the vector representation of $U_q(\\mathfrak{g})$ yielding trigonometric solutions to the parameter-dependent quantum Yang-Baxter equation. In the present paper we compute intertwiners of the vector representation restricted to the subalgebras $B_{\\mathbf{c},\\mathbf{s}}$ when $\\mathfrak{g}$ is of type ${\ m A}^{(1)}_n$, ${\ m B}^{(1)}_n$, ${\ m C}^{(1)}_n$ and ${\ m D}^{(1)}_n$. These intertwiners are matrix solutions to the parameter-dependent quantum reflection equation known as trigonometric reflection matrices. They are symmetric up to conjugation by a diagonal matrix and in many cases satisfy a certain sparseness condition: there are at most two nonzero entries in each row and column. Conjecturally, this classifies all such solutions in vector spaces carrying this representation. A group of Hopf algebra automorphisms of $U_q(\\mathfrak{g})$ acts on these reflection matrices, allowing us to show that each reflection matrix found is equivalent to one with at most two additional free parameters. Additional characteristics of the reflection matrices such as eigendecompositions and affinization relations are also obtained. The eigendecompositions suggest that for all these matrices there should be a natural interpretation in terms of representations of Hecke-type algebras.

研究动机与目标

• 将量子对称对理论从对合自同态推广至可化Kac-Moody代数仿射型的非对合第二类自同态，通过引入广义Satake图。
• 为这些广义Satake图构造 $U_q(\mathfrak{g})$ 的右余理想子代数 $B_{c,s}$。
• 计算 $U_q(\widehat{\mathfrak{g}})$ 的向量表示在 $\mathfrak{g}$ 为 $A_n^{(1)}, B_n^{(1)}, C_n^{(1)}, D_n^{(1)}$ 类型时的显式三角函数反射矩阵（K-矩阵）。
• 对这些K-矩阵的结构与对称性进行分类，包括稀疏性、共轭对称性，以及通过自同态作用实现的参数约化。
• 通过其特征值分解，探索K-矩阵与Hecke型代数之间的联系。

提出的方法

• 广义Satake图被定义为对 $(X, \tau)$，其中 $X \subseteq I$ 且 $\tau$ 为图自同构，将经典Satake图框架扩展至第二类非对合自同态。
• 利用满足广义q-Onsager型约束的参数 $c, s \in (K^\times)^I$，从这些图构造 $U_q(\mathfrak{g})$ 的右余理想子代数 $B_{c,s} \subset U_q(\mathfrak{g})$。
• 计算限制在 $B_{c,s}$ 上的向量表示的 intertwining 算子，以获得参数依赖的量子反射方程的解，即三角函数反射矩阵。
• 量子群 $U_q(\mathfrak{g})$ 的Hopf代数自同态群作用于K-矩阵，允许将其约化为至多增加两个额外自由参数的等价形式。
• 计算 $C^{-1}K(q^{-1}u)$ 的特征值分解，以揭示其谱结构并暗示与Hecke代数的关联。
• 推导出仿射化关系与旋转对称性，包括形式 $K(u) = K_0 + u C K_0^{-1} C^{-1}/(1 - u)$。

实验结果

研究问题

• RQ1 如何将量子对称对理论推广至仿射Kac-Moody代数的非对合第二类自同态，以超越对合自同态的框架？
• RQ2 对于 $\mathfrak{g}$ 为经典仿射类型的 $U_q(\widehat{\mathfrak{g}})$ 的向量表示，其三角函数反射矩阵（K-矩阵）的显式形式是什么？
• RQ3 这些K-矩阵在多大程度上满足稀疏性条件——即每行每列至多两个非零元？
• RQ4 Hopf代数自同态如何作用于K-矩阵？其等价表示中自由参数的最大数量是多少？
• RQ5 K-矩阵的特征值分解能否以Hecke型代数表示理论的方式解释？

主要发现

• 对于 $U_q(\widehat{\mathfrak{sl}}_n^{(1)}), U_q(\widehat{\mathfrak{so}}_n^{(1)}), U_q(\widehat{\mathfrak{sp}}_n^{(1)}), U_q(\widehat{\mathfrak{so}}_n^{(1)})$，其K-矩阵在对角矩阵共轭下对称。
• 在许多情况下，K-矩阵表现出稀疏性条件：每行每列至多包含两个非零元素。
• 每个K-矩阵在Hopf代数自同态群的作用下，等价于至多增加两个额外自由参数的形式。
• $C^{-1}K(q^{-1}u)$ 的特征值分解揭示了重数为 $\frac{N-1}{2}, \lceil \frac{N-1}{2} \rceil$ 和 $1$ 的特征值，暗示与Hecke代数表示的关联。
• 推导出仿射化与旋转对称性，包括 $K(u) = K_0 + u C K_0^{-1} C^{-1}/(1 - u)$ 和 $K_\rho(u) = K(u)$，且满足 $K(u)^t + K(u^{-1}) = (q^{-1/2} - q^{1/2})\text{Id}$。