[论文解读] Logarithmic Link Invariants of $\overline{U}_q^H(\mathfrak{sl}_2)$ and Asymptotic Dimensions of Singlet Vertex Algebras

Thomas Creutzig, Antun Milas+1 more|arXiv (Cornell University)|May 18, 2016

Algebraic structures and combinatorial models参考文献 27被引用 12

一句话总结

本文建立了在单位根处的受限展开量子群 $\overline{U}_q^H(\mathfrak{sl}_2)$ 与单子顶点代数 $\mathcal{M}(r)$ 之间的范畴联系，表明 $\mathcal{M}(r)$ 特征的正则化渐近维数与来自投射模的开霍普夫链不变量的修正迹完全匹配。通过可变形模族，作者高效计算了这些不变量，揭示了虚假theta函数中正则化参数的新型拓扑解释。

ABSTRACT

We study relationships between the restricted unrolled quantum group $\overline{U}_q^H(\mathfrak{sl}_2)$ at $2r$-th root of unity $q=e^{πi/r}, r \geq 2$, and the singlet vertex operator algebra $\mathcal M(r)$. We use deformable families of modules to efficiently compute $(1, 1)$-tangle invariants colored with projective modules of $\overline{U}_q^H(\mathfrak{sl}_2)$. These relate to the colored Alexander tangle invariants studied in [ADO, M1]. It follows that the regularized asymptotic dimensions of characters of $\mathcal M(r)$ coincide with the corresponding modified traces of open Hopf link invariants. We also discuss various categorical properties of $\mathcal M(r)$-mod in connection to braided tensor categories.

研究动机与目标

• 为单子顶点代数 $\mathcal{M}(r)$ 的特征渐近维数提供范畴解释，这些维数已知与融合环相关，但缺乏清晰的范畴基础。
• 弥合受限展开量子群 $\overline{U}_q^H(\mathfrak{sl}_2)$ 与单子顶点代数 $\mathcal{M}(r)$ 的表示理论，特别是在非半单、无限长度的设定下。
• 开发一种基于形变的计算方法，用于计算以投射模着色的开霍普夫链不变量，避免依赖已知的张量环结构。
• 确立 $C_1$-余有限的 $\mathbb{N}$-分次 $\mathcal{M}(r)$-模范畴在 HLZ 框架下成为有 braided 张量范畴结构的条件。

提出的方法

• 作者利用可变形模族计算 $\overline{U}_q^H(\mathfrak{sl}_2)$ 的投射模着色的 $(1,1)$-辫子不变量，将村上-永友技术推广至展开量子群设定。
• 通过将正则化参数识别为量子群框架中的拓扑不变量，将这些不变量与 $\mathcal{M}(r)$ 特征的正则化渐近维数联系起来。
• 计算依赖于有 braided 结构的张量范畴中开霍普夫链不变量的结构，此类不变量已知代表张量环的表示。
• 作者将 HLZ 张量范畴公理由应用于 $\mathcal{C}$（即 $C_1$-余有限的 $\mathbb{N}$-分次 $\mathcal{M}(r)$-模范畴），在适当假设下验证其在 $P(z)$-张量积与对偶函子下封闭。
• 假设 $C_1$-余有限模具有有限长度，以确保 $L(0)$-广义权空间条件（假设 10.1(vi)）成立，从而支持有 braided 结构的构造。
• 分析中还与海森堡顶点代数 $F_0$ 进行了比较，表明其模范畴是半单的，且不变量更少，凸显了 $\mathcal{M}(r)$ 的独特性。

实验结果

研究问题

• RQ1 单子顶点代数 $\mathcal{M}(r)$ 的特征渐近维数如何与 $\overline{U}_q^H(\mathfrak{sl}_2)$ 的量子不变量相关？
• RQ2 能否使用形变技术高效计算 $\overline{U}_q^H(\mathfrak{sl}_2)$ 的投射模的开霍普夫链不变量？
• RQ3 在什么条件下，$C_1$-余有限的 $\mathbb{N}$-分次 $\mathcal{M}(r)$-模范畴具有何种范畴结构？其是否为有 braided 结构？
• RQ4 用于渐近维数的虚假theta函数中正则化参数是否具有拓扑或量子群论解释？
• RQ5 在有 braided 张量范畴的背景下，$\overline{U}_q^H(\mathfrak{sl}_2)$-模与 $\mathcal{M}(r)$-模的子范畴之间是否存在张量等价？

主要发现

• 正则化后的 $\mathcal{M}(r)$ 特征渐近维数与 $\overline{U}_q^H(\mathfrak{sl}_2)$ 的投射模着色的开霍普夫链不变量的修正迹完全一致。
• 形变方法使得无需依赖完整张量环结构，即可高效计算 $(1,1)$-辫子不变量，开辟了新的计算路径。
• 在假设所有有限生成的 $\mathbb{N}$-分次广义模均为 $C_1$-余有限的条件下，有限长度的 $C_1$-余有限 $\mathbb{N}$-分次 $\mathcal{M}(r)$-模范畴 $\mathcal{C}_{\text{fin}}$ 满足 HLZ 公理，从而允许有 braided 张量范畴结构。
• 虚假theta函数形式中正则化参数被解释为源自量子群不变量的拓扑不变量，为数论与量子拓扑之间建立了新颖联系。
• 单子顶点代数 $\mathcal{M}(r)$ 成为研究超越 $C_2$-余有限性的范畴结构的关键测试平台，其表示理论与对数量子不变量密切相关。
• 海森堡顶点代数 $F_0$ 的模范畴被证明是半单的，与 $\mathcal{M}(r)$ 形成鲜明对比，因此不产生非平凡的量子不变量，凸显了 $\mathcal{M}(r)$ 的丰富性。