리본 카테고리와 인덱스 완전 대수 단순 전류 경우

본 논문은 인덱스 완전화(ind‑completion)된 braided tensor category 𝒞 위에 정의된 commutative algebra A에 대해, 그 위의 유한 생성 로컬 모듈들이 강체(rigid), 브레이드(braided), 리본(ribbon) 구조를 물려받는 충분조건을 체계적으로 제시한다. 연구는 크게 세 부분으로 전개된다. 첫 번째 부분에서는 일반적인 프레임워크를 구축한다. 𝒞가 braided tensor category이고, A가 \widehat{𝒞} (𝒞의 ind‑completion) 안의 commutative algebra이라고 가정한다. 여기서 ‘Artinian’이라는 정의는 A‑모듈이 유한 길이를 갖는 abelian 카테고리임을 의미하고, ‘ind‑exact’는 A‑모듈에 대한 텐서곱이 ind‑exact(즉, 필터드 콜리밋을 보존)함을 뜻한다. Theorem A는 다음을 증명한다. (a) A가 Artinian이면 fg‑\widehat{𝒞}_A와 fg‑\widehat{𝒞}_{loc}는 유한 길이의 abelian 카테고리가 된다. (b) A가 ind‑exact이면 fg‑\widehat{𝒞}_A는 텐서 카테고리, fg‑\widehat{𝒞}_{loc}는 브레이드 텐서 카테고리가 된다. (c) 추가로 𝒞가 ribbon이고 A가 ‘Frobenius’이며 θ_A=id_A이면, fg‑\widehat{𝒞}_{loc}는 자연스럽게 twist를 갖는 ribbon 카테고리가 된다. 여기서 Frobenius 구조는 A가 자체적인 내부 Hom과 평가/공평 사상을 통해 자기쌍대성을 갖는 확장된 의미의 정의이다. 두 번째 부분에서는 위의 추상적 기준을 구체적인 ‘simple current algebra’에 적용한다. Γ는 𝒞의 가역 객체들의 부분군이며, 각 g∈Γ에 대해 가역 객체 E_g를 선택한다. A=⊕_{g∈Γ}E_g를 정의하고, 적절한 2‑코사이클 조건을 만족하도록 half‑braiding을 부여하면 A는 ‘simple current algebra’가 된다(정의 2.8). 저자들은 A‑모듈을 명시적으로 분류한다. 특히 단순 A‑모듈은 E_g‑텐서와 같은 형태이며, 이러한 분류를 통해 A가 언제 Artinian이고 Frobenius인지 확인한다(정리 4.15). 특수히 A가 중앙(commutative)이고 특성 0일 때, 모든 단순 A‑모듈이 강체임을 직접 검증한다. 이 결과와 Appendix A에서 증명된 ‘모든 단순 모듈이 강체이면 ind‑exact’라는 일반 정리(Theorem B)를 결합하면, simple current algebra A는 ind‑exact임을 알 수 있다. 세 번째 부분에서는 비퇴화성(non‑degeneracy)와 유한성 조건을 다룬다. Theorem C는 char(k)=0, Γ가 모든 g에 대해 c_{E_g,E_g}=id_{E_g⊗E_g}를 만족하고, θ_{E_g}=id_{E_g}이면, A는 유일한 commutative simple current algebra 구조를 갖는다. 이때 fg‑\widehat{𝒞}_A는 텐서 카테고리, fg‑\widehat{𝒞}_{loc}는 브레이드 텐서 카테고리가 되며, 𝒞가 ribbon이면 fg‑\widehat{𝒞}_{loc}는 ribbon 카테고리가 된다. 또한 𝒞가 Frobenius이면 두 카테고리 모두 Frobenius가 되고, 유한성은 Irr(𝒞)/Γ의 유한성으로, 비퇴화성은 C_Γ 안의 ‘이중 브레이드가 오직 E_g에만 해당’하는 조건으로 판정된다. 이러한 조건은 기존 VOAs의 simple current 확장에서 rigidity와 modular성을 보장하는 데 필요한 충분조건과 일치한다. 마지막으로 저자들은 두 구체적인 예시를 제시한다. 첫 번째는 양자군 U_q^H(𝔤) 의 적분 가중 모듈 카테고리이며, 두 번째는 unrolled 양자 초군 U_q^E(𝔤𝔩(1|1)) 이다. 각각의 카테고리에서 적절한 Γ를 선택해 simple current algebra을 구성하고, 위의 정리들을 적용해 새로운 ribbon(또는 modular) 텐서 카테고리를 얻는다. 특히 unrolled 𝔤𝔩(1|1) 의 경우는 Creutzig–Ruppert의 격자 기준과 정확히 일치함을 확인한다. 전체적으로 논문은 ind‑completion이라는 기술을 활용해, 기존에 유한·반정규 상황에 국한되던 simple current 확장 이론을 비유한·비반정규 상황까지 일반화한다. 이는 VOAs와 양자군의 대표적인 비반정규 예시들에 대해 강체·리본·비퇴화성을 체계적으로 확보할 수 있는 새로운 범주론적 도구를 제공한다.