[论文解读] A Short Guide to Anyons and Modular Functors

Simon Burton|arXiv (Cornell University)|Oct 17, 2016

Advanced Mathematical Theories被引用 4

一句话总结

本文在任意子的代数语言（通过辫子融合范畴和F/R-变换）与(2+1)D拓扑量子场论中的拓扑框架——模函子之间建立了严格的桥梁。它表明，标准任意子演算自然地源于模函子，通过展示一维的弦图排序现象实则源于二维拓扑不变性而得以解决。

ABSTRACT

To the working physicist, anyon theory is meant to describe certain quasi-particle excitations occurring in two dimensional topologically ordered systems. A typical calculation using this theory will involve operations such as $\otimes$ to combine anyons, $F^{abc}_{d}$ to re-associate such combinations, and $R^{ab}_c$ to commute or braid these anyons. Although there is a powerful string-diagram notation that greatly assists these manipulations, we still appear to be operating on particles arranged on a one-dimensional line, algebraically ordered from left to right. The obvious question is, where is the other dimension? The topological framework for considering these anyons as truly living in a two dimensional space is known as a modular functor, or topological quantum field theory. In this work we show how the apparently one-dimensional algebraic anyon theory is secretly the theory of anyons living in a fully two-dimensional system. The mathematical literature covering this secret is vast, and we try to distill this down into something more manageable.

研究动机与目标

• 澄清通过辫子融合范畴描述的任意子与它们在二维系统中的拓扑实现之间的联系。
• 解决任意子耦合与辫子的一维代数记法与其真正的二维空间起源之间的概念脱节问题。
• 表明标准任意子操作（F-变换、R-变换）自然地源自模函子的公理。
• 为为何模函子是二维系统中任意子的正确拓扑框架提供物理和数学上的依据。
• 警惕寻求单一‘真正’的TQFT形式化，同时阐明在任意子标记中（确定电荷态与叠加态）的区别。

提出的方法

• 以低维流形和cobordism为起点，使用模函子形式化作为任意子理论的拓扑基础。
• 将代数任意子理论（耦合、辫子、F/R-变换）作为模函子公理的衍生结构构建。
• 应用重构定理，证明R-变换在曲线图上作用是传递的，从而实现任意两个构型之间的变换。
• 使用曲线图和同伦类来表示带穿孔曲面的微分同胚，将其视为赤道像的等价物。
• 将五边形方程和六边形方程作为源自拓扑不变性的相容性条件，而非人为代数施加。
• 为简化起见，忽略基点歧义和全局相位因子，承认它们仅在计算中引入全局相位。

实验结果

研究问题

• RQ1 标准任意子代数演算（耦合、辫子、F/R-变换）如何从拓扑量子场论框架中自然涌现？
• RQ2 为何一维弦图记法描述的任意子不与其真正的二维空间本质相矛盾？
• RQ3 模函子在(2+1)D中实现任意子统计的精确数学角色是什么？
• RQ4 五边形方程和六边形方程如何自然地源自拓扑一致性，而非人为代数施加？
• RQ5 在模函子语境下，将任意子标记为确定电荷态与叠加态有何重要意义？

主要发现

• 标准任意子操作——通过⊗的耦合、通过F-变换的重结合、通过R-变换的辫子——并非任意的代数规则，而是源自模函子公理的推导结果。
• 五边形方程和六边形方程并非假设，而是模函子在同伦下不变性所导出的拓扑相容性条件。
• 重构定理证明R-变换在曲线图上作用是传递的，意味着任意任意子构型均可通过一系列辫子变换相互转化。
• 弦图中看似的一维排序是记法的产物；其底层结构是完全二维的，曲线图编码了同伦类下的微分同胚。
• 使用确定电荷态（而非叠加态）在物理上是合理的，因其具有稳定性，并与某些模函子表述（如Walker、Freedman等人）一致。
• 基点位置引起的全局相位歧义不影响物理预测，因为它们是不可观测的，可在拓扑不变量中忽略。