[论文解读] Classification of Rank 6 Modular Categories with Galois Group $\langle (012)(345) angle$

David J. Green|arXiv (Cornell University)|Aug 20, 2019

Algebraic structures and combinatorial models参考文献 8被引用 4

一句话总结

本文利用伽罗瓦理论与计算代数几何，对伽罗瓦群为⟨(012)(345)⟩的秩6模张量范畴进行分类。证明了所有此类范畴的模数据均与半任何范畴和(A₁,5)₁/₂的张量积，或与gcd(18,j)=1的𝒞(𝔰𝔬₅,9,eʲπi/9)的特定子范畴在伽罗瓦共轭下等价，并确定了PSO(5)₃/₂的融合规则为目前所知无幺正实现的最小者。

ABSTRACT

Modular Tensor Categories (MTC's) arise in the study of certain condensed matter systems. There is an ongoing program to classify MTC's of low rank, up to modular data. We present an overview of the methods to classify modular tensor categories of low rank, applied to the specific case of a rank 6 category with Galois group $\langle(012)(345) angle$, and show that certain symmetries in this case imply nonunitarizable (hence, nonphysical) MTC's. We show that all the rank 6 MTC's with this Galois group have modular data conjugate to either the product of the semion category with $(A_1, 5)_{\frac{1}{2}}$ or a certain modular subcategory of $\mathcal{C}(\mathfrak{so}_5, 9, e^{jπi/9})$ with gcd$(18, j) = 1$.

研究动机与目标

• 完成对具有特定伽罗瓦群⟨(012)(345)⟩的秩6模张量范畴（MTCs）的分类，扩展先前对低秩MTCs的研究。
• 确定此类MTCs是否具有幺正实现，以解决凝聚 matter 系统中的物理实现性问题。
• 在伽罗瓦共轭下确定这些范畴的模数据，利用对称性与代数约束。
• 确立PSO(5)₃/₂的融合规则为目前所知无幺正实现的最小者，从而推动对非幺正可实现MTCs的理解。

提出的方法

• 应用伽罗瓦理论于模数据，利用伽罗瓦自同构对S-矩阵与T-矩阵的作用来约束可能的解。
• 通过格罗布纳基（Gröbner bases）运用计算代数几何，求解由S-矩阵正交性与扭关系导出的多项式方程组。
• 使用引理3.2在给定伽罗瓦群下对融合规则进行分类，将问题简化为在数域上求解受约束的系统。
• 施加可接受模数据的约束：S的幺正性、T的有限阶、融合规则的整数性，以及分圆域条件。
• 分析多项式系统中的符号选择与首项理想，系统性地排除不一致情形，最终归约为已知解。
• 验证所有解均对应于模数据与半任何范畴张量积(A₁,5)₁/₂，或与gcd(18,j)=1的𝒞(𝔰𝔬₅,9,eʲπi/9)子范畴共轭。

实验结果

研究问题

• RQ1 具有伽罗瓦群⟨(012)(345)⟩的秩6模张量范畴的完整模数据是什么？
• RQ2 这些范畴中哪些是幺正的，哪些是非幺正可实现的，特别是在物理实现性背景下的情况？
• RQ3 能否证明PSO(5)₃/₂的融合规则为目前所知无幺正实现的最小者？
• RQ4 在伽罗瓦群⟨(012)(345)⟩作用下，S与T矩阵在秩6 MTCs中的可能形式受到何种对称性约束？
• RQ5 所有具有此伽罗瓦群的MTCs是否均为已知范畴（如半任何范畴或𝒞(𝔰𝔬₅,9,eʲπi/9)子范畴）的伽罗瓦共轭？

主要发现

• 所有具有伽罗瓦群⟨(012)(345)⟩的秩6模张量范畴，其模数据均与半任何范畴和(A₁,5)₁/₂的张量积，或与𝒞(𝔰𝔬₅,9,eʲπi/9)的子范畴（满足gcd(18,j)=1）在伽罗瓦共轭下等价。
• PSO(5)₃/₂的融合规则（由[12]构造）为目前所知无幺正实现的最小者，此分类已确立该结论。
• 该分类表明，伽罗瓦群中的某些对称性意味着非幺正可实现MTCs，从而排除其在物理系统中的实现可能性。
• T-矩阵由S-矩阵与多项式关系系统完全确定，包括θ₁+θ₂+1=0与θ₂²+θ₂+1=0，这些关系固定了单位根结构。
• 通过格罗布纳基计算系统性地排除所有其他符号选择与首项理想后，解空间简化为已知范畴。
• 伽罗瓦群作用确保所有解被限制于两类：半任何范畴的张量积，以及满足gcd(18,j)=1的𝒞(𝔰𝔬₅,9,eʲπi/9)子范畴。