顶点张量范畴的刚性与模性
量子代数
2007-12-22 v2 高能物理 - 理论
代数几何
范畴论
摘要
设 是一个满足如下条件的简单顶点算子代数:(i) 中权小于 0 的齐次子空间为 0, 中权为 0 的齐次子空间由真空张成,且 作为 -模同构于 。(ii) 每个可按非负整数分次化的弱 -模是完全可约的。(iii) 是 -余有限的。(在条件 (i) 成立时,条件 (ii) 与 (iii) 等价于单一条件,即每个弱 -模是完全可约的。)利用作者在对 Verlinde 猜想一般形式的表述与证明中以及在 Verlinde 公式证明中所获得的结果,我们证明 -模范畴上的辫张量范畴结构是刚性、平衡且非退化的。特别地,-模范畴具有模张量范畴的自然结构。我们也证明不可约 -模的张量范畴维数在合适基下是融合同构的合适矩阵元素的倒数。
引用
@article{arxiv.math/0502533,
title = {Rigidity and modularity of vertex tensor categories},
author = {Yi-Zhi Huang},
journal= {arXiv preprint arXiv:math/0502533},
year = {2007}
}
备注
51 pages. To appear in Communications in Contemporary Mathematics. Referee's comments have been taken into account