[논문 리뷰] Classification of integral modular categories of Frobenius-Perron dimension pq^4 and p^2q^2

Paul Bruillard, César Galíndo외 6명|arXiv (Cornell University)|2013. 03. 19.

Algebraic structures and combinatorial models참고 문헌 16인용 수 3

한 줄 요약

이 논문은 서로 다른 소수 $p$와 $q$에 대해 프로베니우스-페르로의 차원이 $pq^4$ 및 $p^2q^2$인 정수 모듈라 카테고리들을 분류한다. 이러한 카테고리들이 군 이론적인 경우를 제외하고는 모두 군 이론적이며, 차원이 $4q^2$일 경우 타마라-야마가미 카테고리의 중심이나 양자군으로부터 유래하는 비군 이론적 예가 나타나며, 36차원 케이스에 대해 휘어진 동치 관계에 대한 완전한 분류가 이루어진다.

ABSTRACT

We classify integral modular categories of dimension pq^4 and p^2q^2 where p and q are distinct primes. We show that such categories are always group-theoretical except for categories of dimension 4q^2. In these cases there are well-known examples of non-group-theoretical categories, coming from centers of Tambara-Yamagami categories and quantum groups. We show that a non-group-theoretical integral modular category of dimension 4q^2 is equivalent to either one of these well-known examples or is of dimension 36 and is twist-equivalent to fusion categories arising from a certain quantum group.

연구 동기 및 목표

• 서로 다른 소수 $p$와 $q$에 대해 프로베니우스-페르로의 차원이 $pq^4$ 및 $p^2q^2$인 모든 정수 모듈라 카테고리들을 분류하는 것.
• 특히 차원이 $4q^2$일 경우 이러한 카테고리들이 군 이론적인지 여부를 판단하는 것.
• $4q^2$-차원에서 비군 이론적인 정수 모듈라 카테고리들을 식별하고 분류하는 것, 특히 양자군과 타마라-야마가미 카테고리로부터 유도되는 경우를 포함하여.
• $\bar{\frak{sl}}_3$ 양자군으로부터 유도되는 36차원 비군 이론적 모듈라 카테고리에 대해 휘어진 동치 관계에 따른 분류를 제공하는 것.

제안 방법

• 유한군 $G$와 3-코호몰로지 $\omega$에 대해 $\u0013{Rep}(D^\omega(G))$의 융합 부분카테고리 분류를 활용하여 군 이론적 카테고리들을 분석하는 것.
• 비퇴약 브레이드 융합 카테고리에 대한 모듈라 구조와 자기 dual인 가역적 대상의 동치류 사이의 이항관계를 적용하여 융합 문제를 브레이드 카테고리 문제로 환원하는 것.
• 정수 모듈라 카테고리에서 단순 대상의 프로베니우스-페르로 차원이 총 차원을 나누므로 가능한 융합 규칙를 제약하는 것.
• 휘어진 동치와 $G$-gradation 기법을 사용하여 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$와 같은 카테고리들을 알려진 모듈라 카테고리들과 연결하는 것.
• $\chi$라는 정규화된 2-코호몰로지로 $\mathcal{C}(\frak{sl}_3,q,6)$를 변형하여 새로운 융합 카테고리 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$를 구성하며, 융합 규칙을 유지하는 것.
• 중앙 정확열과 차원 12인 반단순 호프 대상의 분류를 이용한 모순에 기반한 증명을 통해 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$가 군 이론적이지 않음을 보이는 것.

실험 결과

연구 질문

• RQ1 차원이 $pq^4$인 모든 정수 모듈라 카테고리들이 군 이론적인가?
• RQ2 $4q^2$-차원에서 비군 이론적인 정수 모듈라 카테고리들은 무엇이며, 어떻게 분류할 수 있는가?
• RQ3 36차원 모듈라 카테고리 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$는 알려진 양자군 카테고리와 휘어진 동치 관계에 있는가?
• RQ4 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$와 같은 융합 규칙을 가진 $\mathbb{Z}_3$-gradation 융합 카테고리가 어떤 호프 대상 $H$에 대해 $\mathrm{Rep}(H)$와 동치가 될 수 있는가?
• RQ5 브레이드 융합 카테고리의 동치관계를 넘어서 모듈라 카테고리 분류에서 휘어진 동치 관계의 역할은 무엇인가?

주요 결과

• 차원이 $pq^4$인 모든 정수 모듈라 카테고리들은 군 이론적이다.
• 차원이 $p^2q^2$이고 $p^2q^2$가 홀수인 모든 정수 모듈라 카테고리들은 군 이론적이다.
• $4q^2$-차원에서 비군 이론적인 정수 모듈라 카테고리들은 $\mathbb{Z}_q \times \mathbb{Z}_q$ 위의 타원형 2차형식 $\zeta$에 대해 $\mathcal{E}(\zeta,\pm)$와 동치이거나, $\mathcal{C}(\frak{sl}_3,q,6)$ 또는 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$와 휘어진 동치 관계에 있다.
• 36차원 카테고리 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$는 어떤 호프 대상 $H$에 대해 $\mathrm{Rep}(H)$와 동치가 되지 않는 새로운 비군 이론적 모듈라 카테고리의 예이며, 아벨 정확열에 대한 차단을 통해 이를 보였다.
• $q = e^{\pi i/3}$일 때 $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$의 모듈라 데이터를 명시적으로 계산하였으며, 이는 $S$ 행렬과 $T$ 행렬을 포함한다.
• $\mathcal{C}(\frak{sl}_3,q,6)$가 비군 이론적이므로, $\bar{\mathcal{C}}(\frak{sl}_3,q,6)$는 $\mathbb{Z}_3$-확장이나 군 이론적 카테고리의 등가변환으로부터 유도될 수 없다.