[論文レビュー] Deformations of quadratic algebras and the corresponding quantum semigroups

J. Donin, Steven Shnider|ArXiv.org|May 16, 1995

Algebraic structures and combinatorial models参考文献 3被引用数 4

ひとこと要約

この論文は、$V \otimes V$ の部分空間 $I_i$ への分解とそれに対応する代数 $A_k(I_1,\dots,I_n)$ を用いて、二次代数およびそれらに付随する量子半群の平坦性基準を確立する。変形において $A_k$ が半単純かつ次元が一定のままであれば、変形は平坦であると示され、この基準をヘケ、ビルマン＝ウェンツル、およびドリンフェルド＝ジモの量子群関連ヤン・バクスター作用素に適用する。

ABSTRACT

Let $V$ be a finite dimensional vector space. Given a decomposition $V\otimes V=\oplus_i^n I_i$, define $n$ quadratic algebras $(V, J_m)$ where $J_m=\oplus_{i eq m} I_i$. This decomposition defines also the quantum semigroup $M(V;I_1,...,I_n)$ which acts on all these quadratic algebras. With the decomposition we associate a family of associative algebras $A_k=A_k(I_1,...I_n)$, $k\geq 2$. In the classical case, when $V\otimes V$ decomposes into the symmetric and skewsymmetric tensors, $A_k$ coincides with the group algebra of the symmetric group $S_k$. Let $I_{ih}$ be deformations of the subspaces $I_i$. In the paper we give a criteria for flatness of the corresponding deformations of the quadratic algebras $(V[[h]],J_{ih}$ and the quantum semigroup $M(V[[h]];I_{1h},...,I_{nh})$. It says that the deformations will be flat if the algebras $A_k(I_1,...,I_n)$ are semisimple and under the deformation their dimension does not change. Usually, the decomposition into $I_i$ is defined by a given Yang-Baxter operator $S$ on $V\otimes V$, for which $I_i$ are its eigensubspaces, and the deformations $I_{ih}$ are defined by a deformation $S_h$ of $S$. We consider the cases when $S_h$ is a deformation of Hecke or Birman-Wenzl symmetry, and also the case when $S_h$ is the Yang-Baxter operator which appears by a representation of the Drinfeld-Jimbo quantum group. Applying the flatness criteria we prove that in all these cases we obtain flat deformations of the quadratic algebras and the corresponding quantum semigroups.

研究の動機と目的

• $V \otimes V$ の部分空間 $I_i$ への分解を用いて、二次代数およびそれらに付随する量子半群を変形する一般枠組みを構築すること。
• このような変形が平坦のまま保たれる条件を特定すること、特に代数 $A_k(I_1,\dots,I_n)$ の役割に注目すること。
• 対称および反対称テンソルの古典的ケースを、ヤン・バクスター作用素を介した量子群関連変形に拡張すること。
• ヘケおよびビルマン＝ウェンツル型の具体的な量子対称性変形の平坦性を証明すること。
• 変形において $A_k$ の次元と半単純性が一定であることが、二次代数および量子半群の平坦性を保証する十分条件であることを示すこと。

提案手法

• 分解 $V \otimes V = \oplus_{i=1}^n I_i$ から、$J_m = \oplus_{i \neq m} I_i$ により $n$ 個の二次代数 $(V, J_m)$ を定義する。
• すべてのこのような二次代数に作用する量子半群 $M(V; I_1, \dots, I_n)$ を構成する。
• $k \geq 2$ に対して、$A_k = A_k(I_1, \dots, I_n)$ とおく。これは古典的状況における対称群 $S_k$ の群代数を一般化する。
• 平坦性基準を確立する：$(V[[h]], J_{ih})$ および $M(V[[h]]; I_{1h}, \dots, I_{nh})$ の変形が平坦であるための必要十分条件は、変形において $A_k$ が半単純かつ次元が一定であることである。
• ヤン・バクスター作用素 $S$ の変形 $S_h$ を用いて、$I_{ih}$ を $S_h$ の固有空間として定義することで、元の構造の変形を可能にする。
• 平坦性基準を具体的なケースに適用する：ヘケ対称性、ビルマン＝ウェンツル対称性、およびドリンフェルド＝ジモの量子群表現に基づく変形。

実験結果

リサーチクエスチョン

• RQ1 二次代数 $(V[[h]], J_{ih})$ の変形が平坦であるための条件は何か？
• RQ2 代数 $A_k(I_1, \dots, I_n)$ の構造は、対応する量子半群および二次代数の変形の平坦性にどのように影響するか？
• RQ3 ヘケ、ビルマン＝ウェンツル、およびドリンフェルド＝ジモの量子群対称性に由来する変形に対しても、平坦性基準を適用可能か？
• RQ4 $A_k$ の半単純性と次元不変性が、変形された構造の平坦性を保証する役割は何か？
• RQ5 変形されたヤン・バクスター作用素 $S_h$ の固有空間は、元の分解 $V \otimes V = \oplus I_i$ の変形とどのように関係するか？

主な発見

• 二次代数 $(V[[h]], J_{ih})$ および量子半群 $M(V[[h]]; I_{1h}, \dots, I_{nh})$ の変形が平坦であることは、代数 $A_k(I_1, \dots, I_n)$ が変形において半単純かつ次元が一定のままであれば保証される。
• 古典的状況において $V \otimes V$ が対称テンソルと反対称テンソルに分解されるとき、代数 $A_k$ は対称群 $S_k$ の群代数に一致する。
• ヘケ対称性に由来する変形においても、平坦性基準が満たされ、対応する二次代数および量子半群の平坦変形が保証される。
• ビルマン＝ウェンツル対称性に由来する変形に対しても同様に、$A_k$-に基づく基準により平坦性が確認される。
• ドリンフェルド＝ジモの量子群のヤン・バクスター作用素に由来する変形に対しても、基準を適用することで平坦な二次代数および量子半群が得られることを検証した。
• この基準により、$A_k$ の変形における振る舞いにのみ依存する一元的な枠組みが得られ、多様な量子対称性変形の平坦性を検証できる。