[論文レビュー] 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

ひとこと要約

この論文は、アフィン型古典的Kac-Moody代数のための量子対称対の一般化を、非自己同型の第二種の自己同型を定義する一般化されたSatake図式を導入することで行っている。これにより、量子包あらゆる代数 $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行列）を計算し、それらが対角行列による共役に関して対称であり、各行・各列に高々2つの非ゼロ成分を持つスパarsity条件を満たすことを示した。これらのK行列は、ホップ代数自己同型の作用によって、高々2つの追加パラメータを持つ形に同値であることが示され、固有値分解からヘッケ型代数との関係が示唆された。

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代数のアフィン型に対して、自己同型に限らない量子対称対の理論を一般化するため、可約Kac-Moody代数のアフィン型に対して一般化されたSatake図式を導入する。
• これらの一般化されたSatake図式に関連する $U_q(\mathfrak{g})$ の右コイデアル部分代数 $B_{c,s}$ を構成する。
• $\mathfrak{g}$ が $A_n^{(1)}, B_n^{(1)}, C_n^{(1)}, D_n^{(1)}$ 型である $U_q(\widehat{\mathfrak{g}})$ のベクトル表現に対して、明示的な三角関数的反射行列（K行列）を計算する。
• これらのK行列の構造と対称性を分類する。特に、スパarsity、共役に関する対称性、自己同型によるパラメータ削減を含む。
• 固有値分解を通じて、K行列とヘッケ型代数との関係を探索する。

提案手法

• 一般化されたSatake図式は、$X \subseteq I$ および $\tau$ が図の自己同型であるような対 $(X, \tau)$ として定義され、古典的Satake図式の枠組みを、第二種の非自己同型の自己同型へと拡張する。
• パラメータ $c, s \in (K^\times)^I$ が一般化されたq-Onsager型の制約を満たすように、これらの図式から $B_{c,s} \subset U_q(\mathfrak{g})$ の右コイデアル部分代数を構成する。
• ベクトル表現を $B_{c,s}$ に制限したときのインターブリンガーを計算し、パラメータ依存の量子反射方程式の解、すなわち三角関数的反射行列（K行列）が得られる。
• ホップ代数自己同型群 $\text{Aut}_{\text{Hopf}}(U_q(\mathfrak{g}))$ がK行列に作用し、同値な形に高々2つの追加パラメータを持つ形に簡略化できる。
• $C^{-1}K(q^{-1}u)$ の固有値分解を計算し、スペクトル構造を明らかにし、ヘッケ代数との関係を示唆する。
• アフィニゼーション関係と回転対称性を導出し、特に $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行列は、スパarsity条件（各行・各列に高々2つの非ゼロ成分）をどの程度満たすか？
• RQ4 ホップ代数自己同型はK行列にどのように作用するか？同値な代表元における自由パラメータの最大数は何か？
• RQ5 K行列の固有値分解は、ヘッケ型代数の表現の観点からどのように解釈できるか？

主な発見

• $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行列はスパarsity条件を満たす：各行・各列に高々2つの非ゼロ成分が存在する。
• 各K行列はホップ代数自己同型群の作用によって、高々2つの追加パラメータを持つ形に同値である。
• $C^{-1}K(q^{-1}u)$ の固有値分解により、固有値の重複度が $\frac{N-1}{2}, \lceil \frac{N-1}{2} \rceil$, および $1$ であることが明らかになり、ヘッケ代数の表現と関係があることが示唆された。
• アフィニゼーションおよび回転対称性が導かれた。特に $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}$ が成り立つ。