[논문 리뷰] Weakly group-theoretical and solvable fusion categories

Pavel Etingof, Dmitri Nikshych외 1명|ArXiv.org|2008. 09. 17.

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

한 줄 요약

이 논문은 복소수 위에서 약한 군론적 및 해소 가능한 융합 분류를 도입하고 연구하며, 모든 약한 군론적 분류가 강한 프로베누스 성질을 만족함을 증명한다. 즉, 어떤 모듈러 분류 내의 단순 객체의 프로베누스-페르로 차원에 대한 분류의 프로베누스-페르로 차원의 비율이 대수적 정수임을 의미한다. 또한 차원이 $p^r q^s$인 융합 분류는 해소 가능하다는 것을 증명하며, 카플란스키의 6번째 추측을 일반화하고 호프 대수 및 모듈러 분류에 관한 결과를 확장한다.

ABSTRACT

We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups - weakly group-theoretical categories and solvable categories. These are fusion categories that are Morita equivalent to iterated extensions (in the world of fusion categories) of arbitrary, respectively solvable finite groups. Weakly group-theoretical categories have integer dimension, and all known fusion categories of integer dimension are weakly group theoretical. Our main results are that a weakly group-theoretical category C has the strong Frobenius property (i.e., the dimension of any simple object in an indecomposable C-module category divides the dimension of C), and that any fusion category whose dimension has at most two prime divisors is solvable (a categorical analog of Burnside's theorem for finite groups). This has powerful applications to classification of fusion categories and semsisimple Hopf algebras of a given dimension. In particular, we show that any fusion category of integer dimension <84 is weakly group-theoretical (i.e. comes from finite group theory), and give a full classification of semisimple Hopf algebras of dimensions pqr and pq^2, where p,q,r are distinct primes.

연구 동기 및 목표

• 군론적 및 노름화된 분류의 일반화로서 약한 군론적 및 해소 가능한 융합 분류를 정의하고 특성화하는 것.
• 주어진 분류의 군 확장과 동치인 융합 분류에 대해, 그 드린펠트 중심을 통한 모리타 동치 기준을 설정하는 것.
• 모든 약한 군론적 융합 분류가 강한 프로베누스 성질을 만족함을 증명하여 카플란스키의 6번째 추측을 확장하는 것.
• 차원이 $p^r q^s$인 융합 분류가 해소 가능하다는 것을 보이며, 이는 소수 차원에서의 기존 결과를 일반화하는 것.
• 특히 $pqr$ 및 $pq^2$ 차원에서의 소수 거듭제곱 및 복합 차원의 융합 분류와 단순 호프 대수의 구조적 통찰을 제공하는 것.

제안 방법

• 모리타 동치와 드린펠트 중심 이론을 사용하여 융합 분류를 군 확장과 연결하며, $\mathcal{C}$가 $\mathcal{D}$의 $G$-확장과 모리타 동치임은 $\mathcal{Z}(\mathcal{C})$가 $\mathrm{Rep}(G)$라는 티탄키안 부분분류를 포함하고, 그의 탈등변화가 브레드된 분류로서 $\mathcal{Z}(\mathcal{D})$가 되는 것으로 특성화됨을 활용한다.
• 탈등변화 및 등변화 구성 기법을 사용하여, 소수 차수의 순환군을 통해 $\mathrm{Vec}$로부터 융합 분류의 수열을 구축한다.
• 무거 중앙자 및 브레드된 분류 기법을 사용하여 대칭 부분분류를 분석하고 중심 내에서 비자명한 티탄키안 부분분류를 탐지한다.
• 프로베누스-페르로 차원과 대수적 정수 성질을 활용하여, 약한 군론적 분류에서 강한 프로베누스 성질을 증명한다.
• 특히 중심 내 2차원 및 4차원 단순 객체의 경우에 대해 귀납법과 차원 수 세기 기법을 사용하여 티탄키안 부분분류의 존재를 보인다.
• 브루지에르스와 무거의 결과를 활용하여 모듈러 텐서 분류 및 모듈러화 이론을 적용하여 문제를 소차원 분류에 관한 알려진 분류 정리로 환원한다.

실험 결과

연구 질문

• RQ1 모든 융합 분류가 강한 프로베누스 성질을 만족하는가?
• RQ2 모든 약한 정수 융합 분류는 약한 군론적인가?
• RQ3 모든 차원이 $p^r q^s$인 융합 분류는 해소 가능한가?
• RQ4 만약 중심에 $\mathrm{Rep}(G)$라는 티탄키안 부분분류가 존재하고, 그의 탈등변화가 기저 분류의 중심과 동치라면, 융합 분류는 $G$-확장과 모리타 동치가 될 수 있는가?
• RQ5 차원이 $pqr$ 또는 $pq^2$인 융합 분류는 어떤 구조적 성질을 가지며, 군론적인가?

주요 결과

• 융합 분류 $\mathcal{C}$가 약한 군론적임은 $\mathcal{C}$가 노름화된 융합 분류와 모리타 동치임과 동치이며, 이후 이러한 분류가 점지점 분류의 군 확장과 모리타 동치임을 보여주는 결과가 있다.
• 융합 분류 $\mathcal{C}$가 $\mathcal{D}$의 $G$-확장과 모리타 동치임은 $\mathcal{Z}(\mathcal{C})$가 $\mathrm{Rep}(G)$라는 티탄키안 부분분류를 포함하고, $\mathrm{Rep}(G)$의 중심자에 대한 탈등변화가 브레드된 분류로서 $\mathcal{Z}(\mathcal{D})$가 되는 것과 동치이다.
• 모든 약한 군론적 융합 분류는 강한 프로베누스 성질을 만족한다: 임의의 분해 불가능한 $\mathcal{C}$-모듈러 분류 $\mathcal{M}$과 $\mathcal{M}$ 내의 단순 객체 $X$에 대해 비율 $\mathrm{FPdim}(\mathcal{C}) / \mathrm{FPdim}(X)$는 대수적 정수이다.
• 모든 차원이 $p^r q^s$인 융합 분류(여기서 $p,q$는 소수이고 $r,s \geq 0$)는 해소 가능하며, 이는 $pq$ 및 $p^r$ 차원에서의 기존 결과를 일반화한다.
• 비점지점 단순 약한 군론적 융합 분류는 유한 비아벨 단순군 $G$에 대해 $\mathrm{Rep}(G)$와 동치이며, 차원이 60인 모든 융합 분류는 약한 군론적이다(따라서 단순하다면 $\mathrm{Rep}(A_5)$와 동치이다).
• 모든 차원이 $pqr$인 융합 분류와 모든 차원이 $pqr$ 또는 $pq^2$인 단순 호프 대수는 군론적이며, 이러한 호프 대수는 본 논문에서 개발된 프레임워크를 통해 분류된다.