[논문 리뷰] Morita equivalence of pointed fusion categories of small rank

Michaël Mignard, Peter Schauenburg|arXiv (Cornell University)|2017. 08. 22.

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

한 줄 요약

이 논문은 유한군 $G$의 순서가 2에서 31 사이인 경우에 대해, 계산적 군 코hom로지와 프레보니우스-슈어 지표를 이용하여, $ \mathcal{C}(G,\omega) $ 형태의 점지된 융합 분류를 모리타 동치에 대해 분류한다. 이는 그 드린펠트 중심의 모듈라 데이터—특히 지표 집합과 리본 뻗음—이 모리타 동치 클래스를 완전히 구별함을 보여주며, 이는 프레보니우스-슈어 지표만으로는 실패할 수 있는 경우에도 성립한다.

ABSTRACT

We classify pointed fusion categories C(G, $ω$) up to Morita equivalence for 1 < |G| < 32. Among them, the cases |G| = 2 3 , 2 4 and 3 3 are emphasized. Although the equivalence classes of such categories are not distinguished by their Frobenius-Schur indicators, their categorical Morita equivalence classes are distinguished by the set of the indicators and ribbon twists of their Drinfeld centers. In particular, the modular data are a complete invariant for the modular categories Z(C(G, $ω$)) for |G[< 32. We use the computer algebra package GAP and present codes for treating complex-valued group cohomology and calculating Frobenius-Schur indicators.

연구 동기 및 목표

• 모든 유한군 $G$에 대해 $1 < |G| < 32$ 인 경우에 대해, $\mathcal{C}(G,\omega)$ 형태의 점지된 융합 분류를 모리타 동치에 대해 분류하는 것.
• 프레보니우스-슈어 지표만으로 이러한 분류의 모리타 동치 클래스를 구별할 수 있는지 확인하는 것.
• 드린펠트 중심의 모듈라 데이터—지표와 리본 뻗음—이 모리타 동치 분류에 어떻게 기여하는지 조사하는 것.
• 복소수 계수 군 코호몰로지와 프레보니우스-슈어 지표 계산을 위한 계산 도구를 GAP에 구현하는 것.
• 코호몰로지 클래스와 그들의 군 준동형에 의한 역상에 대한 명시적 알고리즘과 코드를 제공하는 것.

제안 방법

• 모르타 동치의 점지된 융합 분류 $\mathcal{C}(G,\omega)$ 가 이완 동치의 와이드드 데일리드 드라이브 $D_\omega(G)$ 와 대응되며, 따라서 그 드린펠트 중심 $\mathcal{Z}(\mathcal{C}(G,\omega))$ 와 동치임을 이용한다.
• GAP에서의 군 코호몰로지 계산을 통해 $H^3(G, \mathbb{C}^\times)$ 를 결정하여, 분류를 정의하는 3-코호몰로지 $\omega$ 를 구한다.
• 코호몰로지 클래스를 표현하기 위해 $H_n(K) \to \mathbb{Z}/m\mathbb{Z}$ 형태의 준동형을 사용하는 방법을 적용하여, 코호몰로지 클래스와 그 제한을 효율적으로 계산한다.
• 특히 점지된 분류와 그 중심에 대해 군 이론적 분류에서의 고차 프레보니우스-슈어 지표 공식을 적용한다.
• 지표와 리본 뻗음을 통해 $\mathcal{Z}(\mathcal{C}(G,\omega))$ 의 모듈라 데이터(S 및 T 행렬)를 계산하여, 모리타 동치 클래스를 구별한다.
• GAP 코드를 구현하여 $\mathbb{C}^\times$-계수 코호몰로지, 군 준동형에 의해 유도되는 코호몰로지 군 간의 사상, 제한 사상 등을 계산한다.

실험 결과

연구 질문

• RQ1 순서가 32 미만인 군 $G$ 중에서, 점지된 융합 분류 $\mathcal{C}(G,\omega)$ 가 모리타 동치가 되는 경우는 무엇인가?
• RQ2 프레보니우스-슈어 지표만으로 점지된 융합 분류의 모리타 동치 클래스를 구별할 수 있는가?
• RQ3 드린펠트 중심 $\mathcal{Z}(\mathcal{C}(G,\omega))$ 의 모듈라 데이터가 $\mathcal{C}(G,\omega)$ 의 모리타 동치에 대해 완전한 불변량인가?
• RQ4 복소수 계수 군 코호몰로지와 프레보니우스-슈어 지표를 계산 기반 시스템을 통해 효율적으로 계산하고 다룰 수 있는가?
• RQ5 $\mathcal{C}(G,\omega)$ 의 쌍대 분류의 구조는 무엇이며, 코호몰로지 자료를 통해 군 이론적 분류와 어떻게 관련되는가?

주요 결과

• 모든 $G$에 대해 $1 < |G| < 32$ 인 경우에 대해, 이 논문은 점지된 융합 분류 $\mathcal{C}(G,\omega)$ 가 모리타 동치에 대해 완전한 분류를 제공한다.
• 프레보니우스-슈어 지표만으로는 점지된 융합 분류의 모리타 동치 클래스를 구별할 수 없으며, 서로 다른 $\omega$ 가 동일한 지표 수열을 낳을 수 있다.
• 드린펠트 중심 $\mathcal{Z}(\mathcal{C}(G,\omega))$ 의 프레보니우스-슈어 지표 집합과 리본 뻗음은 모리타 동치 클래스를 완전히 분류한다.
• $|G| < 32$ 인 경우, $\mathcal{Z}(\mathcal{C}(G,\omega))$ 의 모듈라 데이터(S 및 T 행렬)는 $\mathcal{C}(G,\omega)$ 의 모리타 동치 클래스에 대해 완전한 불변량이다.
• 저자들은 복소수 계수 군 코호몰로지, 코호몰로지 클래스의 역상, 그리고 점지된 융합 분류의 프레보니우스-슈어 지표를 계산하기 위한 GAP 코드를 구현하고 배포한다.
• 분류 결과에 따르면, $|G| = 8, 16, 27$ (즉, $2^3, 2^4, 3^3$) 인 경우에 모리타 동치의 구조가 특히 풍부하고 비자명한 성질을 띈다.