쌍대 모듈 범주의 2차원 모노이달 구조

초록

이 논문은 고정된 텐서 범주 C에 대한 C‑쌍대 모듈 범주들의 텐서곱을 정의하고, 이를 통해 Kapranov‑Voevodsky식 2‑모노이달 범주 구조를 부여한다. 또한 중심 Z(C)‑모듈 범주와의 2‑동등성을 구축하고, 유한군 G에 대해 Rep(G)‑위의 탈동등화가 Rep(G) 위의 텐서곱과 동치임을 보인다. 마지막으로 Rep(G)‑모듈 퓨전 규칙을 도출하고, 비가환 군에 대해서도 가역적인 불가분 모듈 범주의 군을 완전히 기술한다.

상세 분석

논문은 먼저 텐서 범주 C의 왼쪽·오른쪽 모듈 구조를 동시에 갖는 C‑쌍대 모듈 범주 𝓜를 정의한다. 기존의 1‑범주 수준에서의 모듈 텐서곱(예: 𝓜⊠_C 𝓝)과는 달리, 저자는 2‑범주적 관점에서 𝓜⊠_C 𝓝을 bimodule tensor product라 명명하고, 이를 balanced functor와 coend 공식을 이용해 엄밀히 구성한다. 핵심은 𝓜와 𝓝 사이의 C‑액션을 동시에 소거하면서도, 양쪽 모듈 구조가 보존되는 새로운 2‑셀(자연 변환)들을 적절히 식별하는 것이다.

이후 Kapranov‑Voevodsky가 제시한 monoidal 2‑category의 정의를 인용해, 객체를 C‑쌍대 모듈 범주, 1‑셀을 C‑선형 2‑함자, 2‑셀을 C‑선형 변환으로 잡고, 위에서 정의한 텐서곱을 ⊗ 연산으로 두어 2‑범주의 연합법칙과 단위 객체(즉, C 자체를 C‑쌍대 모듈 범주로 보는 경우)를 검증한다. 특히, 연합자연동형(associator)와 단위자연동형(unitors)이 모두 coherent하게 작용함을 보이기 위해, 3‑셀 수준의 pentagon 및 triangle 방정식을 2‑셀 수준에서 유도한다.

다음 단계에서는 중심 Z(C) (Drinfeld center)와의 관계를 탐구한다. 저자는 Z(C)‑module category를 C‑쌍대 모듈 범주와 2‑동등하게 만드는 2‑equivalence F: Bimod(C) ↔ Mod_{Z(C)} 를 구성한다. 여기서 F는 𝓜 ↦ Fun_{C|C}(C, 𝓜) 형태의 내부 함자(internal Hom)으로 정의되며, 역함자는 Z(C)‑모듈 구조를 이용해 C‑쌍대 모듈 구조를 복원한다. 이 동등성은 특히 fully faithful와 essentially surjective를 동시에 만족함을 보이며, 모듈 범주들의 2‑morphism 구조까지 보존한다는 점에서 강력하다.

그 후, 유한군 G에 대해 Rep(G) (유한 차원 복소수 표현 범주)를 기준으로 de‑equivariantization 과정을 검토한다. 기존 문헌에서는 Rep(G)‑위의 모듈 범주를 G‑동형화(equivariantization)와 역과정으로 이해했지만, 저자는 이를 tensor product over Rep(G), 즉 𝓜⊠_{Rep(G)} 𝓝 형태로 정확히 기술한다. 이때 Rep(G)‑모듈 구조가 양쪽에 존재하므로, 위에서 정의한 2‑차원 텐서곱이 바로 탈동등화 연산과 일치한다는 것을 증명한다.

마지막으로, 이러한 구조를 이용해 Rep(G)‑module fusion rules를 전개한다. 특히, 𝓜_i ⊠{Rep(G)} 𝓜_j ≅ ⊕k N{ij}^k 𝓜_k 형태의 구조상수 N{ij}^k를 계산하고, 가역적인(즉, 인버터블) 불가분 Rep(G)‑모듈 범주들의 군 Inv(Rep(G))을 구한다. 기존 연구가 아벨 군에 한정된 반면, 본 논문은 비가환 군에 대해서도 중심 Z(Rep(G)) ≅ Rep(G) × Rep(G)^{op} 구조를 활용해 그룹 동형식을 완전히 기술한다. 결과적으로, Inv(Rep(G))는 G의 2‑코시 체계와 동형인 **H^2(G, k^×)**와 연결되며, 이는 모듈 범주의 가역성 판정에 새로운 대수적 해석을 제공한다.

전반적으로, 이 연구는 2‑범주 수준에서의 모듈 텐서곱을 체계화하고, 중심 모듈 범주와의 동등성을 통해 기존의 모듈 이론을 고차원적으로 확장한다는 점에서 중요한 기여를 한다.