중간 성장 객체의 강직성: 무시할 수 없는 물체에 대한 새로운 정리

초록

본 논문은 유한 차원 사상공간을 가진 Cauchy 완비 braided 카테고리에서, “무시할 수 없는” 인덱스 객체가 일정 차원 제한( dim End (X⊗ⁿ) < n! )을 만족하면 자동으로 강직(rigid)함을 증명한다. 이를 통해 반정밀 성장(semi‑moderate growth)과 약한 강직성만으로도 전체 카테고리의 강직성을 확보하고, VO‑A, 모듈러 퓨전 카테고리, 반사실화(semi‑simplification) 등 여러 응용을 얻는다.

상세 분석

논문은 먼저 k가 체이고, C가 Cauchy 완비이며 k-선형, 유한 차원 사상공간을 갖는 braided 모노이달 카테고리이며 End(1)=k인 상황을 가정한다. 여기서 “무시할 수 없는(non‑negligible)” 객체 X는 어떤 Y에 대해 1이 Y⊗X의 직접 summand이 되는 경우를 말한다. 저자는 X가 “중간 성장(moderate growth)”을 갖는다는 정의를 dim End (X⊗ⁿ) < n!인 어떤 자연수 n이 존재함으로 정의한다. 이 조건은 기존의 성장 차원 개념과 일치하며, 특히 char k=0에서는 Schur‑Weyl 이중성에 의해 X가 어떤 Schur functor에 의해 소멸함을 의미한다.

핵심 정리(Theorem 1.1)는 무시할 수 없는 객체 X가 중간 성장을 만족하면 X는 강직함을 가진다는 것이다. 증명은 다음과 같이 전개된다. 먼저 X와 그 증거 객체 Y에 대해 1→X⊗Y와 Y⊗X→1의 재traction과 splitting을 선택하고, 이들 사이의 합성(z)와 그 전치(z′)가 nilpotent이라 가정한다. 그런 다음 braid group Bₙ의 표준 표현을 이용해 Sₙ⊂Bₙ의 원소들을 End (X⊗ⁿ)에 매핑하고, 이 매핑이 선형 독립임을 보인다. 핵심은 Φ라는 bilinear form을 정의해 Φ(f_{s}^{-1}, f_t)=δ_{s,t}를 얻는 과정이며, 여기서 f_t는 σ_i들의 교차를 따라 만든 morphism이다. nilpotent 요소가 존재하면 Φ값이 nilpotent이 되므로 0이 되고, 이는 선형 독립성을 깨뜨린다. 따라서 nilpotent이 없을 경우에만 dim End (X⊗ⁿ)≥n!이 되며, 반대로 dim End (X⊗ⁿ)<n!이면 nilpotent이 존재하지 않음이 증명되어 X가 강직함을 얻는다.

이 정리로부터 여러 파생 결과가 도출된다. Corollary 1.2는 카테고리 전체가 중간 성장을 가질 때 모든 무시할 수 없는 객체가 강직함을 의미한다. r‑category(weak‑rigid)의 개념을 도입해, semisimple braided r‑category가 중간 성장이면 자동으로 강직함을 얻는다(Corollary 1.3). 이는 Huang의 VO‑A 대표 카테고리 강직성 증명을 크게 단순화한다. 또한, 유한 semisimple monoidal 카테고리 C에 대해 C‑modular functor 데이터와 modular fusion category 구조가 동등함을 보이며(Bakalov‑Kirillov 질문에 대한 긍정적 답변) Corollary 1.4를 얻는다.

다음으로 quantum trace Tr_X를 도입한다. 강직 객체 X에 대해 Drinfeld isomorphism u_X를 이용해 Tr_X:End(X)→k를 정의하고, Tr_X(f)≠0인 f가 존재하면 X는 무시할 수 없는 것과 동치임을 Lemma 2.5(i)에서 보인다. 강직성 및 중간 성장 가정 하에 nilpotent 요소들의 trace가 0임을 Corollary 1.5가 증명한다(Tr_X의 핵심 커널이 nilradical R(X)와 일치). 이를 이용해 Lemma 1.6을 통해 카테고리 전체에 대해 nilpotent의 trace가 0임을 확대한다.

결국, 중간 성장과 강직성을 만족하는 카테고리는 “semisimplification” 과정을 통해 nilpotent을 전부 사라지게 할 수 있다. Corollary 1.7은 이러한 semisimplification이 존재함을, 그리고 그 결과가 다시 중간 성장의 semisimple braided tensor category임을 보인다. 특수 경우로, 대칭 카테고리라면 Deligne‑Milne‑Ostrik‑Verevkin 결과와 결합해 해당 semisimplified 카테고리가 초대칭(SuperVect) 혹은 Ver_p와 동등함을 Corollary 1.8이 제시한다.

마지막으로, 논문은 semisimple가 아닌 braided r‑category(예: 로그 CFT에서 등장)에도 위 결과를 확장한다. 2‑out‑of‑3 강직성 원리와 재귀적 필터링 기법을 통해 Kazhdan‑Lusztig 카테고리의 음의 유리 레벨 경우 강직성을 간단히 증명한다(§4). 전체적으로, “무시할 수 없는 중간 성장 객체는 강직함을 강제한다”는 핵심 아이디어가 다양한 분야(VOA, modular functor, semisimplification, logarithmic CFT)에서 폭넓은 응용을 가능하게 한다.