[논문 리뷰] Fusion subcategories of representation categories of twisted quantum doubles of finite groups

Deepak Naıdu, Dmitri Nikshych외 1명|ArXiv.org|2008. 09. 30.

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

한 줄 요약

이 논문은 유한군 $G$ 및 3-코호몰로지 $ω$에 대해 비틀린 양자 이중체 $ω(G))$의 표현 범주에서의 융합 부분범주를 완전히 분류하며, 상호 중심화하는 정규부분군 $K,H \trianglelefteq G$와 $G$-불변 $ω$-이형식 $B:K\times H \to k^\times$로 이루어진 삼중항 $(K,H,B)$와의 전단사 관계를 확립한다. 주요 기여는 이러한 분류를 통해 모든 군 이론적 브레드된 융합 범주를 완전히 기술한 것으로, 비퇴화성 및 원시성에 대한 기준을 포함한다.

ABSTRACT

We describe all fusion subcategories of the representation category of a twisted quantum double of a finite group. In view of the fact that every group-theoretical braided fusion category can be embedded into a representation category of a twisted quantum double of a finite group, this gives a complete description of all group-theoretical braided fusion categories. We describe the lattice and give formulas for some invariants of the fusion subcategories of representation category of a twisted quantum double of a finite group. We also give a characterization of group-theoretical braided fusion categories as equivariantizations of pointed categories.

연구 동기 및 목표

• 비틀린 양자 이중체의 표현 범주 $\operatorname{Rep}(D^\omega(G))$에서의 융합 부분범주의 완전한 분류를 제공하는 것.
• 모든 군 이론적 브레드된 융합 범주가 $\operatorname{Rep}(D^\omega(G))$ 내부의 포함된 부분범주로서 기술되는 방법을 규명하는 것.
• 융합 부분범주의 격자 구조를 기술하고 비퇴화성 및 원시성과 같은 불변량을 계산하는 것.
• 모든 군 이론적 브레드된 융합 범주가 포인트드 융합 범주의 동치변환으로서 나타나는 것과 동치임을 증명하는 것.
• $\operatorname{Rep}(D^\omega(G))$ 내에서 비퇴화성 및 소수성 융합 부분범주의 코homological 정확한 특성화를 제공하는 것.

제안 방법

• 비틀린 양자 이중체의 표현 범주와 $G$-gradation 벡터 공간 범주에서의 드린펠트 중심 사이의 동치 $\operatorname{Rep}(D^\omega(G)) \cong \mathcal{Z}(\operatorname{Vec}_G^\omega)$ 를 사용하는 것.
• 서로 중심화하는 정규부분군 $K,H \trianglelefteq G$에 대해 $G$-불변 $ω$-이형식 $B:K \times H \to k^\times$ 를 정의하는 것.
• 삼중항 $(K,H,B)$와 관련된 특정 단순 객체들로 생성되는 완전한 텐서 부분범주인 융합 부분범주 $\mathcal{S}(K,H,B)$ 를 구성하는 것.
• 중심자 이론과 탈동치변환 이론을 적용하여 융합 부분범주를 포인트드 범주의 동치변환과 연결하는 것.
• 탄나카이 이론과 모듈러 범주 구성 기법을 사용하여, 임의의 군 이론적 브레드된 융합 범주가 포인트드 범주의 동치변환으로서 나타나는 것을 보이는 것.
• 브레드된 $G$-크로스드 범주와 크로스드 모듈의 구조를 활용하여 분류 결과를 군 코호몰로지와 범주적 이중성과 연결하는 것.

실험 결과

연구 질문

• RQ1 유한군 $G$ 및 3-코호몰로지 $ω$에 대해 $\operatorname{Rep}(D^\omega(G))$에서 융합 부분범주의 완전한 분류는 무엇인가요?
• RQ2 모든 군 이론적 브레드된 융합 범주는 어떻게 $\operatorname{Rep}(D^\omega(G))$의 부분범주로서 실현될 수 있나요?
• RQ3 $\mathcal{S}(K,H,B) \subseteq \operatorname{Rep}(D^\omega(G))$ 융합 부분범주가 비퇴화성 또는 원시성이 되는 조건은 무엇인가요?
• RQ4 모든 군 이론적 브레드된 융합 범주는 포인트드 융합 범주의 동치변환으로서 실현될 수 있나요?
• RQ5 $G$-불변 $ω$-이형식은 융합 부분범주의 격자 분류에서 어떤 역할을 하나요?

주요 결과

• 융합 부분범주 $\operatorname{Rep}(D^\omega(G))$는 상호 중심화하는 정규부분군 $K,H$와 $G$-불변 $ω$-이형식 $B:K \times H \to k^\times$로 이루어진 삼중항 $(K,H,B)$와 전단사 관계를 맺는다.
• 융합 부분범주 $\mathcal{S}(K,H,B)$는 $HK = G$ 이며, 대칭 이형식 $BB^{\mathrm{op}}|_{(K\cap H)\times(K\cap H)}$ 가 비퇴화일 때이고, 그 때에만 비퇴화적이다.
• $\operatorname{Rep}(D^\omega(G))$는 $HK = G$ 이며 $BB^{\mathrm{op}}|_{(K\cap H)\times(K\cap H)}$ 가 비퇴화적인 비자명한 삼중항 $(K,H,B)$ 가 존재하지 않을 때에만 원시적이다.
• 모든 군 이론적 브레드된 융합 범주는 어떤 유한군 $G$ 및 3-코호몰로지 $ω$에 대해 $\operatorname{Rep}(D^\omega(G))$의 완전한 융합 부분범주로서 나타난다.
• 모든 군 이론적 브레드된 융합 범주는 $\mathcal{D} \cong (\mathcal{D}_G)^G$ 형태로 표현되며, 여기서 $\mathcal{D}_G$ 는 포인트드 융합 범주이다.
• 이 분류 결과는 모든 모듈라 군 이론적 융합 범주에 대한 완전한 기술을 암시하며, 이 경우 비퇴화성은 모듈라성과 동치이기 때문이다.