포인티드 텐서 범주 위의 정확한 모듈 범주 전면 분석

본 논문은 유한 차원 quasi‑Hopf 대수 A의 표현 범주 Rep(A)가 가리키는 포인티드 텐서 범주 C에 대한 정확한 모듈 범주들을 체계적으로 연구한다. 서론에서는 모듈 범주의 정의와 정확성(exactness)의 개념을 소개하고, 기존에 다양한 텐서 범주(예: U_q(sl₂)·의 반정규화, SL_q(2)·표현, 슈퍼그룹, Tambara‑Yamagami 등)에서의 분류 결과들을 언급한다. 이어서 저자들은 가역 객체군이 순환군 G≅ℤ/p(p는 소수)인 포인티드 텐서 범주가 반드시 어떤 유한 차원 quasi‑Hopf 대수 A의 표현 범주와 동형임을 상기한다(Angioni의 결과). **2장**에서는 정확한 모듈 범주의 기본 이론을 정리하고, 텐서 범주의 모듈 카테고리 간 텐서 곱 ⊠_E와 같은 구조를 소개한다. **3장**에서는 G‑graded 텐서 범주, G‑action, 그리고 교차곱 텐서 범주 C⋊G의 정의를 상세히 제시한다. 특히, G‑equivariantization C^G와 교차곱 C⋊G 사이의 이중성(duality)을 설명하고, 이를 통해 모듈 범주의 등가화 과정을 기술한다. **4장**에서는 quasi‑Hopf 대수 A 위의 comodule algebra (K,Φ,λ)를 정의하고, 이러한 구조가 정확한 모듈 범주와 Morita 동등류를 이루는 방법을 논한다. 여기서 핵심은 A‑comodule algebra K가 H‑comodule algebra와의 관계를 통해 모듈 범주를 생성한다는 점이다. **5장**은 논문의 핵심 결과를 담고 있다. 먼저 G가 A(H,s) 위에 작용하면 Rep(A(H,s))^G≅Rep(H)라는 등가화를 증명한다. 그 다음, H‑comodule algebra K에 대해 kG⊂K₀라는 조건을 두고, 이를 이용해 A(H,s)‑comodule algebra K̃를 구성한다. 저자들은 K가 H‑simple(즉, H‑costable한 비자명한 아이디얼이 없)일 때, K̃가 생성하는 모듈 범주가 정확하고, 모든 indecomposable exact 모듈 범주가 이러한 형태로 얻어진다고 보인다. 특히 |G(H)|=p²인 경우, H는 양자 선형 공간의 보소니제이션이며, 이때 모든 정확한 모듈 범주가 위의 절차를 통해 완전히 기술된다. 저자들은 구체적인 예시로, H가 차원 p·p인 Nichols algebra B(V)와 그 보소니제이션을 택하고, s∈ℤ/p를 선택해 A(H,s) 를 만든다. 그 결과, Rep(A(H,s)) 위의 모듈 범주는 H‑comodule algebra K의 종류에 따라 완전히 분류되며, K는 kG⊂K₀와 H‑simple 조건만 만족하면 충분함을 증명한다. **6장**에서는 앞서 얻은 결과를 바탕으로, 양자 선형 공간의 경우에 대한 구체적인 분류표를 제시한다. 여기서는 모듈 범주의 인덱스, 차원, 그리고 교차곱 구조를 명시적으로 계산한다. 또한, 기존에 알려진 Tambara‑Yamagami, Haagerup, 그리고 Turaev‑Viro‑type 포인티드 범주와의 비교를 통해, 본 연구가 제공하는 분류가 얼마나 포괄적인지를 강조한다. 마지막으로, 논문은 향후 연구 방향으로 (i) 비순환 가역 객체군을 갖는 포인티드 텐서 범주의 모듈 분류, (ii) 더 일반적인 quasi‑Hopf 대수(예: Drinfeld twist가 적용된 경우)에서의 등가화 구조, (iii) 물리학적 응용(예: 2‑차원 위상 양자장 이론에서의 경계 조건) 등을 제시한다. 전반적으로, 이 논문은 quasi‑Hopf 대수와 그 등가화·교차곱 구조를 활용해, 순환 가역 객체군을 갖는 포인티드 텐서 범주의 정확한 모듈 범주를 완전하고 체계적으로 분류함으로써, 텐서 범주 이론 및 관련 물리·수학 분야에 중요한 기여를 한다.