[論文レビュー] Diagonal reduction algebra and reflection equation

S. Khoroshkin, O. Ogievetsky|arXiv (Cornell University)|Oct 18, 2015

Algebraic structures and combinatorial models参考文献 12被引用数 5

ひとこと要約

本稿では、$R$-行列形式を用いて、対角還元代数 $\pi(\mathbf{gl}_n)$ と $R$-行列形式の間の関係を確立する。そのために、反射方程式を満たす $L$-演算子を構成し、その関係を用いることで、$\mathcal{D}(\mathbf{gl}_n)$ を反射方程式代数として提示する。主な貢献は、$\mathcal{D}(\mathbf{gl}_n)$ が braided bialgebra 構造を有することを明らかにし、$L$-演算子のべきの量子トレースを用いて2つの中央元の族を構成できることを示したことである。

ABSTRACT

We describe the diagonal reduction algebra D(gl(n)) of the Lie algebra gl(n) in the R-matrix formalism. As a byproduct we present two families of central elements and the braided bialgebra structure of D(gl(n)).

研究の動機と目的

• 対角還元代数 $\mathcal{D}(\mathbf{gl}_n)$ と $R$-行列形式との間の関係を確立すること。
• $R$-行列関係を満たす $L$-演算子を用いて、$\mathcal{D}(\mathbf{gl}_n)$ を反射方程式代数として提示すること。
• $R$-行列フレームワークを用いて、$\mathcal{D}(\mathbf{gl}_n)$ の braided bialgebra 構造を明らかにすること。
• $L$-演算子のべきの量子トレースを用いて、$\mathcal{D}(\mathbf{gl}_n)$ 内の2つの中央元の族を構成すること。

提案手法

• $\mathbf{h}$-変形微分作用素の代数 $\mathrm{Diff}_{\mathbf{h}}(n,N)$ を導入し、そのヘイゼンベルク型生成子を定義する。
• $\mathrm{Diff}_{\mathbf{h}}(n,N)$ の定義関係が、動的ヤン・バクスターベルヌーイ方程式の解を用いて $\hat{R}$-行列形式に書き換えられることを示す。
• $\mathcal{D}(\mathbf{gl}_n)$ から $\mathrm{Diff}_{\mathbf{h}}(n,N)$ へのホモモルフィズムを構成し、オシレーター型表現を実現する。
• これらのホモモルフィズムを用いて、$L$-演算子を介して $\mathcal{D}(\mathbf{gl}_n)$ を反射方程式代数に埋め込む。
• $\hat{R}$-行列と極端射影子を用いて、$L$-演算子の反射方程式関係を導出する。
• $R$-行列形式を用いて、$\mathcal{D}(\mathbf{gl}_n)$ の braided bialgebra 構造を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 どのようにして対角還元代数 $\mathcal{D}(\mathbf{gl}_n)$ を $R$-行列形式で記述できるか？
• RQ2 $L$-演算子は $\mathcal{D}(\mathbf{gl}_n)$ の定義関係をどのように符号化しているか？
• RQ3 $R$-行列構造は $\mathcal{D}(\mathbf{gl}_n)$ の braided bialgebra 性質をどのように明らかにするか？
• RQ4 $L$-演算子の量子トレースを用いて、$\mathcal{D}(\mathbf{gl}_n)$ の中央元を構成できるか？
• RQ5 $\mathbf{h}$-変形微分作用素代数 $\mathrm{Diff}_{\mathbf{h}}(n,N)$ は還元代数を実現するために果たす役割は何か？

主な発見

• $\mathcal{D}(\mathbf{gl}_n)$ は、特定の $R$-行列を用いて反射方程式を満たす $L$-演算子を介して、反射方程式代数として実現される。
• $R$-行列形式により、$\mathcal{D}(\mathbf{gl}_n)$ に braided bialgebra 構造が明らかになり、これは量子群の bialgebra 構造を一般化するものである。
• $\mathcal{D}(\mathbf{gl}_n)$ 内の2つの中央元の族は、$L$-演算子のべきの量子トレースとして構成され、具体的には $\frac{\tilde{h}-1}{\tilde{h}}(\operatorname{L}^{N})^{1}_{1} + \frac{\tilde{h}+1}{\tilde{h}}(\operatorname{L}^{N})^{2}_{2}$ である。
• $\mathcal{D}(\mathbf{gl}_n)$ の定義関係は、ホモモルフィズムを介して結びつけられた $\mathrm{Diff}_{\mathbf{h}}(n,N)$ の $\hat{R}$-行列形式の関係から導出される。
• $n=2$ の場合に $L$-演算子の関係を明示的に計算したところ、$\tilde{h} = h_i - i$ を含む非自明な非可換関係が得られた。
• 極端射影子 $\operatorname{P}$ を用いて、二重コセット空間上の非自明な積 $x {\scriptstyle{\,\diamond\,}} y = x \operatorname{P} y$ を定義し、これにより還元代数構造が可能になった。