[论文解读] Rationality and dense families of B(3) representations

Lieven Le Bruyn|arXiv (Cornell University)|Mar 8, 2010

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

一句话总结

该论文利用箭头表示和Luna切片，提出了一种有理参数化方法，用于构造$B_3$-表示的Zariski稠密族，证明6维表示可通过区分辫子与其逆来检测纽结$8_{17}$的非可逆性。关键结果是显式构造了在$\mathbb{Q}(\rho)$上具有8个有理参数的6维$B_3$-表示族，该族可将辫子$b$与其逆$b'$分离，且其迹不变量满足$\operatorname{Tr}(b) \neq \operatorname{Tr}(b')$。

ABSTRACT

Every irreducible component of the variety of semi-simple n-dimensional representations of the modular group has a Zariski dense subset contained in the image of an etale map from a rational quotient variety of representations of a fixed quiver Q. As an application we prove that there is a unique component of 6-dimensional representations of the three string braid group B(3) able to detect braid-reversion. Further, we give explicit rational parametrizations of dense families of simple B(3)-representations in all dimensions < 12.

研究动机与目标

• 通过表示理论区分三股辫子与其逆，解决分离问题。
• 将Tuba-Wenzl对$B_3$-简单表示的分类结果从维数5扩展至更高维。
• 为维数小于12的简单$B_3$-表示构造有理参数化稠密族。
• 证明检测$8_{17}$非可逆性的最小维数为6，而非更高。
• 提供一种基于SAGE的高效计算工具，用于测试最多8个交叉点的纽结中辫子的可逆性。

提出的方法

• 利用Luna切片理论，从有理商簇$\mathrm{iss}(Q,\alpha)$构造到$\mathrm{iss}_n B_3$的不可约分量的étale映射。
• 利用箭头表示的有理性结果，确保参数化簇$X_\alpha$为有理簇，从而实现显式参数化。
• 通过商去中心元$c$，将$B_3$-表示的研究简化为模群$\Gamma_0 = PSL_2(\mathbb{Z})$，从而简化几何结构。
• 在6维表示中，使用$\mathbb{Z}[\rho]$中的参数显式构造$\sigma_1$和$\sigma_2$的矩阵，其中$\rho$为单位根的本原三次单位根。
• 采用迹不变量$\operatorname{Tr}(b)$和$\operatorname{Tr}(b')$作为分离标准，若$\operatorname{Tr}(b) \neq \operatorname{Tr}(b')$，则表明属于不同的共轭类。
• 实现一个与SAGE兼容的算法，随机采样参数，并在最多8个交叉点的纽结中测试辫子的可逆性。

实验结果

研究问题

• RQ1 是否存在6维$B_3$-表示，可检测表示纽结$8_{17}$的辫子$b$与它的逆$b'$不共轭？
• RQ2 是否存在6维简单$B_3$-表示的Zariski稠密族的有理参数化？
• RQ3 能够区分辫子与其逆的$B_3$-表示的最小维数是多少？
• RQ4 该方法能否推广至为所有维数小于12的简单$B_3$-表示提供有理参数化？
• RQ5 使用该表示族，哪些最多8个交叉点且具有三股辫闭包的纽结可被检测为非可逆？

主要发现

• 在$\mathrm{iss}_6 B_3$中，维数为8的分量是四个不可约分量中唯一能将$b$与$b'$分离的，确认其为最小此类分量。
• 存在显式的6维$B_3$-表示，满足$\operatorname{Tr}(b) = -7128\rho - 1092$且$\operatorname{Tr}(b') = 7128\rho + 6036$，证明$b$与$b'$不共轭。
• 对于分量$6a$和$6c$，所有表示均满足$\operatorname{Tr}(b) = \operatorname{Tr}(b')$，因此无法检测非可逆性。
• $6b$分量提供了一个在$\mathbb{Q}(\rho)$上的有理8参数族$B_3$-表示，可在Zariski开子集上将$b$与$b'$分离。
• 该方法成功利用迹不变量区分了$6_3$、$7_5$、$8_7$、$8_9$、$8_{10}$和$8_{17}$的逆辫子。
• SAGE实现允许高效测试所有最多8个交叉点的三股辫纽结中辫子的可逆性，证实了该方法的实际效用。