[논문 리뷰] Group-theoretical properties of nilpotent modular categories

Vladimir Drinfeld, Shlomo Gelaki외 2명|ArXiv.org|2007. 04. 02.

Algebraic structures and combinatorial models참고 문헌 32인용 수 54

한 줄 요약

이 논문은 소수 거듭제곱 프로베니우스-페르로의 차원을 가진 모듈러 카테고리가 유한한 $p$-군의 와이즈드 데일리의 표현 카테고리와 동치임을 증명하고, 닐포텐트 브레이드된 융합 카테고리가 소수 거듭제곱 차원 성분들의 텐서곱으로 유일하게 분해된다는 것을 증명한다. 핵심 기여는 라그랑주 부분카테고리들을 통한 군 이론적 모듈러 카테고리의 특성화와 이러한 부분카테고리들로부터 와이즈드 데일리의 재구성으로, 군 이론적 융합 카테고리 이론을 확장하고, 소수 거듭제곱 차원을 가진 반단순 쿼티-호프 대수의 표현 카테고리가 군 이론적임을 확인한다.

ABSTRACT

We characterize a natural class of modular categories of prime power Frobenius-Perron dimension as representation categories of twisted doubles of finite p-groups. We also show that a nilpotent braided fusion category C admits an analogue of the Sylow decomposition. If the simple objects of C have integral Frobenius-Perron dimensions then C is group-theoretical. As a consequence, we obtain that semisimple quasi-Hopf algebras of prime power dimension are group-theoretical. Our arguments are based on a reconstruction of twisted group doubles from Lagrangian subcategories of modular categories (this is reminiscent to the characterization of doubles of quasi-Lie bialgebras in terms of Manin pairs).

연구 동기 및 목표

• 소수 거듭제곱 프로베니우스-페르로의 차원을 가진 모듈러 카테고리를 유한한 $p$-군의 와이즈드 데일리의 표현 카테고리로 특성화하기.
• 닐포텐트 브레이드된 융합 카테고리를 소수 거듭제곱 차원 성분들로 실로우 유사 분해를 수립하기.
• 모듈러 카테고리의 단순 객체 차원이 정수일 경우 군 이론적임을 증명하고, 반단순 쿼티-호프 대수에 대한 결과를 확장하기.
• 라그랑주 부분카테고리들로부터 와이즈드 군 데일리의 재구성 제공하기. 이는 리 이론의 만닌 쌍과 유사하다.

제안 방법

• 라그랑주 부분카테고리의 존재를 통해 와이즈드 데일리와 동치인 모듈러 카테고리를 특성화하기. 이때 차원은 $\sqrt{\dim(\mathcal{C})}$여야 한다.
• 라그랑주 부분카테고리 이론과 모듈라라이제이션을 사용하여, 모듈러 카테고리 $\mathcal{C}$로부터 $\mathrm{Vec}_G^\omega$의 중심을 재구성하기.
• 표준 모듈라라이제이션과 쌍대 카테고리의 개념을 적용하여, $\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$를 만족하는 최소한의 보완 카테고리 $\mathcal{M}$를 구성하기.
• 브레이드된 닐포텐트 카테고리의 중심이 닐포텐트임을 이용하고, [ENO]의 군 이론적 카테고리에 관한 결과를 활용하기.
• $\mathrm{Hom}(\mathbf{1}, X^{\otimes p^k}) \neq 0$를 통한 $p$-성분 내 객체의 특성화를 사용하여 분해의 정의와 유일성 증명하기.
• 프로베니우스-페르로의 차원과 중심 전하의 결과를 적용하여, 정리 1.3의 조건 (i)–(iii)를 만족하는 모듈러 카테고리를 분류하기.

실험 결과

연구 질문

• RQ1 모듈러 카테고리가 소수 거듭제곱 프로베니우스-페르로의 차원을 가질 때, 이는 유한한 $p$-군의 와이즈드 데일리의 표현 카테고리와 동치일 조건은 무엇인가?
• RQ2 모든 닐포텐트 브레이드된 융합 카테고리는 소수 거듭제곱 차원을 가진 브레이드된 융합 카테고리들의 텐서곱으로 고유하게 분해될 수 있는가?
• RQ3 모듈러 카테고리의 단순 객체 차원이 정수일 때, 어떤 조건에서 군 이론적 카테고리가 되는가?
• RQ4 라그랑주 부분카테고리들로부터 와이즈드 군 데일리를 어떻게 재구성할 수 있으며, 이 재구성에서 곱셈 중심 전하의 역할은 무엇인가?
• RQ5 모듈러 카테고리 $\mathcal{C} \boxtimes \mathcal{M}$이 지점 융합 카테고리 중심과 동치가 되도록 하는 보완 카테고리 $\mathcal{M}$의 최소 가능한 차원은 얼마인가?

주요 결과

• 소수 거듭제곱 프로베니우스-페르로의 차원을 가진 모듈러 카테고리 $\mathcal{C}$는 $\dim(\mathcal{C}) = p^{2n}$, 모든 단순 객체의 차원이 정수이며, 곱셈 중심 전하가 1일 때, 유한한 $p$-군 $G$에 대해 $\mathrm{Vec}_G^\omega$의 중심과 브레이드 동치이다.
• 모든 닐포텐트 브레이드된 융합 카테고리는 소수 거듭제곱 프로베니우스-페르로의 차원을 가진 브레이드된 융합 카테고리들의 고유한 텐서곱 분해를 갖는다.
• 모듈러 카테고리 $\mathcal{C}$의 모든 단순 객체의 프로베니우스-페르로의 차원이 정수일 경우, $\mathcal{C}$는 군 이론적이다. 즉, 어떤 유한한 닐포텐트 군 $G$에 대해 $\mathrm{Vec}_G^\omega$의 쌍대와 동치이다.
• $\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$에서 $\mathcal{M}$은 $\dim(\mathcal{M}_p) \in \{1, p, p^2\}$ (홀수 $p$일 때) 또는 $\dim(\mathcal{M}_2) \in \{1, 2, 4, 8\}$ ($p=2$일 때)를 만족하는 자연스러운 선택이 가능하며, 이는 최소성을 보장한다.
• 소수 거듭제곱 차원을 가진 반단순 쿼티-호프 대수의 표현 카테고리는 군 이론적임을 확인하여, [ENO]에서 제기된 질문에 부분적인 답을 제시한다.
• 닐포텐트 모듈러 카테고리에서 객체의 차원이 정수일 경우, $\mathcal{C} \boxtimes \mathcal{M} \cong Z(\mathrm{Vec}_G^\omega)$를 만족하는 최소 보완 카테고리 $\mathcal{M}$이 존재하며, 주어진 차원 제약 조건 이하에서는 유일하다.