[논문 리뷰] Rigidity and modularity of vertex tensor categories

Yi-Zhi Huang|ArXiv.org|2005. 02. 25.

Algebraic structures and combinatorial models참고 문헌 36인용 수 6

한 줄 요약

이 논문은 표준 조건을 만족하는 단순하고 $C_2$-cofinite인 정점 연산자 대수의 모듈의 브레드 텐서 범주가 강한, 균형 잡힌, 비퇴화된 성질을 가지며, 따라서 모듈라 텐서 범주임을 증명한다. 증명은 이전 연구에서 유도된 버린드 공식에 기반하며, 융합 및 브레딩 행렬을 사용하여 꼬임 연산자의 제곱의 트레이스가 가역 행렬임을 보여 비퇴화성과 함께 모듈라 구조를 완성한다.

ABSTRACT

Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V' is isomorphic to V as a V-module. Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. (In the presence of Condition (i), Conditions (ii) and (iii) are equivalent to a single condition, namely, that every weak V-module is completely reducible.) Using the results obtained by the author in the formulation and proof of the general version of the Verlinde conjecture and in the proof of the Verlinde formula, we prove that the braided tensor category structure on the category of V-modules is rigid, balanced and nondegenerate. In particular, the category of V-modules has a natural structure of modular tensor category. We also prove that the tensor-categorical dimension of an irreducible V-module is the reciprocal of a suitable matrix element of the fusing isomorphism under a suitable basis.

연구 동기 및 목표

• 정점 연산자 대수 표현 이론에서 오랫동안 미해결된 문제인, 모듈의 브레드 텐서 범주의 강성과 비퇴화성 해결.
• 적절한 조건을 만족하는 정점 연산자 대수의 모듈 범주가 모듈라 텐서 범주임을 확립함. 이는 conformal field theory와 topological quantum field theory에서 핵심적인 구조이다.
• 버린드 공식을 확장하여, 임의의 기약 모듈의 카테고리 차원이 융합 동형사상의 행렬 원소의 역수와 같음을 증명함.
• 자연적인 유한성 및 단순성 조건 하에서 모듈의 범주에 대해 모듈라성—강성, 균형, 비퇴화성—을 완전히 증명함.

제안 방법

• 이전 연구에서 유도된 버린드 공식(Huang, 2005)을 사용하여 텐서 범주 내 꼬임 연산자의 제곱의 트레이스를 계산함.
• 융합 및 브레딩 행렬을 적용하여 이중과 텐서곱을 포함하는 핵심적인 사슬에서 모듈 사상의 조합을 분석함.
• 모듈 사상과 동형사상이 포함된 교환 다이어그램을 구성하여 조합의 등치성을 보여 강성을 증명함.
• 버린드 공식을 사용하여 꼬임 연산자의 제곱의 트레이스가 모듈라 S-행렬에 비례함을 보여줌.
• 버린드 공식과 S-행렬의 가역성에 기반하여 트레이스의 행렬이 가역임을 보여 비퇴화성을 확립함.
• 약한 모듈의 완전 가역성과 $C_2$-cofreeness, 그리고 $V_{(n)}=0$ for $n<0$ 조건이 동치임을 활용하여 범주가 단순하고 잘 정의된 성질을 가짐을 보장함.

실험 결과

연구 질문

• RQ1 $C_2$-cofinite이고, $n<0$일 때 $V_{(n)}=0$이며, $V_{(0)}=\mathbb{C}\mathbf{1}$를 만족하는 단순 정점 연산자 대수의 모듈에 대한 브레드 텐서 범주는 강성 구조를 갖는가?
• RQ2 이러한 모듈의 범주는 비퇴화적인가, 즉 꼬임 연산자의 트레이스로 구성된 S-행렬이 가역 행렬인가?
• RQ3 기약 모듈의 텐서-카테고리 차원은 융합 동형사상의 행렬 원소의 역수로 표현될 수 있는가?
• RQ4 강성, 균형, 비퇴화성의 조합은 범주가 모듈라 텐서 범주임을 의미하는가?
• RQ5 직접적인 구성 없이도 버린드 공식이 비퇴화성과 강성을 증명하는 데에 충분한가?

주요 결과

• 모듈의 브레드 텐서 범주는 강성 존재를 가지며, 이는 모든 대상이 평가 및 코평가 사상이 만족하는 슬라임 방정식을 갖는 이중을 가짐을 의미한다.
• 범주는 균형을 지니며, 잘 정의된 꼬임 동형사상이 존재하며, 필요한 자연성 및 호환성 공리(axioms)를 만족한다.
• 범주는 비퇴화적이다: 꼬임 연산자의 제곱의 트레이스 행렬이 가역적이며, 행렬 원소는 $\frac{S_{a_1}^{a_2}}{S_e^e}$로 주어져 비퇴화성을 확인한다.
• 기약 $V$-모듈 $W^{a}$의 텐서-카테고리 차원은 $\frac{1}{F_a}$와 같으며, 여기서 $F_a$는 융합 동형사상의 행렬 원소이다.
• 모듈의 범주는 강성, 브레딩, 균형, 비퇴화성의 모든 공리를 만족하므로 모듈라 텐서 범주이다.
• 결과적으로 버린드 공식이 모듈라성을 확립하는 데서의 역할을 확인하였으며, 정점 연산자 대수 이론에서 오랫동안 미해결이었던 문제를 해결하였다.