[论文解读] On Arithmetic Modular Categories

Orit Davidovich, Tobias Hagge+1 more|arXiv (Cornell University)|May 9, 2013

Algebraic structures and combinatorial models参考文献 34被引用 16

一句话总结

本文证明了每个复数上的模范畴都存在一个定义域数域 Kₖ，使得其 F-、R-、S- 和 T- 矩阵的元素均属于 Kₖ，从而为模范畴建立了算术基础。作者引入伽罗瓦扭变（Galois twists）以在伽罗瓦作用下将模范畴组织成轨道，提供了一种从已有范畴构造新范畴的构造性方法，同时保持融合规则不变。

ABSTRACT

Modular categories are important algebraic structures in a variety of subjects in mathematics and physics. We provide an explicit, motivated and elementary definition of a modular category over a field of characteristic 0 as an equivalence class of solutions to a set of polynomial equations. We conclude that within each class of solutions, there is one which consists entirely of algebraic numbers. These algebraic solutions make it possible to discuss defining algebraic number fields of modular categories and their Galois twists. One motivation for such a definition is an arithmetic theory of modular categories which plays an important role in their classification. Another is to facilitate implementation of computer-based tools to resolve computational and classification problems intractible by other means. We observe some basic properties of Galois twists of modular categories and make conjectures about their relation to the the intrinsic data of modular categories.

研究动机与目标

• 通过证明存在定义域代数数域，为模范畴建立严格的算术基础。
• 解决一个开放问题：每个复数上的融合范畴是否都有一个分圆定义数域，特别是针对模范畴。
• 开发一种系统方法，利用定义数域上的伽罗瓦作用，从已有范畴生成新的模范畴。
• 探讨定义数域对分类幺正模范畴的影响，这些范畴与拓扑量子计算和凝聚 matter 物理密切相关。

提出的方法

• 作者将模范畴定义为多项式方程组（即模系统）的解，将数值数据（F、R、S、T 矩阵及 ε 向量）表示为代数簇上的点。
• 他们证明，在适当的规范选择下，F、R、S 和 T 的所有矩阵元素均可被限制在单个代数数域 Kₖ 内，从而确保算术可定义性。
• 该方法利用规范等价性消除基依赖的歧义，将问题简化为在数域上求解多项式方程。
• 引入伽罗瓦扭变作为通过将域自同构作用于数值数据元素来生成新模范畴的方法，同时保持融合规则不变。
• 论文使用超环（hyperrings）理论和自由阿贝尔群上的群同态，通过非零 F-符号值比值的条件来刻画规范等价性。
• 通过自由群中非零符号支撑集的子群 S 上的关系，建立规范等价性的判定准则，确保在域自同构下的一致性。

实验结果

研究问题

• RQ1 每个复数上的模范畴是否都存在一个定义域代数数域 Kₖ，使得其所有数值数据元素均属于 Kₖ？
• RQ2 对定义数域的伽罗瓦作用是否能生成所有具有相同融合规则的模范畴？
• RQ3 对于给定的模范畴，是否存在一个规范的定义数域选择，特别是最小次数的分圆域？
• RQ4 是否存在无法在任何分圆域中表示的模范畴（即分圆外范畴）？
• RQ5 能否在多项式时间内计算模范畴的定义数域，特别是对量子计算中相关的幺正模范畴？

主要发现

• 每个复数上的模范畴都存在一个定义域代数数域 Kₖ，使得其所有 F-、R-、S- 和 T- 矩阵元素均属于 Kₖ，从而证明了算术可定义性。
• 该数域的存在性通过模系统（即一组多项式方程）得以确立，其解对应于模范畴的等价类。
• 伽罗瓦扭变提供了一种方法，通过将自同构作用于数值数据元素，从给定模范畴生成新模范畴，同时保持融合规则不变。
• 两个融合系统规范等价，当且仅当其非零 F-符号值的比值可扩张为自由群中支撑集关系子群上的群同态。
• 论文表明，规范等价的条件可简化为验证某些 F-符号比值的乘积在关系子群 S 的基上是否等于 1。
• 作者猜想不存在分圆外的模范畴，且所有幺正模范畴都不是图灵多项式外范畴，这意味着在物理模型中具有高效可计算性。