[论文解读] Braid representations from quantum groups of exceptional Lie type

Eric C. Rowell|arXiv (Cornell University)|Apr 23, 2010

Algebraic structures and combinatorial models参考文献 23被引用 11

一句话总结

本文证明了在根为单位根时，来自例外李型（E, F, G）量子群的辫子群表示，当其对应的融合范畴不是弱积分时，其像为无限。通过表示理论与融合范畴的分类，作者证明非弱积分范畴不满足性质F，为该猜想提供了有力证据：即弱积分性是辫子群像有限的必要且充分条件。

ABSTRACT

We study the problem of determining if the braid group representations obtained from quantum groups of types $E, F$ and $G$ at roots of unity have infinite image or not. In particular we show that when the fusion categories associated with these quantum groups are not weakly integral, the braid group images are infinite. This provides further evidence for a recent conjecture that weak integrality is necessary and sufficient for the braid group representations associated with any braided fusion category to have finite image.

研究动机与目标

• 研究在根为单位根时，来自例外李型（E, F, G）量子群的辫子群表示是否具有有限像或无限像。
• 检验猜想：一个辫子融合范畴具有性质F（即辫子群像有限）当且仅当它是弱积分的。
• 对例外李型量子群中的弱积分范畴进行分类，并证明非弱积分情形下像为无限。
• 将经典李型（A, B, C, D）的已有结果推广至例外情形，完成对猜想必要方向的验证。

提出的方法

• 作者通过融合范畴中单个对象张量积上的不可约表示，分析辫子群B₃的表示理论。
• 应用文献[18]中的判别准则，将B₃像的本原性与无穷性与生成元的投影阶联系起来，特别关注σ₁像的阶。
• 利用q-变形的Weyl特征标公式，根据m是否整除ℓ（m为根长平方比），计算单个对象的弗罗贝尼乌斯-佩罗尼维数（FPdim）。
• 对于非弱积分情形，作者证明了辫子生成元像的投影阶至少为8，从而通过本原性推得像为无限。
• 通过将范畴与已知具有无限像的范畴（如斐波那契范畴和伊辛范畴）关联，验证了E₇和E₈情形的结果。
• 稳定范围假设确保了表示空间的不可约性，从而可应用本原性判别准则。

实验结果

研究问题

• RQ1 若与量子群例外李型（E, F, G）在单位根处相关的融合范畴不是弱积分的，则其辫子群表示是否具有有限像？
• RQ2 在来自例外型量子群的辫子融合范畴中，弱积分性是否为性质F（即辫子群像有限）的必要条件？
• RQ3 能否通过表示理论准则，确立非弱积分例外范畴中辫子群像的无穷性？
• RQ4 在例外量子群范畴中，单个对象的FP维数在单位根处的行为如何？这又对辫子群像的有限性有何含义？
• RQ5 在低秩或特殊参数情形下，E、F、G型是否存在该猜想的例外情况？

主要发现

• 在根为单位根时，来自例外李型（E, F, G）非弱积分量子群的辫子群表示具有无限像。
• 对于C(𝔢₇, q, 20)和C(𝔢₈, q, 33)等范畴，其像为无限，原因在于其可分解为已知具有无限像的范畴（如斐波那契范畴）。
• 在不可约表示空间H上，B₃的像是本原且无限的，因为σ₁的投影阶至少为8。
• 单个对象的弗罗贝尼乌斯-佩罗尼维数公式取决于m是否整除ℓ，长根系统与短根系统有不同表达式。
• 结果证实非弱积分范畴不满足性质F，支持了弱积分性是辫子群像有限的必要条件的猜想。
• 该证明将经典李型（A, B, C, D）的已知结果推广至例外情形，完成了对猜想必要方向的完整验证。