[论文解读] A systematic search of knot and link invariants beyond modular data

Colleen Delaney, Alan Tran|arXiv (Cornell University)|Jun 7, 2018

Geometric and Algebraic Topology参考文献 3被引用 6

一句话总结

本文系统研究了在群 $G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$ 的秩 49 模式范畴 $χ(\mathrm{Vec}_G^\omega)$ 中的纽结与链结不变量，表明某些不变量——尤其是来自小纽结与链结的不变量——携带的信息多于模数据本身。关键结果是，$5_2$ 纽结及若干其他链结无需依赖模数据即可明确区分这些范畴，揭示了此类不变量在传统模不变量之外的强大区分能力。

ABSTRACT

The smallest known example of a family of modular categories that is not determined by its modular data are the rank 49 categories $\mathcal{Z}( ext{Vec}_G^ω)$ for $G=\mathbb{Z}_{11} times \mathbb{Z}_{5}$. However, these categories can be distinguished with the addition of a matrix of invariants called the $W$-matrix that contains intrinsic information about punctured $S$-matrices. Here we show that it is a common occurrence for knot and link invariants to carry more information than the modular data. We present the results of a systematic investigation of the invariants for small knots and links. We find many small knots and links that are complete invariants of the $\mathcal{Z}( ext{Vec}_G^ω)$ when $G=\mathbb{Z}_{11} times \mathbb{Z}_{5}$, including the $5_2$ knot.

研究动机与目标

• 调查当模数据本身不足以区分时，纽结与链结不变量是否能够区分模张量范畴。
• 在 Mignard-Schauenburg 反例的背景下，识别出携带比模数据更多信息的具体小纽结与链结。
• 系统分析在 $\mathcal{Z}(\mathrm{Vec}_G^\omega)$ 范畴中，纽结至 10 个交叉点、链结至 9 个交叉点的不变量，其中 $G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$。
• 证明 $W$-矩阵及其他链结不变量可提供关于穿孔 $S$-矩阵的内在信息，从而增强范畴间的区分能力。

提出的方法

• 作者通过 $B_3$ 中辫子字的量子迹计算纽结与链结的量子不变量，利用群 $G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$ 及其上同调 $H^3(G; U(1))$ 的表示理论。
• 使用 $W$-矩阵（源自 Whitehead 链结的不变量矩阵）捕捉穿孔 $S$-矩阵的信息，并检验其区分能力。
• 定义模置换为任意 anyon 重标记操作，保持 $S$ 与 $T$ 矩阵元素仅在排列意义下不变，从而实现在不同范畴间比较不变量。
• 利用作者提供的 Mathematica 工具包计算不变量，其基于群及其 3-上循环的代数数据。
• 分析聚焦于可表示为 $B_3$ 中辫子闭合的链结，排除仅由模数据决定的 $B_2$ 链结。
• 研究采用计算工具，包括加州大学圣塔芭芭拉分校的 Knot Cluster，以枚举并评估五种非等价范畴中的不变量。

实验结果

研究问题

• RQ1 当模数据相同时，纽结与链结不变量能否区分模张量范畴？
• RQ2 是否存在特定的小纽结与链结，可作为五种秩 49 范畴 $\mathcal{Z}(\mathrm{Vec}_G^\omega)$（$G = \mathbb{Z}_{11} \rtimes \mathbb{Z}_5$）的完全不变量？
• RQ3 像 $W$-矩阵或 Borromean 环链结的不变量，能携带多少超越 $S$ 与 $T$ 矩阵的信息？
• RQ4 $5_2$ 纽结是否足以在不依赖模数据的情况下区分这些范畴？
• RQ5 有限个带框架的链结能否作为所有模张量范畴的完全不变量？

主要发现

• $5_2$ 纽结是一种强有力的不变量，可在不依赖模数据的情况下区分所有五种非等价的 $\mathcal{Z}(\mathrm{Vec}_G^\omega)$ 范畴。
• 双曲纽结（$4_1$）与 Borromean 环链结（$6^3_2$）在结合模数据时可弱区分范畴，但其自身无法独立实现区分。
• $W$-矩阵（源自 Whitehead 链结）是一种强大不变量，当与模数据结合使用时，可明确区分五种范畴。
• 对于 Borromean 环链结，所有标记为 $B$-型 anyon 的不变量均为 11，与 quandle 着色计数一致，且由于 writhe 为零而呈现整数值。
• Borromean 环链结的不变量行为与双曲纽结完全相同，二者均弱区分范畴。
• 本研究证实，在非自对偶或非阿贝尔范畴中，小纽结与链结携带的信息通常多于模数据本身，这是常见现象。