교차곱 텐서 범주의 새로운 분류와 구조

초록

그룹 $G$에 대해 동차 성분마다 가역 객체를 갖는 $G$‑그레이딩 텐서 범주를 ‘교차곱 텐서 범주’라 정의한다. 저자는 이러한 범주와 그에 대한 그레이딩된 단일함자, 단일 자연 변환, 그리고 브레이딩을 ‘외부 $G$‑작용의 일관된 코히런트 구조’로 완전히 기술한다. 주요 결과는 교차곱 텐서 범주의 동형 사상 분류와, 이를 통해 기존의 확장·축소(Equivariantization/De‑equivariantization) 이론을 일반화한 새로운 범주론적 프레임워크를 제공한다는 점이다.

상세 분석

논문은 먼저 $G$‑그레이딩 텐서 범주 $\mathcal{C}=\bigoplus_{g\in G}\mathcal{C}g$를 정의하고, 각 동차 성분 $\mathcal{C}g$가 적어도 하나의 곱셈적으로 가역인 객체 $U_g$를 포함하면 이를 ‘교차곱 텐서 범주’라 명명한다. 이 가역 객체들은 $U_g\otimes U_h\simeq U{gh}$와 같은 곱셈 구조를 갖도록 선택될 수 있으며, 이러한 선택은 $G$‑행동을 텐서 범주 위에 끌어올리는 ‘외부 $G$‑작용(outer $G$‑action)’을 만든다. 저자는 외부 작용을 2‑카테고리적 관점에서 코히런트하게 정리하기 위해, 각 $g\in G$에 대해 텐서 자동동형사상 $F_g:\mathcal{C}\to\mathcal{C}$와 자연 동형 $\mu{g,h}:F_g\circ F_h\Rightarrow F_{gh}$를 도입하고, 이들이 만족해야 할 3‑코시 조건을 명시한다. 이러한 데이터는 정확히 ‘교차곱 텐서 범주’를 재구성하는 데 충분함을 보인다.

주요 정리(Theorem A)는 다음과 같다. ‘교차곱 텐서 범주’와 ‘코히런트 외부 $G$‑작용’ 사이에는 2‑동형동형(2‑equivalence) 관계가 존재한다. 즉, 주어진 교차곱 텐서 범주 $\mathcal{C}$는 가역 객체들의 선택을 통해 외부 작용 $(F,\mu)$을 얻고, 반대로 임의의 코히런트 외부 작용 $(F,\mu)$은 가역 객체 $U_g$를 이용해 $\mathcal{C}=\bigoplus_{g}\mathcal{C}_g$를 구성한다.

그레이딩된 단일함자(graded monoidal functor)의 경우, 저자는 두 교차곱 텐서 범주 사이의 함수 $T:\mathcal{C}\to\mathcal{D}$가 각 $g$에 대해 $T(\mathcal{C}_g)\subseteq\mathcal{D}_g$를 만족하고, $T(U_g)$와 $U’_g$ 사이에 지정된 가역 동형을 통해 외부 작용 사이의 2‑셀을 보존하도록 하는 ‘교차곱 단일함자’를 정의한다. 이러한 함자는 외부 작용 사이의 ‘모노이달 변환(monidal natural transformation)’과 정확히 일치한다는 것이 증명된다.

브레이딩에 관한 결과는 특히 흥미로운데, 교차곱 텐서 범주가 브레이딩을 갖는 경우, 외부 $G$‑작용은 추가적으로 ‘교차곱 브레이딩 구조’를 만족해야 한다. 구체적으로, 각 $g$에 대한 자동동형사상 $F_g$는 브레이딩과 교환 가능해야 하며, $\mu_{g,h}$는 브레이딩의 자연성 조건과 호환되는 2‑셀이어야 한다. 이를 통해 저자는 기존의 $G$‑교차곱( crossed product) Hopf 알제브라와의 유사성을 카테고리 수준에서 정확히 포착한다.

마지막으로, 저자는 여러 예시를 제시한다. 가장 단순한 경우는 포인티드(fusion) 범주 $\operatorname{Vec}_G^\omega$이며, 여기서 $\omega\in H^3(G,\mathbb{k}^\times)$는 3‑코사인으로, 교차곱 구조는 바로 $\omega$‑트위스팅된 군 대수와 동형이다. 또 다른 예는 유한 군 $G$의 표현 범주 $\operatorname{Rep}(G)$에 비가역적 2‑코시 클래스를 부여해 만든 ‘트위스티드 교차곱’이며, 이는 기존의 ‘equivariantization’과 ‘de‑equivariantization’ 절차를 일반화한다.

전체적으로 논문은 교차곱 텐서 범주의 구조를 외부 $G$‑작용이라는 고차원 코히런스 데이터로 완전히 기술함으로써, 기존의 군 확장 이론을 카테고리 수준으로 끌어올리고, 향후 모듈러 텐서 범주와 토포로지컬 양자장 이론 등에서 새로운 적용 가능성을 열어준다.