트위스티드 양자 이중 표현 범주의 융합 부분범주

초록

본 논문은 유한군의 트위스티드 양자 이중(Drinfeld double) 표현 범주 Rep (D^{\omega}(G)) 의 모든 융합 부분범주를 완전하게 기술한다. 그룹‑이론적 브레이드된 융합 범주는 이러한 이중의 표현 범주에 임베딩될 수 있음을 이용해, 그룹‑이론적 브레이드된 융합 범주의 구조와 격자, 차원·모듈러 데이터와 같은 불변량을 명시적인 공식으로 제시한다. 또한, 이러한 범주가 포인티드 범주의 균등화(equivariantization) 형태임을 보이며, 기존 결과와의 연계성을 강화한다.

상세 분석

논문은 먼저 트위스티드 양자 이중 (D^{\omega}(G)) 의 정의와 그 표현 범주 (\operatorname{Rep}(D^{\omega}(G))) 가 비퇴화된 모듈러 브레이드된 융합 범주임을 상기한다. 여기서 (\omega\in Z^{3}(G,\mathbb{C}^{\times})) 는 3‑코사인으로, 이중의 구조를 뒤틀어 주는 역할을 한다. 저자들은 (\operatorname{Rep}(D^{\omega}(G))) 의 객체를 ((g,\rho)) 형태의 쌍으로 기술한다. 여기서 (g\in G) 는 군 원소, (\rho) 는 중앙화군 (C_{G}(g)) 의 (\omega)-프로젝트된 표현이다. 이러한 표기법을 이용해, 융합 부분범주 (\mathcal{C}\subseteq \operatorname{Rep}(D^{\omega}(G))) 를 완전히 기술하기 위해 두 개의 핵심 데이터, 즉 정규 부분군 (H\leq G) 와 (G)-불변 2‑코사인 (\psi\in H^{2}(H,\mathbb{C}^{\times})) 를 도입한다.

주요 정리(Theorem 3.5)는 다음과 같다. 임의의 융합 부분범주 (\mathcal{C}) 은 정확히 하나의 쌍 ((H,\psi)) 에 대응한다. 여기서 (H) 은 (\omega) 에 대해 (\omega|{H}= \delta\phi) 로서 경계가 되는 정규 부분군이며, (\psi) 는 (\phi) 로부터 유도된 2‑코사인이다. 반대로, 주어진 ((H,\psi)) 로부터 (\mathcal{C}(H,\psi)) 라는 융합 부분범주를 구성할 수 있다. 이때 (\mathcal{C}(H,\psi)) 의 단순 객체는 ({(g,\rho)\mid g\in H,\ \rho\in \operatorname{Irr}^{\psi}(C{G}(g))}) 로서, (\psi)‑프로젝트된 중앙화군의 불변 표현들만을 포함한다.

이러한 분류는 격자 구조와도 깊게 연결된다. 두 부분범주 (\mathcal{C}(H_{1},\psi_{1})) 와 (\mathcal{C}(H_{2},\psi_{2})) 의 교집합은 (\mathcal{C}(H_{1}\cap H_{2},\psi_{1}|{H{1}\cap H_{2}})) 로 주어지고, 합집합은 (\mathcal{C}(\langle H_{1},H_{2}\rangle,\tilde\psi)) 로 표현된다. 여기서 (\tilde\psi) 는 두 코사인을 일관되게 확장한 2‑코사인이다. 따라서 융합 부분범주의 격자는 정규 부분군들의 격자와 동형이며, 코사인 클래스가 격자 위에 추가적인 레이블을 제공한다.

다음으로, 저자들은 그룹‑이론적 브레이드된 융합 범주 를 새로운 관점에서 재해석한다. 모든 그룹‑이론적 브레이드된 범주는 어떤 유한군 (G) 와 3‑코사인 (\omega) 에 대해 (\operatorname{Rep}(D^{\omega}(G))) 의 융합 부분범주로 동형임을 보인다(정리 4.2). 이는 기존에 알려진 “모든 그룹‑이론적 범주는 트위스티드 이중에 임베딩된다”는 사실을 역으로 이용해, 모든 그룹‑이론적 브레이드된 범주가 포인티드 범주의 균등화 형태임을 증명한다. 구체적으로, (\mathcal{C}(H,\psi)) 은 포인티드 융합 범주 (\operatorname{Vec}{H}^{\psi}) (즉, (H)‑그레이딩을 갖는 포인티드 카테고리) 의 (G/H)‑액션에 대한 균등화 (\operatorname{Vec}{H}^{\psi}!!^{G/H}) 와 동형이다. 이 결과는 브레이드된 구조를 유지하면서도, 포인티드 카테고리 이론의 풍부한 도구들을 적용할 수 있게 만든다.

마지막으로, 저자들은 불변량(Frobenius‑Schur 지표, 차원, S‑행렬, T‑행렬 등)의 명시적 계산 공식을 제시한다. 특히, 부분범주 (\mathcal{C}(H,\psi)) 의 모듈러 데이터는 원래 이중의 데이터에 (H) 와 (\psi) 로 제한된 형태로 나타난다. 예를 들어, S‑행렬 원소는
\