[논문 리뷰] Equivariant Modular Categories via Dijkgraaf-Witten Theory

Jennifer Maier, Thomas Nikolaus외 1명|arXiv (Cornell University)|2011. 03. 15.

Algebraic structures and combinatorial models참고 문헌 23인용 수 4

한 줄 요약

이 논문은 유한군 $J$ 가 유한군 $G$ 에 약한 작용을 하는 Dijkgraaf-Witten 이론을 사용하여 $J$-등변 모듈라 텐서 범주를 구성한다. 표준 Drinfel'd 이중을 일반화한 $J$-리ibbon 대수로서 등변 Drinfel'd 이중을 도입하고, 결과적으로 얻어진 범주가 모듈라이며 자연스러운 $J$-작용을 지닌다는 것을 보여, 등변 토폴로지적 장 이론의 분류적 오르비 평면을 완성한다.

ABSTRACT

Based on a weak action of a finite group J on a finite group G, we present a geometric construction of J-equivariant Dijkgraaf-Witten theory as an extended topological field theory. The construction yields an explicitly accessible class of equivariant modular tensor categories. For the action of a group J on a group G, the category is described as the representation category of a J-ribbon algebra that generalizes the Drinfel'd double of the finite group G.

연구 동기 및 목표

• 유한군 $G$ 에 대한 유한군 $J$ 의 약한 작용을 이용하여 $J$-등변 확장된 토폴로지적 장 이론의 기하적 실현을 구축하는 것.
• 유한군 작용으로부터 유도되는 등변 모듈라 텐서 범주의 구체적 클래스를 제공하는 것.
• 표준 Drinfel'd 이중 구조를 $J$-리ibbon 대수를 통해 군 작용을 통합하도록 일반화하는 것.
• 등변 범주에서의 모듈라화가 표준 Drinfel'd 이중을 얻는다는 것을 보여, 분류적 오르비 평면을 완성하는 것.
• 특성 이론과 2차 선형화를 통해 날카로운 배치, 작용 군개, 모듈라 범주 간의 연결 고리를 설정하는 것.

제안 방법

• 유한군 $J$ 가 유한군 $G$ 에 약한 작용하도록 정의하여 $J$-등변 Dijkgraaf-Witten 이론을 확장된 TFT로 정의한다.
• 표준 Drinfel'd 이중 $\mathcal{D}(G)$ 를 일반화한 군 대수 $\mathbb{K}[G]$ 위의 $J$-리ibbon 대수로서 등변 Drinfel'd 이중을 구성한다.
• 작용 군개 $M//G$ 위의 스펜의 2차 선형화를 활용하여 표현 범주의 모듈라 범주로의 실현을 달성한다.
• 주어진 군 작용에 대한 $G$-등변 함수를 통한 날카로운 배치의 코homological 기술을 적용하며, 쌍대화에 대한 불변성을 포함한다.
• 작용 군개의 특성 이론을 활용하여 정규직교관계 및 일반화된 Burnside 정리를 포함한, 기약 표현을 분류한다.
• $\mathcal{B}(G\triangleleft H)$-mod 의 모듈라화가 $J=H/G$ 의 정규 표현을 沿해 $\mathcal{D}(G)$-mod 와 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 유한군 $G$ 에 대한 유한군 $J$ 의 약한 작용을 기반으로 $J$-등변 모듈라 텐서 범주를 어떻게 기하학적으로 구성할 수 있는가?
• RQ2 등변 Drinfel'd 이중이 $J$-리ibbon 대수로서의 구조는 어떠한가? 그리고 표준 Drinfel'd 이중을 어떻게 일반화하는가?
• RQ3 정규 부분군 포함 $G \triangleleft H$ 로부터 유도된 전모듈라 범주에서의 모듈라화는 $J=H/G$ 를 갖는 $J$-등변 모듈라 범주로 어떻게 실현될 수 있는가?
• RQ4 등변 이론에서의 날카로운 섹터와 융합 규칙은 관성 군개 $\Lambda(M//G)$ 와 $A = \{(m,g) \mid g.m = m\}$ 에서의 $G$-오빗과 어떻게 관련되는가?
• RQ5 $J$ 의 정규 표현이 등변 범주에서 모듈라 범주를 유도하는 데 어떤 역할을 하는가? 이는 오르비 구조와 어떻게 관련되는가?

주요 결과

• 등변 Dijkgraaf-Witten 이론은 등변 Drinfel'd 이중의 표현 범주와 동치인 $J$-등변 모듈라 텐서 범주를 유도한다.
• 작용 군개 $M//G$ 의 기약 표현의 수는 관성 군개 $\Lambda(M//G)$ 의 객체의 이sov모르피즘 클래스의 수와 같으며, 즉 $|I| = |\mathrm{Iso}(\Lambda(M//G))|$ 이다.
• 작용 군개 $M//G$ 의 정규 표현의 특성은 $\chi_H(m,g) = \delta(g,1)\cdot|G|$ 로 주어지며, 각 기약 표현은 그 차원과 같은 중복도로 포함된다.
• $\mathcal{B}(G\triangleleft H)$-mod 는 전모듈라이며 모듈라화 가능하며, $J=H/G$ 의 정규 표현을 따라 $\mathcal{D}(G)$-mod 와 동치임을 증명한다.
• 작용 군개 $M//G$ 의 기약 특성은 이중선형형식 $\langle f,f'\rangle = \frac{1}{|G|}\sum_{g,m} f(m,g^{-1})f'(m,g)$ 에서의 동치류 함수 공간의 정규직교 기저를 이룬다.
• 일반화된 Burnside 정리가 성립한다: $\sum_{i\in I} |d_i|^2 = |M||G|$, 여기서 $d_i = \dim V_i$ 는 $M//G$ 의 단순 표현 $V_i$ 의 차원이다.