[论文解读] Abelian Chern-Simons theory with toral gauge group, modular tensor categories, and group categories

Spencer D. Stirling|ArXiv.org|Jul 17, 2008

Black Holes and Theoretical Physics参考文献 50被引用 20

一句话总结

本文建立了具有环形规范群 $\mathrm{U}(1)^N$ 的阿贝尔陈-西蒙斯理论与由配备二次型和双线性配对的有限阿贝尔群构造的模张量范畴之间的对应关系。通过使用具有扭曲结合律和辫子结构的群范畴，作者证明了来自量子环形陈-西蒙斯理论的映射类群的投影表示与来自相应模张量范畴的表示同构，从而完成了对这些拓扑量子场论的范畴分类。

ABSTRACT

Classical and quantum Chern-Simons with gauge group $ ext{U}(1)^N$ were classified by Belov and Moore in \cite{belov_moore}. They studied both ordinary topological quantum field theories as well as spin theories. On the other hand a correspondence is well known between ordinary $(2+1)$-dimensional TQFTs and modular tensor categories. We study group categories and extend them slightly to produce modular tensor categories that correspond to toral Chern-Simons. Group categories have been widely studied in other contexts in the literature \cite{frolich_kerler},\cite{quinn},\cite{joyal_street},\cite{eno},\cite{dgno}. The main result is a proof that the associated projective representation of the mapping class group is isomorphic to the one from toral Chern-Simons. We also remark on an algebraic theorem of Nikulin that is used in this paper.

研究动机与目标

• 以模张量范畴的形式对具有环形规范群 $\mathrm{U}(1)^N$ 的阿贝尔陈-西蒙斯理论进行分类。
• 从配备二次型 $q:\mathcal{D} \to \mathbb{Q}/\mathbb{Z}$ 和签名不变量 $c \in \mathbb{Z}/24\mathbb{Z}$ 的有限阿贝尔群 $\mathcal{D}$ 构造模张量范畴。
• 证明来自量子环形陈-西蒙斯理论的映射类群的投影表示与所构造的模张量范畴导出的表示完全一致。
• 阐明尼库林提升定理在偶格与二次型背景下的作用，并通过反例展示其局限性。

提出的方法

• 构造 $\mathcal{D}$-分次向量空间的范畴 $\mathscr{C}_{(\mathcal{D},q)}$，其结合律与辫子结构由二次型 $q$ 所诱导并带有扭曲。
• 利用双线性型 $b(x,y) = q(x+y) - q(x) - q(y) + q(0)$ 在 $\mathscr{C}_{(\mathcal{D},q)}$ 上定义辫子张量结构，确保与群结构相容。
• 证明当 $q$ 非退化且满足高斯和条件时，$\mathscr{C}_{(\mathcal{D},q)}$ 是一个模张量范畴。
• 通过显式计算表示矩阵，建立来自陈-西蒙斯理论的映射类群 $\mathrm{MCG}(\Sigma)$ 的投影表示与来自模张量范畴的表示之间的同构。
• 利用尼库林关于将二次型提升至偶格的定理，分析此类提升的障碍，并构造反例，表明高斯和条件无法保证能提升至偶格。
• 验证高斯和公式 $\frac{1}{\sqrt{|\mathcal{D}|}} \sum_{x \in \mathcal{D}} e^{2\pi i q(x)} = e^{2\pi i \cdot C/8}$ 正确计算了判别形式的签名 $C \mod 8$。

实验结果

研究问题

• RQ1 具有规范群 $\mathrm{U}(1)^N$ 的阿贝尔陈-西蒙斯理论对应哪个模张量范畴？
• RQ2 如何利用具有扭曲结合律和辫子结构的群范畴，构造出能模拟环形陈-西蒙斯理论的模张量范畴？
• RQ3 来自陈-西蒙斯理论的映射类群的投影表示是否与来自模张量范畴的表示同构？
• RQ4 有限阿贝尔群上的广义二次型在何种条件下可提升至偶格？
• RQ5 在尼库林提升定理的背景下，高斯和在确定判别形式签名中的作用是什么？

主要发现

• 来自量子环形陈-西蒙斯理论的映射类群 $\mathrm{MCG}(\Sigma)$ 的投影表示与来自模张量范畴 $\mathscr{C}_{(\mathcal{D},q)}$ 的表示同构，建立了完整的范畴对应关系。
• 构造了一个反例：在 $\mathbb{Z}_4$ 上存在一个广义二次型 $q$，满足 $q(0) = 0$ 但非纯型，其关联的高斯和为 1，意味着 $C \equiv 0 \mod 8$，但该形式无法提升至偶格。
• 高斯和公式 $\frac{1}{\sqrt{|\mathcal{D}|}} \sum_{x \in \mathcal{D}} e^{2\pi i q(x)} = e^{2\pi i C/8}$ 正确计算了判别形式的签名 $C \mod 8$。
• 在 $\mathbb{Z}_4$ 上，双线性型 $b(1/4,1/4) = 1/4$ 仅有两种纯二次型修正，其高斯和分别给出 $C \equiv 1$ 或 $5 \mod 8$，这与假设偶格提升所需的 $C \equiv 0 \mod 8$ 矛盾。
• 原始二次型无法提升至偶格的事实表明，条件 $q(nx) = n^2 q(x)$ 对于此类提升是必要的，且仅靠高斯和条件不足以保证其成立。
• 本文确认，数据 $(\mathcal{D}, q, c)$ 其中 $c \in \mathbb{Z}/24\mathbb{Z}$ 完全分类了量子环形陈-西蒙斯理论，且所关联的模张量范畴完整捕捉了所有拓扑数据。