[論文レビュー] The R-matrix for (twisted) affine quantum algebras

Ilaria Damiani|arXiv (Cornell University)|Nov 17, 2011

Algebraic structures and combinatorial models参考文献 17被引用数 13

ひとこと要約

本稿は、非可換アフィン量子代数の一般化として、ねじれアフィン量子代数のR行列に対して明示的な指数型乗法的公式を構築する。有限型および非ねじれアフィン型の拡張として、PBW基底の一般化と虚根ベクトル上のカルタン形式の計算を通じて、変形された根ベクトルを用いたR行列の正規表現を導出する。特に、標準的な根系の性質が成立しない$A_{2n}^{(2)}$型において、主な貢献がなされている。

ABSTRACT

In this paper an exponential multiplicative formula for the R-matrix is provided for the twisted affine quantum algebras.

研究の動機と目的

• アフィン量子代数のR行列の指数的記述を、ねじれ型を含めて完成させること。
• 有限型および非ねじれアフィン型から一般化された、ねじれアフィン量子代数のPBW基底を確立すること。
• 虚根$\alpha = r\delta + i$に対して、$\bar{E}_\alpha$および$\bar{F}_\alpha$のカルタン形式を計算し、特に標準的な根の性質が成立しない$A_{2n}^{(2)}$型においてその性質を明らかにすること。
• コプロダクト-ブレード群の関係を用いて、変形された根ベクトルを用いたR行列の明示的・乗法的公式を導出すること。
• 頂点演算子技術を避けて、$\mathcal{U}_q(A_2^{(2)})$が$\mathcal{U}_q(A_{2n}^{(2)})$に埋め込まれることを直接的・代数的に証明すること。

提案手法

• 凸順序と根系の性質を用いて、ねじれアフィン量子代数へのPBW基底構成を一般化する。
• ブレード群作用を介して、新たな虚根ベクトル$\bar{E}_\alpha$を定義する線形三角変換を導入する。
• 虚根$\alpha = r\delta + i$に対して、構造定数とカルタン行列を用いて、$\bar{E}_\alpha$および$\bar{F}_\alpha$のカルタン形式を計算する。
• 部分的R行列の戦略とコプロダクト-ブレード群の相互作用を応用し、指数型表現を導出する。
• 低ランクの場合（$A_2^{(2)}$、$A_{2n}^{(2)}$）の明示的計算により、$\alpha, \delta + r\alpha \in \Phi \Rightarrow r = \pm 1$という根の性質の不成立に対処する。
• 最終的なR行列の公式を$ R = \left( \prod_{\alpha \in \tilde{\Phi}_+} \mathrm{exp}_\alpha \left( \frac{q_\alpha^{-1} - q_\alpha}{c_\alpha} \bar{E}_\alpha \otimes \bar{F}_\alpha \right) \right) q^{-t_\infty} $として導出する。ここで$ c_\alpha $はカルタン形式によって定まる。

実験結果

リサーチクエスチョン

• RQ1 ねじれアフィン量子代数のR行列は、有限型および非ねじれアフィン型と同様に、指数的乗法的形でどのように表現できるか？
• RQ2 標準的な根系の性質$\alpha, \delta + r\alpha \in \Phi \Rightarrow r = \pm 1$が成立しない$A_{2n}^{(2)}$型において、PBW基底および根ベクトル構造にどのような修正が必要か？
• RQ3 ねじれ型における新たな虚根ベクトル$\bar{E}_\alpha$におけるカルタン形式の振る舞いは何か？ そして、R行列の結合係数を定義するためにどのように用いられるか？
• RQ4 $\mathcal{U}_q(A_2^{(2)})$の$\mathcal{U}_q(A_{2n}^{(2)})$への埋め込みの正確な構造は何か？ そして、交換関係にどのような影響を与えるか？
• RQ5 すべてのねじれアフィン型（例外型および奇数ランク型を含む）において、一様に正規形で表現可能なR行列の公式は存在するか？

主な発見

• ねじれアフィン量子代数のR行列は、$ R = \left( \prod_{\alpha \in \tilde{\Phi}_+} \mathrm{exp}_\alpha \left( \frac{q_\alpha^{-1} - q_\alpha}{c_\alpha} \bar{E}_\alpha \otimes \bar{F}_\alpha \right) \right) q^{-t_\infty} $で与えられ、ここで$ c_\alpha = (q_\alpha^{-1} - q_\alpha)(\bar{E}_\alpha, \bar{F}_\alpha) $である。
• 実根に対しては$ c_\alpha = 1 $であり、虚根$ \alpha = r\delta + i $に対しては、カルタン形式を用いて$ c_\alpha $が明示的に計算され、型およびインデックス$ i $に依存する。
• $ A_{2n}^{(2)} $型において$ i=1 $で$ 2|r $のとき、$ (\bar{E}_{(r\delta,1)}, \bar{F}_{(r\delta,1)}) = (-1)^{r/2} [2]_{q^{rn}} / 2 $となる。これは標準的な根の性質の不成立を反映している。
• $ A_{2n}^{(2)} $型において$ i=1 $で$ 2\not|r $のとき、$ (\bar{E}_{(r\delta,1)}, \bar{F}_{(r\delta,1)}) = [2]_{q^r} [2n+1]_{q^r} $となり、ランクに依存することが示される。
• この公式は、$ D_n^{(k)} $、$ E_6^{(2)} $、$ F_4^{(1)} $、$ G_2^{(1)} $など、すべてのねじれアフィン型を統一的に扱い、型に特有の定数を伴う。
• 導出により、ねじれ型におけるPBW基底および根ベクトル構造が、非ねじれ型と類似していることが確認されたが、$ A_{2n}^{(2)} $型においては$ \delta - 2\alpha_1 \in \Phi $のため、特別な取り扱いが必要であることが示された。