[論文レビュー] 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のモジュラー tensor category を分類する。すべての such なカテゴリが、半子カテゴリと (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$.

研究の動機と目的

• ランク6のモジュラー tensor category (MTC) で特定のガロア群 ⟨(012)(345)⟩ を持つものの完全分類を完了させ、低ランク MTC の先行研究を拡張する。
• このような MTC がユニタリ実現をもつかどうかを特定し、物性系における物理的実現可能性を検討する。
• ガロア共役に関して、これらのカテゴリのモジュラーデータを特定する。対称性と代数的制約を活用する。
• PSO(5)₃/₂ の結合則が、ユニタリ実現を持たない最小の既知のものであることを確立し、非ユニタリ可能な MTC の理解に貢献する。

提案手法

• ガロア自己同型が S 行列と T 行列に作用する仕組みを用いて、モジュラーデータにガロア理論を適用し、可能な解を制約する。
• S 行列の直交性とねじれ関係から導かれる多項式方程式系を解くために、グレブナー基底を用いた計算代数幾何を用いる。
• 補題 3.2 を用いて、与えられたガロア群の下での結合則を分類し、数体上の制約付き系に問題を還元する。
• 許容可能なモジュラーデータの制約を課す：S のユニタリティ、T の有限位数、結合則の整数性、および円分体条件。
• 多項式系における符号の選択と初期イデアルを分析し、一貫しないケースを体系的に除外し、既知の解にまで還元する。
• すべての解が、半子カテゴリと (A₁,5)₁/₂ のテンソル積、または gcd(18,j)=1 を満たす 𝒞(𝔰𝔬₅,9,eʲπi/9) の部分カテゴリとガロア共役であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 ガロア群 ⟨(012)(345)⟩ を持つランク6のモジュラー tensor category の完全なモジュラーデータは何か？
• RQ2 これらのカテゴリのうち、ユニタリであるものと非ユニタリ可能なものはそれぞれ何か。特に物性系における物理的実現可能性の文脈で。
• RQ3 PSO(5)₃/₂ の結合則が、ユニタリ実現を持たない最小の既知のものであることを示せるか？
• RQ4 ガロア群 ⟨(012)(345)⟩ による対称性が、ランク6の MTC における S 行列と T 行列の可能な構造をどのように制約するか？
• RQ5 このようなガロア群を持つすべての MTC が、半子カテゴリや 𝒞(𝔰𝔬₅,9,eʲπi/9) の部分カテゴリといった既知のカテゴリとガロア共役であるか？

主な発見

• ガロア群 ⟨(012)(345)⟩ を持つランク6のすべてのモジュラー tensor category は、モジュラーデータに関して、半子カテゴリと (A₁,5)₁/₂ の積、または gcd(18,j)=1 を満たす 𝒞(𝔰𝔬₅,9,eʲπi/9) のモジュラー部分カテゴリとガロア共役である。
• 参考文献 [12] で構成された PSO(5)₃/₂ の結合則は、この分類によって、ユニタリ実現を持たない最小の既知のものであることが示された。
• 分類により、ガロア群の特定の対称性が非ユニタリ MTC を示唆することを明らかにした。これにより物理的実現可能性が除外される。
• T 行列は、S 行列と多項式関係系（θ₁+θ₂+1=0 および θ₂²+θ₂+1=0）によって完全に決定され、根の単位根構造が固定される。
• グレブナー基底計算により、すべての符号選択と初期イデアルを除外した結果、解空間は既知のカテゴリに還元される。
• ガロア群作用により、すべての解が2つの族に制限される：半子カテゴリの積と、gcd(18,j)=1 を満たす 𝒞(𝔰𝔬₅,9,eʲπi/9) の部分カテゴリ。