G₂ 유형 텐서 범주 재구성: 양자군과 스파이더의 완전 분류

초록

비대칭 리본 텐서 범주가 G₂의 퓨전 규칙을 가질 경우, 그 범주는 q가 원시 1차근이 아닌 경우 Drinfeld‑Jimbo 양자군 U_q(g₂)의 표상 범주와 동형이며, 유한한 퓨전 경우는 q가 (k+12)번째 원시 근일 때의 차원 축소 범주와 동등함을 증명한다. 동형성은 q↔q⁻¹(특수 경우 G₂,9에서는 추가 동형)만을 허용한다.

상세 분석

본 논문은 G₂ 유형 텐서 범주의 구조를 완전히 규명한다. 먼저 “type G₂”를 정의하고, 7차원 기본표현 V를 선택한다. V에 대한 브레이드 군 B_n의 표상이 End(V^{⊗ n})를 생성한다는 사실을 증명하는 것이 핵심이다. 이를 위해 저자들은 B₃와 B₄의 표상 이론을 정밀히 분석하고, 특히 B₄의 표상에 대한 K₄(=C B₄/〈σ_i 대각화, σ_i³ 관계〉)의 8차원 불변 indecomposable 모듈을 완전 분류한다. 이 결과를 이용해 Hom(V_{Λ₁+Λ₂}, V^{⊗4})가 차원 8임을 보이고, 이는 Bₙ 표상이 완전함을 귀납적으로 확장한다.

다음 단계에서는 Drinfeld‑Jimbo 양자군 U_q(g₂)의 표상 이론과 비교한다. 양자군의 R‑행렬이 제공하는 브레이드 구조와 리본 토션 Θ_λ = q^{C_λ} (여기서 C_λ는 양자 카시미르 고유값) 사이에 일대일 대응을 구축한다. q가 원시 ℓ‑근이 아닌 경우, 위에서 얻은 Bₙ 표상의 완전성은 U_q(g₂)의 표상 카테고리와 동형임을 보이는 재구성 정리(아인슈타인–스위트레드 방식)를 적용하게 만든다.

유한 퓨전 경우(G₂,k)에서는 q가 (k+12)번째 원시 근일 때의 차원 축소 범주 \overline{U}_q를 고려한다. 여기서는 Kac‑Weyl 정리와 아핀 Weyl 군 W_k의 작용을 이용해 퓨전 규칙을 수정하고, 동일한 Bₙ 완전성 논증을 적용한다. 결과적으로 G₂,k 범주는 \overline{U}_q와 정확히 동형임을 얻는다.

동형성의 유일성에 대해서는 q와 q^{-1}이 동일한 범주를 만든다는 사실을 이용해, (a) 일반적인 경우에는 이 두 값만이 동형을 초래하고, (b) 특별히 G₂,9(ℓ=21)에서는 추가로 q^{±8}, q^{±10}이 동형임을 확인한다. 이는 21차 원시 근에 대한 추가 대칭이 존재함을 의미한다.

마지막으로 저자들은 Kupersberg 스파이더(또는 삼가변 스파이더) 카테고리와의 관계를 제시한다. 스파이더 카테고리에서의 관계식과 차원 축소를 통해, 앞서 얻은 결과를 “스파이더 모듈로 modulo 무시 가능한 사상” 형태로도 재표현한다. 이는 기존의 스파이더 기반 접근법과 일치함을 보여, 결과의 견고성을 한층 강화한다.

전체적으로 논문은 (1) Bₙ 표상의 완전성, (2) K₄ 표상의 세밀한 분류, (3) 양자군과 스파이더 카테고리와의 비교라는 세 축을 통해 G₂ 유형 텐서 범주의 완전한 분류를 달성하였다.