[논문 리뷰] Classification of super-modular categories by rank

Paul Bruillard, César Galíndo외 4명|arXiv (Cornell University)|2017. 05. 15.

Algebraic structures and combinatorial models인용 수 49

한 줄 요약

이 논문은 초모듈라 카테고리의 순위 6 이하 및 스핀 모듈라 카테고리의 순위 11 이하를 분류한다. 이는 모듈라 카테고리 기법—예를 들어 버린드 공식 및 프로베니우스-슈어 지표 공식—을 초모듈라 설정으로 확장하여 수행된다. 이를 통해 융합 규칙에 대해 정확히 하나의 비분할 초모듈라 카테고리가 순위 2, 4, 6에서 존재함을 증명한다: $k=0,1,2$에 대해 $PSU(2)_{4k+2}$이며, 이는 페르미온 anyon 프레임워크에서 기초적인 분류를 확립한다.

ABSTRACT

We pursue a classification of low-rank super-modular categories parallel to that of modular categories. We classify all super-modular categories up to rank=$6$, and spin modular categories up to rank=$11$. In particular, we show that, up to fusion rules, there is exactly one non-split super-modular category of rank $2,4$ and $6$, namely $PSU(2)_{4k+2}$ for $k=0,1$ and $2$. This classification is facilitated by adapting and extending well-known constraints from modular categories to super-modular categories, such as Verlinde and Frobenius-Schur indicator formulae.

연구 동기 및 목표

• 초모듈라 카테고리로 모델링되는 페르미온적 위상적 물질 상태의 분류 프레임워크를 모듈라 카테고리의 분류 프레임워크로 확장한다.
• 모듈라 기법이 복잡해지는 비가역적 $S$-행렬 때문에 초모듈라 카테고리에서 순위 유한성과 분류 문제를 해결한다.
• 초모듈라 카테고리의 순위 6 이하 및 스핀 모듈라 카테고리의 순위 11 이하에 대한 완전한 분류를 확립한다.
• 예비모듈라 카테고리의 유한성에 대한 최소 모듈라 확장 추측과 그 영향을 조사한다.

제안 방법

• 모듈라 카테고리에서 유래한 버린드 공식 및 프로베니우스-슈어 지표 기법을 초모듈라 카테고리로 확장한다.
• 초모듈라 카테고리에서의 $S$-행렬의 블록 구조를 이용하여 구성요소 $\mathcal{C}_0$, $\mathcal{C}_v$, 및 $\mathcal{C}_\sigma$의 차원 제약 조건을 유도한다.
• 탈등변화 및 갈루아 코어지션을 활용하여 초모듈라 카테고리를 모듈라 카테고리와 연결한다.
• $S$-행렬의 블록 분해를 분석하여 $S$가 특정 부분공간을 전단사로 매핑함을 증명하고, 이를 통해 차원 수를 세는 데 활용한다.
• 기존의 $PSU(2)_{4k+2}$의 최소 모듈라 확장 분류를 활용하여 스핀 모듈라 카테고리를 분류한다.
• 모든 초모듈라 카테고리가 자신의 순위의 두 배 이내인 모듈라 카테고리의 부분카테고리로 나타난다는 추측을 활용하여 유한성의 근거를 제공한다.

실험 결과

연구 질문

• RQ1 주어진 순위에서 초모듈라 카테고리가 유한한가? 그리고 최소 모듈라 확장에 의해 이를 증명할 수 있는가?
• RQ2 순위 6 이하의 비분할 초모듈라 카테고리의 완전한 분류는 무엇인가?
• RQ3 융합 규칙과 $S$-행렬의 구조는 초모듈라 및 스핀 모듈라 카테고리의 가능한 순위를 어떻게 제약하는가?
• RQ4 스핀 모듈라 카테고리의 순위 11 이하 분류는 $PSU(2)_{4k+2}$의 기존 모듈라 확장으로 줄일 수 있는가?
• RQ5 모든 초모듈라 카테고리가 $S$-행렬이 $\hat{S} \otimes \begin{pmatrix}1&1\\1&1\end{pmatrix}$ 형태를 갖는다면 반드시 분할되어 있는가?

주요 결과

• 순위 2, 4, 6에서 비분할 초모듈라 카테고리가 정확히 하나 존재하며, 각각 $PSU(2)_6$, $PSU(2)_{10}$, $PSU(2)_{18}$이다.
• 순위 ≤6인 모든 초모듈라 카테고리는 융합 규칙에 대해 분류되었으며, 이들 중 비분할 예외는 이 세 개 뿐이다.
• 순위 ≤11인 스핀 모듈라 카테고리는 분류되었다: 또는 $SO(N)_1$과의 델라인 곱이거나, $PSU(2)_6$ 또는 $PSU(2)_{10}$의 16개 최소 모듈라 확장 중 하나와 그로텐디크 등가이다.
• 순위 7의 경우 유일한 비분할 케이스는 $PSU(2)_6$의 최소 모듈라 확장과 그로텐디크 등가이며, 순위 10 및 11의 경우도 마찬가지로 $PSU(2)_{10}$의 최소 모듈라 확장과 등가이다.
• 분류 결과에 따르면, $\mathcal{C}_0$가 $PSU(2)_{4k+2}$와 그로텐디크 등가가 아니라면, 반드시 분할되어 있으며, 즉 $\mathcal{C}_0 \cong \mathrm{sVec} \boxtimes \mathcal{D}$를 만족하는 어떤 모듈라 $\mathcal{D}$가 존재한다.
• 결과는 초모듈라 카테고리에 대한 최소 모듈라 확장 추측이 단위 모듈라 예비카테고리의 순위 유한성을 이끌어낼 수 있음을 지지한다.