[論文レビュー] q-Pascal's triangle and irreducible representations of the braid group B_3 in arbitrary dimension

Sergio Albeverio, Alexandre Kosyak|ArXiv.org|Mar 19, 2008

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

ひとこと要約

この論文は、$q$-Pascalの三角形の$ q $-変形を用いて、任意の次元 $ n+1 $ における braid 群 $ B_3 $ の新しい非可約表現の族を構成する。これは、Humphries や Ferrand らの先行研究を一般化したものであり、$ q $-二項係数とパラメータ化された対角行列 $ \Lambda $ を用い、$[\frac{n+1}{2}]+1$ 個のパラメータからなる表現族を構成する。この表現族は特定の条件下で非可約であり、量子群や最高重量モジュールと関連している。

ABSTRACT

We construct a [(n+1)/2]+1 parameters family of irreducible representations of the Braid group B_3 in arbitrary dimension n\in N, using a q-deformation of the Pascal triangle. This construction extends in particular results by S.P.Humphries [8], who constructed representations of the braid group B_3 in arbitrary dimension using the classical Pascal triangle. E.Ferrand [7] obtained an equivalent representation of B_3 by considering two special operators in the space C^n[X]. Slightly more general representations were given by I.Tuba and H.Wenzl [11]. They involve [(n+1)/2] parameters (and also use the classical Pascal triangle). The latter authors also gave the complete classification of all simple representations of B_3 for dimension n\leq 5. Our construction generalize all mentioned results and throws a new light on some of them. We also study the irreducibility and the equivalence of the representations. In [17] we establish the connection between the constructed representation of the braid group B_3 and the highest weight modules of U(sl_2) and quantum group U_q(sl_2).

研究の動機と目的

• 古典的パスカルの三角形に基づく $ B_3 $ 表現の構成を、より豊かなパラメータ依存性を持つ $ q $-変形フレームワークに一般化すること。
• Humphries や Ferrand、Tuba–Wenzl の結果を包含・拡張する統一的枠組みを提供すること。
• 次元 $ n+1 $ における $ B_3 $ の非可約表現族を、$[\frac{n+1}{2}]+1$ 個の複素数パラメータでパラメータ化すること。
• 作用素論的および組合せ論的手法を用いて、これらの表現の非可約性および同値性の条件を解明すること。
• 構成された表現と $ U_q(\mathfrak{sl}_2) $ および $ U(\mathfrak{sl}_2) $ の最高重量モジュールとの関連を確立すること。

提案手法

• 構成は、$ q $-二項係数 $ \binom{n}{k}_q $ を用いて定義される $ q $-パスカルの三角形に基づき、$ \mathbb{C}^{n+1} $ 上で作用する行列 $ \sigma_1(q,n) $ および $ \sigma_2(q,n) $ を定義する。
• パラメータ $ \lambda_0, \dots, \lambda_n $ を満たす対角行列 $ \Lambda = \mathrm{diag}(\lambda_0, \dots, \lambda_n) $ を導入し、$ \lambda_0\lambda_n \frac{q_r q_{n-r}}{q_n} = \lambda_r \lambda_{n-r} $ を満たすことで、ブレッド関係との整合性を保証する。
• Braid 群の生成子は $ \sigma_1 \mapsto \sigma_1(q,n)\Lambda $、$ \sigma_2 \mapsto \Lambda^\sharp \sigma_2(q,n) $ と写像され、ここで $ \Lambda^\sharp $ は逆順の対角行列である。
• 非可約性は、部分空間の非可約性や可約性の反例を用いた作用素論的基準によって分析される。
• 異なる $ \Lambda $ パラメータにおける $ \sigma_1 $ および $ \sigma_2 $ の作用の比較を通じて、表現の同値性が検討される。
• $ \mathbb{C}^n[X] $ 上に Ferrand の作用素 $ \Phi(q) $ および $ \Psi(q) $ の $ q $-アナロジーを定義し、それらがブレッド関係 $ \Phi\Psi\Phi = \Psi\Phi\Psi $ を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的パスカルの三角形に基づく $ B_3 $ 表現を、より豊かなパラメータ依存性を持つ $ q $-変形フレームワークに一般化できるか？
• RQ2 対角行列 $ \Lambda $ にどのような条件を課すと、構成された $ B_3 $ 表現が非可約になるか？
• RQ3 $ q $-パスカルの三角形の構成は、量子群 $ U_q(\mathfrak{sl}_2) $ の表現理論とどのように関連するか？
• RQ4 異なる $ \Lambda $ パラメータの選択において、構成された表現は同値か？
• RQ5 この $ q $-変形表現と $ \mathrm{SL}(2,\mathbb{Z}) $ 表現の $ n $ 乗対称冪との正確な関係は何か？

主な発見

• この論文は、$ q $-パスカルの三角形を用いて、次元 $ n+1 $ における $[\frac{n+1}{2}]+1$ 個のパラメータからなる非可約 $ B_3 $ 表現族を構成する。
• 表現が非可約であるための必要十分条件は、すべての $ 0 \leq r \leq n $ に対して $ \lambda_0\lambda_n \frac{q_r q_{n-r}}{q_n} = \lambda_r \lambda_{n-r} $ を満たすことである。
• この構成は、Humphries の $ q=1 $、$ \Lambda=I $ の場合を一般化し、Tuba–Wenzl の $[\frac{n+1}{2}]$ パラメータ族を拡張する。
• $ q $-アナロジーとしての Ferrand の作用素 $ \Phi(q) $ および $ \Psi(q) $ は、ブレッド関係 $ \Phi\Psi\Phi = \Psi\Phi\Psi $ を満たし、$ q $-変形ブレッド関係の成立を示す。
• 表現が $ \rho: B_3 \to \mathrm{SL}(2,\mathbb{Z}) $ を通じて、標準的 $ \mathrm{SL}(2,\mathbb{Z}) $ 表現の $ n $ 乗対称冪と同型であることが示された。
• 併論文において、この構成と $ U_q(\mathfrak{sl}_2) $ の最高重量モジュールとの関連が確立され、量子群表現理論と結びつけられた。