[논문 리뷰] Classification of fusion categories of dimension pq

Pavel Etingof, Shlomo Gelaki외 1명|ArXiv.org|2003. 04. 15.

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

한 줄 요약

이 논문은 서로 다른 소수 $p < q$에 대해 프로베니우스-페르레인 차원이 $pq$인 융합 분류를 분류하며, 이러한 분류가 $p=2$일 경우 탐바라-야마가미 분류이거나 [ENO]의 의미에서 군-이론적인 것임을 보여준다. 분류는 물체 차원, 군 코homology $H^3(G, \mathbb{C}^*)$, 그리고 가짜우니터리스터럭처를 분석함으로써 이루어지며, 궁극적으로 이러한 모든 융합 분류가 군-이론적임을 증명함으로써, 차원 $pq$인 단순 가환 히프 대수의 분류도 완전히 이루어진다. 이 결과는 이전의 히프 대수에 대한 연구를 일반화하며, 완전한 카테고리적 분류를 제공한다.

ABSTRACT

In this paper we provide a complete classification of fusion categories of Frobenius-Perron (FP) dimension pq, where p1 and which have only one non-invertible object of dimension n.

연구 동기 및 목표

• 복소수 위에서 프로베니우스-페르레인 차원이 $pq$인 융합 분류의 완전한 분류를 제공하는 것. 여기서 $p<q$는 서로 다른 소수이다.
• 차원 $pq$인 단순 히프 대수의 분류를 더 넓은 융합 분류의 맥락으로 확장하는 것.
• 비가역적 단순 물체가 정수 차원 1보다 큰 경우를 다루며, $q-1$이 $p$로 나누어떨어져야 한다는 것을 보여주는 것.
• 모든 이러한 융합 분류가 군-이론적임을 증명함으로써, [EG1]과 [ENO]의 결과를 일반화하는 것.
• 1차원 표현이 순환군을 이루고, 차원이 $1$과 $n$인 임의의 기저를 갖는 단순 가환 준-히프 대수의 분류를 하는 것.

제안 방법

• 단순 물체의 차원을 분석함으로써 융합 분류를 다루며, 차원이 정수인지 여부에 따라 경우를 나누어 분석한다.
• 그로텐디크 링 이론과 프로베니우스-페르레인 차원을 사용하여, 차원 $pq$인 융합 분류의 가능한 구조를 제약한다.
• 모든 단순 물체가 가역적일 경우에 해당하는 군 확장에 대응하는 $H^3(G, \mathbb{C}^*)$ 군 코hom올로지 이론을 적용한다.
• 드린펠트 중심 구조와 식 $ {FPdim}(Z(\mathcal{C})) = {FPdim}(\mathcal{C})^2$의 성질을 이용하여 카테고리적 대칭성을 분석한다.
• [EG1]의 방법을 일반화하여, 비가역적 단순 물체가 존재할 경우 그 차원은 반드시 $p$여야 하며, 그 수는 $\frac{q-1}{p}$임을 보여준다.
• 구조 $ {Rep}(\mathbb{F}_q^* \ltimes \mathbb{F}_q)$와 코hom올로지 계산을 사용하여, 차원 $n$인 비가역적 물체가 하나뿐인 분류를 분류한다.

실험 결과

연구 질문

• RQ1 서로 다른 소수 $p<q$에 대해 프로베니우스-페르레인 차원이 $pq$인 모든 융합 분류는 무엇인가?
• RQ2 차원 $pq$인 융합 분류가 비정수 차원의 물체를 포함할 때는 언제이며, 어떻게 분류되는가?
• RQ3 언제 융합 분류가 차원 $pq$일 때 군-이론적이며, 언제 그렇지 않은가?
• RQ4 차원 $pq$인 단순 가환 준-히프 대수의 분류는 무엇인가?
• RQ5 가역적 물체의 순환군이 존재하고, 정확히 하나의 비가역적 물체가 차원 $n$인 융합 분류가 존재하는 조건은 무엇이며, 이러한 분류는 몇 개인가?

주요 결과

• 일 때, 차원 $2q$인 융합 분류는 정확히 탐바라-야마가미 분류이며, 각 홀수 소수 $q$에 대해 정확히 네 개인다.
• 모든 단순 물체가 가역적일 경우, 분류는 순서가 $pq$인 군 $G$에 대해 $H^3(G, \mathbb{C}^*)$를 계산하는 것으로 귀결되며, 군 코hom올로지로 완전한 분류가 가능하다.
• 단순 물체가 정수 차원을 가지지만 모두 1이 아닐 경우, $q-1$이 반드시 $p$로 나누어떨어져야 하며, 이 경우 카테고리에는 $p$개의 가역적 물체와 $\frac{q-1}{p}$개의 차원 $p$인 물체가 존재한다.
• 모든 이러한 융합 분류는 군-이론적임을 보여주며, 이는 유한군의 표현 카테고리와 카테고리적으로 동치임을 의미한다. 이는 전체 분류를 가능하게 한다.
• 1차원 표현이 순환군을 이루고, 차원이 $1$과 $n$인 임의의 기저를 갖는 단순 가환 준-히프 대수의 분류는 모든 이러한 대수가 군-이론적임을 보여준다.
• 가역적 물체의 순환군이 순서 $n>1$이고, 정확히 하나의 비가역적 물체가 차원 $n$인 융합 분류는 $n+1 = p^a$가 소수 거듭제곱일 때만 존재하며, 이러한 분류의 수는 $n$에 따라 1, 2, 또는 3개이다.