[논문 리뷰] On the Structure of Modular Categories

Michael Mueger|ArXiv.org|2002. 01. 03.

Advanced Algebra and Logic참고 문헌 14인용 수 9

한 줄 요약

이 논문은 모odular 범주에 대해 이중 중심자 정리(\textit{double centralizer theorem})를 수립하며, 이는 이중 중심자가 원래 범주를 복원하고 차원 곱이 총 차원과 일치함을 증명한다. 핵심 기여는 구조적 분해 정리: 모든 모odular 범주는 소수 모odular 범주의 레이저 범주 직접곱으로 분해되며, 이는 전모듈라 범주의 갈루아 이론과 텐서 범주의 모odular 폐쇄에 응용된다.

ABSTRACT

For a braided tensor category C and a subcategory K there is a notion of centralizer C_C(K), which is a full tensor subcategory of C. A pre-modular tensor category is known to be modular in the sense of Turaev iff the center Z_2(C):=C_C(C) (not to be confused with the center Z_1 of a tensor category, related to the quantum double) is trivial, i.e. equivalent to Vect, and dim(C)<>0. Here dim(C)=sum_i d(X_i)^2, the X_i being the simple objects. We prove the following double centralizer theorem: Let C be a modular category and K a full tensor subcategory closed w.r.t. direct sums, subobjects and duals. Then C_C(C_C(K))=K and dim(K)dim(C_C(K))=dim(C). We give several applications, the most important being the following. If C is modular and K is a full modular subcategory, then also L=C_C(K) is modular and C is equivalent as a ribbon category to the direct product of K and L. Thus every modular category factorizes (non-uniquely, in general) into prime ones. We study the prime factorizations of the categories D(G)-Mod, where G is a finite abelian group.

연구 동기 및 목표

• 모듈라 범주에 대한 일반적인 구조 이론을 개발하는 것. 이는 위상적 양자 필드 이론과 끈 이론에서 중심적인 역할을 한다.
• 비퇴도성 조건과 관련하여 중심 $\mathcal{Z}_2(\mathcal{C})$ 가 모듈라성의 결정적 역할을 하는 것의 역할을 명확히 하는 것.
• 주어진 갈루아 군을 갖는 전모듈라 범주를 구성함으로써 브레이드 텐서 범주에 대한 역 갈루아 문제를 해결하는 것.
• 모듈라 폐쇄가 최소 차원을 달성하는 조건과 차원 상한을 설정하는 것.

제안 방법

• 모듈라 범주 $\mathcal{C}$ 내의 전부 텐서 부분범주 $\mathcal{K}$ 에 대해 중심자 구조 $C_{\mathcal{C}}(\mathcal{K})$ 를 도입하며, 이는 연산자 대수학에서의 공통자 개념을 일반화한다.
• 이중 중심자 정리 증명: $C_{\mathcal{C}}(C_{\mathcal{C}}(\mathcal{K})) = \mathcal{K}$ 이고 $\dim \mathcal{K} \cdot \dim C_{\mathcal{C}}(\mathcal{K}) = \dim \mathcal{C}$ 이다. 이는 합, 부분대상, 쌍대를 포함하는 전부 부분범주에 대해 성립한다.
• 이중 중심자 정리를 적용하여, $\mathcal{K}$ 가 전부 모듈라 부분범주이면 $\mathcal{C} \simeq \mathcal{K} \boxtimes C_{\mathcal{C}}(\mathcal{K})$ 가 레이저 범주로서 성립함을 보인다.
• 양자 이중 구조 $\mathcal{Z}_1(\mathcal{C})$ 를 사용하여 $\operatorname{Rep}(G)$ 를 전부 부분범주로 포함하는 모듈라 범주를 구성함으로써, 주어진 갈루아 군을 갖는 전모듈라 범주의 구성이 가능해진다.
• 두 가지 다른 모듈라 범주 가족을 구성한다: $\mathcal{Z}_1(\mathcal{Z}_1(\operatorname{Rep}(G)))$ 와 $\mathcal{Z}_1(\operatorname{Rep}(K))$ 를 $1 \to H \to K \to G \to 1$ 의 군 확장에 대해 정의함으로써, $\operatorname{Gal}(\mathcal{C}) \cong G$ 를 갖는 비대칭 전모듈라 범주를 실현한다.
• 차원 상한 유도: $*$-범주에 대해 $\dim \mathcal{C} \geq \dim \mathcal{K} \cdot \dim \mathcal{Z}_2(\mathcal{K})$ 이며, 모듈라 폐쇄 구성에서 등호가 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 모든 모듈라 범주는 소수 모듈라 범주의 직접곱으로 분해될 수 있는가?
• RQ2 전모듈라 범주의 모듈라 폐쇄가 차원에서 최소가 되는 조건은 무엇인가?
• RQ3 모든 전모듈라 범주는 어떤 모듈라 범주에 완전히 통합되어 $\dim \mathcal{C} = \dim \mathcal{K} \cdot \dim \mathcal{Z}_2(\mathcal{K})$ 의 차원 상한이 달성되는가?
• RQ4 모든 유한군은 비대칭 전모듈라 범주의 갈루아 군으로 나타날 수 있는가?
• RQ5 표현 $\operatorname{Rep}(G)$ 를 포함하는 브레이드 텐서 범주의 모듈라 폐쇄의 구조는 무엇인가?

