완전 정확하고 완전 이중가능한 모듈 범주

초록

이 논문은 유한 브레이드 텐서 범주 C 위에 정의된 ‘완전 정확(Fully Exact)’ 모듈 범주를 도입하고, 이 클래스가 상대 Deligne 곱에 대해 닫혀 있음을 보인다. 기존의 ‘정확(Exact)’ 모듈 범주는 곱에 대해 닫히지 않으며, 완전 정확 범주는 가역·분리 가능한 범주를 포함하면서 내부 대수는 ‘프로젝티브 분리 가능(Projectively Separable)’이라는 일반화된 성질을 갖는다. 완전 정확하지만 이중가능하지 않은 경우도 존재하지만, 이중가능한 경우는 ‘완전(perfect)’이라 명명하고, 완전 모듈 범주가 형성하는 2‑카테고리 Cₚₑᵣ𝒻 는 강체이며 모든 완전 이중가능 객체를 포함한다. 대칭 브레이딩이면 완전 정확과 완전이 동치가 된다. Sweedler 4차원 Hopf 대수와 작은 양자군을 예로 들어 완전 정확·완전 범주의 분류와 Deligne 곱 구조를 상세히 계산한다.

상세 분석

논문은 먼저 유한 브레이드 텐서 범주 C 위의 모듈 범주 M 에 대해 ‘완전 정확’이라는 새로운 조건을 정의한다. 이는 임의의 정확 모듈 범주 N 에 대해 상대 Deligne 곱 N ⊠_C M 이 다시 정확이 되는 것을 요구한다. 이 정의는 곱에 대한 닫힘성을 자동으로 보장한다는 점에서 기존의 정확 범주와 차별화된다. 저자들은 정확 범주가 곱에 대해 닫히지 않는 구체적인 예시를 제시한다. 예를 들어, 특성 p 가 |G|를 나누는 경우 Vect^G ⊠_C Vect^G 가 정확하지 않으며, Sweedler Hopf 대수 S-mod 위에서도 svect ⊠_C svect 이 정확하지 않다. 이러한 예시는 완전 정확 범주의 필요성을 강하게 시사한다.

다음으로 완전 정확 범주의 구조적 특성을 탐구한다. 중심자 함수 A_M: C → Fun_C(M,M) 이 사영 객체를 보존한다는 조건이 네 가지 동등한 정의와 동치임을 보이며, 이는 내부 대수 A 가 ‘프로젝티브 분리 가능’임을 의미한다. 구체적으로, 어떤 사영 객체 P 에 대해 P⊗A 이 A⊗P⊗A 의 직접 부분합으로 존재하면 A 는 완전 정확이다. 반면, 반대 방향은 일반적으로 성립하지 않는다. 반세미단순 경우에는 완전 정확과 ‘분리 가능(separable)’이 동치이며, 이는 기존의 분리 가능 대수 개념을 비세미단순 상황으로 확장한다.

완전 정확 모듈 범주가 반드시 이중가능한 것은 아니다. 저자들은 ‘완전(perfect)’이라는 용어를 도입해, 완전 정확이면서 자체가 이중가능한 경우를 구분한다. 완전 모듈 범주들의 2‑카테고리 Cₚₑᵣ𝒻 는 강체(monidal)이며, 모든 1‑사상(모듈 함자)도 좌·우 이중을 갖는다. 따라서 완전은 ‘완전 이중가능 객체’를 포함하는 최소한의 2‑카테고리 모델이 된다. 특히 C가 대칭 브레이딩이면 완전 정확 ⇔ 완전이므로, 대칭 경우에는 두 개념이 완전히 일치한다.

구체적인 사례 연구로는 Sweedler의 4차원 Hopf 대수 S 의 대칭 텐서 범주 S‑mod 위에서 완전 정확·완전 모듈 범주들을 완전 분류한다. 파라미터 λ∈ℂ∪{∞} 에 따라 정의된 V_λ (벡터 공간)와 S_λ (슈퍼벡터 공간) 범주가 등장한다. λ=∞인 경우에만 완전 정확이며, 이때 Deligne 곱과 Functor 범주의 연산을 명시적으로 계산한다. 결과적으로 Cₚₑᵣ𝒻 는 무한히 많은(연속적인) 동형 클래스의 비분해 가능한 객체를 포함하지만, 분리 가능한(즉, 반세미단순) 객체는 유한 개에 불과하다. 이는 완전 정확 범주가 분리 가능한 범주보다 훨씬 풍부함을 보여준다.

마지막으로 일반적인 유한 차원 쿼터트리얼 Hopf 대수 H 에 대해 Vect (즉, C‑모듈) 가 완전 정확인지 여부를 φ_R: H^*→H (보편 R‑행렬을 이용) 의 제한함수가 사영 객체를 보존하는가로 판정한다. H^*가 반세미단순이면 항상 완전 정확하지만, Lusztig의 작은 양자군 u_q(sl₂) (odd q)에서는 만족하지 않으며, 이는 Sweedler와 마찬가지로 완전 정확이 되지 않음을 의미한다. 저자들은 이 현상이 모든 작은 양자군 u_q(g) 에 일반화될 것이라고 conjecture한다.

전반적으로 논문은 비세미단순 텐서 범주의 2‑카테고리 이론에 새로운 구조적 층을 제공하며, 완전 정확·완전 모듈 범주가 고차원 TFT와 4‑차원 코볼리즘 가설에 적용될 수 있는 유망한 모델임을 제시한다.