[论文解读] Symmetries of 2d TQFTs and Equivariant Verlinde Formulae for General Groups

Sergei Gukov, Peijun Du+2 more|arXiv (Cornell University)|Nov 15, 2021

Black Holes and Theoretical Physics被引用 15

一句话总结

本文通过系统分析半单TQFT中的广义对称性——特别是0-形式和1-形式对称性——建立了一个统一的框架，用于2D TQFT中的等变Verlinde公式。通过规范对称性和$G$-Higgs丛模空间的几何量子化，该文推导出任意单群（包括$PSL(2,\bbC)$）的等变Verlinde代数，完整分类了$PSL(2,\bbC)$情形下的融合规则与迹结构。

ABSTRACT

We study (generalized) discrete symmetries of 2d semisimple TQFTs. These are 2d TQFTs whose fusion rules can be diagonalized. We show that, in this special basis, the 0-form symmetries always act as permutations while 1-form symmetries act by phases. This leads to an explicit description of the gauging of these symmetries. One application of our results is a generalization of the equivariant Verlinde formula to the case of general Lie groups. The generalized formula leads to many predictions for the geometry of Hitchin moduli spaces, which we explicitly check in several cases with low genus and SO(3) gauge group.

研究动机与目标

• 通过2D TQFT中广义对称性的视角，统一不同版本的Verlinde公式。
• 通过Higgs丛模空间的等变量子化，将Verlinde公式扩展至非单连通群，特别是$PSL(2,\bbC)$。
• 系统研究半单2D TQFT中0-形式与1-形式对称性的规范化及其对融合规则与迹结构的影响。
• 利用几何与范畴方法计算$PSL(2,\bbC)_k$的等变Verlinde代数与融合规则。
• 通过Hitchin特征与范畴化，建立$PSL(2,\bbC)$ Verlinde代数的几何实现。

提出的方法

• 利用2D半单TQFT与交换Frobenius代数之间的等价性，将TQFT数据编码为代数结构。
• 通过0-形式与1-形式对称性的有限规范化，从已有TQFT生成新TQFT，同时保持半单性。
• 通过分析群作用下（特别是$\mathbb{Z}_2^{(0)}$与$\mathbb{Z}_2^{(1)}$对称性）的划分函数与融合规则，推导等变Verlinde公式。
• 通过在单极点环面上对模空间$\mathcal{M}(PSL(2,\bbC))$进行几何量子化，计算$PSL(2,\bbC)$的Verlinde代数。
• 利用等变迹与Hitchin特征计算融合规则，整合对偶性与正定性约束。
• 应用结合性与正定性条件，唯一确定$PSL(2,\bbC)$情形下的融合系数，解决对称性约束带来的歧义。

实验结果

研究问题

• RQ1 广义对称性——特别是0-形式与1-形式对称性——如何统一不同版本的Verlinde公式？
• RQ2 $PSL(2,\bbC)$的等变Verlinde代数结构是什么？它如何从$\mathcal{M}(PSL(2,\bbC))$的几何量子化中产生？
• RQ3 $PSL(2,\bbC)_k$ TQFT中的融合规则如何从$SL(2,\bb{C})_k$理论的$\mathbb{Z}_2^{(1)}$与$\mathbb{Z}_2^{(0)}$对称性规范化中涌现？
• RQ4 对偶性与正定性对$PSL(2,\bb{C})_k$ Verlinde代数的融合系数施加了何种约束？
• RQ5 如何利用等变迹与Hitchin特征计算$\mathcal{T}(PSL(2,\bb{C})_k)$的融合规则？

主要发现

• 通过半单2D TQFT中0-形式与1-形式对称性的规范化，推导出任意单群的等变Verlinde公式。
• $PSL(2,\bb{C})_k$的融合规则通过结合对称性约束、结合性与正定性被完全确定，解决了融合系数的歧义。
• 在$PSL(2,\bb{C})$ Verlinde代数中，对$x^a \times x^b$，推导出融合规则$\widetilde{f}^{ab}{}_{c} = f^{ab}{}_{c} + f^{(k-a)b}{}_{c}$，反映了$\mathbb{Z}_2^{(0)}$对偶对称性。
• 融合系数$\widetilde{f}^{a\mu}{}_{b} = f^{a\frac{k}{2}}{}_{b}$被$\mathbb{Z}_2^{(0)}$对称性与正定性唯一固定，其中$\mu$标记两个$\mathbb{Z}_2$-扭变扇区。
• 对$x^\mu \times x^\nu$的融合产生$\sum_{\mu,\nu} \widetilde{f}^{\mu\nu}{}_{c} = 2f^{\frac{k}{2}\frac{k}{2}}{}_{c}$与$\sum_{\mu,\nu} \widetilde{f}^{\mu\nu}{}_{\frac{k}{2}} = f^{\frac{k}{2}\frac{k}{2}}{}_{\frac{k}{2}}$，与$\mathbb{Z}_2^{(0)}$对偶性一致。
• $PSL(2,\bb{C})$ Verlinde代数通过在单极点环面上对$\mathcal{M}(PSL(2,\bb{C}))$进行几何量子化，实现了范畴化实现，且等变迹与Hitchin特征计算结果一致。