주요 결과

• 이중 중심자 정리 성립: 전부 부분범주 $\mathcal{K}$ 가 합, 부분대상, 쌍대를 포함하는 모듈라 범주 $\mathcal{C}$ 에서 $C_{\mathcal{C}}(C_{\mathcal{C}}(\mathcal{K})) = \mathcal{K}$ 이고 $\dim \mathcal{K} \cdot \dim C_{\mathcal{C}}(\mathcal{K}) = \dim \mathcal{C}$ 이다.
• 모든 모듈라 범주 $\mathcal{C}$ 는 $\mathcal{C} \simeq \mathcal{K} \boxtimes \mathcal{L}$ 형태로 레이저 범주로서 분해 가능하며, 여기서 $\mathcal{K}$ 는 전부 모듈라 부분범주이고 $\mathcal{L} = C_{\mathcal{C}}(\mathcal{K})$ 도 모듈라이다.
• 모든 유한군 $G$ 에 대해, $\operatorname{Gal}(\mathcal{C}) \cong G$ 이고 대칭이 아니며 비자명한 모듈라 폐쇄를 갖는 유니터리 전모듈라 범주 $\mathcal{C}$ 가 존재한다.
• $\mathcal{D} = C_{\mathcal{C}}(\operatorname{Rep}(G))$ 의 모듈라 폐쇄는 $\dim \mathcal{C} > |G|^2 $ 이면 비자명하며, 특히 $\mathcal{C} = \mathcal{Z}_1(\operatorname{Rep}(K))$ 이고 $K$ 가 $H$ 에 대한 $G$ 의 확장이면 $\dim(\mathcal{D} \rtimes \operatorname{Rep}(G)) = |H|^2$ 이다.
• $*$-범주에 대해 차원 상한 $\dim \mathcal{C} \geq \dim \mathcal{K} \cdot \dim \mathcal{Z}_2(\mathcal{K})$ 는 달성되며, $\mathcal{Z}_1(\mathcal{Z}_1(\operatorname{Rep}(G)))$ 를 통한 모듈라 폐쇄 구성에서 등호가 성립한다.
• $\mathcal{Z}_1(\operatorname{Rep}(G))$ 의 모듈라 폐쇄는 $D(G)\text{-mod}$ 와 동치이며, $C_{\mathcal{Z}_1(\operatorname{Rep}(K))}(\operatorname{Rep}(G))$ 의 모듈라 폐쇄는 $D(H)\text{-mod}$ 와 동치이다. 이는 모듈라 폐쇄의 구조에 대한 추측을 확인한다.