[논문 리뷰] Module categories over the Drinfeld double of a finite group

Victor Ostrik|ArXiv.org|2002. 02. 14.

Algebraic structures and combinatorial models참고 문헌 12인용 수 35

한 줄 요약

이 논문은 유한군 $G$의 드린펠트 듀얼 $\mathcal{D}(G, \omega)$의 모듈러 카테고리들을 분류하며, 이들이 $\omega|_H = 1$ 인 부분군 $H \leq G$와 $\psi \in H^2(H, \mathbb{C}^*)$인 쌍 $(H, \psi)$의 코너전치류와 일대일 대응됨을 보여준다. 분류는 카테고리 $\mathrm{Vec}^G_\omega$ 내의 낫힌 그룹 대수를 통해 이루어지며, 이는 기존의 융합 카테고리에 대한 결과를 일반화하며, 대표적인 예로 $S_3$에 대한 모듈러 불변량의 명시적 계산을 포함한다.

ABSTRACT

We classify the module categories over the double (possibly twisted) of a finite group.

연구 동기 및 목표

• 유한군 $G$와 3-cocycle 휠 $\omega$에 대해 드린펠트 듀얼 $\mathcal{D}(G, \omega)$ 위의 모든 모듈러 카테고리들을 분류하는 것.
• 이러한 모듈러 카테고리들이 $H \leq G$, $\omega|_H = 1$, $\psi \in H^2(H, \mathbb{C}^*)$를 만족하는 쌍 $(H, \psi)$의 코너전치류와 어떻게 대응되는지 규명하는 것.
• 모노이드 카테고리 $\mathrm{Vec}^G_\omega$ 내에서 낫힌 그룹 대수를 이용한 체계적 모듈러 카테고리 구성 방법을 제공하는 것.
• $S_3$에 대해 특히 중요한 예시로, 모듈러 카테고리의 랭크와 그 이중 카테고리의 랭크를 모듈러 불변량과 연관지키는 것.

제안 방법

• 모든 융합 카테고리 위의 모듈러 카테고리는 그 카테고리 내의 결합 대수 위의 모듈러 카테고리로 나타남을 이용하여, $\mathcal{D}(G, \omega)$에 적용한다.
• 카테고리 $\mathrm{Vec}^G_\omega$ 내에서 $A(H, \psi) = \mathbb{C}_\psi[H]$ 형태의 낫힌 그룹 대수를 통해 모듈러 카테고리를 구성하며, 이때 $\psi$는 $d\psi = \omega|_H$ 를 만족하는 2-코체이다.
• G의 작용 하에 쌍 $(H, \psi)$의 코너전치류를 분석함으로써 이러한 대수들을 모티프 등가에 대해 분류한다.
• 그로텐디에크 군과 이중 모듈러 카테고리의 구조를 이용하여 각 모듈러 카테고리의 랭크와 그 이중 카테고리의 랭크를 계산한다.
• $S_3$에 대한 알려진 불변량 표를 활용하여 분류 결과를 conformal field theory의 모듈러 불변량과 연결하며, 특히 22개의 불가분 모듈러 카테고리에 대해 랭크를 매칭한다.

실험 결과

연구 질문

• RQ1 유한군 $G$와 3-cocycle $\omega$에 대해 드린펠트 듀얼 $\mathcal{D}(G, \omega)$ 위의 모듈러 카테고리를 어떻게 분류할 수 있는가?
• RQ2 모듈러 카테고리와 $\omega|_H = 1$인 부분군 $H \leq G$ 및 $\psi \in H^2(H, \mathbb{C}^*)$인 2-cocycle 사이의 정확한 대응 관계는 무엇인가?
• RQ3 모듈러 카테고리의 랭크와 그 이중 카테고리의 랭크는 conformal field theory의 모듈러 불변량과 어떻게 관련되어 있는가?
• RQ4 특정 비아벨 군인 $S_3$에 대해 분류 결과가 명시적으로 검증되고 기존의 모듈러 불변량과 일치하는가?
• RQ5 낫힌 그룹 대수는 $\mathcal{D}(G, \omega)$ 위의 모든 불가분 모듈러 카테고리를 어떻게 실현하는가?

주요 결과

• $\mathcal{D}(G, \omega)$ 위의 불가분 모듈러 카테고리는 $H \leq G$, $\omega|_H = 1$, $\psi \in H^2(H, \mathbb{C}^*)$를 만족하는 쌍 $(H, \psi)$의 코너전치류와 일대일 대응된다.
• $S_3$에 대해 22개의 불가분 모듈러 카테고리가 분류되었으며, 각 카테고리와 그 이중 카테고리의 랭크가 계산되고 모듈러 불변량과 매칭되었다.
• 각 모듈러 카테고리의 이중 카테고리 $\mathcal{C}^*$의 랭크는 명시적으로 계산되었으며, 값은 8에서 36 사이로 변동하며 모듈러 불변량과의 대응 관계를 제약하는 데 사용되었다.
• 모듈러 카테고리와 모듈러 불변량 사이의 대응은 부분적으로 결정되었다: 예를 들어, $H_1$은 $|\chi_0 + \chi_1 + 2\chi_2|^2$에 대응하고, $H_1^{tw}$는 $|\chi_0|^2 + |\chi_1|^2 + \cdots + |\chi_7|^2$에 대응한다.
• 모듈러 카테고리가 $\mathcal{C}$ 내의 결합 대수 $A$에 대해 $\mathrm{Mod}_{\mathcal{C}}(A)$ 형태로 나타남을 보여주는 일반 이론과 일관되며, 모든 이러한 카테고리는 낫힌 그룹 대수 구성법으로 포괄된다.
• $S_3$의 경우 랭크 표와 모듈러 불변량을 비교해보면, $H_2$와 $H_{17}$ 같은 카테고리는 랭크만으로는 구분될 수 없음을 확인할 수 있으며, 이는 더 미세한 불변량이 필요함을 시사한다.