[논문 리뷰] Classification of Rank 6 Modular Categories with Galois Group $\langle (012)(345) angle$

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

Algebraic structures and combinatorial models참고 문헌 8인용 수 4

한 줄 요약

이 논문은 갈루아 이론과 계산 기반 대수기하학을 사용하여 갈루아 군 ⟨(012)(345)⟩을 가진 랭크 6 모듈라 텐서 카테고리들을 분류한다. 모든 이러한 카테고리가 모듈라 데이터에서 또는 반세미온 카테고리와 (A₁,5)₁/₂의 곱 또는 gcd(18,j)=1 조건을 만족하는 𝒞(𝔰𝔬₅,9,eʲπi/9)의 특정 부분카테고리와 갈루아 쌍대성(Conjugate)을 가짐을 증명하며, 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)의 분류를 완성하여 이전의 저랭크 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 모듈라 텐서 카테고리의 완전한 모듈라 데이터는 무엇인가?
• RQ2 이 카테고리들 중에서 어떤 것은 유니터리이며, 어떤 것은 비유니터리 가능한가? 특히 물리적 실현 가능성 맥락에서.
• RQ3 PSO(5)₃/₂의 융합 규칙이 유니터리 실현이 없는 것으로 알려진 최소의 것으로 증명될 수 있는가?
• RQ4 랭크 6 MTC에서 갈루아 군 ⟨(012)(345)⟩의 대칭성이 가능한 S 및 T 행렬을 어떻게 제약하는가?
• RQ5 이 갈루아 군을 가진 모든 MTC가 기존의 카테고리들, 예를 들어 반세미온 카테고리 또는 𝒞(𝔰𝔬₅,9,eʲπi/9)의 부분카테고리와 갈루아 쌍대성인가?

주요 결과

• 갈루아 군 ⟨(012)(345)⟩을 가진 모든 랭크 6 모듈라 텐서 카테고리의 모듈라 데이터는 반세미온 카테고리와 (A₁,5)₁/₂의 곱 또는 gcd(18,j)=1 조건을 만족하는 𝒞(𝔰𝔬₅,9,eʲπi/9)의 모듈라 부분카테고리와 갈루아 쌍대성이다.
• 논문에서 제시된 PSO(5)₃/₂의 융합 규칙은 [12]에서 구성되었으며, 이 분류를 통해 유니터리 실현이 없는 것으로 알려진 최소의 것으로 확인되었다.
• 이 분류는 갈루아 군의 특정 대칭성이 비유니터리 가능 MTC를 암시함으로써 물리적 실현 가능성을 배제함을 보여준다.
• T-행렬은 S-행렬과 다항식 관계계(θ₁+θ₂+1=0 및 θ₂²+θ₂+1=0)에 의해 완전히 결정되며, 이는 단위근의 구조를 고정한다.
• 그로버 기저 계산을 통해 모든 다른 부호 선택과 초기 이상을 제거한 후 해 공간은 기존의 카테고리들로 축소된다.
• 갈루아 군 작용은 모든 해가 두 가닥의 가닥으로 제약됨을 보장한다: 반세미온 곱과 gcd(18,j)=1 조건을 만족하는 𝒞(𝔰𝔬₅,9,eʲπi/9)의 부분카테고리.