[论文解读] 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

一句话总结

该论文利用Pascal三角形的$ q $-变形，构建了任意维数$n+1$下$b_3$ braid群的新型不可约表示族，推广了Humphries、Ferrand以及Tuba–Wenzl的先前结果。该构造采用$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).

研究动机与目标

• 将基于经典Pascal三角形的$B_3$表示构造推广至具有更丰富参数依赖性的$q$-形变框架。
• 提供一个统一框架，涵盖并扩展Humphries、Ferrand以及Tuba–Wenzl的结果。
• 建立一个在维数$n+1$下由$[\frac{n+1}{2}]+1$个复参数参数化的$B_3$不可约表示族。
• 利用算子理论与组合方法研究这些表示的不可约性与等价性条件。
• 将所构造的表示与$U_q(\mathfrak{sl}_2)$及$U(\mathfrak{sl}_2)$的最高权模联系起来。

提出的方法

• 通过$q$-二项式系数$\binom{n}{k}_q$定义的$q$-Pascal三角形，用于在$\mathbb{C}^{n+1}$上定义矩阵$\sigma_1(q,n)$与$\sigma_2(q,n)$。
• 引入一个满足$\lambda_0\lambda_n \frac{q_r q_{n-r}}{q_n} = \lambda_r \lambda_{n-r}$的对角矩阵$\Lambda = \mathrm{diag}(\lambda_0, \dots, \lambda_n)$，以确保与辫子关系的一致性。
• 将$B_3$的生成元映射为$\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 能否将基于经典Pascal三角形的$B_3$表示推广至具有更丰富参数依赖性的$q$-形变框架？
• RQ2 对角矩阵$\Lambda$需满足何种条件，才能保证所构造的$B_3$表示为不可约？
• RQ3 $q$-Pascal三角形构造与量子群$U_q(\mathfrak{sl}_2)$的表示理论有何关联？
• RQ4 不同$\Lambda$参数选择下所构造的表示是否等价？
• RQ5 该$q$-形变表示与$\mathrm{SL}(2,\mathbb{Z})$表示的第$n$重对称幂之间的确切联系为何？

主要发现

• 本文基于$q$-Pascal三角形，构造了一个含有$[\frac{n+1}{2}]+1$个参数的$B_3$不可约表示族，其维数为$n+1$。
• 当且仅当所有$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}]$-参数族。
• $\Phi(q)$与$\Psi(q)$的$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)$最高权模之间的联系，将构造与量子群表示理论相连接。