분리성으로 보는 퓨전 카테고리의 동등 정의

초록

이 논문은 반단순 다중환 카테고리(좌 이중체 보유)에서 단위 객체가 단순인지와 모든 비영 알제브라에 대한 텐서 곱 functor ‑⊗A 가 분리 가능한지(또는 충실, 마슈케, 이중 마슈케, 보존적)와가 동치임을 증명한다. 이를 통해 퓨전 카테고리의 여러 동등한 정의를 제시하고, 약한 Hopf 대수의 연결성, 단위 객체의 단순성 전이, 반단순 불가분 모듈 카테고리 및 그루톤벡 링에 대한 응용을 제시한다.

상세 분석

본 연구는 먼저 반단순(ab​elian) 다중환 카테고리 C에 좌 이중체(left duals)가 존재한다는 기본 가정 하에, 단위 객체 𝟙의 구조가 전체 카테고리의 성질을 좌우한다는 점을 강조한다. 기존 정의에 따르면 퓨전 카테고리는 다중환 카테고리 중에서 𝟙가 단순(simple)일 때를 의미한다. 저자는 이 조건을 ‘모든 비영 알제브라 A∈Alg(C) 에 대해 텐서 곱 functor ‑⊗A : C → C_A 가 분리(separable)한다’는 조건과 동치임을 보인다. 여기서 분리 functor는 원래의 Hom-구조를 자연 변환 P 로 복원할 수 있는 강한 완전성 조건이며, 이는 functor 가 faithful(충실)하고 semiseparable(반분리)인 경우와도 동치임을