순열 모듈러 불변량을 위한 모듈 범주

초록

이 논문은 브레이드된 단일모노이달 카테고리 C가 C × C에 대한 좌·우 모듈 범주 구조를 가질 수 있음을 보이고, 이러한 구조가 트위스트 존재 여부에 따라 서로 동형인지 여부를 규정한다. 또한 C가 프리모듈러일 때 텐서 단위의 내부 End를 계산하고, C가 모듈러이면 그 End가 아자야 알제브라가 됨을 증명한다. 마지막으로 두 개의 동일한 차이알 대수의 곱 모델에 대한 순열 모듈러 불변량을 모듈 범주를 통해 설명함으로써 모든 순열 모듈러 불변량이 물리적으로 실현 가능함을 보여준다.

상세 분석

논문은 먼저 브레이드된 단일모노이달 카테고리 C에 대해, 외적 카테고리 C × C가 C에 작용하는 자연스러운 오른쪽·왼쪽 모듈 구조를 정의한다. 이때 작용은 C의 브레이딩 c_{X,Y}와 텐서곱 ⊗ 을 이용해 (X⊗Y)·(U,V)=X⊗U⊗V⊗Y 형태로 기술되며, 브레이드가 교환법칙을 제공해 모듈 연산자의 결합법칙을 만족한다. 저자들은 이러한 구조가 하나의 파라미터 α∈Aut(𝟙) 에 의해 좌우가 변하는 일련의 동형류를 형성함을 증명한다. 특히 C가 트위스트 θ_X: X→X (즉, ribbon 구조)를 가질 경우, 서로 다른 α에 대응하는 모듈 구조가 모두 동형이 되며, 반대로 트위스트가 없으면 동형이 아닌 서로 다른 모듈 구조가 존재한다는 ‘동형성 정리’를 제시한다.

다음으로 C가 프리모듈러(즉, 유한한 단순 객체와 비퇴화된 S‑행렬을 가진 브레이드된 카테고리)일 때, 모듈 범주 C 에 대한 내부 End End_C(𝟙) 을 계산한다. 내부 End는 C의 내부 Hom을 이용해 End_C(𝟙)=∫_{X∈C} X⊗X^* 로 표현되며, 이는 C의 투사체(dual)와 텐서곱 구조를 결합한 객체이다. 저자들은 이 객체가 알제브라 구조를 갖고, 곱셈은 평가와 공동 평가(evaluation, coevaluation) 사상을 통해 정의된다는 점을 보인다. 특히 C가 완전한 모듈러(즉, S‑행렬이 가역)일 경우, End_C(𝟙)는 중심이 𝕜인 아자야 알제브라(Azumaya algebra)임을 증명한다. 이는 End_C(𝟙)의 좌·우 모듈이 서로 완전히 반대이며, 그 중심이 스칼라 필드와 동형이라는 사실에 기반한다.

마지막으로 물리적 응용을 위해 두 개의 동일한 차이알 대수 𝔙 의 텐서곱 𝔙⊗𝔙 에 대한 2차원 유리 컨포멀 필드 이론(RCFT)을 고려한다. 이 경우 전통적인 모듈러 불변량은 S‑행렬을 이용한 Cardy 상태와 같은 형태를 갖지만, ‘순열 모듈러 불변량’은 두 복사본을 서로 교환하는 대칭 σ 에 의해 정의된다. 논문은 앞서 구축한 C × C‑모듈 구조가 바로 이 σ‑작용을 구현하며, 모듈 범주 C 이 내부 End를 통해 얻은 아자야 알제브라가 경계 상태와 결합된 ‘풀 CFT’의 알제브라적 데이터가 됨을 보인다. 따라서 모든 순열 모듈러 불변량은 해당 모듈 범주를 통해 물리적으로 실현 가능함을 증명한다. 이 결과는 기존에 ‘비물리적’이라고 여겨졌던 일부 순열 불변량이 실제로는 합리적인 모듈 범주와 알제브라 구조를 통해 구현될 수 있음을 의미한다.